Sota solver details
QBFEVAL'04

Instance: k_path_n-5
Best Solver: QUANTOR Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - semprop 0.17
- - - - - - QMRes 0.23
QUANTOR(0.01)
semprop(0.17)
QMRes(0.23)
CLearn(39.18)
QUBE-BJ(54.84)
WalkQSAT(70.78)
sSolve(84.79)
QSAT(274.08)
GRL(387.46)