Sota solver details
QBFEVAL'04

Instance: tree-exa2-25
Best Solver: QUANTOR Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
CLearn 0 semprop 0.01 sSolve 0.06 QBFL-JW 0.29
GRL 0 yQuaffle 0.01 - - QBFL-BS 0.33
- - QMRes 0.02 - - CSBJ 0.39
- - - - - - WalkQSAT 0.42
- - - - - - QSAT 0.48
- - - - - - QUBE-LRN 0.97
CLearn(0)
GRL(0)
QUANTOR(0)
semprop(0.01)
yQuaffle(0.01)
QMRes(0.02)
sSolve(0.06)
QBFL-JW(0.29)
QBFL-BS(0.33)
CSBJ(0.39)
WalkQSAT(0.42)
QSAT(0.48)
QUBE-LRN(0.97)
QUBE-BJ(1.01)
openQbf(2.2)