Results for instance mutex-128-s
QBFEVAL'16 - 2QBF Track.



Solver Time Result
qsts0.1SAT
qestos0.19SAT
areqs0.2SAT
rareqs0.2SAT
aspQ0.21SAT
hiqqer30.25SAT
hiqqer10.26SAT
hiqqer1ldsq0.26SAT
depqbf-v10.31SAT
cadet0.61SAT
struqs-103.42SAT
squeezebf+struqs3.49SAT
xb-bid-qsts5.19SAT
iprover-QBF-bloqqer5.22SAT
xb-qsts5.22SAT
depqbf-v326.66SAT
depqbf-v228.71SAT
dynQBF29.73SAT
iprover-QBF277.83FAIL
ghostq-cegar599.71FAIL
ghostq-plain599.81FAIL