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

Instance: query51_query50_1344
Best Solver: ghostq-cegar Time: 2.56 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts 4.38 quabs-minisat 16.75 quabs-picosat 184.35
- - xb-bid-qsts 4.53 - - rareqs-nn 206.46
- - ghostq-plain 12.47 - - - -
ghostq-cegar(2.56)
xb-qsts(4.38)
xb-bid-qsts(4.53)
ghostq-plain(12.47)
quabs-minisat(16.75)
quabs-picosat(184.35)
rareqs-nn(206.46)