Instances of family MutexP solved by <a href='solver_detail.php?solver=231'>depqbf-v1</a> <br> QBFEVAL'16 - 2QBF Track.

qbflib.org

Instances of family MutexP solved by depqbf-v1
QBFEVAL'16 - 2QBF Track.

Instance	Result	Time
mutex-8-s	SAT	0.02
mutex-4-s	SAT	0.02
mutex-2-s	SAT	0.02
mutex-16-s	SAT	0.07
mutex-32-s	SAT	0.11
mutex-64-s	SAT	0.12
mutex-128-s	SAT	0.31

Contact | Organization | Links | Citing QBFLIB