Sota solver details
QBFEVAL'07

Instance: k_t4p_p-16
Best Solver: QUANTOR_2.15 Time: 0.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 0.23 AQME-1NN 0.61 EBDDRES 1.42
- - sKizzo-0.10-std 0.23 AQME-C4.5 0.67 squolem 2.71
- - qSS 0.3 preQuel_sKizzo-0.10 0.71 - -
- - - - AQME-RIPPER 0.72 - -
QUANTOR_2.15(0.12)
sKizzo-0.10-qck(0.23)
sKizzo-0.10-std(0.23)
qSS(0.3)
AQME-1NN(0.61)
AQME-C4.5(0.67)
preQuel_sKizzo-0.10(0.71)
AQME-RIPPER(0.72)
EBDDRES(1.42)
squolem(2.71)
aigqbf_s(23.42)
qZilla(38.65)
aigqbf_sr(53.44)