Sota solver details
QBFEVAL'06

Instance: k_lin_n-21
Best Solver: QUANTOR_hc Time: 2.29 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR 4.7 semprop 14.52 2clsQ 31.86
- - - - - - preQuantor 31.91
- - - - - - SQBF 32.54
- - - - - - Quaffle 121.63
- - - - - - qube5.0 182.38
QUANTOR_hc(2.29)
QUANTOR(4.7)
semprop(14.52)
2clsQ(31.86)
preQuantor(31.91)
SQBF(32.54)
Quaffle(121.63)
qube5.0(182.38)
ssolve+ut(380.21)
sSolve(380.64)
ssolve-ut(381.82)