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

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

Instance	Result	Time
counter4_2	SAT	0.01
counter5_2	SAT	0.02
counter4_3	SAT	0.02
counter4_4	SAT	0.04
counter6_2	SAT	0.05
counter4_5	SAT	0.08
ring4_2	SAT	0.1
counter4_6	SAT	0.12
counter7_2	SAT	0.14
semaphore_2	SAT	0.15
counter5_4	SAT	0.15
counter4_7	SAT	0.21
semaphore_3	SAT	0.27
ring5_2	SAT	0.32
counter4_8	SAT	0.41
counter8_2	SAT	0.42
semaphore_4	SAT	0.45
counter6_4	SAT	0.66
semaphore_5	SAT	0.96
ring6_2	SAT	1.17
counter4_9	SAT	1.25
counter5_8	SAT	1.28
semaphore3_2	SAT	1.59
ring4_3	SAT	1.72
semaphore3_3	SAT	2.04
semaphore3_4	SAT	2.65
counter7_4	SAT	3.34
counter4_10	SAT	3.67
counter6_8	SAT	4.91
counter4_11	SAT	15.17
counter8_4	SAT	17.41
counter7_8	SAT	20.87
counter4_12	SAT	69.74
semaphore4_2	SAT	89.49
semaphore4_4	SAT	91.71
semaphore4_3	SAT	91.93
counter8_8	SAT	104.23
ring4_4	SAT	129.33
counter4_13	SAT	308.3
counter7_32	FAIL	600
counter4_16	FAIL	600
counter4_15	FAIL	600
counter7_64	FAIL	600
counter7_128	FAIL	600
counter7_129	FAIL	600
dmeSmall_8	FAIL	600
dmeSmall_2	FAIL	600
dmeSmall_4	FAIL	600
semaphore6_4	FAIL	600
counter7_16	FAIL	600
dme1_4	FAIL	600
counter5_32	FAIL	600
counter5_33	FAIL	600
dme1_2	FAIL	600
dme1_8	FAIL	600
counter5_16	FAIL	600
dme1_7	FAIL	600
counter6_32	FAIL	600
dme1_6	FAIL	600
counter6_64	FAIL	600
counter6_65	FAIL	600
dme1_5	FAIL	600
counter6_16	FAIL	600
semaphore6_2	FAIL	600
semaphore6_3	FAIL	600
semaphore5_4	FAIL	600
ring5_8	FAIL	600
ring5_16	FAIL	600
ring6_4	FAIL	600
ring6_64	FAIL	600
ring6_8	FAIL	600
ring6_65	FAIL	600
ring6_16	FAIL	600
dme1_3	FAIL	600
ring4_8	FAIL	600
ring4_7	FAIL	600
ring4_6	FAIL	600
ring5_4	FAIL	600
ring5_33	FAIL	600
semaphore5_2	FAIL	600
semaphore5_3	FAIL	600
counter8_256	FAIL	600
counter8_257	FAIL	600
counter4_14	FAIL	600
counter8_32	FAIL	600
ring6_32	FAIL	600
counter8_64	FAIL	600
counter8_128	FAIL	600
counter8_16	FAIL	600
ring5_32	FAIL	600
ring4_5	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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