Instances of family BMC solved by <a href='solver_detail.php?solver=60'>AQME-RIPPER</a> <br> QBFEVAL'07

Instances of family BMC solved by AQME-RIPPER
QBFEVAL'07

Instance	Result	Time
c4_BMC_p1_k2	SAT	0.61
c4_BMC_p2_k4	UNSAT	0.62
c4_BMC_p2_k2	UNSAT	0.63
c4_BMC_p1_k8	SAT	0.63
c4_BMC_p2_k8	UNSAT	0.64
c4_BMC_p1_k4	SAT	0.64
c4_BMC_p2_k16	UNSAT	0.67
c4_BMC_p1_k32	SAT	0.68
c4_BMC_p2_k32	UNSAT	0.69
c4_BMC_p1_k16	SAT	0.69
c6_BMC_p1_k2	SAT	0.72
c4_BMC_p1_k64	SAT	0.72
c6_BMC_p2_k2	UNSAT	0.74
c3_BMC_p2_k2	UNSAT	0.74
c4_BMC_p2_k64	UNSAT	0.75
c6_BMC_p1_k4	SAT	0.77
c6_BMC_p2_k4	UNSAT	0.78
c3_BMC_p2_k4	UNSAT	0.81
c6_BMC_p2_k8	UNSAT	0.81
c3_BMC_p1_k2	SAT	0.82
c4_BMC_p1_k128	SAT	0.83
c4_BMC_p2_k128	UNSAT	0.83
c6_BMC_p1_k8	SAT	0.84
c3_BMC_p2_k8	UNSAT	0.93
c4_BMC_p2_k256	UNSAT	0.93
c3_BMC_p1_k4	SAT	0.94
c6_BMC_p2_k16	UNSAT	0.98
c6_BMC_p1_k16	SAT	0.99
c4_BMC_p1_k256	SAT	1.04
c2_BMC_p2_k2	UNSAT	1.04
c2_BMC_p1_k2	SAT	1.09
c4_BMC_p2_k512	UNSAT	1.14
c6_BMC_p2_k32	UNSAT	1.16
c3_BMC_p1_k8	SAT	1.19
c2_BMC_p1_k4	SAT	1.2
c6_BMC_p1_k32	SAT	1.2
c2_BMC_p2_k4	UNSAT	1.2
c3_BMC_p2_k16	UNSAT	1.26
c6_BMC_p2_k64	UNSAT	1.32
c3_BMC_p2_k32	UNSAT	1.38
c2_BMC_p2_k8	UNSAT	1.44
c1_BMC_p1_k2	SAT	1.45
c3_BMC_p2_k64	UNSAT	1.63
c4_BMC_p2_k1024	UNSAT	1.67
c2_BMC_p1_k8	SAT	1.71
c5_BMC_p2_k4	UNSAT	1.76
c6_BMC_p2_k128	UNSAT	1.8
c5_BMC_p1_k4	SAT	1.86
c3_BMC_p1_k16	SAT	1.91
c1_BMC_p2_k2	UNSAT	1.91
c2_BMC_p2_k16	UNSAT	2.06
c3_BMC_p2_k128	UNSAT	2.09
c5_BMC_p2_k8	UNSAT	2.16
c5_BMC_p1_k8	SAT	2.48
c2_BMC_p2_k32	UNSAT	2.58
c6_BMC_p2_k256	UNSAT	2.77
c4_BMC_p2_k2048	UNSAT	2.87
c3_BMC_p2_k256	UNSAT	3
c1_BMC_p1_k4	SAT	3.2
c5_BMC_p2_k16	UNSAT	3.47
c2_BMC_p1_k16	SAT	3.56
c2_BMC_p2_k64	UNSAT	3.57
c1_BMC_p2_k16	UNSAT	3.64
c3_BMC_p2_k512	UNSAT	4.73
c6_BMC_p2_k512	UNSAT	4.74
c5_BMC_p2_k32	UNSAT	5.02
c5_BMC_p1_k32	SAT	5.36
c2_BMC_p2_k128	UNSAT	5.69
c1_BMC_p2_k32	UNSAT	5.69
c1_BMC_p1_k8	SAT	6.91
c5_BMC_p1_k2	SAT	6.93
c5_BMC_p2_k2	UNSAT	7.03
c1_BMC_p2_k64	UNSAT	8
c3_BMC_p2_k1024	UNSAT	8.74
c1_BMC_p1_k32	SAT	10.17
c4_BMC_p1_k512	SAT	10.43
c4_BMC_p1_k1024	SAT	11.07
c1_BMC_p1_k64	SAT	13.57
c6_BMC_p1_k64	SAT	13.71
c4_BMC_p1_k2048	SAT	13.78
c6_BMC_p1_k128	SAT	14.27
c1_BMC_p1_k16	SAT	14.35
c2_BMC_p1_k32	SAT	15.18
c3_BMC_p1_k64	SAT	16.37
c3_BMC_p2_k2048	UNSAT	16.74
c5_BMC_p1_k16	SAT	18.3
c3_BMC_p1_k32	SAT	18.74
c1_BMC_p1_k128	SAT	24.08
c1_BMC_p2_k4	UNSAT	69.55
c1_BMC_p2_k8	UNSAT	90.91
c6_BMC_p1_k256	SAT	99.61
c6_BMC_p2_k1024	UNSAT	104.54
c6_BMC_p2_k2048	UNSAT	109.41
c1_BMC_p2_k128	UNSAT	147.84
c6_BMC_p1_k512	SAT	148.51
c1_BMC_p2_k256	UNSAT	153.72
c2_BMC_p2_k256	UNSAT	162.81
c5_BMC_p2_k128	FAIL	164.43
c2_BMC_p2_k512	FAIL	172.73
c1_BMC_p2_k512	UNSAT	172.89
c2_BMC_p1_k512	FAIL	179.38
c2_BMC_p1_k256	FAIL	186.16
c3_BMC_p1_k128	FAIL	195.22
c2_BMC_p1_k64	FAIL	198.42
c1_BMC_p2_k1024	FAIL	213.56
c1_BMC_p1_k256	SAT	217.35
c1_BMC_p1_k1024	FAIL	246.14
c1_BMC_p2_k2048	FAIL	249.34
c1_BMC_p1_k512	SAT	315.27
c3_BMC_p1_k256	FAIL	366.84
c2_BMC_p1_k1024	FAIL	389.75
c3_BMC_p1_k2048	FAIL	429.86
c5_BMC_p1_k256	FAIL	432.18
c5_BMC_p2_k256	FAIL	433.95
c3_BMC_p1_k512	FAIL	456.62
c5_BMC_p2_k64	FAIL	481.25
c5_BMC_p1_k64	FAIL	523.9
c3_BMC_p1_k1024	FAIL	524.15
c5_BMC_p1_k128	FAIL	562.76
c5_BMC_p1_k2048	FAIL	600
c5_BMC_p2_k1024	FAIL	600
c5_BMC_p2_k512	FAIL	600
c1_BMC_p1_k2048	FAIL	600
c2_BMC_p2_k2048	FAIL	600
c5_BMC_p2_k2048	FAIL	600
c6_BMC_p1_k1024	FAIL	600
c2_BMC_p1_k128	FAIL	600
c5_BMC_p1_k1024	FAIL	600
c5_BMC_p1_k512	FAIL	600
c6_BMC_p1_k2048	FAIL	600
c2_BMC_p1_k2048	FAIL	600
c2_BMC_p2_k1024	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by AQME-RIPPER
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by AQME-RIPPER QBFEVAL'07

Instances of family BMC solved by AQME-RIPPER
QBFEVAL'07