Sota solver details
QBFEVAL'08

Instance: k_t4p_p-6
Best Solver: quantor3.0 Time: 0.26 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-1NN 1.04 ssolveC 2.34 ssolve-A 2.72
- - - - - - ssolveB 2.99
quantor3.0(0.26)
AQME-1NN(1.04)
ssolveC(2.34)
ssolve-A(2.72)
ssolveB(2.99)
Nenofex(90.1)