detailed results (338 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-2.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-16.smt2 (content) unsat unsat 3.0s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-15.smt2 (content) unsat unsat 2.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-14.smt2 (content) unsat unsat 2.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-13.smt2 (content) unsat unsat 1.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-12.smt2 (content) unsat unsat 1.1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-11.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-10.smt2 (content) unsat unsat 0.675s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-1.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-nosafe-6.smt2 (content) unsat unsat 0.157s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-nosafe-5.smt2 (content) unsat unsat 0.122s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-nosafe-4.smt2 (content) unsat unsat 0.100s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-nosafe-3.smt2 (content) unsat unsat 0.080s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-nosafe-2.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-nosafe-1.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/pursuit/pursuit-safety-9.smt2 (content) unsat unsat 6.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/pursuit/pursuit-safety-8.smt2 (content) unsat unsat 4.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/pursuit/pursuit-safety-7.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/pursuit/pursuit-safety-6.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/pursuit/pursuit-safety-5.smt2 (content) unsat unsat 0.560s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/pursuit/pursuit-safety-4.smt2 (content) unsat unsat 0.360s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/pursuit/pursuit-safety-3.smt2 (content) unsat unsat 0.131s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/pursuit/pursuit-safety-2.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/pursuit/pursuit-safety-12.smt2 (content) unsat unsat 10.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/pursuit/pursuit-safety-11.smt2 (content) unsat unsat 9.5s