detailed results (2568 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_50_true-unreach-call.c.smt2 (content) unsat unsat 8.8s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_50_true-unreach-call.c.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_30_true-unreach-call.c.smt2 (content) unsat unsat 8.9s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_30_true-unreach-call.c.smt2 (content) unsat unsat 3.0s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_20_true-unreach-call.c.smt2 (content) unsat unsat 6s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_20_true-unreach-call.c.smt2 (content) unsat unsat 5.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_10_true-unreach-call.c.smt2 (content) unsat unsat 9.4s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_10_true-unreach-call.c.smt2 (content) unsat unsat 2.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_00_true-unreach-call.c.smt2 (content) timeout unsat 11.4s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_00_true-unreach-call.c.smt2 (content) unsat unsat 4.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_60_false-unreach-call.c.smt2 (content) timeout sat 21.4s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_60_false-unreach-call.c.smt2 (content) sat sat 3.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_40_true-unreach-call.c.smt2 (content) unsat unsat 3.4s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_40_true-unreach-call.c.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_30_true-unreach-call.c.smt2 (content) unsat unsat 2.8s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_30_true-unreach-call.c.smt2 (content) unsat unsat 1.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_10_true-unreach-call.c.smt2 (content) unsat unsat 3.6s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_10_true-unreach-call.c.smt2 (content) unsat unsat 1.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_40_true-unreach-call.c.smt2 (content) unsat unsat 0.578s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_40_true-unreach-call.c.smt2 (content) unsat unsat 2.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_30_true-unreach-call.c.smt2 (content) unsat unsat 0.366s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_30_true-unreach-call.c.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_10_true-unreach-call.c.smt2 (content) unsat unsat 0.446s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_10_true-unreach-call.c.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_00_true-unreach-call.c.smt2 (content) unsat unsat 0.399s