Sota solver details
QBFEVAL'07

Instance: c1_BMC_p1_k4
Best Solver: Adaptive2clsQ Time: 0.72 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qZilla 0.73 - - - -
- - QUANTOR_2.15 0.74 - - - -
- - sKizzo-0.10-std 1.3 - - - -
- - sKizzo-0.10-qck 1.35 - - - -
- - AQME-1NN 2.6 - - - -
- - preQuel_sKizzo-0.10 3.09 - - - -
- - AQME-C4.5 3.14 - - - -
- - AQME-RIPPER 3.2 - - - -
Adaptive2clsQ(0.72)
qZilla(0.73)
QUANTOR_2.15(0.74)
sKizzo-0.10-std(1.3)
sKizzo-0.10-qck(1.35)
AQME-1NN(2.6)
preQuel_sKizzo-0.10(3.09)
AQME-C4.5(3.14)
AQME-RIPPER(3.2)
ncQuBE1.1(100.8)
yQuaffle(137.59)
ncQuBE1.0(138.8)
qSS(145.57)