Sota solver results for family Counter <br> QBFEVAL'08

qbflib.org

Sota solver results for family Counter
QBFEVAL'08

Instance	Solver	Result	Time
counter_2	ssolveB	SAT	0.01
counter_4	quantor3.0	SAT	0.01
counter_8	quantor3.0	SAT	0.26
counter_e_2	quantor3.0	SAT	0
counter_e_4	quantor3.0	SAT	0.02
counter_e_8	AQME-1NN	SAT	3.36
counter_re_2	quantor3.0	SAT	0.01
counter_re_4	quantor3.0	SAT	0.01
counter_re_8	AQME-1NN	SAT	2.95
counter_r_2	ssolveC	SAT	0
counter_r_4	quantor3.0	SAT	0.01
counter_r_8	quantor3.0	SAT	0.44

Contact | Organization | Links | Citing QBFLIB