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

Instance: connect_8x7_7_W
Best Solver: qsts Time: 1.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - ghostq-plain 10.2 ghostq-cegar 12.24
- - - - - - quabs-picosat 12.95
- - - - - - quabs-minisat 13.35
- - - - - - rareqs-nn 13.74
- - - - - - xb-bid-qsts 57.58
- - - - - - xb-qsts 58.12
qsts(1.02)
ghostq-plain(10.2)
ghostq-cegar(12.24)
quabs-picosat(12.95)
quabs-minisat(13.35)
rareqs-nn(13.74)
xb-bid-qsts(57.58)
xb-qsts(58.12)