Sota solver details
QBFEVAL'06

Instance: k_lin_n-20
Best Solver: QUANTOR_hc Time: 1.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR 4 semprop 12.34 2clsQ 25.79
- - - - - - preQuantor 26.16
- - - - - - SQBF 26.66
- - - - - - Quaffle 114.2
- - - - - - qube5.0 136.76
QUANTOR_hc(1.85)
QUANTOR(4)
semprop(12.34)
2clsQ(25.79)
preQuantor(26.16)
SQBF(26.66)
Quaffle(114.2)
qube5.0(136.76)
ssolve-ut(316.94)
sSolve(321)
ssolve+ut(325.25)