Instances of family Debug solved by <a href='solver_detail.php?solver=62'>AQME-C4.5</a> <br> QBFEVAL'07

qbflib.org

Instances of family Debug solved by AQME-C4.5
QBFEVAL'07

Instance	Result	Time
c1_Debug_s5_f1_e1_v2	FAIL	34.15
c2_Debug_s5_f1_e1_v3	FAIL	225.91
c2_Debug_s5_f1_e1_v1	FAIL	225.97
c2_Debug_s3_f2_e1_v2	FAIL	234.08
c2_Debug_s3_f1_e1_v2	SAT	238.1
c2_Debug_s5_f1_e1_v2	SAT	242.17
c3_Debug_s3_f2_e2_v3	FAIL	253.06
c1_Debug_s5_f1_e1_v1	UNSAT	262.04
c1_Debug_s5_f1_e1_v3	UNSAT	264.55
c1_Debug_s3_f2_e1_v3	FAIL	268.53
c3_Debug_s3_f2_e2_v2	FAIL	269.89
c1_Debug_s3_f2_e1_v1	FAIL	272.63
c2_Debug_s3_f2_e1_v1	FAIL	273.73
c1_Debug_s3_f1_e1_v2	FAIL	295.88
c1_Debug_s3_f1_e1_v1	FAIL	307.57
c1_Debug_s3_f1_e1_v3	FAIL	309.44
c4_Debug_s5_f2_e1_v3	SAT	371.12
c4_Debug_s3_f1_e1_v3	SAT	377.24
c4_Debug_s5_f2_e2_v1	SAT	383.2
c4_Debug_s5_f2_e2_v2	SAT	389.04
c4_Debug_s5_f2_e1_v1	SAT	400.36
c4_Debug_s5_f2_e1_v2	SAT	402.13
c4_Debug_s5_f2_e2_v3	SAT	411.47
c4_Debug_s3_f1_e1_v1	SAT	424.98
c2_Debug_s3_f1_e1_v1	FAIL	464.36
c2_Debug_s3_f1_e1_v3	FAIL	488.2
c4_Debug_s3_f1_e2_v2	FAIL	582.81
c4_Debug_s3_f1_e2_v3	FAIL	600
c4_Debug_s3_f2_e1_v1	FAIL	600
c4_Debug_s3_f2_e1_v2	FAIL	600
c1_Debug_s3_f2_e1_v2	FAIL	600
c4_Debug_s3_f2_e1_v3	FAIL	600
c4_Debug_s3_f1_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
c4_Debug_s3_f1_e2_v1	FAIL	600
c4_Debug_s3_f2_e2_v3	FAIL	600

Contact | Organization | Links | Citing QBFLIB