Instances of family BMC solved by <a href='solver_detail.php?solver=13'>yQuaffle</a> <br> QBFEVAL'07

Instances of family BMC solved by yQuaffle
QBFEVAL'07

Instance	Result	Time
c4_BMC_p2_k2	UNSAT	0.03
c4_BMC_p1_k2	SAT	0.04
c4_BMC_p2_k4	UNSAT	0.04
c4_BMC_p1_k4	SAT	0.05
c6_BMC_p2_k2	UNSAT	0.06
c4_BMC_p2_k8	UNSAT	0.07
c6_BMC_p2_k4	UNSAT	0.07
c3_BMC_p2_k2	UNSAT	0.08
c6_BMC_p2_k8	UNSAT	0.09
c3_BMC_p2_k4	UNSAT	0.1
c6_BMC_p1_k2	SAT	0.12
c6_BMC_p2_k16	UNSAT	0.13
c4_BMC_p1_k8	SAT	0.14
c6_BMC_p2_k32	UNSAT	0.15
c3_BMC_p2_k8	UNSAT	0.16
c4_BMC_p2_k16	UNSAT	0.18
c6_BMC_p2_k64	UNSAT	0.21
c4_BMC_p2_k32	UNSAT	0.26
c3_BMC_p2_k16	UNSAT	0.3
c3_BMC_p2_k32	UNSAT	0.34
c6_BMC_p2_k128	UNSAT	0.35
c3_BMC_p1_k2	SAT	0.38
c3_BMC_p2_k64	UNSAT	0.41
c4_BMC_p2_k64	UNSAT	0.48
c3_BMC_p2_k128	UNSAT	0.57
c6_BMC_p2_k256	UNSAT	0.58
c6_BMC_p1_k4	SAT	0.61
c4_BMC_p1_k16	SAT	0.72
c1_BMC_p2_k2	UNSAT	0.72
c4_BMC_p1_k64	SAT	0.94
c3_BMC_p2_k256	UNSAT	0.94
c1_BMC_p2_k4	UNSAT	1.02
c6_BMC_p2_k512	UNSAT	1.14
c2_BMC_p2_k2	UNSAT	1.34
c1_BMC_p2_k32	UNSAT	1.57
c3_BMC_p2_k512	UNSAT	1.63
c1_BMC_p2_k8	UNSAT	1.68
c4_BMC_p1_k32	SAT	1.78
c4_BMC_p2_k128	UNSAT	1.9
c2_BMC_p1_k2	SAT	1.9
c1_BMC_p2_k64	UNSAT	2.17
c6_BMC_p2_k1024	UNSAT	2.28
c6_BMC_p1_k8	SAT	2.33
c1_BMC_p2_k16	UNSAT	2.97
c3_BMC_p2_k1024	UNSAT	3.09
c4_BMC_p1_k128	SAT	3.14
c1_BMC_p2_k128	UNSAT	3.16
c6_BMC_p2_k2048	UNSAT	4.31
c1_BMC_p2_k256	UNSAT	5.22
c4_BMC_p2_k256	UNSAT	5.54
c3_BMC_p2_k2048	UNSAT	6.15
c6_BMC_p1_k16	SAT	7.45
c5_BMC_p1_k2	SAT	8.73
c1_BMC_p2_k512	UNSAT	9.33
c4_BMC_p1_k256	SAT	9.84
c5_BMC_p2_k2	UNSAT	10.31
c1_BMC_p2_k1024	UNSAT	17.91
c1_BMC_p1_k2	SAT	18.57
c2_BMC_p2_k4	UNSAT	19.07
c6_BMC_p1_k32	SAT	20.69
c5_BMC_p2_k2048	FAIL	22.8
c2_BMC_p2_k8	UNSAT	24.8
c5_BMC_p1_k2048	FAIL	25.55
c1_BMC_p2_k2048	FAIL	25.74
c1_BMC_p1_k2048	FAIL	25.79
c3_BMC_p1_k4	SAT	48.91
c2_BMC_p1_k4	SAT	83.02
c4_BMC_p2_k512	UNSAT	97.22
c2_BMC_p2_k16	UNSAT	116.31
c6_BMC_p1_k64	SAT	131.41
c1_BMC_p1_k4	SAT	137.59
c6_BMC_p1_k128	SAT	144.26
c4_BMC_p1_k512	SAT	232.22
c5_BMC_p1_k4	SAT	254.75
c5_BMC_p2_k4	UNSAT	304.73
c3_BMC_p1_k8	SAT	323.99
c6_BMC_p1_k256	SAT	338.55
c3_BMC_p1_k16	SAT	479.78
c1_BMC_p1_k32	FAIL	600
c2_BMC_p1_k1024	FAIL	600
c2_BMC_p1_k512	FAIL	600
c5_BMC_p1_k32	FAIL	600
c6_BMC_p1_k1024	FAIL	600
c6_BMC_p1_k512	FAIL	600
c2_BMC_p1_k128	FAIL	600
c2_BMC_p1_k64	FAIL	600
c2_BMC_p2_k32	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
c4_BMC_p2_k2048	FAIL	600
c5_BMC_p1_k1024	FAIL	600
c5_BMC_p1_k512	FAIL	600
c1_BMC_p1_k128	FAIL	600
c1_BMC_p1_k64	FAIL	600
c2_BMC_p1_k2048	FAIL	600
c2_BMC_p2_k1024	FAIL	600
c2_BMC_p2_k512	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
c2_BMC_p1_k256	FAIL	600
c2_BMC_p2_k128	FAIL	600
c2_BMC_p2_k64	FAIL	600
c3_BMC_p1_k32	FAIL	600
c4_BMC_p1_k1024	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
c2_BMC_p2_k256	FAIL	600
c3_BMC_p1_k128	FAIL	600
c3_BMC_p1_k64	FAIL	600
c4_BMC_p1_k2048	FAIL	600
c4_BMC_p2_k1024	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 yQuaffle
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by yQuaffle QBFEVAL'07

Instances of family BMC solved by yQuaffle
QBFEVAL'07