root
file
detailed [250..274]
prev
next
detailed results (348 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_47.smt2
(content)
timeout
sat
12.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_45.smt2
(content)
timeout
sat
18.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_38.smt2
(content)
timeout
sat
14.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_36.smt2
(content)
timeout
sat
13s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_35.smt2
(content)
timeout
sat
15.1s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_28.smt2
(content)
timeout
sat
14.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_23.smt2
(content)
timeout
sat
14.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_22.smt2
(content)
timeout
sat
15.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_21.smt2
(content)
timeout
sat
13.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_20.smt2
(content)
timeout
sat
15s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_18.smt2
(content)
timeout
sat
13.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_17.smt2
(content)
timeout
sat
12.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_16.smt2
(content)
timeout
sat
12.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_15.smt2
(content)
timeout
sat
13.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_14.smt2
(content)
timeout
sat
12.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_13.smt2
(content)
timeout
sat
13s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_11.smt2
(content)
timeout
sat
14s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_08.smt2
(content)
timeout
sat
13.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_06.smt2
(content)
timeout
sat
14.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_02.smt2
(content)
timeout
sat
13.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_00.smt2
(content)
timeout
sat
14.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_99.smt2
(content)
timeout
sat
14.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_95.smt2
(content)
timeout
sat
12.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_89.smt2
(content)
timeout
sat
13.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_86.smt2
(content)
timeout
sat
13.7s