Sota solver details
QBFEVAL'07

Instance: counter_re_8
Best Solver: AQME-1NN Time: 3.92 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-C4.5 3.94 - - qZilla 67.1
- - AQME-RIPPER 4 - - qSS 153.76
- - preQuel_sKizzo-0.10 4 - - - -
- - sKizzo-0.10-std 7.05 - - - -
- - sKizzo-0.10-qck 7.18 - - - -
- - QUANTOR_2.15 10.12 - - - -
AQME-1NN(3.92)
AQME-C4.5(3.94)
AQME-RIPPER(4)
preQuel_sKizzo-0.10(4)
sKizzo-0.10-std(7.05)
sKizzo-0.10-qck(7.18)
QUANTOR_2.15(10.12)
qZilla(67.1)
qSS(153.76)