Sota solver details
QBFEVAL'06

Instance: ev-pr-6x6-9-5-0-1-2-lg
Best Solver: sKizzo-0.9-grn Time: 14.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quaffle 21.06 GRL 93.76 semprop 276.06
- - qube5.0 44.99 - - Qbfl 402.92
- - qube3.0 66.92 - - openQbf 700.84
- - qube4.0 67.83 - - SQBF 1170.53
- - - - - - 2clsQ 1228.34
sKizzo-0.9-grn(14.46)
Quaffle(21.06)
qube5.0(44.99)
qube3.0(66.92)
qube4.0(67.83)
GRL(93.76)
semprop(276.06)
Qbfl(402.92)
openQbf(700.84)
SQBF(1170.53)
2clsQ(1228.34)
sSolve(2354.37)
ssolve+ut(2384.77)
ssolve-ut(2385.12)