Sota solver details
QBFEVAL'08

Instance: k_grz_n-21
Best Solver: quantor3.0 Time: 11.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Nenofex 12.21 AQME-1NN 89.75 - -
quantor3.0(11.13)
Nenofex(12.21)
AQME-1NN(89.75)