detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_50.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_5.smt2 (content) fatal ok 0.021s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_49.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_48.smt2 (content) fatal ok 0.032s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_47.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_46.smt2 (content) fatal ok 0.027s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_45.smt2 (content) fatal ok 0.022s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_44.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_43.smt2 (content) fatal ok 0.021s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_42.smt2 (content) fatal ok 0.032s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_41.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_40.smt2 (content) fatal ok 0.027s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_4.smt2 (content) fatal ok 0.021s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_39.smt2 (content) fatal ok 0.031s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_38.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_37.smt2 (content) fatal ok 0.021s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_36.smt2 (content) fatal ok 0.022s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_35.smt2 (content) fatal ok 0.029s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_34.smt2 (content) fatal ok 0.027s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_33.smt2 (content) fatal ok 0.026s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_32.smt2 (content) fatal ok 0.026s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_31.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_30.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_3.smt2 (content) fatal ok 0.022s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_29.smt2 (content) fatal ok 0.026s