Sota solver details
QBFEVAL'07

Instance: c5_BMC_p1_k8
Best Solver: qZilla Time: 1.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Adaptive2clsQ 1.06 - - - -
- - QUANTOR_2.15 1.06 - - - -
- - sKizzo-0.10-std 1.2 - - - -
- - sKizzo-0.10-qck 1.21 - - - -
- - AQME-1NN 2.32 - - - -
- - AQME-RIPPER 2.48 - - - -
qZilla(1.04)
Adaptive2clsQ(1.06)
QUANTOR_2.15(1.06)
sKizzo-0.10-std(1.2)
sKizzo-0.10-qck(1.21)
AQME-1NN(2.32)
AQME-RIPPER(2.48)
AQME-C4.5(107.34)
ncQuBE1.0(167.55)
ncQuBE1.1(390.71)