Sota solver details
QBFEVAL'07

Instance: k_t4p_n-12
Best Solver: AQME-1NN Time: 0.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-C4.5 0.74 squolem 3.58 qSS 33.73
- - AQME-RIPPER 0.78 - - aigqbf_s 44.39
- - sKizzo-0.10-std 1.08 - - - -
- - sKizzo-0.10-qck 1.09 - - - -
- - preQuel_sKizzo-0.10 1.51 - - - -
- - EBDDRES 1.94 - - - -
AQME-1NN(0.68)
AQME-C4.5(0.74)
AQME-RIPPER(0.78)
sKizzo-0.10-std(1.08)
sKizzo-0.10-qck(1.09)
preQuel_sKizzo-0.10(1.51)
EBDDRES(1.94)
squolem(3.58)
qSS(33.73)
aigqbf_s(44.39)
aigqbf_sr(86.69)
qZilla(101.79)