Results for instance texas.two_proc^4.E-f3
QBFEVAL'08



Solver Time Result
quantor3.031.24FAIL
QuBE6.1213.6SAT
AQME-1NN553.95FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
Nenofex600FAIL