Sota solver details
QBFEVAL'07

Instance: counter_e_8
Best Solver: qSS Time: 2.84 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Adaptive2clsQ 2.87 - - - -
- - qZilla 2.87 - - - -
- - AQME-1NN 4.32 - - - -
- - AQME-RIPPER 4.36 - - - -
- - AQME-C4.5 4.37 - - - -
- - sKizzo-0.10-qck 6.84 - - - -
- - preQuel_sKizzo-0.10 6.89 - - - -
- - sKizzo-0.10-std 6.94 - - - -
- - QUANTOR_2.15 10.05 - - - -
qSS(2.84)
Adaptive2clsQ(2.87)
qZilla(2.87)
AQME-1NN(4.32)
AQME-RIPPER(4.36)
AQME-C4.5(4.37)
sKizzo-0.10-qck(6.84)
preQuel_sKizzo-0.10(6.89)
sKizzo-0.10-std(6.94)
QUANTOR_2.15(10.05)