c launch: /home/mathias/runs/boolector/tacas2016/20161016-z3-bv/benchmarks /data/starexec/2015-06-01/BV/wintersteiger/fmsd13/ /home/mathias/runs/boolector/tacas2016/20161016-z3-bv --time-limit=1200 --space-limit=7000 /home/mathias/runs/boolector/tacas2016/20161016-z3-bv/wrapper_z3.sh  
c host: atom20
c benchmark: /data/starexec/2015-06-01/BV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-6.smt2
c solver: /home/mathias/runs/boolector/tacas2016/20161016-z3-bv/wrapper_z3.sh
c solver options:  
unsat
c launch: done
