root
file
detailed [525..549]
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_05.smt2
(content)
sat
sat
0.074s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_04.smt2
(content)
sat
sat
0.176s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_03.smt2
(content)
sat
sat
0.082s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_02.smt2
(content)
sat
sat
0.056s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_00.smt2
(content)
sat
sat
0.055s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_99.smt2
(content)
sat
sat
0.056s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_98.smt2
(content)
sat
sat
0.063s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_97.smt2
(content)
sat
sat
0.058s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_96.smt2
(content)
sat
sat
0.126s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_95.smt2
(content)
sat
sat
0.070s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_94.smt2
(content)
sat
sat
0.046s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_93.smt2
(content)
sat
sat
0.040s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_92.smt2
(content)
sat
sat
0.045s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_91.smt2
(content)
sat
sat
0.065s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_90.smt2
(content)
sat
sat
0.070s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_89.smt2
(content)
sat
sat
0.056s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_88.smt2
(content)
sat
sat
0.062s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_87.smt2
(content)
sat
sat
0.064s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_86.smt2
(content)
sat
sat
0.058s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_85.smt2
(content)
sat
sat
0.062s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_84.smt2
(content)
sat
sat
0.067s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_83.smt2
(content)
sat
sat
0.043s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_82.smt2
(content)
sat
sat
0.057s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_81.smt2
(content)
sat
sat
0.042s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_80.smt2
(content)
sat
sat
0.071s