Sota solver details
QBFEVAL'07

Instance: c2_BMC_p2_k256
Best Solver: sKizzo-0.10-std Time: 5.95 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 6.14 - - preQuel_sKizzo-0.10 59.73
- - qSS 6.38 - - AQME-1NN 162.73
- - qZilla 10.25 - - AQME-C4.5 162.77
- - Adaptive2clsQ 10.36 - - AQME-RIPPER 162.81
- - QUANTOR_2.15 11.17 - - - -
sKizzo-0.10-std(5.95)
sKizzo-0.10-qck(6.14)
qSS(6.38)
qZilla(10.25)
Adaptive2clsQ(10.36)
QUANTOR_2.15(11.17)
preQuel_sKizzo-0.10(59.73)
AQME-1NN(162.73)
AQME-C4.5(162.77)
AQME-RIPPER(162.81)