detailed results (2568 total)

prover file res expected time
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) timeout sat 11s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) sat sat 0.012s
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) sat sat 0.342s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product62_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product62_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.395s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product61_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product61_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.375s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product58_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product58_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.363s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product57_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product57_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.348s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product54_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product54_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.385s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product53_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.052s
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product53_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.379s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product50_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product50_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.451s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product49_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec4_product49_true-unreach-call.cil.c.smt2 (content) unsat unsat 0.462s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product64_false-unreach-call.cil.c.smt2 (content) sat sat 0.038s
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product64_false-unreach-call.cil.c.smt2 (content) sat sat 1.2s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product63_false-unreach-call.cil.c.smt2 (content) sat sat 0.040s
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product63_false-unreach-call.cil.c.smt2 (content) sat sat 1.4s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product60_false-unreach-call.cil.c.smt2 (content) sat sat 0.025s
z3 /home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product60_false-unreach-call.cil.c.smt2 (content) timeout sat 11s