detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-33.base.cvc.smt2 (content) fatal ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-32.induction.cvc.smt2 (content) fatal ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-32.base.cvc.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-31.induction.cvc.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-31.base.cvc.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-30.induction.cvc.smt2 (content) fatal ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-30.base.cvc.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-29.induction.cvc.smt2 (content) fatal ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-29.base.cvc.smt2 (content) fatal ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-28.induction.cvc.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-28.base.cvc.smt2 (content) fatal ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-27.induction.cvc.smt2 (content) fatal ok 0.247s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-27.base.cvc.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-26.induction.cvc.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-26.base.cvc.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-25.induction.cvc.smt2 (content) fatal ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-25.base.cvc.smt2 (content) fatal ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-24.induction.cvc.smt2 (content) fatal ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-24.base.cvc.smt2 (content) fatal ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-23.induction.cvc.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-23.base.cvc.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-22.induction.cvc.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-22.base.cvc.smt2 (content) fatal ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-21.induction.cvc.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-21.base.cvc.smt2 (content) fatal ok 0.298s