results for sidekick-dev on /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product53_true-unreach-call.cil.c.smt2

full stdout
Unsat (0.179/0.834/0.000)
full stderr

prover config
prover.name
sidekick-dev
prover.cmd
<unknown>
prover.version
(git branch=wip-lra-simplex-propagations-implied commit=6970c83ff11061e9f21857e9f7b58c7f4321e408)
prover.sat
Sat
prover.unsat
Unsat
prover.unknown
Timeout|Unknown
prover.timeout
<none>
prover.memory
<none>