Sota solver details
QBFEVAL'07

Instance: texas.parsesys^3.E-f4
Best Solver: sKizzo-0.10-std Time: 8.35 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 9.17 ncQuBE1.1 81.03 AQME-RIPPER 122.54
- - AQME-C4.5 9.75 - - AQME-1NN 122.58
- - - - - - ncQuBE1.0 126.93
- - - - - - aigqbf_sr 526.88
- - - - - - aigqbf_s 536.02
sKizzo-0.10-std(8.35)
sKizzo-0.10-qck(9.17)
AQME-C4.5(9.75)
ncQuBE1.1(81.03)
AQME-RIPPER(122.54)
AQME-1NN(122.58)
ncQuBE1.0(126.93)
aigqbf_sr(526.88)
aigqbf_s(536.02)