
Stable_correctness_tests: Date: 2019/1/19  Time: 0:50:33

Stable_numStableMatchings: 2
Stable_numPassedAcceptability: 2
Stable_numPassedCapacity: 2
Stable_numPassedStability: 2
exitCode 0
correctness/Main_Tester completed

solutions_found_by_ip:
26 1 32 18 23 36 33 15 40 5 16 35 31 12 8 22 6 24 28 3 29 13 20 2 37 39 4 19 11 7 10 21 34 38 30 25 27 17 14 9
26 1 32 18 23 36 21 15 40 5 16 35 31 12 8 22 6 24 28 3 29 13 20 2 37 39 4 19 38 7 10 11 34 25 30 27 33 17 14 9

num_solutions_found_by_ip: 2

Duration_ip_milliseconds: 2930
exitCode 0
correctness/pulpIP.py completed
