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

qbflib.org

Sota solver results for family MutexP
QBFEVAL'08

Instance	Solver	Result	Time
mutex-128-s	ssolveC	SAT	0.32
mutex-16-s	ssolve-A	SAT	0.04
mutex-2-s	ssolveC	SAT	0
mutex-32-s	ssolve-A	SAT	0.08
mutex-4-s	ssolveB	SAT	0.01
mutex-64-s	ssolveC	SAT	0.15
mutex-8-s	ssolve-A	SAT	0.02

Contact | Organization | Links | Citing QBFLIB