detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_28.smt2 (content) fatal ok 0.020s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_27.smt2 (content) fatal ok 0.022s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_26.smt2 (content) fatal ok 0.022s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_25.smt2 (content) fatal ok 0.029s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_24.smt2 (content) fatal ok 0.020s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_23.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_22.smt2 (content) fatal ok 0.021s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_21.smt2 (content) fatal ok 0.022s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_20.smt2 (content) fatal ok 0.022s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_2.smt2 (content) fatal ok 0.028s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_19.smt2 (content) fatal ok 0.021s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_18.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_17.smt2 (content) fatal ok 0.022s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_16.smt2 (content) fatal ok 0.028s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_15.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_14.smt2 (content) fatal ok 0.022s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_13.smt2 (content) fatal ok 0.035s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_12.smt2 (content) fatal ok 0.036s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_11.smt2 (content) fatal ok 0.019s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_10.smt2 (content) fatal ok 0.032s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_1.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_9.smt2 (content) fatal ok 0.028s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_8.smt2 (content) fatal ok 0.029s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_7.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_64.smt2 (content) fatal ok 0.026s