Sota solver results for family NuSMV_diam_bin <br> QBFEVAL'08

Sota solver results for family NuSMV_diam_bin
QBFEVAL'08 - non-prenex non-cnf track.

Instance	Solver	Result	Time
counter4_10-bin	CMS_Solver	SAT	0.05
counter4_11-bin	CMS_Solver	SAT	0.06
counter4_12-bin	CMS_Solver	SAT	0.06
counter4_13-bin	CMS_Solver	SAT	0.08
counter4_14-bin	CMS_Solver	SAT	0.06
counter4_15-bin	CMS_Solver	SAT	0.05
counter4_16-bin	CMS_Solver	UNSAT	0.29
counter4_2-bin	CMS_Solver	SAT	0
counter4_3-bin	CMS_Solver	SAT	0.01
counter4_4-bin	pQBF	SAT	0
counter4_5-bin	CMS_Solver	SAT	0.01
counter4_6-bin	pQBF	SAT	0.02
counter4_7-bin	CMS_Solver	SAT	0.02
counter4_8-bin	pQBF	SAT	0.02
counter4_9-bin	CMS_Solver	SAT	0.05
counter5_16-bin	qpro	SAT	1.3
counter5_2-bin	pQBF	SAT	0.01
counter5_4-bin	pQBF	SAT	0.01
counter5_8-bin	pQBF	SAT	0.03
counter6_16-bin	qpro	SAT	1.45
counter6_2-bin	pQBF	SAT	0
counter6_4-bin	pQBF	SAT	0.01
counter6_8-bin	pQBF	SAT	0.03
counter7_16-bin	qpro	SAT	1.6
counter7_2-bin	CMS_Solver	SAT	0.01
counter7_4-bin	pQBF	SAT	0.01
counter7_8-bin	pQBF	SAT	0.03
counter8_16-bin	qpro	SAT	1.8
counter8_2-bin	CMS_Solver	SAT	0.01
counter8_4-bin	pQBF	SAT	0.02
counter8_8-bin	pQBF	SAT	0.04
dme1_2-bin	pQBF	SAT	0.06
dme1_3-bin	pQBF	SAT	0.25
dme1_4-bin	qpro	SAT	1.03
dme1_5-bin	qpro	SAT	1.53
dme1_6-bin	pQBF	UNSAT	0.1
dme1_7-bin	qpro	SAT	36.89
dme1_8-bin	qpro	SAT	394.62
dmeSmall_2-bin	pQBF	SAT	0.03
dmeSmall_4-bin	qpro	SAT	0.56
dmeSmall_8-bin	qpro	SAT	20.19
dmeSmall_9-bin	pQBF	UNSAT	0.24
ring4_2-bin	pQBF	SAT	0.01
ring4_3-bin	CMS_Solver	SAT	0.01
ring4_4-bin	CMS_Solver	SAT	0.02
ring4_5-bin	CMS_Solver	SAT	0.02
ring4_6-bin	CMS_Solver	SAT	0.03
ring4_7-bin	CMS_Solver	UNSAT	0.04
ring4_8-bin	CMS_Solver	UNSAT	0.05
ring5_16-bin	CMS_Solver	UNSAT	0.18
ring5_2-bin	CMS_Solver	SAT	0.02
ring5_32-bin	CMS_Solver	UNSAT	0.44
ring5_33-bin	CMS_Solver	UNSAT	0.46
ring5_4-bin	CMS_Solver	SAT	0.02
ring5_8-bin	CMS_Solver	UNSAT	0.1
ring6_16-bin	CMS_Solver	UNSAT	3.23
ring6_2-bin	pQBF	SAT	0.01
ring6_32-bin	CMS_Solver	UNSAT	3.53
ring6_4-bin	CMS_Solver	SAT	0.06
ring6_64-bin	CMS_Solver	UNSAT	4.61
ring6_65-bin	CMS_Solver	UNSAT	4.65
ring6_8-bin	CMS_Solver	SAT	2.6
semaphore3_2-bin	pQBF	SAT	0.01
semaphore3_3-bin	CMS_Solver	SAT	0.03
semaphore3_4-bin	CMS_Solver	SAT	0.04
semaphore4_2-bin	pQBF	SAT	0.02
semaphore4_3-bin	CMS_Solver	SAT	0.06
semaphore4_4-bin	CMS_Solver	SAT	0.1
semaphore5_2-bin	pQBF	SAT	0.03
semaphore5_3-bin	CMS_Solver	SAT	0.19
semaphore5_4-bin	CMS_Solver	SAT	0.16
semaphore6_2-bin	pQBF	SAT	0.03
semaphore6_3-bin	qpro	SAT	0.57
semaphore6_4-bin	CMS_Solver	SAT	0.7
semaphore_2-bin	CMS_Solver	SAT	0.01
semaphore_3-bin	CMS_Solver	SAT	0.02
semaphore_4-bin	CMS_Solver	SAT	0.03
semaphore_5-bin	CMS_Solver	SAT	0.03

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family NuSMV_diam_bin
QBFEVAL'08 - non-prenex non-cnf track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family NuSMV_diam_bin QBFEVAL'08 - non-prenex non-cnf track.

Sota solver results for family NuSMV_diam_bin
QBFEVAL'08 - non-prenex non-cnf track.