Instances of family Debug solved by <a href='solver_detail.php?solver=46'>QUANTOR_2.15</a> <br> QBFEVAL'07

qbflib.org

Instances of family Debug solved by QUANTOR_2.15
QBFEVAL'07

Instance	Result	Time
c1_Debug_s3_f1_e1_v1	FAIL	19.81
c1_Debug_s3_f1_e1_v3	FAIL	21.27
c2_Debug_s5_f1_e1_v1	FAIL	23.19
c2_Debug_s5_f1_e1_v3	FAIL	23.36
c2_Debug_s3_f1_e1_v1	FAIL	49.86
c1_Debug_s5_f1_e1_v3	FAIL	53.86
c1_Debug_s5_f1_e1_v1	FAIL	54.82
c2_Debug_s3_f1_e1_v2	SAT	57.1
c2_Debug_s3_f1_e1_v3	FAIL	57.13
c1_Debug_s5_f1_e1_v2	SAT	57.53
c2_Debug_s3_f2_e1_v2	FAIL	59.96
c1_Debug_s3_f1_e1_v2	SAT	61.04
c2_Debug_s5_f1_e1_v2	SAT	64.31
c2_Debug_s3_f2_e1_v3	FAIL	79.77
c2_Debug_s3_f2_e1_v1	FAIL	85.11
c4_Debug_s5_f2_e1_v1	SAT	106.96
c4_Debug_s5_f2_e2_v2	SAT	109.11
c4_Debug_s5_f2_e2_v1	SAT	109.65
c4_Debug_s5_f2_e2_v3	SAT	112.79
c4_Debug_s5_f2_e1_v3	SAT	118.5
c4_Debug_s5_f2_e1_v2	SAT	125.78
c4_Debug_s3_f2_e2_v2	SAT	205.19
c4_Debug_s3_f2_e1_v3	SAT	220.19
c4_Debug_s3_f2_e2_v3	SAT	220.74
c4_Debug_s3_f2_e1_v2	SAT	222.46
c4_Debug_s3_f2_e2_v1	SAT	229.28
c4_Debug_s3_f2_e1_v1	SAT	241
c4_Debug_s3_f1_e1_v2	SAT	316.01
c4_Debug_s3_f1_e2_v2	SAT	316.23
c4_Debug_s3_f1_e2_v1	SAT	375.84
c4_Debug_s3_f1_e1_v1	SAT	376.16
c3_Debug_s3_f2_e2_v2	FAIL	393.12
c4_Debug_s3_f1_e1_v3	SAT	469.84
c4_Debug_s3_f1_e2_v3	SAT	470.34
c3_Debug_s3_f2_e2_v3	FAIL	553.86
c1_Debug_s3_f2_e1_v3	FAIL	600
c1_Debug_s3_f2_e1_v1	FAIL	600
c1_Debug_s3_f2_e1_v2	FAIL	600

Contact | Organization | Links | Citing QBFLIB