Sota solver details
QBFEVAL'07

Instance: C5315.blif_0.10_1.00_0_0_inp_exact
Best Solver: QUANTOR_2.15 Time: 2.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-std 7.02 - - AQME-1NN 108.92
- - sKizzo-0.10-qck 7.11 - - AQME-C4.5 109.03
- - - - - - AQME-RIPPER 109.05
QUANTOR_2.15(2.7)
sKizzo-0.10-std(7.02)
sKizzo-0.10-qck(7.11)
AQME-1NN(108.92)
AQME-C4.5(109.03)
AQME-RIPPER(109.05)
ncQuBE1.1(312.84)
yQuaffle(357.34)
ncQuBE1.0(499.84)
aigqbf_s(523.92)