Sota solver details
QBFEVAL'07

Instance: c5_BMC_p1_k4
Best Solver: Adaptive2clsQ Time: 0.56 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR_2.15 0.56 - - ncQuBE1.0 17.8
- - qZilla 0.57 - - ncQuBE1.1 18.22
- - sKizzo-0.10-std 0.76 - - - -
- - sKizzo-0.10-qck 0.76 - - - -
- - AQME-1NN 1.73 - - - -
- - AQME-C4.5 1.83 - - - -
- - AQME-RIPPER 1.86 - - - -
Adaptive2clsQ(0.56)
QUANTOR_2.15(0.56)
qZilla(0.57)
sKizzo-0.10-std(0.76)
sKizzo-0.10-qck(0.76)
AQME-1NN(1.73)
AQME-C4.5(1.83)
AQME-RIPPER(1.86)
ncQuBE1.0(17.8)
ncQuBE1.1(18.22)
qSS(123.79)
yQuaffle(254.75)