Sota solver details
QBFEVAL'04

Instance: CHAIN19v.20
Best Solver: semprop Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - QMRes 0.98
QUANTOR(0.04)
semprop(0.04)
QMRes(0.98)
sSolve(5.43)
QSAT(10.92)
CLearn(27.75)
CSBJ(28.73)
QBFL-BS(171.11)
WalkQSAT(216.96)
QBFL-JW(366.38)
QUBE-BJ(472.15)
openQbf(539.47)