Results for instance ev-pr-8x8-19-7-0-1-2-lg <br> QBFEVAL'08

qbflib.org

Results for instance ev-pr-8x8-19-7-0-1-2-lg
QBFEVAL'08

Solver	Time	Result
Nenofex	53.78	FAIL
quantor3.0	359.07	FAIL
AQME-1NN	600	FAIL
ssolve-A	600	FAIL
ssolveB	600	FAIL
ssolveC	600	FAIL
QuBE6.1	600	FAIL