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

qbflib.org

Instances of family Debug solved by ncQuBE1.0
QBFEVAL'07

Instance	Result	Time
c1_Debug_s3_f1_e1_v2	FAIL	7.53
c2_Debug_s3_f1_e1_v3	FAIL	7.91
c2_Debug_s3_f1_e1_v1	FAIL	8.04
c3_Debug_s3_f2_e2_v3	FAIL	9.32
c3_Debug_s3_f2_e2_v2	FAIL	9.7
c1_Debug_s3_f1_e1_v3	FAIL	11.47
c1_Debug_s3_f1_e1_v1	FAIL	11.66
c1_Debug_s3_f2_e1_v1	FAIL	209.01
c1_Debug_s3_f2_e1_v3	FAIL	460.25
c4_Debug_s3_f1_e1_v2	FAIL	469.49
c4_Debug_s3_f1_e2_v1	FAIL	473.96
c4_Debug_s3_f1_e2_v2	FAIL	475.23
c4_Debug_s3_f1_e1_v1	FAIL	477.92
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
c2_Debug_s3_f2_e1_v2	FAIL	600
c4_Debug_s3_f2_e2_v1	FAIL	600
c4_Debug_s5_f2_e2_v3	FAIL	600
c1_Debug_s5_f1_e1_v1	FAIL	600
c2_Debug_s3_f2_e1_v3	FAIL	600
c4_Debug_s3_f1_e1_v3	FAIL	600
c4_Debug_s3_f2_e2_v2	FAIL	600
c1_Debug_s5_f1_e1_v2	FAIL	600
c2_Debug_s5_f1_e1_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_s5_f2_e1_v1	FAIL	600
c2_Debug_s5_f1_e1_v3	FAIL	600
c4_Debug_s3_f1_e2_v3	FAIL	600
c4_Debug_s5_f2_e1_v2	FAIL	600
c2_Debug_s3_f1_e1_v2	FAIL	600
c4_Debug_s3_f2_e1_v1	FAIL	600
c4_Debug_s5_f2_e1_v3	FAIL	600
c4_Debug_s3_f2_e1_v2	FAIL	600
c4_Debug_s5_f2_e2_v1	FAIL	600

Contact | Organization | Links | Citing QBFLIB