Sota solver details
QBFEVAL'08

Instance: emptyroom_e3_par--opt-10_
Best Solver: quantor3.0 Time: 0.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Nenofex 1.94 - - QuBE6.1 5.84
- - - - - - ssolveC 21.59
- - - - - - ssolve-A 24.15
- - - - - - ssolveB 24.85
quantor3.0(0.54)
Nenofex(1.94)
QuBE6.1(5.84)
ssolveC(21.59)
ssolve-A(24.15)
ssolveB(24.85)
AQME-1NN(80.43)