root
file
detailed [400..424]
prev
next
detailed results (598 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_40_80_60_09.smt2
(content)
sat
sat
0.299s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_08.smt2
(content)
sat
sat
0.208s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_07.smt2
(content)
sat
sat
0.392s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_06.smt2
(content)
sat
sat
0.237s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_05.smt2
(content)
sat
sat
0.287s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_04.smt2
(content)
sat
sat
0.572s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_03.smt2
(content)
sat
sat
0.406s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_02.smt2
(content)
sat
sat
0.260s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_00.smt2
(content)
sat
sat
0.230s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_99.smt2
(content)
sat
sat
0.100s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_98.smt2
(content)
sat
sat
0.151s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_97.smt2
(content)
sat
sat
0.224s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_96.smt2
(content)
sat
sat
0.286s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_95.smt2
(content)
sat
sat
0.146s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_94.smt2
(content)
sat
sat
0.161s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_93.smt2
(content)
sat
sat
0.115s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_92.smt2
(content)
sat
sat
0.114s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_91.smt2
(content)
sat
sat
0.155s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_90.smt2
(content)
sat
sat
0.199s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_89.smt2
(content)
sat
sat
0.176s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_88.smt2
(content)
sat
sat
0.109s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_87.smt2
(content)
sat
sat
0.097s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_86.smt2
(content)
sat
sat
0.204s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_85.smt2
(content)
sat
sat
0.143s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_84.smt2
(content)
sat
sat
0.268s