Sota solver details
QBFEVAL'07

Instance: c1_BMC_p2_k512
Best Solver: yQuaffle Time: 9.33 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR_2.15 21.94 - - AQME-1NN 172.51
- - AQME-C4.5 27.67 - - AQME-RIPPER 172.89
- - - - - - qZilla 195.69
- - - - - - Adaptive2clsQ 200
- - - - - - qSS 202.12
yQuaffle(9.33)
QUANTOR_2.15(21.94)
AQME-C4.5(27.67)
AQME-1NN(172.51)
AQME-RIPPER(172.89)
qZilla(195.69)
Adaptive2clsQ(200)
qSS(202.12)