Sota solver details
QBFEVAL'04

Instance: flipflop-11-c
Best Solver: sSolve Time: 0.77 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR 0.8 QBFL-BS 6.38 - -
- - yQuaffle 1.29 QBFL-JW 6.86 - -
- - CSBJ 1.41 - - - -
- - CLearn 1.43 - - - -
- - GRL 1.53 - - - -
- - QUBE-BJ 1.71 - - - -
- - QUBE-LRN 1.73 - - - -
- - semprop 2.23 - - - -
- - openQbf 3.09 - - - -
sSolve(0.77)
QUANTOR(0.8)
yQuaffle(1.29)
CSBJ(1.41)
CLearn(1.43)
GRL(1.53)
QUBE-BJ(1.71)
QUBE-LRN(1.73)
semprop(2.23)
openQbf(3.09)
QBFL-BS(6.38)
QBFL-JW(6.86)
QSAT(210.08)