root
file
detailed [575..599]
prev
next
detailed results (729 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_60.smt2
(content)
sat
sat
0.056s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_59.smt2
(content)
sat
sat
0.062s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_58.smt2
(content)
sat
sat
0.072s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_56.smt2
(content)
sat
sat
0.071s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_55.smt2
(content)
sat
sat
0.074s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_54.smt2
(content)
sat
sat
0.064s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_53.smt2
(content)
sat
sat
0.050s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_52.smt2
(content)
sat
sat
0.090s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_51.smt2
(content)
sat
sat
0.067s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_50.smt2
(content)
sat
sat
0.069s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_49.smt2
(content)
sat
sat
0.046s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_48.smt2
(content)
sat
sat
0.049s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_47.smt2
(content)
sat
sat
0.054s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_46.smt2
(content)
sat
sat
0.065s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_45.smt2
(content)
sat
sat
0.051s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_44.smt2
(content)
sat
sat
0.072s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_42.smt2
(content)
sat
sat
0.068s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_41.smt2
(content)
sat
sat
0.063s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_40.smt2
(content)
sat
sat
0.064s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_39.smt2
(content)
sat
sat
0.094s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_38.smt2
(content)
sat
sat
0.092s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_37.smt2
(content)
sat
sat
0.067s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_36.smt2
(content)
sat
sat
0.072s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_35.smt2
(content)
sat
sat
0.069s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_34.smt2
(content)
sat
sat
0.077s