Results for instance lut4_2_f2
QBFEVAL'08



Solver Time Result
quantor3.01.57UNSAT
AQME-1NN3.35UNSAT
Nenofex3.54UNSAT
ssolveC25.63UNSAT
ssolve-A41.9UNSAT
ssolveB46.64UNSAT
QuBE6.1600FAIL