Instances of family BMC solved by <a href='solver_detail.php?solver=70'>ssolve-A</a> <br> QBFEVAL'08

Instances of family BMC solved by ssolve-A
QBFEVAL'08

Instance	Result	Time
c4_BMC_p2_k2	UNSAT	0.01
c4_BMC_p1_k2	SAT	0.02
c4_BMC_p2_k4	UNSAT	0.03
c4_BMC_p1_k4	SAT	0.04
c4_BMC_p2_k8	UNSAT	0.04
c4_BMC_p1_k8	SAT	0.1
c6_BMC_p2_k2	UNSAT	0.12
c6_BMC_p2_k4	UNSAT	0.12
c4_BMC_p2_k16	UNSAT	0.16
c3_BMC_p2_k2	UNSAT	0.16
c6_BMC_p2_k8	UNSAT	0.17
c6_BMC_p1_k2	SAT	0.2
c4_BMC_p2_k32	UNSAT	0.23
c3_BMC_p2_k4	UNSAT	0.24
c6_BMC_p2_k16	UNSAT	0.26
c4_BMC_p2_k64	UNSAT	0.31
c4_BMC_p1_k16	SAT	0.32
c3_BMC_p1_k2	SAT	0.35
c6_BMC_p2_k32	UNSAT	0.37
c3_BMC_p2_k8	UNSAT	0.4
c4_BMC_p1_k32	SAT	0.44
c4_BMC_p2_k128	UNSAT	0.45
c4_BMC_p2_k256	UNSAT	0.55
c6_BMC_p2_k64	UNSAT	0.57
c6_BMC_p1_k4	SAT	0.71
c4_BMC_p1_k64	SAT	0.75
c3_BMC_p2_k16	UNSAT	0.77
c3_BMC_p2_k32	UNSAT	0.92
c6_BMC_p2_k128	UNSAT	1.02
c4_BMC_p2_k512	UNSAT	1.03
c3_BMC_p2_k64	UNSAT	1.22
c2_BMC_p2_k2	UNSAT	1.24
c4_BMC_p1_k128	SAT	1.46
c2_BMC_p1_k2	SAT	1.78
c5_BMC_p2_k2	UNSAT	1.79
c3_BMC_p2_k128	UNSAT	1.8
c6_BMC_p2_k256	UNSAT	1.97
c6_BMC_p1_k8	SAT	2.05
c4_BMC_p2_k1024	UNSAT	2.19
c3_BMC_p1_k4	SAT	2.88
c3_BMC_p2_k256	UNSAT	3.05
c4_BMC_p1_k256	SAT	3.23
c6_BMC_p2_k512	UNSAT	3.97
c4_BMC_p2_k2048	UNSAT	4.5
c5_BMC_p1_k2	SAT	4.97
c2_BMC_p2_k4	UNSAT	5.35
c3_BMC_p2_k512	UNSAT	5.48
c5_BMC_p2_k4	UNSAT	5.57
c6_BMC_p2_k1024	UNSAT	8.18
c4_BMC_p1_k512	SAT	10.38
c2_BMC_p1_k4	SAT	10.75
c3_BMC_p2_k1024	UNSAT	10.87
c1_BMC_p2_k2048	FAIL	12.85
c6_BMC_p2_k2048	UNSAT	16.89
c6_BMC_p1_k64	SAT	19.8
c1_BMC_p2_k2	UNSAT	20.51
c2_BMC_p2_k8	UNSAT	21.79
c3_BMC_p2_k2048	UNSAT	22.25
c4_BMC_p1_k1024	SAT	31.9
c1_BMC_p1_k2	SAT	43.42
c6_BMC_p1_k128	SAT	44.7
c5_BMC_p2_k2048	FAIL	67.94
c4_BMC_p1_k2048	SAT	68.41
c5_BMC_p1_k2048	FAIL	68.44
c1_BMC_p1_k2048	FAIL	82.59
c2_BMC_p2_k64	UNSAT	84.4
c2_BMC_p2_k32	UNSAT	85.83
c5_BMC_p1_k4	SAT	89.87
c2_BMC_p2_k256	UNSAT	104.91
c2_BMC_p2_k128	UNSAT	112.76
c6_BMC_p1_k256	SAT	121.28
c2_BMC_p2_k16	UNSAT	147
c1_BMC_p2_k64	UNSAT	161.37
c2_BMC_p2_k512	UNSAT	179
c1_BMC_p2_k128	UNSAT	235.3
c6_BMC_p1_k512	SAT	242.59
c2_BMC_p2_k1024	UNSAT	332.22
c6_BMC_p1_k1024	SAT	336.98
c1_BMC_p2_k256	UNSAT	400.45
c1_BMC_p2_k1024	UNSAT	469.29
c1_BMC_p2_k512	UNSAT	470.35
c1_BMC_p1_k32	FAIL	600
c2_BMC_p1_k1024	FAIL	600
c2_BMC_p1_k512	FAIL	600
c3_BMC_p1_k16	FAIL	600
c3_BMC_p1_k8	FAIL	600
c5_BMC_p1_k32	FAIL	600
c1_BMC_p1_k4	FAIL	600
c2_BMC_p1_k128	FAIL	600
c2_BMC_p1_k64	FAIL	600
c3_BMC_p1_k2048	FAIL	600
c5_BMC_p2_k256	FAIL	600
c1_BMC_p1_k1024	FAIL	600
c1_BMC_p1_k512	FAIL	600
c2_BMC_p1_k16	FAIL	600
c2_BMC_p1_k8	FAIL	600
c3_BMC_p1_k256	FAIL	600
c5_BMC_p1_k1024	FAIL	600
c5_BMC_p1_k512	FAIL	600
c6_BMC_p1_k16	FAIL	600
c1_BMC_p1_k128	FAIL	600
c1_BMC_p1_k64	FAIL	600
c1_BMC_p2_k32	FAIL	600
c2_BMC_p1_k2048	FAIL	600
c5_BMC_p1_k128	FAIL	600
c5_BMC_p1_k64	FAIL	600
c5_BMC_p2_k32	FAIL	600
c6_BMC_p1_k2048	FAIL	600
c1_BMC_p1_k16	FAIL	600
c1_BMC_p1_k8	FAIL	600
c1_BMC_p2_k4	FAIL	600
c2_BMC_p1_k256	FAIL	600
c3_BMC_p1_k32	FAIL	600
c5_BMC_p1_k16	FAIL	600
c5_BMC_p1_k8	FAIL	600
c5_BMC_p2_k1024	FAIL	600
c5_BMC_p2_k512	FAIL	600
c1_BMC_p1_k256	FAIL	600
c2_BMC_p1_k32	FAIL	600
c2_BMC_p2_k2048	FAIL	600
c3_BMC_p1_k1024	FAIL	600
c3_BMC_p1_k512	FAIL	600
c5_BMC_p1_k256	FAIL	600
c5_BMC_p2_k128	FAIL	600
c5_BMC_p2_k64	FAIL	600
c6_BMC_p1_k32	FAIL	600
c1_BMC_p2_k16	FAIL	600
c1_BMC_p2_k8	FAIL	600
c3_BMC_p1_k128	FAIL	600
c3_BMC_p1_k64	FAIL	600
c5_BMC_p2_k16	FAIL	600
c5_BMC_p2_k8	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by ssolve-A
QBFEVAL'08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by ssolve-A QBFEVAL'08

Instances of family BMC solved by ssolve-A
QBFEVAL'08