detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_33.smt2 (content) fatal ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_32.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_31.smt2 (content) fatal ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_30.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_3.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_29.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_28.smt2 (content) fatal ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_27.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_26.smt2 (content) fatal ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_25.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_24.smt2 (content) fatal ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_23.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_22.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_21.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_20.smt2 (content) fatal ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_2.smt2 (content) fatal ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_19.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_18.smt2 (content) fatal ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_17.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_16.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_15.smt2 (content) fatal ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_14.smt2 (content) fatal ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_13.smt2 (content) fatal ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_12.smt2 (content) fatal ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_11.smt2 (content) fatal ok 0.131s