Results for instance counter_e_32
QBFEVAL'08



Solver Time Result
quantor3.033.36FAIL
Nenofex73.83FAIL
AQME-1NN497.27FAIL
QuBE6.1552.74FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL