detailed results (27 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_1000_10_14.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_24.smt2 (content) unknown sat 10.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_19.smt2 (content) unknown sat 10.0s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0600_10_24.smt2 (content) unknown sat 10.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0600_10_23.smt2 (content) unknown sat 10.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0600_10_20.smt2 (content) unknown sat 10.0s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0600_10_18.smt2 (content) unknown sat 10.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0600_10_14.smt2 (content) unknown sat 10.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0400_10_23.smt2 (content) unknown sat 10.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0400_10_18.smt2 (content) unknown sat 10.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0400_10_17.smt2 (content) unknown sat 10.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0400_10_14.smt2 (content) unknown sat 10.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0450_10_12.smt2 (content) unknown sat 10.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_20_0200_10_28.smt2 (content) unknown sat 10.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product23_false-unreach-call.cil.c.smt2 (content) unknown sat 17s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec3_product07_false-unreach-call.cil.c.smt2 (content) unknown sat 12.1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.minepump_spec1_product63_true-unreach-call.cil.c.smt2 (content) unknown sat 11.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.m0_false-unreach-call_sound-oss-opl3-ko--111_1a--42f9f8d-1.c.smt2 (content) unknown sat 10.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product34_false-unreach-call.cil.c.smt2 (content) unknown sat 11.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product27_false-unreach-call.cil.c.smt2 (content) unknown sat 11.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product25_false-unreach-call.cil.c.smt2 (content) unknown sat 12.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.ddv_machzwd_outb_false-unreach-call.i.smt2 (content) unknown sat 12.6s
sidekick-dev /home/simon/w/sidekick2/tests/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) unknown sat 11.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--misc--phantom.ko-main.cil.out.c.smt2 (content) unknown sat 11.0s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) unknown sat 11.3s