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

qbflib.org

Sota solver results for family MutexP
QBFEVAL'07

Instance	Solver	Result	Time
mutex-128-s	sKizzo-0.10-std	SAT	0.16
mutex-16-s	sKizzo-0.10-std	SAT	0.02
mutex-32-s	sKizzo-0.10-std	SAT	0.04
mutex-64-s	sKizzo-0.10-std	SAT	0.08

Contact | Organization | Links | Citing QBFLIB