Sota solver details
QBFEVAL'04

Instance: vonNeumann-ripple-carry-10-c
Best Solver: QBFL-JW Time: 0.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-BS 0.38 CSBJ 1.89 QUBE-BJ 5.57
- - QUANTOR 1.45 yQuaffle 2.49 QUBE-LRN 6.55
- - sSolve 1.48 openQbf 2.65 - -
- - CLearn 1.82 semprop 2.8 - -
- - GRL 1.83 - - - -
QBFL-JW(0.37)
QBFL-BS(0.38)
QUANTOR(1.45)
sSolve(1.48)
CLearn(1.82)
GRL(1.83)
CSBJ(1.89)
yQuaffle(2.49)
openQbf(2.65)
semprop(2.8)
QUBE-BJ(5.57)
QUBE-LRN(6.55)
QSAT(882.62)