Sota solver details
QBFEVAL'07

Instance: k_t4p_n-16
Best Solver: AQME-1NN Time: 0.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-C4.5 0.84 squolem 5.03 aigqbf_s 77.65
- - AQME-RIPPER 0.88 - - - -
- - sKizzo-0.10-qck 1.79 - - - -
- - sKizzo-0.10-std 1.8 - - - -
- - EBDDRES 2.98 - - - -
- - preQuel_sKizzo-0.10 3.18 - - - -
AQME-1NN(0.78)
AQME-C4.5(0.84)
AQME-RIPPER(0.88)
sKizzo-0.10-qck(1.79)
sKizzo-0.10-std(1.8)
EBDDRES(2.98)
preQuel_sKizzo-0.10(3.18)
squolem(5.03)
aigqbf_s(77.65)
qZilla(124.13)
aigqbf_sr(135.64)
qSS(147.22)