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

qbflib.org

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

Instance	Result	Time
c4_Debug_s5_f2_e1_v3	SAT	57.08
c4_Debug_s5_f2_e2_v3	SAT	57.22
c4_Debug_s5_f2_e2_v1	SAT	57.57
c4_Debug_s5_f2_e1_v2	SAT	57.81
c4_Debug_s5_f2_e2_v2	SAT	58.03
c1_Debug_s3_f1_e1_v2	SAT	84.48
c4_Debug_s3_f1_e1_v2	SAT	103.99
c4_Debug_s3_f1_e2_v1	SAT	104.55
c4_Debug_s3_f1_e1_v1	SAT	105.54
c2_Debug_s5_f1_e1_v2	SAT	121.4
c4_Debug_s5_f2_e1_v1	SAT	142.94
c2_Debug_s3_f1_e1_v2	SAT	163.48
c3_Debug_s3_f2_e2_v2	FAIL	176.6
c1_Debug_s3_f1_e1_v1	FAIL	180.81
c4_Debug_s3_f1_e1_v3	SAT	181.44
c3_Debug_s3_f2_e2_v3	FAIL	181.52
c1_Debug_s3_f1_e1_v3	FAIL	183.52
c4_Debug_s3_f1_e2_v2	SAT	359.06
c1_Debug_s5_f1_e1_v1	FAIL	596.34
c1_Debug_s5_f1_e1_v3	FAIL	596.66
c1_Debug_s5_f1_e1_v2	FAIL	598.86
c4_Debug_s3_f2_e1_v1	FAIL	600
c1_Debug_s3_f2_e1_v1	FAIL	600
c2_Debug_s3_f1_e1_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
c2_Debug_s3_f2_e1_v3	FAIL	600
c4_Debug_s3_f2_e2_v2	FAIL	600
c2_Debug_s5_f1_e1_v1	FAIL	600
c4_Debug_s3_f2_e2_v3	FAIL	600
c2_Debug_s3_f1_e1_v1	FAIL	600
c2_Debug_s5_f1_e1_v3	FAIL	600
c4_Debug_s3_f1_e2_v3	FAIL	600

Contact | Organization | Links | Citing QBFLIB