Results for instance eijk.S344.S-d3
QBFEVAL'08



Solver Time Result
ssolveC0.08SAT
ssolve-A0.11SAT
ssolveB0.13SAT
QuBE6.11.24SAT
quantor3.044.36FAIL
AQME-1NN155.03SAT
Nenofex229.55FAIL