Sota solver details
QBFEVAL'07

Instance: cube_c5_ser--opt-15_
Best Solver: QUANTOR_2.15 Time: 4.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 6.09 - - Adaptive2clsQ 61.38
- - aigqbf_s 9.43 - - preQuel_sKizzo-0.10 123.95
- - qZilla 11.15 - - AQME-1NN 154.55
- - sKizzo-0.10-std 19.95 - - AQME-C4.5 154.62
- - - - - - AQME-RIPPER 154.71
- - - - - - sKizzo-0.10-qck 389.07
QUANTOR_2.15(4.54)
yQuaffle(6.09)
aigqbf_s(9.43)
qZilla(11.15)
sKizzo-0.10-std(19.95)
Adaptive2clsQ(61.38)
preQuel_sKizzo-0.10(123.95)
AQME-1NN(154.55)
AQME-C4.5(154.62)
AQME-RIPPER(154.71)
sKizzo-0.10-qck(389.07)