detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_40.smt2 (content) fatal ok 0.030s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_4.smt2 (content) fatal ok 0.029s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_39.smt2 (content) fatal ok 0.030s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_38.smt2 (content) fatal ok 0.026s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_37.smt2 (content) fatal ok 0.033s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_36.smt2 (content) fatal ok 0.029s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_35.smt2 (content) fatal ok 0.033s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_34.smt2 (content) fatal ok 0.038s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_33.smt2 (content) fatal ok 0.026s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_31.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_3.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_28.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_26.smt2 (content) fatal ok 0.027s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_25.smt2 (content) fatal ok 0.026s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_24.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_23.smt2 (content) fatal ok 0.029s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_22.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_21.smt2 (content) fatal ok 0.029s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_20.smt2 (content) fatal ok 0.025s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_2.smt2 (content) fatal ok 0.035s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_19.smt2 (content) fatal ok 0.039s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_18.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_17.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_16.smt2 (content) fatal ok 0.028s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_14.smt2 (content) fatal ok 0.023s