Sota solver details
QBFEVAL'07

Instance: c2_BMC_p1_k16
Best Solver: qZilla Time: 1.64 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Adaptive2clsQ 1.64 - - sKizzo-0.10-std 18.65
- - QUANTOR_2.15 1.88 - - preQuel_sKizzo-0.10 19.96
- - AQME-1NN 3.46 - - - -
- - AQME-C4.5 3.51 - - - -
- - AQME-RIPPER 3.56 - - - -
- - sKizzo-0.10-qck 6.16 - - - -
qZilla(1.64)
Adaptive2clsQ(1.64)
QUANTOR_2.15(1.88)
AQME-1NN(3.46)
AQME-C4.5(3.51)
AQME-RIPPER(3.56)
sKizzo-0.10-qck(6.16)
sKizzo-0.10-std(18.65)
preQuel_sKizzo-0.10(19.96)