root
file
detailed [475..499]
prev
next
detailed results (751 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_20.smt2
(content)
sat
sat
0.089s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_19.smt2
(content)
sat
sat
0.094s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_17.smt2
(content)
sat
sat
0.070s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_16.smt2
(content)
sat
sat
0.043s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_15.smt2
(content)
sat
sat
0.068s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_14.smt2
(content)
sat
sat
0.040s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_12.smt2
(content)
sat
sat
0.071s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_11.smt2
(content)
sat
sat
0.053s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_10.smt2
(content)
sat
sat
0.061s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_08.smt2
(content)
sat
sat
0.101s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_07.smt2
(content)
sat
sat
0.055s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_05.smt2
(content)
sat
sat
0.084s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_04.smt2
(content)
sat
sat
0.043s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_03.smt2
(content)
sat
sat
0.053s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_02.smt2
(content)
sat
sat
0.046s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_01.smt2
(content)
sat
sat
0.038s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_00.smt2
(content)
sat
sat
0.072s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_29.smt2
(content)
sat
sat
0.070s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_28.smt2
(content)
sat
sat
0.112s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_27.smt2
(content)
sat
sat
0.104s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_26.smt2
(content)
sat
sat
0.193s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_25.smt2
(content)
sat
sat
0.164s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_24.smt2
(content)
sat
sat
0.300s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_22.smt2
(content)
sat
sat
0.182s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_21.smt2
(content)
sat
sat
0.122s