detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_73.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_72.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_71.smt2 (content) fatal ok 0.035s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_70.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_7.smt2 (content) fatal ok 0.028s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_69.smt2 (content) fatal ok 0.026s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_68.smt2 (content) fatal ok 0.032s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_67.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_66.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_65.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_64.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_63.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_62.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_61.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_60.smt2 (content) fatal ok 0.029s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_6.smt2 (content) fatal ok 0.021s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_59.smt2 (content) fatal ok 0.022s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_58.smt2 (content) fatal ok 0.034s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_57.smt2 (content) fatal ok 0.037s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_56.smt2 (content) fatal ok 0.027s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_55.smt2 (content) fatal ok 0.030s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_54.smt2 (content) fatal ok 0.031s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_53.smt2 (content) fatal ok 0.030s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_52.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_51.smt2 (content) fatal ok 0.025s