detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_9nodes.missing.induct.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_9nodes.bug.induct.smt2 (content) fatal ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_9nodes.abstract.induct.smt2 (content) fatal ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_9nodes.abstract.base.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_8nodes.synchro.induct.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_8nodes.synchro.base.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_8nodes.missing.induct.smt2 (content) fatal ok 0.307s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_8nodes.bug.induct.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_8nodes.abstract.induct.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_8nodes.abstract.base.smt2 (content) fatal ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_7nodes.synchro.induct.smt2 (content) fatal ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_7nodes.synchro.base.smt2 (content) fatal ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_7nodes.missing.induct.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_7nodes.bug.induct.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_7nodes.abstract.induct.smt2 (content) fatal ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_7nodes.abstract.base.smt2 (content) fatal ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_6nodes.synchro.induct.smt2 (content) fatal ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_6nodes.synchro.base.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_6nodes.missing.induct.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_6nodes.bug.induct.smt2 (content) fatal ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_6nodes.abstract.induct.smt2 (content) fatal ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_6nodes.abstract.base.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_5nodes.synchro.induct.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_5nodes.synchro.base.smt2 (content) fatal ok 0.307s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_5nodes.missing.induct.smt2 (content) fatal ok 0.242s