detailed results (9583 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem14_00_true-unreach-call.c.smt2 (content) unsat unsat 0.487s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem13_60_false-unreach-call.c.smt2 (content) timeout sat 10s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem12_60_false-unreach-call.c.smt2 (content) timeout sat 10s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem10_20_true-unreach-call.c.smt2 (content) unsat unsat 0.216s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem10_10_true-unreach-call.c.smt2 (content) unsat unsat 0.163s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem10_00_true-unreach-call.c.smt2 (content) unsat unsat 0.375s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem08_60_false-unreach-call.c.smt2 (content) error sat 5.3s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_60_false-unreach-call.c.smt2 (content) error sat 5.5s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_50_true-unreach-call.c.smt2 (content) error unsat 4.7s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_10_true-unreach-call.c.smt2 (content) error unsat 5s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_00_true-unreach-call.c.smt2 (content) error unsat 5.1s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem06_60_false-unreach-call.c.smt2 (content) timeout sat 10s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_60_false-unreach-call.c.smt2 (content) timeout sat 10s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_60_false-unreach-call.c.smt2 (content) sat sat 4.9s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_50_true-unreach-call.c.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_30_true-unreach-call.c.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_20_true-unreach-call.c.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_10_true-unreach-call.c.smt2 (content) unsat unsat 8.4s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_00_true-unreach-call.c.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_60_false-unreach-call.c.smt2 (content) sat sat 1.8s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_40_true-unreach-call.c.smt2 (content) unsat unsat 2.8s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_30_true-unreach-call.c.smt2 (content) unsat unsat 2.3s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_10_true-unreach-call.c.smt2 (content) unsat unsat 1.7s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_40_true-unreach-call.c.smt2 (content) unsat unsat 0.237s
mc2 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_30_true-unreach-call.c.smt2 (content) unsat unsat 0.207s