Sota solver details
QBFEVAL'04

Instance: comp.blif_0.10_0.20_0_0_out_exact
Best Solver: QUANTOR Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QMRes 0.16 - - - -
QUANTOR(0.08)
QMRes(0.16)
yQuaffle(29.82)
semprop(190.33)
QUBE-LRN(435.18)
CSBJ(519.27)
WalkQSAT(645.31)