Sota solver details
QBFEVAL'04

Instance: k_lin_n-3
Best Solver: semprop Time: 0.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR 0.09 CLearn 0.26 yQuaffle 0.4
- - - - - - sSolve 0.55
- - - - - - QMRes 0.84
- - - - - - GRL 0.85
- - - - - - QUBE-LRN 1.08
- - - - - - QUBE-BJ 1.11
- - - - - - CSBJ 2.76
semprop(0.03)
QUANTOR(0.09)
CLearn(0.26)
yQuaffle(0.4)
sSolve(0.55)
QMRes(0.84)
GRL(0.85)
QUBE-LRN(1.08)
QUBE-BJ(1.11)
CSBJ(2.76)
QSAT(3.11)