Instances of family Debug solved by <a href='solver_detail.php?solver=64'>AQME-1NN</a> <br> QBFEVAL'07

qbflib.org

Instances of family Debug solved by AQME-1NN
QBFEVAL'07

Instance	Result	Time
c1_Debug_s5_f1_e1_v2	FAIL	160.41
c2_Debug_s5_f1_e1_v3	FAIL	226.22
c2_Debug_s5_f1_e1_v1	FAIL	226.5
c4_Debug_s5_f2_e1_v3	SAT	227.04
c4_Debug_s5_f2_e2_v3	SAT	227.08
c4_Debug_s5_f2_e1_v1	SAT	229.67
c4_Debug_s5_f2_e2_v1	SAT	229.95
c4_Debug_s5_f2_e1_v2	SAT	230.25
c4_Debug_s5_f2_e2_v2	SAT	230.31
c2_Debug_s3_f1_e1_v2	SAT	238.1
c1_Debug_s5_f1_e1_v3	UNSAT	263.98
c1_Debug_s3_f1_e1_v1	FAIL	306.98
c2_Debug_s5_f1_e1_v2	FAIL	338.39
c4_Debug_s3_f1_e1_v3	SAT	378.23
c4_Debug_s3_f1_e1_v2	FAIL	488.69
c4_Debug_s3_f1_e2_v2	FAIL	510.07
c4_Debug_s3_f1_e2_v1	FAIL	567.47
c4_Debug_s3_f1_e1_v1	FAIL	569.45
c3_Debug_s3_f2_e2_v2	FAIL	586.75
c2_Debug_s3_f1_e1_v1	SAT	599.63
c1_Debug_s3_f1_e1_v2	FAIL	600
c4_Debug_s3_f1_e2_v3	FAIL	600
c1_Debug_s3_f1_e1_v3	FAIL	600
c4_Debug_s3_f2_e1_v1	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
c1_Debug_s3_f2_e1_v2	FAIL	600
c2_Debug_s3_f2_e1_v1	FAIL	600
c4_Debug_s3_f2_e1_v3	FAIL	600
c1_Debug_s3_f2_e1_v3	FAIL	600
c2_Debug_s3_f2_e1_v2	FAIL	600
c4_Debug_s3_f2_e2_v1	FAIL	600
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_f2_e2_v3	FAIL	600

Contact | Organization | Links | Citing QBFLIB