Instances solved by <a href='solver_detail.php?solver=59'>ncQuBE1.1</a> <br> QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instances solved by ncQuBE1.1
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instance	Result	Time
counter6_2	SAT	0
counter4_2	SAT	0.01
counter5_2	SAT	0.01
counter8_2	SAT	0.01
counter7_2	SAT	0.01
counter4_4	SAT	0.01
counter4_5	SAT	0.02
ring5_2	SAT	0.05
ring4_2	SAT	0.06
semaphore_2	SAT	0.06
ring6_2	SAT	0.06
counter5_4	SAT	0.06
counter4_3	SAT	0.06
semaphore3_2	SAT	0.06
semaphore4_2	SAT	0.07
semaphore_3	SAT	0.07
ring4_3	SAT	0.07
counter4_6	SAT	0.07
counter6_4	SAT	0.07
semaphore5_2	SAT	0.07
semaphore6_2	SAT	0.08
counter4_7	SAT	0.08
counter7_4	SAT	0.09
ring4_4	SAT	0.09
counter4_8	SAT	0.1
semaphore3_3	SAT	0.1
counter4_9	SAT	0.11
counter8_4	SAT	0.12
ring4_5	SAT	0.12
semaphore4_3	SAT	0.12
counter4_10	SAT	0.13
semaphore_4	SAT	0.13
ring5_4	SAT	0.13
semaphore5_3	SAT	0.16
counter4_11	SAT	0.16
ring6_4	SAT	0.16
counter4_12	SAT	0.17
counter5_8	SAT	0.17
ring4_6	SAT	0.18
semaphore_5	UNSAT	0.21
counter4_13	SAT	0.24
counter4_14	SAT	0.24
semaphore6_3	SAT	0.24
ring4_7	UNSAT	0.26
counter4_15	SAT	0.3
counter6_8	SAT	0.31
ring4_8	UNSAT	0.38
counter4_16	UNSAT	0.38
counter7_8	SAT	0.52
semaphore3_4	UNSAT	0.68
counter8_8	SAT	0.97
dmeSmall_2	SAT	0.97
ring5_8	UNSAT	1.04
counter5_16	SAT	1.1
counter6_16	SAT	2.38
semaphore4_4	UNSAT	3.03
ring6_8	SAT	3.34
dme1_2	SAT	4.17
counter7_16	SAT	4.18
ring5_16	UNSAT	6.66
counter8_16	SAT	7.73
dmeSmall_4	SAT	9.16
dme1_3	SAT	14.21
semaphore5_4	UNSAT	14.82
counter6_32	SAT	25.55
counter5_33	UNSAT	29.1
counter5_32	UNSAT	31.1
ring6_16	UNSAT	31.98
dme1_4	SAT	42.23
counter7_32	SAT	46.36
ring5_33	UNSAT	50.82
ring5_32	UNSAT	72.52
semaphore6_4	UNSAT	83.25
counter8_32	SAT	94.27
dmeSmall_8	SAT	98.81
dme1_5	SAT	138.63
ring6_32	UNSAT	191.41
dme1_8	FAIL	600
counter8_64	FAIL	600
counter8_128	FAIL	600
ring6_64	FAIL	600
ring6_65	FAIL	600
counter7_128	FAIL	600
counter6_64	FAIL	600
counter6_65	FAIL	600
dme1_6	FAIL	600
counter8_256	FAIL	600
counter8_257	FAIL	600
counter7_129	FAIL	600
counter7_64	FAIL	600
dme1_7	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by ncQuBE1.1
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by ncQuBE1.1 QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instances solved by ncQuBE1.1
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.