Sota solver results for family NuSMV_diam <br> QBFEVAL'10

Sota solver results for family NuSMV_diam
QBFEVAL'10 - Non-prenex Non-CNF Track.

Instance	Solver	Result	Time
counter4_10	CirQit2.1	SAT	0.02
counter4_11	CirQit2.1	SAT	0.02
counter4_12	CirQit2.1	SAT	0.03
counter4_13	CirQit2.1	SAT	0.02
counter4_14	CirQit2.1	SAT	0.04
counter4_15	CirQit2.1	SAT	0.02
counter4_16	CirQit2.1	UNSAT	0.06
counter4_2	qpro	SAT	0
counter4_3	qpro	SAT	0
counter4_4	qpro	SAT	0.01
counter4_5	qpro	SAT	0.01
counter4_6	CirQit2.1	SAT	0.01
counter4_7	qpro	SAT	0
counter4_8	qpro	SAT	0.01
counter4_9	qpro	SAT	0.02
counter5_16	CirQit2.1	SAT	0.08
counter5_2	qpro	SAT	0
counter5_32	CirQit2.1	UNSAT	0.46
counter5_33	CirQit2.1	UNSAT	0.47
counter5_4	qpro	SAT	0.01
counter5_8	qpro	SAT	0.01
counter6_16	CirQit2.1	SAT	0.17
counter6_2	qpro	SAT	0.01
counter6_32	CirQit2.1	SAT	0.51
counter6_4	qpro	SAT	0
counter6_64	CirQit2.1	UNSAT	5.16
counter6_65	CirQit2.1	UNSAT	4.78
counter6_8	qpro	SAT	0.01
counter7_128	CirQit2.1	UNSAT	145.26
counter7_129	CirQit2.1	UNSAT	150.21
counter7_16	CirQit2.1	SAT	0.18
counter7_2	CirQit2.1	SAT	0
counter7_32	CirQit2.1	SAT	0.95
counter7_4	qpro	SAT	0.01
counter7_64	CirQit2.1	SAT	9.31
counter7_8	qpro	SAT	0.01
counter8_16	CirQit2.1	SAT	0.22
counter8_2	qpro	SAT	0.01
counter8_32	CirQit2.1	SAT	2.07
counter8_4	qpro	SAT	0.02
counter8_64	CirQit2.1	SAT	14.98
counter8_8	qpro	SAT	0.02
dme1_2	qpro	SAT	0.02
dme1_3	qpro	SAT	0.04
dme1_4	qpro	SAT	0.06
dme1_5	qpro	SAT	0.17
dme1_6	CirQit2.1	SAT	1.45
dme1_7	CirQit2.1	SAT	1.98
dme1_8	CirQit2.1	SAT	2.72
dmeSmall_2	qpro	SAT	0.01
dmeSmall_4	qpro	SAT	0.03
dmeSmall_8	CirQit2.1	SAT	1.2
dmeSmall_9	CirQit2.1	SAT	1.85
ring4_2	CirQit2.1	SAT	0.01
ring4_3	CirQit2.1	SAT	0.02
ring4_4	CirQit2.1	SAT	0.02
ring4_5	CirQit2.1	SAT	0.03
ring4_6	CirQit2.1	SAT	0.03
ring4_7	CirQit2.1	UNSAT	0.1
ring4_8	CirQit2.1	UNSAT	0.12
ring5_16	CirQit2.1	UNSAT	0.71
ring5_2	qpro	SAT	0.01
ring5_32	CirQit2.1	UNSAT	1.65
ring5_33	CirQit2.1	UNSAT	1.73
ring5_4	CirQit2.1	SAT	0.01
ring5_8	CirQit2.1	UNSAT	0.26
ring6_16	CirQit2.1	UNSAT	1.86
ring6_2	qpro	SAT	0
ring6_32	CirQit2.1	UNSAT	5.52
ring6_4	CirQit2.1	SAT	0.02
ring6_64	CirQit2.1	UNSAT	12.09
ring6_65	CirQit2.1	UNSAT	13.69
ring6_8	CirQit2.1	SAT	0.69
semaphore3_2	CirQit2.1	SAT	0.01
semaphore3_3	CirQit2.1	SAT	0.02
semaphore3_4	CirQit2.1	SAT	0.07
semaphore4_2	qpro	SAT	0.02
semaphore4_3	CirQit2.1	SAT	0.05
semaphore4_4	CirQit2.1	SAT	0.14
semaphore5_2	qpro	SAT	0.02
semaphore5_3	CirQit2.1	SAT	0.05
semaphore5_4	CirQit2.1	SAT	0.07
semaphore6_2	qpro	SAT	0.01
semaphore6_3	CirQit2.1	SAT	0.06
semaphore6_4	CirQit2.1	SAT	1.43
semaphore_2	qpro	SAT	0.01
semaphore_3	qpro	SAT	0.02
semaphore_4	CirQit2.1	SAT	0.04
semaphore_5	CirQit2.1	SAT	0.06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family NuSMV_diam
QBFEVAL'10 - Non-prenex Non-CNF Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family NuSMV_diam QBFEVAL'10 - Non-prenex Non-CNF Track.

Sota solver results for family NuSMV_diam
QBFEVAL'10 - Non-prenex Non-CNF Track.