Sota solver details
QBFEVAL'07

Instance: counter_r_8
Best Solver: QUANTOR_2.15 Time: 0.96 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-1NN 1.13 - - qSS 54.68
- - AQME-C4.5 1.2 - - qZilla 87.18
- - AQME-RIPPER 1.22 - - - -
- - sKizzo-0.10-qck 2.58 - - - -
- - sKizzo-0.10-std 4.13 - - - -
- - preQuel_sKizzo-0.10 4.23 - - - -
QUANTOR_2.15(0.96)
AQME-1NN(1.13)
AQME-C4.5(1.2)
AQME-RIPPER(1.22)
sKizzo-0.10-qck(2.58)
sKizzo-0.10-std(4.13)
preQuel_sKizzo-0.10(4.23)
qSS(54.68)
qZilla(87.18)