Instances of family NuSMV_diam_bin solved by <a href='solver_detail.php?solver=76'>CMS_Solver</a> <br> QBFEVAL'08

Instances of family NuSMV_diam_bin solved by CMS_Solver
QBFEVAL'08 - non-prenex non-cnf track.

Instance	Result	Time
counter4_2-bin	SAT	0
semaphore_2-bin	SAT	0.01
counter4_3-bin	SAT	0.01
counter8_2-bin	SAT	0.01
counter7_2-bin	SAT	0.01
counter6_2-bin	SAT	0.01
counter5_4-bin	SAT	0.01
ring4_2-bin	SAT	0.01
counter4_5-bin	SAT	0.01
ring4_3-bin	SAT	0.01
counter5_2-bin	SAT	0.01
ring5_2-bin	SAT	0.02
semaphore_3-bin	SAT	0.02
counter4_4-bin	SAT	0.02
ring4_4-bin	SAT	0.02
ring6_2-bin	SAT	0.02
counter4_6-bin	SAT	0.02
ring4_5-bin	SAT	0.02
counter4_7-bin	SAT	0.02
ring5_4-bin	SAT	0.02
semaphore3_2-bin	SAT	0.02
semaphore3_3-bin	SAT	0.03
semaphore_4-bin	SAT	0.03
semaphore_5-bin	SAT	0.03
ring4_6-bin	SAT	0.03
counter4_8-bin	SAT	0.04
counter6_4-bin	SAT	0.04
ring4_7-bin	UNSAT	0.04
semaphore3_4-bin	SAT	0.04
counter4_10-bin	SAT	0.05
counter4_9-bin	SAT	0.05
ring4_8-bin	UNSAT	0.05
counter4_15-bin	SAT	0.05
semaphore4_2-bin	SAT	0.05
counter4_12-bin	SAT	0.06
ring6_4-bin	SAT	0.06
counter4_11-bin	SAT	0.06
counter4_14-bin	SAT	0.06
semaphore4_3-bin	SAT	0.06
counter4_13-bin	SAT	0.08
semaphore4_4-bin	SAT	0.1
ring5_8-bin	UNSAT	0.1
semaphore5_4-bin	SAT	0.16
ring5_16-bin	UNSAT	0.18
semaphore5_3-bin	SAT	0.19
counter5_8-bin	SAT	0.24
counter7_4-bin	SAT	0.24
counter4_16-bin	UNSAT	0.29
semaphore5_2-bin	SAT	0.44
ring5_32-bin	UNSAT	0.44
ring5_33-bin	UNSAT	0.46
semaphore6_4-bin	SAT	0.7
counter8_4-bin	SAT	1.66
semaphore6_3-bin	SAT	2.44
ring6_8-bin	SAT	2.6
ring6_16-bin	UNSAT	3.23
counter6_8-bin	SAT	3.26
ring6_32-bin	UNSAT	3.53
ring6_64-bin	UNSAT	4.61
ring6_65-bin	UNSAT	4.65
semaphore6_2-bin	SAT	6.24
counter7_8-bin	SAT	50.32
counter5_16-bin	SAT	74.22
counter8_8-bin	FAIL	600.06
counter6_16-bin	FAIL	600.07
counter5_32-bin	FAIL	600.07
counter8_16-bin	FAIL	600.07
counter7_16-bin	FAIL	600.08
counter5_33-bin	FAIL	600.08
dmeSmall_2-bin	FAIL	600.09
counter6_32-bin	FAIL	600.09
counter7_32-bin	FAIL	600.11
counter8_32-bin	FAIL	600.12
dmeSmall_4-bin	FAIL	600.13
dme1_2-bin	FAIL	600.13
counter6_64-bin	FAIL	600.14
counter6_65-bin	FAIL	600.15
dme1_3-bin	FAIL	600.17
counter7_64-bin	FAIL	600.19
dme1_4-bin	FAIL	600.21
counter8_64-bin	FAIL	600.22
dmeSmall_8-bin	FAIL	600.23
dmeSmall_9-bin	FAIL	600.26
dme1_5-bin	FAIL	600.26
dme1_6-bin	FAIL	600.3
dme1_7-bin	FAIL	600.33
counter7_128-bin	FAIL	600.35
counter7_129-bin	FAIL	600.36
dme1_8-bin	FAIL	600.39
counter8_128-bin	FAIL	600.44
counter8_256-bin	FAIL	600.97
counter8_257-bin	FAIL	600.99

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam_bin solved by CMS_Solver
QBFEVAL'08 - non-prenex non-cnf track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam_bin solved by CMS_Solver QBFEVAL'08 - non-prenex non-cnf track.

Instances of family NuSMV_diam_bin solved by CMS_Solver
QBFEVAL'08 - non-prenex non-cnf track.