| prover | file | res | expected | time |
|---|---|---|---|---|
| sidekick-dev | /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_28.smt2 (content) | error | sat | 9.2s |
| sidekick-dev | /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_06.smt2 (content) | error | sat | 8.9s |
| sidekick-dev | /home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_productSimulator_false-unreach-call.cil.c.smt2 (content) | error | sat | 9.7s |
| sidekick-dev | /home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product35_false-unreach-call.cil.c.smt2 (content) | error | sat | 8.6s |