results for dolmen-strict on /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_all_e3_1600_e3_2055.ec.smt2

problem.path
problem.expected_res
ok
res
fatal
rtime
0.230s
stime
0.000s
utime
0.000s
errcode
1
full stdout

full stderr
File "/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_all_e3_1600_e3_2055.ec.smt2", line 40, character 137-151:
Error This is a non-linear expression according to the smtlib spec.
      Hint: multiplication in strict linear arithmetic expects an integer or
        rational literal and a symbol (variable or constant) but was given:
        - an integer coefficient
        - an arbitrary expression with top symbol not in Arithmetic
prover config
prover.name
dolmen-strict
prover.cmd
<unknown>
prover.version
<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>