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



Solver Time Result
QuBE6.10.1SAT
quantor3.00.29SAT
ssolve-A2.46SAT
ssolveB2.68SAT
ssolveC3.14SAT
Nenofex11.59SAT
AQME-1NN38.17SAT