Instances of family ITC99 solved by Rareqs_2018
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
b21_PR_9_90UNSAT0
b20_PR_9_90UNSAT0.56
b18_PR_4_2SAT4.98
b22_PR_9_90UNSAT16.24
b20_PR_7_20FAIL900
b21_PR_8_20FAIL900.02
b22_PR_8_20FAIL900.02
b21_C_3_206FAIL900.04
b20_C_3_2FAIL900.04
b14_PR_1_50FAIL900.04