Sota solver details
QBFEVAL'04

Instance: comp.blif_0.10_1.00_0_0_inp_exact
Best Solver: semprop Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QSAT 0.02 QMRes 0.09 QUBE-LRN 0.98
- - QUANTOR 0.02 - - - -
- - yQuaffle 0.02 - - - -
semprop(0.01)
QSAT(0.02)
QUANTOR(0.02)
yQuaffle(0.02)
QMRes(0.09)
QUBE-LRN(0.98)
QUBE-BJ(4.64)
QBFL-JW(21.78)
CSBJ(84.57)
sSolve(565.57)
CLearn(638.33)
GRL(639.12)