Sota solver details
QBFEVAL'04

Instance: cnt04e
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
- - - - - - yQuaffle 0.16
- - - - - - CLearn 0.32
QUANTOR(0.01)
yQuaffle(0.16)
CLearn(0.32)
GRL(1.24)
semprop(1.43)
QUBE-LRN(1.55)
QSAT(35.62)
QUBE-BJ(43.55)
CSBJ(64.24)
QMRes(80.43)