Sota solver details
QBFEVAL'07

Instance: c5_BMC_p2_k4
Best Solver: qZilla Time: 0.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR_2.15 0.54 - - qSS 17.43
- - Adaptive2clsQ 0.57 - - ncQuBE1.0 17.87
- - sKizzo-0.10-std 0.62 - - ncQuBE1.1 18.43
- - sKizzo-0.10-qck 0.63 - - - -
- - AQME-1NN 1.64 - - - -
- - AQME-C4.5 1.69 - - - -
- - AQME-RIPPER 1.76 - - - -
qZilla(0.53)
QUANTOR_2.15(0.54)
Adaptive2clsQ(0.57)
sKizzo-0.10-std(0.62)
sKizzo-0.10-qck(0.63)
AQME-1NN(1.64)
AQME-C4.5(1.69)
AQME-RIPPER(1.76)
qSS(17.43)
ncQuBE1.0(17.87)
ncQuBE1.1(18.43)
yQuaffle(304.73)