root
file
detailed [450..474]
prev
next
detailed results (508 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_67.smt2
(content)
unsat
unsat
0.082s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_66.smt2
(content)
unsat
unsat
0.070s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_65.smt2
(content)
unsat
unsat
0.060s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_64.smt2
(content)
unsat
unsat
0.079s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_63.smt2
(content)
unsat
unsat
0.079s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_62.smt2
(content)
unsat
unsat
0.074s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_61.smt2
(content)
unsat
unsat
0.084s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_60.smt2
(content)
unsat
unsat
0.061s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_59.smt2
(content)
unsat
unsat
0.078s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_58.smt2
(content)
unsat
unsat
0.073s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_57.smt2
(content)
unsat
unsat
0.076s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_56.smt2
(content)
unsat
unsat
0.081s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_55.smt2
(content)
unsat
unsat
0.078s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_54.smt2
(content)
unsat
unsat
0.066s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_53.smt2
(content)
unsat
unsat
0.082s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_52.smt2
(content)
unsat
unsat
0.088s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_51.smt2
(content)
unsat
unsat
0.076s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_50.smt2
(content)
unsat
unsat
0.083s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_49.smt2
(content)
unsat
unsat
0.050s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_48.smt2
(content)
unsat
unsat
0.067s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_47.smt2
(content)
unsat
unsat
0.056s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_46.smt2
(content)
unsat
unsat
0.061s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_45.smt2
(content)
unsat
unsat
0.067s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_44.smt2
(content)
unsat
unsat
0.078s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_43.smt2
(content)
unsat
unsat
0.077s