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

Instance: dungeon_i10-m10-u10-v0.pddl_planlen=187
Best Solver: qsts Time: 0.9 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - quabs-minisat 12.33
- - - - - - quabs-picosat 16.91
qsts(0.9)
quabs-minisat(12.33)
quabs-picosat(16.91)
ghostq-plain(181.5)
xb-bid-qsts(191.65)
xb-qsts(196.34)
ghostq-cegar(345.21)