Sota solver details
QBFEVAL'06

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.9-grn 1.04 sSolve 9.93 ssolve+ut 12.09
- - sKizzo-0.9-std 1.16 ssolve-ut 10.16 semprop 13.7
- - yQuaffle 4.14 - - GRL 34.36
- - Quaffle 4.42 - - qube4.0 35.75
- - - - - - qube3.0 38.57
- - - - - - qube5.0 52.54
sKizzo-0.9-abs(1.02)
sKizzo-0.9-grn(1.04)
sKizzo-0.9-std(1.16)
yQuaffle(4.14)
Quaffle(4.42)
sSolve(9.93)
ssolve-ut(10.16)
ssolve+ut(12.09)
semprop(13.7)
GRL(34.36)
qube4.0(35.75)
qube3.0(38.57)
qube5.0(52.54)
Qbfl(186.41)
2clsQ(267.87)
openQbf(273.15)
SQBF(274.1)