results for sidekick-dev on /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.t2.c_Iteration5_Loop_7-phaseTemplate.smt2

full stdout

full stderr
Fatal error: exception Stack overflow
prover config
prover.name
sidekick-dev
prover.cmd
<unknown>
prover.version
(git branch=master commit=b35ca4496faed2d9d0a6de4e52616900bb63760f)
prover.sat
Sat
prover.unsat
Unsat
prover.unknown
Timeout|Unknown
prover.timeout
<none>
prover.memory
<none>