Sota solver details
QBFEVAL'07

Instance: cmu.gigamax.B-f2
Best Solver: sKizzo-0.10-qck Time: 3.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-std 3.14 - - qSS 40.4
- - - - - - ncQuBE1.1 148.73
- - - - - - ncQuBE1.0 157.67
- - - - - - AQME-1NN 164.65
- - - - - - AQME-C4.5 164.7
- - - - - - AQME-RIPPER 164.77
sKizzo-0.10-qck(3.07)
sKizzo-0.10-std(3.14)
qSS(40.4)
ncQuBE1.1(148.73)
ncQuBE1.0(157.67)
AQME-1NN(164.65)
AQME-C4.5(164.7)
AQME-RIPPER(164.77)
aigqbf_s(382.11)
aigqbf_sr(474.54)