Sota solver details
QBFEVAL'04

Instance: CHAIN12v.13
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
- - sSolve 0.05 CLearn 0.16 QMRes 0.2
- - QSAT 0.09 CSBJ 0.17 QBFL-BS 0.47
- - - - - - WalkQSAT 0.63
- - - - - - QBFL-JW 0.72
- - - - - - yQuaffle 1.01
- - - - - - GRL 1.64
- - - - - - QUBE-BJ 1.66
- - - - - - QUBE-LRN 1.87
QUANTOR(0.02)
semprop(0.02)
sSolve(0.05)
QSAT(0.09)
CLearn(0.16)
CSBJ(0.17)
QMRes(0.2)
QBFL-BS(0.47)
WalkQSAT(0.63)
QBFL-JW(0.72)
yQuaffle(1.01)
GRL(1.64)
QUBE-BJ(1.66)
QUBE-LRN(1.87)
openQbf(2.55)