Sota solver details
QBFEVAL'06

Instance: ev-pr-8x8-9-7-0-1-2-lg
Best Solver: sKizzo-0.9-abs Time: 1.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.9-std 1.72 - - yQuaffle 25.02
- - - - - - Quaffle 26.58
- - - - - - GRL 92.91
- - - - - - semprop 102.79
- - - - - - qube3.0 135.08
- - - - - - qube4.0 141.03
sKizzo-0.9-abs(1.53)
sKizzo-0.9-grn(1.53)
sKizzo-0.9-std(1.72)
yQuaffle(25.02)
Quaffle(26.58)
GRL(92.91)
semprop(102.79)
qube3.0(135.08)
qube4.0(141.03)
qube5.0(162.51)
sSolve(1717.1)
ssolve+ut(1756.68)
ssolve-ut(1831.13)
2clsQ(1850.66)
Qbfl(1902.43)
openQbf(2964.71)