Sota solver details
QBFEVAL'16 - Prenex non-CNF Track.

Instance: vonNeumann-ripple-carry-7-c
Best Solver: qsts Time: 0.8 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - ghostq-cegar 17.42
- - - - - - ghostq-plain 17.44
- - - - - - rareqs-nn 26.06
- - - - - - quabs-minisat 43.68
- - - - - - quabs-picosat 46.63
qsts(0.8)
ghostq-cegar(17.42)
ghostq-plain(17.44)
rareqs-nn(26.06)
quabs-minisat(43.68)
quabs-picosat(46.63)
xb-qsts(594.87)
xb-bid-qsts(598.65)