Sota solver details
QBFEVAL'07

Instance: C5315.blif_0.10_1.00_0_0_out_exact
Best Solver: QUANTOR_2.15 Time: 5.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 15.25 - - AQME-1NN 117.57
- - sKizzo-0.10-std 15.42 - - AQME-C4.5 117.62
- - - - - - AQME-RIPPER 117.68
- - - - - - aigqbf_s 456.04
- - - - - - aigqbf_sr 456.58
QUANTOR_2.15(5.21)
sKizzo-0.10-qck(15.25)
sKizzo-0.10-std(15.42)
AQME-1NN(117.57)
AQME-C4.5(117.62)
AQME-RIPPER(117.68)
aigqbf_s(456.04)
aigqbf_sr(456.58)