Sota solver details
QBFEVAL'06

Instance: k_lin_n-12
Best Solver: QUANTOR_hc Time: 0.33 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR 0.94 semprop 1.98 SQBF 3.62
- - - - - - preQuantor 3.8
- - - - - - 2clsQ 3.9
- - - - - - Quaffle 15.94
- - - - - - qube5.0 28.03
- - - - - - sKizzo-0.9-grn 31.32
QUANTOR_hc(0.33)
QUANTOR(0.94)
semprop(1.98)
SQBF(3.62)
preQuantor(3.8)
2clsQ(3.9)
Quaffle(15.94)
qube5.0(28.03)
sKizzo-0.9-grn(31.32)
ssolve-ut(45.03)
sSolve(45.71)
ssolve+ut(46.93)
sKizzo-0.9-std(131.43)
sKizzo-0.9-abs(143.59)
qube3.0(213.84)
yQuaffle(2729.85)