results for dolmen-strict on /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c.smt2

full stdout
full stderr
prover config
prover.name
dolmen-strict
prover.cmd
<unknown>
prover.version
(tag <unknown>)
prover.sat
<none>
prover.unsat
<none>
prover.unknown
<none>
prover.timeout
<none>
prover.tag.fatal
Error|Killed
prover.tag.memout
Memory limit reached|Out_of_space
prover.tag.ok
^$
prover.tag.overflow
Stack overflow
prover.tag.timout
Time limit reached|Out_of_time
prover.tag.warn
Warning
prover.memory
<none>