Sota solver details
QBFEVAL'07

Instance: k_path_p-20
Best Solver: QUANTOR_2.15 Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qZilla 0.09 preQuel_sKizzo-0.10 0.5 AQME-C4.5 0.65
- - Adaptive2clsQ 0.1 EBDDRES 0.56 AQME-RIPPER 0.7
- - - - AQME-1NN 0.58 squolem 0.71
- - - - - - sKizzo-0.10-qck 2.94
QUANTOR_2.15(0.06)
qZilla(0.09)
Adaptive2clsQ(0.1)
preQuel_sKizzo-0.10(0.5)
EBDDRES(0.56)
AQME-1NN(0.58)
AQME-C4.5(0.65)
AQME-RIPPER(0.7)
squolem(0.71)
sKizzo-0.10-qck(2.94)
qSS(9.92)
sKizzo-0.10-std(11.5)
aigqbf_s(12.3)
aigqbf_sr(16.57)