detailed results (598 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_19.smt2 (content) sat sat 0.553s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_18.smt2 (content) sat sat 2.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_17.smt2 (content) sat sat 0.759s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_16.smt2 (content) sat sat 2.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_15.smt2 (content) sat sat 0.726s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_13.smt2 (content) sat sat 0.878s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_12.smt2 (content) sat sat 0.446s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_11.smt2 (content) sat sat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_10.smt2 (content) sat sat 0.659s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_09.smt2 (content) sat sat 0.435s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_08.smt2 (content) sat sat 1.1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_06.smt2 (content) sat sat 0.443s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_05.smt2 (content) sat sat 0.279s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_04.smt2 (content) sat sat 1.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_03.smt2 (content) sat sat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_02.smt2 (content) sat sat 0.857s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_01.smt2 (content) sat sat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_00.smt2 (content) sat sat 2.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_99.smt2 (content) sat sat 0.505s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_98.smt2 (content) sat sat 0.205s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_97.smt2 (content) sat sat 0.658s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_96.smt2 (content) sat sat 0.169s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_95.smt2 (content) sat sat 0.332s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_94.smt2 (content) sat sat 0.772s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_93.smt2 (content) sat sat 0.554s