detailed results (53 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_40.smt2(content)errorsat9s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_28.smt2(content)errorsat8s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_21.smt2(content)errorsat9.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_17.smt2(content)errorsat0.215s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_09.smt2(content)errorsat0.748s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_07.smt2(content)errorsat0.282s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_04.smt2(content)errorsat0.720s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_03.smt2(content)errorsat0.332s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_00.smt2(content)errorsat0.277s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_90.smt2(content)errorsat0.364s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_83.smt2(content)errorsat0.185s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_44.smt2(content)errorsat0.174s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_38.smt2(content)errorsat0.403s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_32.smt2(content)errorsat0.361s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_23.smt2(content)errorsat0.199s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_22.smt2(content)errorsat0.340s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_19.smt2(content)errorsat0.130s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_08.smt2(content)errorsat0.176s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_07.smt2(content)errorsat0.128s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_04.smt2(content)errorsat0.140s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.m0_false-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36-1.c.smt2(content)errorsat8.7s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem15_60_false-unreach-call.c.smt2(content)errorsat7.0s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2(content)errorsat9.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2431.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2(content)errorsat8.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2(content)errorsat8.7s