Instances of family NuSMV_diam solved by <a href='solver_detail.php?solver=105'>CirQit2.1</a> <br> QBFEVAL'10

Instances of family NuSMV_diam solved by CirQit2.1
QBFEVAL'10 - Non-prenex Non-CNF Track.

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam solved by CirQit2.1
QBFEVAL'10 - Non-prenex Non-CNF Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam solved by CirQit2.1 QBFEVAL'10 - Non-prenex Non-CNF Track.

Instances of family NuSMV_diam solved by CirQit2.1
QBFEVAL'10 - Non-prenex Non-CNF Track.