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

Instances of family BMC solved by Adaptive2clsQ
QBFEVAL'07

Instance	Result	Time
c4_BMC_p2_k2	UNSAT	0.04
c4_BMC_p2_k4	UNSAT	0.05
c4_BMC_p1_k2	SAT	0.05
c3_BMC_p2_k2	UNSAT	0.07
c4_BMC_p1_k16	SAT	0.07
c4_BMC_p2_k8	UNSAT	0.07
c3_BMC_p2_k4	UNSAT	0.08
c4_BMC_p2_k16	UNSAT	0.08
c4_BMC_p1_k4	SAT	0.08
c4_BMC_p1_k8	SAT	0.08
c6_BMC_p1_k2	SAT	0.08
c6_BMC_p2_k2	UNSAT	0.08
c4_BMC_p1_k32	SAT	0.08
c4_BMC_p2_k32	UNSAT	0.09
c3_BMC_p2_k8	UNSAT	0.1
c6_BMC_p2_k4	UNSAT	0.1
c6_BMC_p1_k4	SAT	0.12
c6_BMC_p2_k8	UNSAT	0.12
c3_BMC_p1_k2	SAT	0.13
c4_BMC_p2_k64	UNSAT	0.14
c3_BMC_p2_k16	UNSAT	0.16
c4_BMC_p1_k64	SAT	0.16
c2_BMC_p2_k2	UNSAT	0.16
c6_BMC_p1_k8	SAT	0.17
c3_BMC_p2_k32	UNSAT	0.18
c3_BMC_p1_k4	SAT	0.2
c6_BMC_p2_k16	UNSAT	0.21
c2_BMC_p1_k2	SAT	0.22
c3_BMC_p2_k64	UNSAT	0.22
c2_BMC_p2_k4	UNSAT	0.23
c4_BMC_p1_k128	SAT	0.25
c4_BMC_p2_k128	UNSAT	0.25
c5_BMC_p2_k2	UNSAT	0.29
c6_BMC_p2_k32	UNSAT	0.3
c1_BMC_p2_k2	UNSAT	0.3
c6_BMC_p1_k16	SAT	0.33
c3_BMC_p2_k128	UNSAT	0.35
c4_BMC_p2_k256	UNSAT	0.37
c2_BMC_p1_k4	SAT	0.4
c5_BMC_p1_k2	SAT	0.4
c3_BMC_p1_k8	SAT	0.4
c6_BMC_p2_k64	UNSAT	0.45
c6_BMC_p1_k32	SAT	0.47
c4_BMC_p1_k256	SAT	0.47
c2_BMC_p2_k8	UNSAT	0.48
c1_BMC_p1_k2	SAT	0.49
c3_BMC_p2_k256	UNSAT	0.52
c1_BMC_p2_k4	UNSAT	0.53
c5_BMC_p1_k4	SAT	0.56
c5_BMC_p2_k4	UNSAT	0.57
c1_BMC_p1_k4	SAT	0.72
c2_BMC_p1_k8	SAT	0.76
c4_BMC_p2_k512	UNSAT	0.77
c6_BMC_p2_k128	UNSAT	0.78
c3_BMC_p1_k16	SAT	0.84
c6_BMC_p1_k64	SAT	0.86
c1_BMC_p2_k8	UNSAT	0.9
c4_BMC_p1_k512	SAT	0.94
c3_BMC_p2_k512	UNSAT	0.96
c5_BMC_p2_k8	UNSAT	0.98
c2_BMC_p2_k16	UNSAT	1.03
c5_BMC_p1_k8	SAT	1.06
c3_BMC_p1_k32	SAT	1.32
c6_BMC_p2_k256	UNSAT	1.41
c1_BMC_p1_k8	SAT	1.44
c2_BMC_p2_k32	UNSAT	1.57
c4_BMC_p2_k1024	UNSAT	1.6
c6_BMC_p1_k128	SAT	1.6
c2_BMC_p1_k16	SAT	1.64
c3_BMC_p2_k1024	UNSAT	1.77
c1_BMC_p2_k16	UNSAT	1.82
c5_BMC_p2_k16	UNSAT	1.85
c3_BMC_p1_k64	SAT	2.08
c4_BMC_p1_k1024	SAT	2.08
c1_BMC_p2_k32	UNSAT	2.37
c2_BMC_p2_k64	UNSAT	2.68
c6_BMC_p2_k512	UNSAT	2.8
c5_BMC_p1_k16	SAT	2.89
c5_BMC_p2_k32	UNSAT	2.9
c1_BMC_p1_k16	SAT	3.12
c1_BMC_p2_k64	UNSAT	3.5
c3_BMC_p2_k2048	UNSAT	3.52
c2_BMC_p1_k32	SAT	3.64
c5_BMC_p1_k32	SAT	3.72
c4_BMC_p2_k2048	UNSAT	3.92
c3_BMC_p1_k128	SAT	4.18
c1_BMC_p1_k32	SAT	4.42
c2_BMC_p2_k128	UNSAT	5.12
c4_BMC_p1_k2048	SAT	5.58
c6_BMC_p2_k1024	UNSAT	5.74
c1_BMC_p2_k128	UNSAT	5.88
c3_BMC_p1_k256	SAT	6.78
c1_BMC_p1_k64	SAT	7.22
c2_BMC_p1_k64	SAT	8.15
c2_BMC_p2_k256	UNSAT	10.36
c6_BMC_p2_k2048	UNSAT	20.97
c2_BMC_p2_k512	UNSAT	21.67
c2_BMC_p2_k1024	UNSAT	37.03
c1_BMC_p2_k2048	FAIL	54.67
c1_BMC_p1_k2048	FAIL	54.99
c2_BMC_p2_k2048	UNSAT	62.64
c5_BMC_p1_k512	FAIL	65.28
c5_BMC_p2_k512	FAIL	66.73
c2_BMC_p1_k2048	FAIL	71.08
c5_BMC_p1_k1024	FAIL	94.56
c2_BMC_p1_k256	SAT	94.85
c5_BMC_p2_k1024	FAIL	95.55
c5_BMC_p2_k2048	FAIL	128.54
c5_BMC_p1_k2048	FAIL	130.22
c1_BMC_p2_k256	UNSAT	191.73
c1_BMC_p2_k512	UNSAT	200
c5_BMC_p2_k128	FAIL	205.78
c1_BMC_p1_k256	SAT	224.39
c2_BMC_p1_k1024	FAIL	236.9
c2_BMC_p1_k128	FAIL	242.18
c1_BMC_p1_k512	FAIL	311.79
c6_BMC_p1_k2048	FAIL	330.34
c5_BMC_p2_k256	FAIL	462.44
c5_BMC_p1_k256	FAIL	465.83
c5_BMC_p1_k128	FAIL	590.9
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
c1_BMC_p1_k1024	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by Adaptive2clsQ
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family BMC solved by Adaptive2clsQ QBFEVAL'07

Instances of family BMC solved by Adaptive2clsQ
QBFEVAL'07