detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-9.induction.cvc.smt2 (content) fatal ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-9.base.cvc.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-8.induction.cvc.smt2 (content) fatal ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-8.base.cvc.smt2 (content) fatal ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-7.induction.cvc.smt2 (content) fatal ok 0.306s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-7.base.cvc.smt2 (content) fatal ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-6.induction.cvc.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-6.base.cvc.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-5.induction.cvc.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-5.base.cvc.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-40.induction.cvc.smt2 (content) fatal ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-40.base.cvc.smt2 (content) fatal ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-39.induction.cvc.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-39.base.cvc.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-38.induction.cvc.smt2 (content) fatal ok 0.305s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-38.base.cvc.smt2 (content) fatal ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-37.induction.cvc.smt2 (content) fatal ok 0.309s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-37.base.cvc.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-36.induction.cvc.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-36.base.cvc.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-35.induction.cvc.smt2 (content) fatal ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-35.base.cvc.smt2 (content) fatal ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-34.induction.cvc.smt2 (content) fatal ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-34.base.cvc.smt2 (content) fatal ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/uart/uart-33.induction.cvc.smt2 (content) fatal ok 0.236s