detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_5nodes.bug.induct.smt2 (content) fatal ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_5nodes.abstract.induct.smt2 (content) fatal ok 0.304s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_5nodes.abstract.base.smt2 (content) fatal ok 0.250s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_4nodes.synchro.induct.smt2 (content) fatal ok 0.399s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_4nodes.synchro.base.smt2 (content) fatal ok 0.379s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_4nodes.missing.induct.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_4nodes.bug.induct.smt2 (content) fatal ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_4nodes.abstract.induct.smt2 (content) fatal ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_4nodes.abstract.base.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_3nodes.synchro.induct.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_3nodes.synchro.base.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_3nodes.missing.induct.smt2 (content) fatal ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_3nodes.bug.induct.smt2 (content) fatal ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_3nodes.abstract.induct.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_3nodes.abstract.base.smt2 (content) fatal ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_15nodes.synchro.induct.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_15nodes.synchro.base.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_15nodes.missing.induct.smt2 (content) fatal ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_15nodes.bug.induct.smt2 (content) fatal ok 0.319s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_15nodes.abstract.induct.smt2 (content) fatal ok 0.304s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_15nodes.abstract.base.smt2 (content) fatal ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_14nodes.synchro.induct.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_14nodes.synchro.base.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_14nodes.missing.induct.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/tta_startup/simple_startup_14nodes.bug.induct.smt2 (content) fatal ok 0.255s