detailed results (496 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_04.smt2 (content) unsat unsat 0.137s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_03.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_02.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_01.smt2 (content) unsat unsat 0.083s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_00.smt2 (content) unsat unsat 0.174s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_71.smt2 (content) unsat unsat 0.392s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_68.smt2 (content) unsat unsat 0.144s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_61.smt2 (content) unsat unsat 0.227s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_58.smt2 (content) unsat unsat 0.385s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_48.smt2 (content) unsat unsat 0.247s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_35.smt2 (content) unsat unsat 0.235s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_23.smt2 (content) unsat unsat 0.233s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_07.smt2 (content) unsat unsat 0.110s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_81.smt2 (content) unsat unsat 0.233s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_73.smt2 (content) unsat unsat 0.135s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_67.smt2 (content) unsat unsat 0.194s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_57.smt2 (content) unsat unsat 0.276s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_43.smt2 (content) unsat unsat 0.161s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_33.smt2 (content) unsat unsat 0.482s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_24.smt2 (content) unsat unsat 0.237s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_19.smt2 (content) unsat unsat 0.334s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_01.smt2 (content) unsat unsat 0.192s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_99.smt2 (content) unsat unsat 0.147s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_98.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_97.smt2 (content) unsat unsat 0.053s