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

qbflib.org

Instances of family Debug solved by qSS
QBFEVAL'07

Instance	Result	Time
c2_Debug_s3_f1_e1_v2	FAIL	38.9
c3_Debug_s3_f2_e2_v3	FAIL	55.8
c3_Debug_s3_f2_e2_v2	FAIL	69.73
c1_Debug_s3_f2_e1_v3	FAIL	70.04
c1_Debug_s3_f2_e1_v1	FAIL	74.19
c1_Debug_s3_f1_e1_v3	FAIL	101.88
c1_Debug_s3_f1_e1_v1	FAIL	114.96
c2_Debug_s5_f1_e1_v1	FAIL	116.47
c4_Debug_s3_f1_e1_v3	SAT	158.43
c1_Debug_s5_f1_e1_v2	FAIL	219.89
c4_Debug_s3_f1_e1_v1	SAT	222
c2_Debug_s5_f1_e1_v3	FAIL	246.74
c4_Debug_s5_f2_e1_v3	SAT	251.72
c4_Debug_s5_f2_e2_v1	SAT	295.17
c4_Debug_s3_f2_e1_v2	FAIL	366.98
c2_Debug_s3_f2_e1_v2	FAIL	368.36
c4_Debug_s3_f2_e1_v1	FAIL	400.67
c4_Debug_s3_f2_e1_v3	FAIL	425.04
c2_Debug_s3_f1_e1_v3	FAIL	453.13
c2_Debug_s3_f1_e1_v1	FAIL	465.55
c1_Debug_s3_f1_e1_v2	FAIL	471.08
c1_Debug_s3_f2_e1_v2	FAIL	544.39
c4_Debug_s3_f2_e2_v1	FAIL	560.04
c1_Debug_s5_f1_e1_v1	FAIL	589
c4_Debug_s3_f1_e2_v1	FAIL	600
c4_Debug_s3_f2_e2_v3	FAIL	600
c1_Debug_s5_f1_e1_v3	FAIL	600
c2_Debug_s5_f1_e1_v2	FAIL	600
c4_Debug_s3_f1_e2_v2	FAIL	600
c4_Debug_s5_f2_e1_v1	FAIL	600
c4_Debug_s3_f1_e2_v3	FAIL	600
c4_Debug_s5_f2_e1_v2	FAIL	600
c2_Debug_s3_f2_e1_v1	FAIL	600
c4_Debug_s5_f2_e2_v2	FAIL	600
c4_Debug_s3_f1_e1_v2	FAIL	600
c4_Debug_s5_f2_e2_v3	FAIL	600
c2_Debug_s3_f2_e1_v3	FAIL	600
c4_Debug_s3_f2_e2_v2	FAIL	600

Contact | Organization | Links | Citing QBFLIB