detailed results (445 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_9nodes.synchro.induct.smt2 (content) unsat unsat 0.461s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_9nodes.synchro.base.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_9nodes.abstract.base.smt2 (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_8nodes.synchro.induct.smt2 (content) unsat unsat 0.243s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_8nodes.synchro.base.smt2 (content) unsat unsat 0.090s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_8nodes.abstract.base.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_7nodes.synchro.induct.smt2 (content) unsat unsat 0.172s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_7nodes.synchro.base.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_7nodes.abstract.base.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_6nodes.synchro.induct.smt2 (content) unsat unsat 0.133s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_6nodes.synchro.base.smt2 (content) unsat unsat 0.037s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_6nodes.abstract.induct.smt2 (content) unsat unsat 9.8s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_6nodes.abstract.base.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_5nodes.synchro.induct.smt2 (content) unsat unsat 0.083s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_5nodes.synchro.base.smt2 (content) unsat unsat 0.038s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_5nodes.abstract.induct.smt2 (content) unsat unsat 3.9s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_5nodes.abstract.base.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_4nodes.synchro.induct.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_4nodes.synchro.base.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_4nodes.abstract.induct.smt2 (content) unsat unsat 1.5s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_4nodes.abstract.base.smt2 (content) unsat unsat 0.031s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_3nodes.synchro.induct.smt2 (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_3nodes.synchro.base.smt2 (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_3nodes.abstract.induct.smt2 (content) unsat unsat 0.452s
z3 /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_3nodes.abstract.base.smt2 (content) unsat unsat 0.021s