Sota solver details
QBFEVAL'07

Instance: k_t4p_p-21
Best Solver: sKizzo-0.10-qck Time: 0.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-std 0.48 squolem 3.57 qSS 28.09
- - AQME-1NN 0.66 - - aigqbf_s 37.42
- - AQME-C4.5 0.72 - - - -
- - AQME-RIPPER 0.76 - - - -
- - preQuel_sKizzo-0.10 1.1 - - - -
- - EBDDRES 1.7 - - - -
sKizzo-0.10-qck(0.47)
sKizzo-0.10-std(0.48)
AQME-1NN(0.66)
AQME-C4.5(0.72)
AQME-RIPPER(0.76)
preQuel_sKizzo-0.10(1.1)
EBDDRES(1.7)
squolem(3.57)
qSS(28.09)
aigqbf_s(37.42)
qZilla(54.66)
aigqbf_sr(75.5)