Instances of family NuSMV_diam solved by <a href='solver_detail.php?solver=51'>sKizzo-0.10-qck</a> <br> QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instances of family NuSMV_diam solved by sKizzo-0.10-qck
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instance	Result	Time
counter4_2	SAT	0.02
counter5_2	SAT	0.02
counter6_2	SAT	0.02
counter4_4	SAT	0.02
counter5_4	SAT	0.03
counter4_5	SAT	0.03
counter7_2	SAT	0.03
counter4_6	SAT	0.03
counter4_3	SAT	0.04
semaphore_3	SAT	0.04
ring4_3	SAT	0.04
counter4_7	SAT	0.04
counter6_4	SAT	0.04
ring6_2	SAT	0.04
counter4_8	SAT	0.05
counter7_4	SAT	0.06
counter4_9	SAT	0.06
ring4_2	SAT	0.06
counter8_4	SAT	0.07
counter8_2	SAT	0.07
counter4_11	SAT	0.08
semaphore_4	SAT	0.08
counter5_8	SAT	0.08
ring4_4	SAT	0.08
counter4_10	SAT	0.08
ring5_4	SAT	0.08
semaphore_2	SAT	0.12
counter4_12	SAT	0.12
counter6_8	SAT	0.12
ring4_5	SAT	0.13
semaphore_5	UNSAT	0.14
ring4_6	SAT	0.14
semaphore4_2	SAT	0.16
counter4_13	SAT	0.17
counter7_8	SAT	0.18
counter4_14	SAT	0.18
ring4_7	UNSAT	0.2
counter4_15	SAT	0.22
ring4_8	UNSAT	0.23
counter4_16	UNSAT	0.28
counter5_16	SAT	0.34
semaphore3_2	SAT	0.36
counter8_8	SAT	0.38
ring5_8	UNSAT	0.44
semaphore3_3	SAT	0.47
counter6_16	SAT	0.58
semaphore3_4	UNSAT	0.82
ring6_4	SAT	0.82
counter7_16	SAT	0.98
counter8_16	SAT	1.44
ring5_2	SAT	1.56
semaphore5_2	SAT	1.98
semaphore5_3	SAT	4.85
counter5_32	UNSAT	5.07
ring5_16	UNSAT	5.14
counter6_32	SAT	7.44
semaphore4_3	SAT	7.74
semaphore4_4	UNSAT	8.91
semaphore5_4	UNSAT	9.77
ring6_8	SAT	9.95
counter5_33	UNSAT	10.52
ring6_16	UNSAT	23.09
semaphore6_2	SAT	39.61
counter7_32	SAT	58.55
dmeSmall_2	FAIL	74.09
dme1_2	FAIL	158.85
counter7_64	FAIL	225.05
counter6_65	FAIL	239.91
dme1_4	FAIL	242.51
dme1_3	FAIL	295.51
counter8_64	FAIL	313.87
dme1_8	FAIL	367.06
counter7_129	FAIL	389.85
dmeSmall_8	FAIL	428.84
counter7_128	FAIL	460.33
dme1_6	FAIL	600
dme1_7	FAIL	600
dme1_5	FAIL	600
counter6_64	FAIL	600
ring6_64	FAIL	600
semaphore6_4	FAIL	600
ring6_65	FAIL	600
counter8_257	FAIL	600
dmeSmall_4	FAIL	600
counter8_32	FAIL	600
counter8_256	FAIL	600
ring6_32	FAIL	600
counter8_128	FAIL	600
ring5_32	FAIL	600
ring5_33	FAIL	600
semaphore6_3	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam solved by sKizzo-0.10-qck
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family NuSMV_diam solved by sKizzo-0.10-qck QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instances of family NuSMV_diam solved by sKizzo-0.10-qck
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.