detailed results (1648 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_14nodes.synchro.base.smt2 (content) unsat unsat 0.726s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_14nodes.missing.induct.smt2 (content) unsat sat 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_14nodes.bug.induct.smt2 (content) unsat sat 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_14nodes.abstract.induct.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_14nodes.abstract.base.smt2 (content) unsat unsat 0.522s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_12nodes.synchro.induct.smt2 (content) unsat unsat 0.598s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_12nodes.synchro.base.smt2 (content) unsat unsat 0.391s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_12nodes.missing.induct.smt2 (content) unsat sat 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_12nodes.bug.induct.smt2 (content) unsat sat 0.735s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_12nodes.abstract.induct.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_12nodes.abstract.base.smt2 (content) unsat unsat 0.369s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_11nodes.synchro.induct.smt2 (content) unsat unsat 0.468s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_11nodes.synchro.base.smt2 (content) unsat unsat 0.326s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_11nodes.missing.induct.smt2 (content) unsat sat 0.831s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_11nodes.bug.induct.smt2 (content) unsat sat 0.793s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_11nodes.abstract.induct.smt2 (content) unsat unsat 0.817s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_11nodes.abstract.base.smt2 (content) unsat unsat 0.319s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_10nodes.synchro.induct.smt2 (content) unsat unsat 0.284s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_10nodes.synchro.base.smt2 (content) unsat unsat 0.312s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_10nodes.missing.induct.smt2 (content) unsat sat 0.618s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_10nodes.bug.induct.smt2 (content) unsat sat 0.475s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_10nodes.abstract.induct.smt2 (content) unsat unsat 0.616s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_10nodes.abstract.base.smt2 (content) unsat unsat 0.254s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tropical-matrix/constraint-556101.smt2 (content) unsat unknown 9.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tropical-matrix/constraint-436218.smt2 (content) timeout sat 11.3s