root
file
detailed [450..474]
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_64.smt2
(content)
sat
sat
0.416s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_63.smt2
(content)
sat
sat
0.744s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_62.smt2
(content)
sat
sat
0.386s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_61.smt2
(content)
sat
sat
0.432s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_60.smt2
(content)
sat
sat
0.735s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_59.smt2
(content)
sat
sat
0.547s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_58.smt2
(content)
sat
sat
0.348s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_56.smt2
(content)
sat
sat
0.569s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_55.smt2
(content)
sat
sat
0.252s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_54.smt2
(content)
sat
sat
0.252s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_53.smt2
(content)
sat
sat
0.175s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_52.smt2
(content)
sat
sat
0.655s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_51.smt2
(content)
sat
sat
0.108s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_50.smt2
(content)
sat
sat
0.265s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_49.smt2
(content)
sat
sat
0.372s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_48.smt2
(content)
sat
sat
0.436s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_47.smt2
(content)
sat
sat
0.324s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_46.smt2
(content)
sat
sat
0.493s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_45.smt2
(content)
sat
sat
0.198s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_44.smt2
(content)
sat
sat
0.314s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_42.smt2
(content)
sat
sat
0.962s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_41.smt2
(content)
sat
sat
0.204s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_40.smt2
(content)
sat
sat
0.226s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_39.smt2
(content)
sat
sat
0.765s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_38.smt2
(content)
sat
sat
0.454s