Instances of family BMC solved by <a href='solver_detail.php?solver=51'>sKizzo-0.10-qck</a> <br> QBFEVAL'07

Instances of family BMC solved by sKizzo-0.10-qck
QBFEVAL'07

Instance	Result	Time
c6_BMC_p1_k256	FAIL	0.01
c5_BMC_p2_k128	FAIL	0.01
c4_BMC_p1_k2	SAT	0.02
c4_BMC_p2_k2	UNSAT	0.02
c4_BMC_p1_k4	SAT	0.03
c4_BMC_p2_k4	UNSAT	0.03
c4_BMC_p1_k8	SAT	0.03
c4_BMC_p2_k8	UNSAT	0.04
c3_BMC_p2_k2	UNSAT	0.05
c4_BMC_p2_k16	UNSAT	0.05
c4_BMC_p1_k16	SAT	0.06
c4_BMC_p2_k32	UNSAT	0.06
c3_BMC_p2_k4	UNSAT	0.06
c4_BMC_p1_k32	SAT	0.07
c6_BMC_p2_k2	UNSAT	0.07
c6_BMC_p1_k2	SAT	0.07
c6_BMC_p2_k4	UNSAT	0.09
c6_BMC_p1_k4	SAT	0.1
c4_BMC_p1_k64	SAT	0.1
c4_BMC_p2_k64	UNSAT	0.1
c3_BMC_p2_k8	UNSAT	0.12
c6_BMC_p2_k8	UNSAT	0.13
c6_BMC_p1_k8	SAT	0.14
c3_BMC_p1_k2	SAT	0.14
c4_BMC_p2_k128	UNSAT	0.16
c4_BMC_p1_k128	SAT	0.17
c4_BMC_p2_k256	UNSAT	0.18
c6_BMC_p2_k16	UNSAT	0.21
c3_BMC_p1_k4	SAT	0.22
c6_BMC_p1_k16	SAT	0.22
c3_BMC_p2_k16	UNSAT	0.23
c2_BMC_p2_k2	UNSAT	0.27
c3_BMC_p2_k32	UNSAT	0.28
c2_BMC_p1_k2	SAT	0.29
c4_BMC_p1_k256	SAT	0.3
c6_BMC_p2_k32	UNSAT	0.32
c3_BMC_p2_k64	UNSAT	0.33
c2_BMC_p1_k4	SAT	0.34
c4_BMC_p2_k512	UNSAT	0.34
c3_BMC_p1_k8	SAT	0.35
c2_BMC_p2_k4	UNSAT	0.37
c6_BMC_p2_k64	UNSAT	0.37
c6_BMC_p1_k32	SAT	0.37
c3_BMC_p2_k128	UNSAT	0.47
c2_BMC_p2_k8	UNSAT	0.47
c5_BMC_p2_k2	UNSAT	0.56
c5_BMC_p1_k2	SAT	0.56
c5_BMC_p2_k4	UNSAT	0.63
c6_BMC_p2_k128	UNSAT	0.64
c4_BMC_p2_k1024	UNSAT	0.64
c2_BMC_p1_k8	SAT	0.74
c3_BMC_p2_k256	UNSAT	0.75
c5_BMC_p1_k4	SAT	0.76
c1_BMC_p1_k2	SAT	0.78
c1_BMC_p2_k2	UNSAT	0.79
c3_BMC_p1_k16	SAT	0.84
c2_BMC_p2_k16	UNSAT	0.86
c5_BMC_p2_k8	UNSAT	0.9
c1_BMC_p2_k4	UNSAT	1.06
c6_BMC_p2_k256	UNSAT	1.14
c5_BMC_p1_k8	SAT	1.21
c2_BMC_p2_k32	UNSAT	1.22
c4_BMC_p2_k2048	UNSAT	1.28
c3_BMC_p2_k512	UNSAT	1.28
c1_BMC_p1_k4	SAT	1.35
c5_BMC_p2_k16	UNSAT	1.65
c2_BMC_p2_k64	UNSAT	1.89
c6_BMC_p2_k512	UNSAT	2.16
c3_BMC_p2_k1024	UNSAT	2.65
c5_BMC_p2_k32	UNSAT	2.97
c4_BMC_p1_k512	SAT	3.13
c5_BMC_p1_k32	SAT	3.33
c2_BMC_p2_k128	UNSAT	3.34
c6_BMC_p1_k64	SAT	3.47
c4_BMC_p1_k1024	SAT	4.04
c6_BMC_p2_k1024	UNSAT	4.24
c3_BMC_p1_k32	SAT	4.43
c6_BMC_p1_k128	SAT	4.63
c3_BMC_p2_k2048	UNSAT	5.39
c3_BMC_p1_k64	SAT	5.7
c2_BMC_p2_k256	UNSAT	6.14
c2_BMC_p1_k16	SAT	6.16
c5_BMC_p1_k16	SAT	7.44
c4_BMC_p1_k2048	SAT	8.05
c6_BMC_p2_k2048	UNSAT	8.8
c2_BMC_p1_k32	SAT	8.89
c2_BMC_p1_k64	SAT	10.1
c2_BMC_p2_k512	UNSAT	12
c3_BMC_p1_k128	SAT	15.26
c2_BMC_p1_k128	SAT	15.36
c1_BMC_p2_k8	UNSAT	17.58
c1_BMC_p2_k64	UNSAT	17.64
c1_BMC_p1_k8	SAT	18.37
c2_BMC_p2_k1024	UNSAT	23.73
c1_BMC_p2_k32	UNSAT	23.94
c1_BMC_p1_k64	SAT	26.65
c2_BMC_p1_k256	SAT	27.99
c1_BMC_p1_k32	SAT	29.19
c1_BMC_p2_k2048	FAIL	30.11
c1_BMC_p1_k2048	FAIL	30.43
c1_BMC_p2_k16	UNSAT	31.26
c1_BMC_p1_k16	SAT	36.67
c1_BMC_p2_k128	UNSAT	39.47
c6_BMC_p1_k512	SAT	46.21
c2_BMC_p1_k2048	FAIL	50.09
c2_BMC_p2_k2048	FAIL	50.21
c1_BMC_p1_k128	SAT	50.44
c5_BMC_p1_k1024	FAIL	65.57
c5_BMC_p2_k1024	FAIL	65.73
c1_BMC_p2_k256	UNSAT	83.79
c1_BMC_p1_k256	SAT	86.21
c5_BMC_p1_k2048	FAIL	97.25
c5_BMC_p2_k2048	FAIL	97.45
c3_BMC_p1_k256	SAT	138.67
c2_BMC_p1_k1024	FAIL	154.01
c1_BMC_p2_k512	FAIL	155.79
c1_BMC_p1_k512	FAIL	176.17
c5_BMC_p1_k512	FAIL	180.02
c5_BMC_p2_k512	FAIL	180.75
c3_BMC_p1_k2048	FAIL	196.65
c5_BMC_p1_k256	FAIL	231.28
c5_BMC_p2_k256	FAIL	235.25
c3_BMC_p1_k1024	FAIL	250.51
c1_BMC_p2_k1024	FAIL	567.48
c6_BMC_p1_k1024	SAT	581.76
c1_BMC_p1_k1024	FAIL	600
c5_BMC_p1_k128	FAIL	600
c5_BMC_p1_k64	FAIL	600
c6_BMC_p1_k2048	FAIL	600
c3_BMC_p1_k512	FAIL	600
c5_BMC_p2_k64	FAIL	600
c2_BMC_p1_k512	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by sKizzo-0.10-qck
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by sKizzo-0.10-qck QBFEVAL'07

Instances of family BMC solved by sKizzo-0.10-qck
QBFEVAL'07