Sota solver details
QBFEVAL'04

Instance: k_path_n-3
Best Solver: QUANTOR Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.03 QMRes 0.1 CLearn 0.53
- - - - - - GRL 0.77
- - - - - - yQuaffle 0.81
- - - - - - WalkQSAT 0.86
- - - - - - sSolve 1.28
- - - - - - QUBE-LRN 1.45
- - - - - - QUBE-BJ 1.54
QUANTOR(0.02)
semprop(0.03)
QMRes(0.1)
CLearn(0.53)
GRL(0.77)
yQuaffle(0.81)
WalkQSAT(0.86)
sSolve(1.28)
QUBE-LRN(1.45)
QUBE-BJ(1.54)
QSAT(3.79)
CSBJ(14.64)
openQbf(20)
QBFL-BS(258.19)