root
file
detailed [350..374]
prev
next
detailed results (489 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_33.smt2
(content)
unsat
unsat
0.268s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_24.smt2
(content)
unsat
unsat
1.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_19.smt2
(content)
unsat
unsat
0.735s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_01.smt2
(content)
unsat
unsat
2.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_99.smt2
(content)
unsat
unsat
0.115s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_98.smt2
(content)
unsat
unsat
0.115s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_97.smt2
(content)
unsat
unsat
0.114s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_96.smt2
(content)
unsat
unsat
0.095s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_95.smt2
(content)
unsat
unsat
0.074s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_94.smt2
(content)
unsat
unsat
0.160s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_93.smt2
(content)
unsat
unsat
0.106s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_92.smt2
(content)
unsat
unsat
0.146s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_91.smt2
(content)
unsat
unsat
0.183s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_90.smt2
(content)
unsat
unsat
0.157s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_89.smt2
(content)
unsat
unsat
0.136s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_88.smt2
(content)
unsat
unsat
0.111s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_87.smt2
(content)
unsat
unsat
0.122s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_86.smt2
(content)
unsat
unsat
0.085s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_85.smt2
(content)
unsat
unsat
0.120s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_84.smt2
(content)
unsat
unsat
0.064s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_83.smt2
(content)
unsat
unsat
0.207s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_82.smt2
(content)
unsat
unsat
0.109s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_81.smt2
(content)
unsat
unsat
0.082s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_80.smt2
(content)
unsat
unsat
0.119s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_79.smt2
(content)
unsat
unsat
0.129s