detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_54.smt2 (content) error sat 0.018s
z3 /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_54.smt2 (content) sat sat 0.079s
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_53.smt2 (content) error sat 0.015s
z3 /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_53.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_52.smt2 (content) error sat 0.016s
z3 /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_52.smt2 (content) sat sat 0.101s
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_51.smt2 (content) error sat 0.017s
z3 /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_51.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_50.smt2 (content) error sat 0.015s
z3 /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_50.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_49.smt2 (content) error sat 0.015s
z3 /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_49.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_48.smt2 (content) error unsat 0.015s
z3 /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_48.smt2 (content) unsat unsat 0.144s
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_47.smt2 (content) error sat 0.016s
z3 /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_47.smt2 (content) sat sat 0.098s
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_46.smt2 (content) error sat 0.018s
z3 /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_46.smt2 (content) sat sat 0.069s
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_45.smt2 (content) error sat 0.016s
z3 /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_45.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_44.smt2 (content) error sat 0.017s
z3 /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_44.smt2 (content) sat sat 0.116s
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_43.smt2 (content) error sat 0.014s
z3 /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_43.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_42.smt2 (content) error sat 0.020s