Correctness_tests: Date: 2020/1/12  Time: 2:37:27


# Regret-equal degree_iteration algorithm results
REDI_Alg_passedAcceptability: true
REDI_Alg_passedCapacity: true
REDI_Alg_passedStability: true
REDI_Alg_correctness_pass: true
REDI_Alg_REscore: 4

# Regret-equal stable_pair algorithm results
RESP_Alg_passedAcceptability: true
RESP_Alg_passedCapacity: true
RESP_Alg_passedStability: true
RESP_Alg_correctness_pass: true
RESP_Alg_REscore: 4

# Enumeration algorithm results
ENUM_Alg_numStableMatchings: 29
ENUM_Alg_numPassedAcceptability: 29
ENUM_Alg_numPassedCapacity: 29
ENUM_Alg_numPassedStability: 29
ENUM_Alg_correctness_pass: true
ENUM_Alg_REscore: 4

# General results
REscoreMatch: true

exitCode 0
code/correctness/Main_Tester completed
