detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_63.smt2 (content) fatal ok 0.027s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_62.smt2 (content) fatal ok 0.027s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_61.smt2 (content) fatal ok 0.029s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_60.smt2 (content) fatal ok 0.040s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_6.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_59.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_58.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_57.smt2 (content) fatal ok 0.022s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_56.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_55.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_54.smt2 (content) fatal ok 0.033s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_53.smt2 (content) fatal ok 0.034s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_52.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_51.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_50.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_5.smt2 (content) fatal ok 0.029s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_49.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_48.smt2 (content) fatal ok 0.033s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_47.smt2 (content) fatal ok 0.021s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_46.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_45.smt2 (content) fatal ok 0.037s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_44.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_43.smt2 (content) fatal ok 0.030s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_42.smt2 (content) fatal ok 0.038s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_41.smt2 (content) fatal ok 0.028s