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

qbflib.org

Instances of family Debug solved by qZilla
QBFEVAL'07

Instance	Result	Time
c2_Debug_s3_f1_e1_v2	FAIL	74.55
c2_Debug_s5_f1_e1_v1	FAIL	135.9
c2_Debug_s5_f1_e1_v2	UNSAT	146.69
c2_Debug_s5_f1_e1_v3	FAIL	264.9
c4_Debug_s5_f2_e1_v1	SAT	307.31
c1_Debug_s3_f1_e1_v1	FAIL	386.22
c1_Debug_s5_f1_e1_v2	FAIL	426.37
c3_Debug_s3_f2_e2_v2	FAIL	438.26
c2_Debug_s3_f2_e1_v2	FAIL	476.58
c4_Debug_s3_f1_e1_v1	SAT	489.68
c4_Debug_s3_f1_e1_v3	SAT	595.06
c1_Debug_s5_f1_e1_v1	FAIL	600
c2_Debug_s3_f2_e1_v3	FAIL	600
c4_Debug_s3_f2_e2_v2	FAIL	600
c4_Debug_s3_f1_e2_v1	FAIL	600
c4_Debug_s3_f2_e2_v3	FAIL	600
c1_Debug_s5_f1_e1_v3	FAIL	600
c4_Debug_s3_f1_e2_v2	FAIL	600
c1_Debug_s3_f1_e1_v2	FAIL	600
c2_Debug_s3_f1_e1_v1	FAIL	600
c4_Debug_s3_f1_e2_v3	FAIL	600
c4_Debug_s5_f2_e1_v2	FAIL	600
c1_Debug_s3_f1_e1_v3	FAIL	600
c4_Debug_s3_f2_e1_v1	FAIL	600
c4_Debug_s5_f2_e1_v3	FAIL	600
c1_Debug_s3_f2_e1_v1	FAIL	600
c2_Debug_s3_f1_e1_v3	FAIL	600
c3_Debug_s3_f2_e2_v3	FAIL	600
c4_Debug_s3_f2_e1_v2	FAIL	600
c4_Debug_s5_f2_e2_v1	FAIL	600
c1_Debug_s3_f2_e1_v2	FAIL	600
c2_Debug_s3_f2_e1_v1	FAIL	600
c4_Debug_s3_f2_e1_v3	FAIL	600
c4_Debug_s5_f2_e2_v2	FAIL	600
c1_Debug_s3_f2_e1_v3	FAIL	600
c4_Debug_s3_f1_e1_v2	FAIL	600
c4_Debug_s3_f2_e2_v1	FAIL	600
c4_Debug_s5_f2_e2_v3	FAIL	600

Contact | Organization | Links | Citing QBFLIB