
Stable_correctness_tests: Date: 2019/1/19  Time: 0:51:29

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

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

num_solutions_found_by_ip: 1

Duration_ip_milliseconds: 2316
exitCode 0
correctness/pulpIP.py completed
