Sota solver details
QBFEVAL'04

Instance: C880.blif_0.10_1.00_0_1_out_exact
Best Solver: CLearn Time: 0.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - CSBJ 0.3 WalkQSAT 0.82 semprop 6.03
- - - - GRL 0.89 - -
CLearn(0.12)
CSBJ(0.3)
WalkQSAT(0.82)
GRL(0.89)
semprop(6.03)
QUBE-LRN(151.97)