root
file
detailed [375..399]
prev
next
detailed results (493 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_07.smt2
(content)
unsat
unsat
0.238s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_06.smt2
(content)
unsat
unsat
0.214s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_05.smt2
(content)
unsat
unsat
0.241s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_04.smt2
(content)
unsat
unsat
0.288s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_03.smt2
(content)
unsat
unsat
0.159s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_02.smt2
(content)
unsat
unsat
0.131s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_01.smt2
(content)
unsat
unsat
0.172s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_00.smt2
(content)
unsat
unsat
0.253s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_71.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_68.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_61.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_58.smt2
(content)
unsat
unsat
1.0s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_48.smt2
(content)
unsat
unsat
1.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_35.smt2
(content)
unsat
unsat
0.891s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_23.smt2
(content)
unsat
unsat
2.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_07.smt2
(content)
unsat
unsat
0.286s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_81.smt2
(content)
unsat
unsat
0.157s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_73.smt2
(content)
unsat
unsat
0.304s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_67.smt2
(content)
unsat
unsat
0.426s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_57.smt2
(content)
unsat
unsat
0.686s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_43.smt2
(content)
unsat
unsat
0.648s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_33.smt2
(content)
unsat
unsat
0.178s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_24.smt2
(content)
unsat
unsat
0.410s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_19.smt2
(content)
unsat
unsat
0.547s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_01.smt2
(content)
unsat
unsat
1.3s