detailed results (751 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/polypaver/bench-exp-3d/polypaver-bench-exp-3d-chunk-0052.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/polypaver/bench-exp-3d/polypaver-bench-exp-3d-chunk-0046.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/polypaver/bench-exp-3d/polypaver-bench-exp-3d-chunk-0043.smt2 (content) unsat sat 0.018s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/polypaver/bench-exp-3d/polypaver-bench-exp-3d-chunk-0040.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/cbrt/3/weak/cbrt-problem-3-weak-chunk-0047.smt2 (content) unsat sat 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/cbrt/3/cbrt-problem-3-chunk-0039.smt2 (content) unsat sat 0.008s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/bottom-plate-mixer/bottom-plate-mixer-chunk-0025.smt2 (content) unsat unsat 0.008s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/bottom-plate-mixer/bottom-plate-mixer-chunk-0024.smt2 (content) unsat unsat 0.008s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/bottom-plate-mixer/bottom-plate-mixer-chunk-0023.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/bottom-plate-mixer/bottom-plate-mixer-chunk-0020.smt2 (content) unsat unsat 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/bottom-plate-mixer/bottom-plate-mixer-chunk-0018.smt2 (content) unsat unsat 0.008s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/bottom-plate-mixer/bottom-plate-mixer-chunk-0016.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/atan/problem/2/weak2/atan-problem-2-weak2-chunk-0126.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/atan/problem/2/weak2/atan-problem-2-weak2-chunk-0118.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/atan/problem/2/weak2/atan-problem-2-weak2-chunk-0106.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/atan/problem/2/weak2/atan-problem-2-weak2-chunk-0059.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/atan/problem/2/weak2/atan-problem-2-weak2-chunk-0032.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/atan/problem/2/weak2/atan-problem-2-weak2-chunk-0030.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/atan/problem/2/weak2/atan-problem-2-weak2-chunk-0016.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/atan/problem/2/weak2/atan-problem-2-weak2-chunk-0009.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/meti-tarski/CMOS/CMOS-opamp-chunk-0024.smt2 (content) unsat unsat 0.008s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/latendresse/shewanella-compact2b.smt2 (content) unsat sat 0.458s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/latendresse/shewanella-compact2.smt2 (content) unsat unsat 0.286s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/keymaera/water_tank-node5964.smt2 (content) unsat unsat 0.007s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/keymaera/water_tank-node28718.smt2 (content) unsat unsat 0.010s