Sota solver details
QBFEVAL'04

Instance: k_lin_n-6
Best Solver: semprop Time: 0.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - QUBE-LRN 5.37
- - - - - - sSolve 8.5
- - - - - - QUBE-BJ 9.51
- - - - - - WalkQSAT 14.03
semprop(0.16)
QUBE-LRN(5.37)
sSolve(8.5)
QUBE-BJ(9.51)
WalkQSAT(14.03)
CLearn(23.37)
yQuaffle(56.83)
QUANTOR(68.56)
GRL(96.96)
QSAT(178.53)
QMRes(575.86)