root
file
detailed [400..424]
prev
next
detailed results (492 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_33.smt2
(content)
unsat
unsat
0.446s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_32.smt2
(content)
unsat
unsat
0.271s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_31.smt2
(content)
unsat
unsat
0.134s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_30.smt2
(content)
unsat
unsat
0.258s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_29.smt2
(content)
unsat
unsat
0.358s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_28.smt2
(content)
unsat
unsat
0.441s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_27.smt2
(content)
unsat
unsat
0.301s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_26.smt2
(content)
unsat
unsat
0.264s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_25.smt2
(content)
unsat
unsat
0.301s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_24.smt2
(content)
unsat
unsat
0.227s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_23.smt2
(content)
unsat
unsat
0.288s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_22.smt2
(content)
unsat
unsat
0.424s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_21.smt2
(content)
unsat
unsat
0.136s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_20.smt2
(content)
unsat
unsat
0.283s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_19.smt2
(content)
unsat
unsat
0.115s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_18.smt2
(content)
unsat
unsat
0.197s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_17.smt2
(content)
unsat
unsat
0.477s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_16.smt2
(content)
unsat
unsat
0.224s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_15.smt2
(content)
unsat
unsat
0.349s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_14.smt2
(content)
unsat
unsat
0.479s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_13.smt2
(content)
unsat
unsat
0.195s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_12.smt2
(content)
unsat
unsat
0.248s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_11.smt2
(content)
unsat
unsat
0.214s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_10.smt2
(content)
unsat
unsat
0.281s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_09.smt2
(content)
unsat
unsat
0.130s