detailed results (344 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/uart/uart-7.base.cvc.smt2 (content) unsat unsat 8.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/uart/uart-6.base.cvc.smt2 (content) unsat unsat 3.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/uart/uart-5.base.cvc.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_9nodes.synchro.base.smt2 (content) unsat unsat 3.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_8nodes.synchro.induct.smt2 (content) unsat unsat 8s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_8nodes.synchro.base.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_7nodes.synchro.induct.smt2 (content) unsat unsat 7.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_7nodes.synchro.base.smt2 (content) unsat unsat 1.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_6nodes.synchro.induct.smt2 (content) unsat unsat 2.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_6nodes.synchro.base.smt2 (content) unsat unsat 0.576s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_5nodes.synchro.induct.smt2 (content) unsat unsat 2s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_5nodes.synchro.base.smt2 (content) unsat unsat 0.316s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_5nodes.abstract.base.smt2 (content) unsat unsat 4.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_4nodes.synchro.induct.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_4nodes.synchro.base.smt2 (content) unsat unsat 0.124s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_4nodes.abstract.base.smt2 (content) unsat unsat 0.979s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_3nodes.synchro.induct.smt2 (content) unsat unsat 0.754s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_3nodes.synchro.base.smt2 (content) unsat unsat 0.095s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_3nodes.abstract.base.smt2 (content) unsat unsat 0.338s