Sota solver results for family BMC <br> QBFEVAL'07

Sota solver results for family BMC
QBFEVAL'07

Instance	Solver	Result	Time
c1_BMC_p1_k128	QUANTOR_2.15	SAT	15.36
c1_BMC_p1_k16	qZilla	SAT	3.12
c1_BMC_p1_k2	QUANTOR_2.15	SAT	0.4
c1_BMC_p1_k256	QUANTOR_2.15	SAT	32.5
c1_BMC_p1_k32	Adaptive2clsQ	SAT	4.42
c1_BMC_p1_k4	Adaptive2clsQ	SAT	0.72
c1_BMC_p1_k512	AQME-1NN	SAT	314.71
c1_BMC_p1_k64	Adaptive2clsQ	SAT	7.22
c1_BMC_p1_k8	qZilla	SAT	1.42
c1_BMC_p2_k1024	yQuaffle	UNSAT	17.91
c1_BMC_p2_k128	yQuaffle	UNSAT	3.16
c1_BMC_p2_k16	qZilla	UNSAT	1.79
c1_BMC_p2_k2	qZilla	UNSAT	0.28
c1_BMC_p2_k256	yQuaffle	UNSAT	5.22
c1_BMC_p2_k32	yQuaffle	UNSAT	1.57
c1_BMC_p2_k4	qZilla	UNSAT	0.51
c1_BMC_p2_k512	yQuaffle	UNSAT	9.33
c1_BMC_p2_k64	yQuaffle	UNSAT	2.17
c1_BMC_p2_k8	qZilla	UNSAT	0.89
c2_BMC_p1_k128	sKizzo-0.10-qck	SAT	15.36
c2_BMC_p1_k16	qZilla	SAT	1.64
c2_BMC_p1_k2	QUANTOR_2.15	SAT	0.16
c2_BMC_p1_k256	sKizzo-0.10-qck	SAT	27.99
c2_BMC_p1_k32	qZilla	SAT	3.61
c2_BMC_p1_k4	sKizzo-0.10-std	SAT	0.33
c2_BMC_p1_k512	AQME-1NN	SAT	25.45
c2_BMC_p1_k64	Adaptive2clsQ	SAT	8.15
c2_BMC_p1_k8	sKizzo-0.10-std	SAT	0.73
c2_BMC_p2_k1024	sKizzo-0.10-std	UNSAT	23.29
c2_BMC_p2_k128	sKizzo-0.10-std	UNSAT	3.27
c2_BMC_p2_k16	sKizzo-0.10-std	UNSAT	0.84
c2_BMC_p2_k2	QUANTOR_2.15	UNSAT	0.12
c2_BMC_p2_k2048	sKizzo-0.10-std	UNSAT	45.99
c2_BMC_p2_k256	sKizzo-0.10-std	UNSAT	5.95
c2_BMC_p2_k32	sKizzo-0.10-std	UNSAT	1.17
c2_BMC_p2_k4	QUANTOR_2.15	UNSAT	0.18
c2_BMC_p2_k512	sKizzo-0.10-std	UNSAT	11.7
c2_BMC_p2_k64	sKizzo-0.10-std	UNSAT	1.84
c2_BMC_p2_k8	sKizzo-0.10-std	UNSAT	0.46
c3_BMC_p1_k128	qZilla	SAT	4.16
c3_BMC_p1_k16	qZilla	SAT	0.81
c3_BMC_p1_k2	QUANTOR_2.15	SAT	0.08
c3_BMC_p1_k256	Adaptive2clsQ	SAT	6.78
c3_BMC_p1_k32	qZilla	SAT	1.29
c3_BMC_p1_k4	QUANTOR_2.15	SAT	0.2
c3_BMC_p1_k512	QUANTOR_2.15	SAT	129.68
c3_BMC_p1_k64	Adaptive2clsQ	SAT	2.08
c3_BMC_p1_k8	sKizzo-0.10-qck	SAT	0.35
c3_BMC_p2_k1024	preQuel_sKizzo-0.10	SAT	1.08
c3_BMC_p2_k128	preQuel_sKizzo-0.10	SAT	0.2
c3_BMC_p2_k16	preQuel_sKizzo-0.10	SAT	0.09
c3_BMC_p2_k2	preQuel_sKizzo-0.10	SAT	0.03
c3_BMC_p2_k2048	preQuel_sKizzo-0.10	SAT	2.07
c3_BMC_p2_k256	preQuel_sKizzo-0.10	SAT	0.34
c3_BMC_p2_k32	preQuel_sKizzo-0.10	SAT	0.1
c3_BMC_p2_k4	preQuel_sKizzo-0.10	SAT	0.04
c3_BMC_p2_k512	preQuel_sKizzo-0.10	SAT	0.53
c3_BMC_p2_k64	preQuel_sKizzo-0.10	SAT	0.13
c3_BMC_p2_k8	preQuel_sKizzo-0.10	SAT	0.05
c4_BMC_p1_k1024	Adaptive2clsQ	SAT	2.08
c4_BMC_p1_k128	sKizzo-0.10-std	SAT	0.16
c4_BMC_p1_k16	QUANTOR_2.15	SAT	0.05
c4_BMC_p1_k2	QUANTOR_2.15	SAT	0.01
c4_BMC_p1_k2048	qZilla	SAT	5.44
c4_BMC_p1_k256	sKizzo-0.10-qck	SAT	0.3
c4_BMC_p1_k32	sKizzo-0.10-std	SAT	0.06
c4_BMC_p1_k4	QUANTOR_2.15	SAT	0.01
c4_BMC_p1_k512	qZilla	SAT	0.92
c4_BMC_p1_k64	sKizzo-0.10-std	SAT	0.1
c4_BMC_p1_k8	QUANTOR_2.15	SAT	0.02
c4_BMC_p2_k1024	sKizzo-0.10-std	UNSAT	0.64
c4_BMC_p2_k128	sKizzo-0.10-qck	UNSAT	0.16
c4_BMC_p2_k16	QUANTOR_2.15	UNSAT	0.04
c4_BMC_p2_k2	QUANTOR_2.15	UNSAT	0.01
c4_BMC_p2_k2048	sKizzo-0.10-std	UNSAT	1.23
c4_BMC_p2_k256	sKizzo-0.10-qck	UNSAT	0.18
c4_BMC_p2_k32	sKizzo-0.10-qck	UNSAT	0.06
c4_BMC_p2_k4	QUANTOR_2.15	UNSAT	0.02
c4_BMC_p2_k512	sKizzo-0.10-std	UNSAT	0.33
c4_BMC_p2_k64	sKizzo-0.10-std	UNSAT	0.09
c4_BMC_p2_k8	QUANTOR_2.15	UNSAT	0.02
c5_BMC_p1_k16	qZilla	SAT	2.86
c5_BMC_p1_k2	QUANTOR_2.15	SAT	0.34
c5_BMC_p1_k32	sKizzo-0.10-std	SAT	3.3
c5_BMC_p1_k4	Adaptive2clsQ	SAT	0.56
c5_BMC_p1_k8	qZilla	SAT	1.04
c5_BMC_p2_k16	sKizzo-0.10-std	UNSAT	1.6
c5_BMC_p2_k2	QUANTOR_2.15	UNSAT	0.23
c5_BMC_p2_k32	qZilla	UNSAT	2.83
c5_BMC_p2_k4	qZilla	UNSAT	0.53
c5_BMC_p2_k8	sKizzo-0.10-std	UNSAT	0.9
c6_BMC_p1_k1024	QUANTOR_2.15	SAT	106.35
c6_BMC_p1_k128	qZilla	SAT	1.57
c6_BMC_p1_k16	sKizzo-0.10-std	SAT	0.22
c6_BMC_p1_k2	QUANTOR_2.15	SAT	0.04
c6_BMC_p1_k256	qSS	SAT	6.42
c6_BMC_p1_k32	sKizzo-0.10-std	SAT	0.37
c6_BMC_p1_k4	QUANTOR_2.15	SAT	0.07
c6_BMC_p1_k512	qSS	SAT	23.94
c6_BMC_p1_k64	qZilla	SAT	0.85
c6_BMC_p1_k8	sKizzo-0.10-std	SAT	0.13
c6_BMC_p2_k1024	yQuaffle	UNSAT	2.28
c6_BMC_p2_k128	yQuaffle	UNSAT	0.35
c6_BMC_p2_k16	yQuaffle	UNSAT	0.13
c6_BMC_p2_k2	preQuel_sKizzo-0.10	SAT	0.04
c6_BMC_p2_k2048	yQuaffle	UNSAT	4.31
c6_BMC_p2_k256	yQuaffle	UNSAT	0.58
c6_BMC_p2_k32	yQuaffle	UNSAT	0.15
c6_BMC_p2_k4	QUANTOR_2.15	UNSAT	0.06
c6_BMC_p2_k512	yQuaffle	UNSAT	1.14
c6_BMC_p2_k64	yQuaffle	UNSAT	0.21
c6_BMC_p2_k8	yQuaffle	UNSAT	0.09

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family BMC
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family BMC QBFEVAL'07

Sota solver results for family BMC
QBFEVAL'07