Sota solver details
QBFEVAL'06

Instance: ev-pr-8x8-11-7-0-1-2-lg
Best Solver: sKizzo-0.9-grn Time: 2.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.9-abs 2.42 - - Quaffle 233.88
- - sKizzo-0.9-std 2.65 - - - -
sKizzo-0.9-grn(2.37)
sKizzo-0.9-abs(2.42)
sKizzo-0.9-std(2.65)
Quaffle(233.88)
semprop(529.72)