Sota solver details
QBFEVAL'08

Instance: TOILET16.1.iv.32
Best Solver: quantor3.0 Time: 0.73 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolveC 1.09 - - - -
- - ssolve-A 1.21 - - - -
- - ssolveB 1.26 - - - -
- - Nenofex 2.19 - - - -
- - AQME-1NN 3.38 - - - -
quantor3.0(0.73)
ssolveC(1.09)
ssolve-A(1.21)
ssolveB(1.26)
Nenofex(2.19)
AQME-1NN(3.38)