Sota solver details
QBFEVAL'04

Instance: C499.blif_0.10_1.00_0_0_inp_exact
Best Solver: QUANTOR Time: 4.88 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - QUBE-LRN 26.99 - -
- - - - yQuaffle 38.35 - -
QUANTOR(4.88)
QUBE-LRN(26.99)
yQuaffle(38.35)