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

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

Instance	Result	Time
counter4_3	SAT	0.01
counter7_2	SAT	0.01
counter6_2	SAT	0.01
counter8_2	SAT	0.01
counter5_2	SAT	0.01
ring4_2	SAT	0.01
counter4_4	SAT	0.01
counter4_2	SAT	0.01
ring5_2	SAT	0.02
semaphore_2	SAT	0.02
counter5_4	SAT	0.02
ring6_2	SAT	0.02
counter4_5	SAT	0.02
ring4_3	SAT	0.02
counter4_6	SAT	0.03
semaphore_3	SAT	0.04
counter4_7	SAT	0.06
counter6_4	SAT	0.06
semaphore3_2	SAT	0.07
counter4_8	SAT	0.09
ring4_4	SAT	0.13
counter4_9	SAT	0.14
counter7_4	SAT	0.2
counter4_10	SAT	0.2
semaphore3_3	SAT	0.28
counter4_11	SAT	0.29
semaphore_4	SAT	0.3
counter4_12	SAT	0.42
ring5_4	SAT	0.43
counter5_8	SAT	0.44
counter8_4	SAT	0.52
ring4_5	SAT	0.52
counter4_13	SAT	0.57
semaphore4_2	SAT	0.58
counter4_14	SAT	0.82
counter4_15	SAT	1.08
ring6_4	SAT	1.15
semaphore_5	SAT	1.16
ring4_6	SAT	1.2
semaphore3_4	SAT	1.27
counter4_16	UNSAT	1.28
semaphore4_3	SAT	1.66
counter6_8	SAT	1.89
ring4_7	UNSAT	2.52
semaphore4_4	SAT	4.49
ring4_8	UNSAT	4.72
semaphore5_2	SAT	5.36
counter5_16	SAT	6.84
counter7_8	SAT	8.08
semaphore5_3	SAT	10.8
ring5_8	UNSAT	22.74
counter8_8	FAIL	27.67
counter8_16	FAIL	27.7
counter6_16	FAIL	27.89
semaphore5_4	SAT	27.97
counter6_32	FAIL	28.01
counter8_32	FAIL	28.03
counter7_32	FAIL	28.06
ring6_8	FAIL	28.37
counter5_32	FAIL	28.42
counter5_33	FAIL	28.43
counter7_16	FAIL	28.55
ring5_32	FAIL	28.83
ring6_16	FAIL	28.94
ring5_33	FAIL	29.03
ring6_32	FAIL	29.07
counter6_64	FAIL	29.38
counter6_65	FAIL	29.42
dmeSmall_2	FAIL	29.61
dme1_2	FAIL	29.8
ring5_16	FAIL	29.83
dme1_3	FAIL	29.95
dme1_4	FAIL	30.11
dmeSmall_4	FAIL	30.29
dmeSmall_8	FAIL	30.47
counter7_64	FAIL	30.49
dme1_5	FAIL	30.52
ring6_64	FAIL	30.53
ring6_65	FAIL	30.63
dme1_6	FAIL	30.79
dme1_7	FAIL	31.23
dme1_8	FAIL	31.72
counter8_64	FAIL	32.59
semaphore6_3	FAIL	35.41
semaphore6_4	FAIL	35.54
semaphore6_2	FAIL	35.57
counter7_128	FAIL	47.62
counter7_129	FAIL	48.01
counter8_128	FAIL	62.23
counter8_256	FAIL	256.56
counter8_257	FAIL	258.26

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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