detailed results (3911 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product24_false-unreach-call.cil.c.smt2 (content) sat sat 0.049s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product23_false-unreach-call.cil.c.smt2 (content) sat sat 0.050s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product19_false-unreach-call.cil.c.smt2 (content) sat sat 0.049s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product18_false-unreach-call.cil.c.smt2 (content) sat sat 0.047s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product17_false-unreach-call.cil.c.smt2 (content) sat sat 0.052s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product13_false-unreach-call.cil.c.smt2 (content) sat sat 0.046s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.count_up_down_true-unreach-call_true-termination.i.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.count_up_down_false-unreach-call_true-termination.i.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.cdaudio_simpl1_false-unreach-call_true-termination.cil.c.smt2 (content) sat sat 0.035s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.array_true-unreach-call.i.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.array_false-unreach-call.i.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.alt_test.c_false-unreach-call.i.smt2 (content) sat sat 0.030s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem19_60_false-unreach-call.c.smt2 (content) sat sat 3.2s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem18_60_false-unreach-call.c.smt2 (content) sat sat 1.7s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem17_60_false-unreach-call.c.smt2 (content) sat sat 1.5s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem16_60_false-unreach-call.c.smt2 (content) sat sat 1.3s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem15_60_false-unreach-call.c.smt2 (content) sat sat 1.4s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem14_60_false-unreach-call.c.smt2 (content) sat sat 1.1s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem13_60_false-unreach-call.c.smt2 (content) sat sat 1.7s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem12_60_false-unreach-call.c.smt2 (content) sat sat 1.9s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_60_false-unreach-call.c.smt2 (content) sat sat 2.8s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_60_false-unreach-call.c.smt2 (content) sat sat 3.4s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_60_false-unreach-call.c.smt2 (content) sat sat 0.981s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem01_60_false-unreach-call.c.smt2 (content) sat sat 1.8s
z3 /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--video--backlight--lms283gf05.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) sat sat 0.342s