root
file
detailed [325..349]
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_30_60_45_22.smt2
(content)
sat
sat
0.125s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_20.smt2
(content)
sat
sat
0.089s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_19.smt2
(content)
sat
sat
0.251s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_17.smt2
(content)
sat
sat
0.130s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_16.smt2
(content)
sat
sat
0.115s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_15.smt2
(content)
sat
sat
0.159s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_14.smt2
(content)
sat
sat
0.120s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_12.smt2
(content)
sat
sat
0.177s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_11.smt2
(content)
sat
sat
0.158s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_10.smt2
(content)
sat
sat
0.241s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_08.smt2
(content)
sat
sat
0.156s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_07.smt2
(content)
sat
sat
0.099s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_05.smt2
(content)
sat
sat
0.124s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_04.smt2
(content)
sat
sat
0.102s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_03.smt2
(content)
sat
sat
0.122s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_02.smt2
(content)
sat
sat
0.196s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_01.smt2
(content)
sat
sat
0.153s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_00.smt2
(content)
sat
sat
0.117s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_29.smt2
(content)
sat
sat
2.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_27.smt2
(content)
sat
sat
3.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_26.smt2
(content)
sat
sat
3.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_25.smt2
(content)
sat
sat
8.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_22.smt2
(content)
sat
sat
11.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_21.smt2
(content)
sat
sat
1.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_16.smt2
(content)
sat
sat
4.5s