Instances of family BMC solved by <a href='solver_detail.php?solver=52'>preQuel

Instances of family BMC solved by preQuel_sKizzo-0.10
QBFEVAL'07

Instance	Result	Time
c4_BMC_p2_k2	SAT	0.01
c3_BMC_p2_k2	SAT	0.03
c4_BMC_p1_k2	SAT	0.03
c4_BMC_p1_k4	SAT	0.04
c4_BMC_p2_k4	UNSAT	0.04
c3_BMC_p2_k4	SAT	0.04
c6_BMC_p2_k2	SAT	0.04
c4_BMC_p2_k8	UNSAT	0.04
c3_BMC_p2_k8	SAT	0.05
c4_BMC_p1_k8	SAT	0.05
c4_BMC_p2_k16	UNSAT	0.07
c4_BMC_p1_k16	SAT	0.08
c6_BMC_p1_k2	SAT	0.08
c3_BMC_p2_k16	SAT	0.09
c4_BMC_p2_k32	UNSAT	0.1
c3_BMC_p2_k32	SAT	0.1
c4_BMC_p1_k32	SAT	0.1
c3_BMC_p2_k64	SAT	0.13
c3_BMC_p2_k128	SAT	0.2
c3_BMC_p2_k256	SAT	0.34
c3_BMC_p2_k512	SAT	0.53
c3_BMC_p1_k4	SAT	0.65
c3_BMC_p1_k8	SAT	0.87
c1_BMC_p2_k2	SAT	1.02
c3_BMC_p2_k1024	SAT	1.08
c2_BMC_p2_k4	UNSAT	1.33
c2_BMC_p1_k4	SAT	1.35
c2_BMC_p2_k8	UNSAT	1.55
c2_BMC_p1_k8	SAT	1.82
c6_BMC_p2_k2048	FAIL	2.06
c3_BMC_p2_k2048	SAT	2.07
c6_BMC_p1_k2048	FAIL	2.08
c2_BMC_p2_k16	UNSAT	2.21
c3_BMC_p1_k16	SAT	2.57
c1_BMC_p2_k4	UNSAT	2.82
c2_BMC_p1_k1024	FAIL	2.84
c2_BMC_p2_k1024	FAIL	2.88
c5_BMC_p2_k512	FAIL	3.08
c1_BMC_p1_k4	SAT	3.09
c5_BMC_p1_k512	FAIL	3.12
c2_BMC_p2_k32	UNSAT	3.96
c1_BMC_p2_k512	FAIL	4.93
c1_BMC_p1_k512	FAIL	5.05
c2_BMC_p2_k2048	FAIL	5.27
c2_BMC_p1_k2048	FAIL	5.35
c5_BMC_p1_k1024	FAIL	5.76
c5_BMC_p2_k1024	FAIL	5.78
c5_BMC_p1_k2	SAT	7.33
c2_BMC_p2_k64	UNSAT	8.27
c1_BMC_p1_k1024	FAIL	8.33
c1_BMC_p2_k1024	FAIL	8.69
c5_BMC_p2_k2048	FAIL	9.9
c5_BMC_p1_k2048	FAIL	9.92
c1_BMC_p2_k2048	FAIL	10.79
c1_BMC_p1_k2048	FAIL	11.92
c5_BMC_p2_k2	SAT	12.56
c3_BMC_p1_k32	SAT	18.24
c1_BMC_p2_k8	UNSAT	19.14
c1_BMC_p1_k8	SAT	19.6
c2_BMC_p1_k16	SAT	19.96
c2_BMC_p2_k128	UNSAT	20.73
c1_BMC_p1_k2	SAT	21.03
c2_BMC_p1_k32	SAT	22.59
c2_BMC_p1_k64	SAT	29.3
c1_BMC_p2_k16	UNSAT	32.83
c2_BMC_p2_k2	UNSAT	37.67
c1_BMC_p1_k16	SAT	42.19
c2_BMC_p2_k256	UNSAT	59.73
c1_BMC_p1_k256	FAIL	107.28
c1_BMC_p2_k256	FAIL	107.44
c2_BMC_p1_k256	SAT	129.34
c5_BMC_p2_k256	FAIL	131.5
c5_BMC_p1_k256	FAIL	131.64
c2_BMC_p1_k128	SAT	178.25
c2_BMC_p2_k512	UNSAT	192.98
c5_BMC_p2_k128	FAIL	194.61
c5_BMC_p1_k128	FAIL	194.77
c3_BMC_p1_k2048	FAIL	380.98
c2_BMC_p1_k512	FAIL	563.66
c3_BMC_p1_k2	FAIL	600
c4_BMC_p2_k256	FAIL	600
c5_BMC_p1_k64	FAIL	600
c5_BMC_p2_k32	FAIL	600
c6_BMC_p2_k1024	FAIL	600
c6_BMC_p2_k512	FAIL	600
c1_BMC_p1_k128	FAIL	600
c1_BMC_p1_k64	FAIL	600
c1_BMC_p2_k32	FAIL	600
c4_BMC_p1_k1024	FAIL	600
c4_BMC_p1_k512	FAIL	600
c5_BMC_p1_k16	FAIL	600
c5_BMC_p1_k8	FAIL	600
c5_BMC_p2_k4	FAIL	600
c6_BMC_p1_k256	FAIL	600
c6_BMC_p2_k128	FAIL	600
c6_BMC_p2_k64	FAIL	600
c2_BMC_p1_k2	FAIL	600
c4_BMC_p1_k128	FAIL	600
c4_BMC_p1_k64	FAIL	600
c6_BMC_p2_k16	FAIL	600
c6_BMC_p2_k8	FAIL	600
c3_BMC_p1_k1024	FAIL	600
c3_BMC_p1_k512	FAIL	600
c5_BMC_p2_k64	FAIL	600
c6_BMC_p1_k32	FAIL	600
c1_BMC_p2_k128	FAIL	600
c1_BMC_p2_k64	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
c4_BMC_p2_k512	FAIL	600
c5_BMC_p2_k16	FAIL	600
c5_BMC_p2_k8	FAIL	600
c6_BMC_p1_k4	FAIL	600
c6_BMC_p2_k256	FAIL	600
c4_BMC_p1_k256	FAIL	600
c4_BMC_p2_k128	FAIL	600
c4_BMC_p2_k64	FAIL	600
c5_BMC_p1_k32	FAIL	600
c6_BMC_p1_k1024	FAIL	600
c6_BMC_p1_k512	FAIL	600
c1_BMC_p1_k32	FAIL	600
c5_BMC_p1_k4	FAIL	600
c6_BMC_p1_k128	FAIL	600
c6_BMC_p1_k64	FAIL	600
c6_BMC_p2_k32	FAIL	600
c3_BMC_p1_k256	FAIL	600
c4_BMC_p2_k2048	FAIL	600
c6_BMC_p1_k16	FAIL	600
c6_BMC_p1_k8	FAIL	600
c6_BMC_p2_k4	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by preQuel_sKizzo-0.10
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by preQuel_sKizzo-0.10 QBFEVAL'07

Instances of family BMC solved by preQuel_sKizzo-0.10
QBFEVAL'07