detailed results (3906 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product25_false-unreach-call.cil.c.smt2 (content) sat sat 0.432s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product24_false-unreach-call.cil.c.smt2 (content) sat sat 0.475s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product23_false-unreach-call.cil.c.smt2 (content) sat sat 0.472s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product22_false-unreach-call.cil.c.smt2 (content) sat sat 0.434s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product21_false-unreach-call.cil.c.smt2 (content) sat sat 0.399s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product20_false-unreach-call.cil.c.smt2 (content) sat sat 0.589s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product19_false-unreach-call.cil.c.smt2 (content) sat sat 0.675s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product18_false-unreach-call.cil.c.smt2 (content) sat sat 0.470s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product17_false-unreach-call.cil.c.smt2 (content) sat sat 0.436s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product16_false-unreach-call.cil.c.smt2 (content) sat sat 0.482s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product15_false-unreach-call.cil.c.smt2 (content) sat sat 0.543s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product14_false-unreach-call.cil.c.smt2 (content) sat sat 0.390s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product13_false-unreach-call.cil.c.smt2 (content) sat sat 0.397s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product12_false-unreach-call.cil.c.smt2 (content) sat sat 0.573s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product11_false-unreach-call.cil.c.smt2 (content) sat sat 0.439s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product10_false-unreach-call.cil.c.smt2 (content) sat sat 0.359s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product09_false-unreach-call.cil.c.smt2 (content) sat sat 0.389s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product08_false-unreach-call.cil.c.smt2 (content) sat sat 0.510s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product07_false-unreach-call.cil.c.smt2 (content) sat sat 0.459s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product06_false-unreach-call.cil.c.smt2 (content) sat sat 0.411s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product05_false-unreach-call.cil.c.smt2 (content) sat sat 0.429s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product04_false-unreach-call.cil.c.smt2 (content) sat sat 0.528s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product03_false-unreach-call.cil.c.smt2 (content) sat sat 0.501s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product02_false-unreach-call.cil.c.smt2 (content) sat sat 0.446s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product01_false-unreach-call.cil.c.smt2 (content) sat sat 0.367s