Results for instance s386_d10_u
QBFEVAL'08



Solver Time Result
QuBE6.1342.41UNSAT
Nenofex581.51FAIL
AQME-1NN599.69FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
quantor3.0600FAIL