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

Instances of family BMC solved by qZilla
QBFEVAL'07

Instance	Result	Time
c4_BMC_p2_k2	UNSAT	0.04
c4_BMC_p2_k4	UNSAT	0.04
c4_BMC_p1_k4	SAT	0.04
c4_BMC_p1_k8	SAT	0.04
c6_BMC_p2_k2	UNSAT	0.05
c4_BMC_p1_k2	SAT	0.05
c4_BMC_p2_k8	UNSAT	0.06
c4_BMC_p2_k16	UNSAT	0.06
c3_BMC_p2_k4	UNSAT	0.06
c3_BMC_p2_k2	UNSAT	0.07
c4_BMC_p1_k16	SAT	0.07
c3_BMC_p2_k8	UNSAT	0.08
c6_BMC_p1_k2	SAT	0.08
c4_BMC_p1_k32	SAT	0.09
c6_BMC_p1_k4	SAT	0.09
c3_BMC_p1_k2	SAT	0.1
c4_BMC_p2_k32	UNSAT	0.1
c6_BMC_p2_k4	UNSAT	0.1
c6_BMC_p2_k8	UNSAT	0.11
c3_BMC_p2_k16	UNSAT	0.13
c4_BMC_p1_k64	SAT	0.13
c4_BMC_p2_k64	UNSAT	0.13
c2_BMC_p2_k2	UNSAT	0.14
c6_BMC_p1_k8	SAT	0.16
c3_BMC_p2_k32	UNSAT	0.16
c2_BMC_p1_k2	SAT	0.18
c3_BMC_p1_k4	SAT	0.2
c4_BMC_p2_k128	UNSAT	0.2
c2_BMC_p2_k4	UNSAT	0.21
c6_BMC_p2_k16	UNSAT	0.21
c3_BMC_p2_k64	UNSAT	0.22
c4_BMC_p1_k128	SAT	0.23
c5_BMC_p2_k2	UNSAT	0.27
c6_BMC_p2_k32	UNSAT	0.27
c1_BMC_p2_k2	UNSAT	0.28
c3_BMC_p2_k128	UNSAT	0.29
c6_BMC_p1_k16	SAT	0.32
c2_BMC_p1_k4	SAT	0.37
c5_BMC_p1_k2	SAT	0.37
c4_BMC_p2_k256	UNSAT	0.38
c3_BMC_p1_k8	SAT	0.39
c6_BMC_p2_k64	UNSAT	0.42
c1_BMC_p1_k2	SAT	0.44
c4_BMC_p1_k256	SAT	0.44
c6_BMC_p1_k32	SAT	0.46
c2_BMC_p2_k8	UNSAT	0.49
c3_BMC_p2_k256	UNSAT	0.49
c1_BMC_p2_k4	UNSAT	0.51
c5_BMC_p2_k4	UNSAT	0.53
c5_BMC_p1_k4	SAT	0.57
c1_BMC_p1_k4	SAT	0.73
c2_BMC_p1_k8	SAT	0.74
c4_BMC_p2_k512	UNSAT	0.76
c6_BMC_p2_k128	UNSAT	0.76
c3_BMC_p1_k16	SAT	0.81
c6_BMC_p1_k64	SAT	0.85
c1_BMC_p2_k8	UNSAT	0.89
c3_BMC_p2_k512	UNSAT	0.92
c4_BMC_p1_k512	SAT	0.92
c5_BMC_p2_k8	UNSAT	0.94
c5_BMC_p1_k8	SAT	1.04
c2_BMC_p2_k16	UNSAT	1.05
c3_BMC_p1_k32	SAT	1.29
c6_BMC_p2_k256	UNSAT	1.38
c1_BMC_p1_k8	SAT	1.42
c2_BMC_p2_k32	UNSAT	1.55
c6_BMC_p1_k128	SAT	1.57
c4_BMC_p2_k1024	UNSAT	1.59
c2_BMC_p1_k16	SAT	1.64
c3_BMC_p2_k1024	UNSAT	1.76
c1_BMC_p2_k16	UNSAT	1.79
c5_BMC_p2_k16	UNSAT	1.82
c3_BMC_p1_k64	SAT	2.08
c4_BMC_p1_k1024	SAT	2.1
c1_BMC_p2_k32	UNSAT	2.37
c2_BMC_p2_k64	UNSAT	2.72
c6_BMC_p2_k512	UNSAT	2.74
c5_BMC_p2_k32	UNSAT	2.83
c5_BMC_p1_k16	SAT	2.86
c1_BMC_p1_k16	SAT	3.12
c3_BMC_p2_k2048	UNSAT	3.42
c1_BMC_p2_k64	UNSAT	3.47
c2_BMC_p1_k32	SAT	3.61
c5_BMC_p1_k32	SAT	3.65
c4_BMC_p2_k2048	UNSAT	3.92
c3_BMC_p1_k128	SAT	4.16
c1_BMC_p1_k32	SAT	4.44
c2_BMC_p2_k128	UNSAT	5.15
c4_BMC_p1_k2048	SAT	5.44
c6_BMC_p2_k1024	UNSAT	5.74
c1_BMC_p2_k128	UNSAT	5.87
c3_BMC_p1_k256	SAT	6.79
c1_BMC_p1_k64	SAT	7.38
c2_BMC_p1_k64	SAT	8.17
c2_BMC_p2_k256	UNSAT	10.25
c6_BMC_p2_k2048	UNSAT	21.03
c2_BMC_p2_k512	UNSAT	21.6
c2_BMC_p2_k1024	UNSAT	36.95
c1_BMC_p2_k2048	FAIL	55.19
c1_BMC_p1_k2048	FAIL	55.32
c2_BMC_p2_k2048	UNSAT	62.47
c5_BMC_p1_k512	FAIL	65
c5_BMC_p2_k512	FAIL	66.21
c2_BMC_p1_k2048	FAIL	71.23
c5_BMC_p2_k1024	FAIL	94.34
c5_BMC_p1_k1024	FAIL	94.7
c5_BMC_p1_k2048	FAIL	127.3
c5_BMC_p2_k2048	FAIL	127.75
c1_BMC_p2_k256	UNSAT	190.91
c2_BMC_p1_k128	FAIL	191.55
c1_BMC_p2_k512	UNSAT	195.69
c5_BMC_p2_k128	FAIL	205.56
c1_BMC_p1_k256	SAT	224.82
c2_BMC_p1_k1024	FAIL	253.1
c2_BMC_p1_k256	FAIL	284.11
c1_BMC_p1_k512	FAIL	292.88
c6_BMC_p1_k2048	FAIL	330.73
c5_BMC_p1_k256	FAIL	465.95
c5_BMC_p2_k256	FAIL	467.69
c5_BMC_p1_k128	FAIL	590.86
c1_BMC_p1_k1024	FAIL	600
c1_BMC_p1_k128	FAIL	600
c5_BMC_p1_k64	FAIL	600
c6_BMC_p1_k256	FAIL	600
c1_BMC_p2_k1024	FAIL	600
c3_BMC_p1_k1024	FAIL	600
c3_BMC_p1_k512	FAIL	600
c5_BMC_p2_k64	FAIL	600
c2_BMC_p1_k512	FAIL	600
c6_BMC_p1_k1024	FAIL	600
c6_BMC_p1_k512	FAIL	600
c3_BMC_p1_k2048	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by qZilla
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by qZilla QBFEVAL'07

Instances of family BMC solved by qZilla
QBFEVAL'07