detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_46.smt2 (content) fatal ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_45.smt2 (content) fatal ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_44.smt2 (content) fatal ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_43.smt2 (content) fatal ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_42.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_41.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_40.smt2 (content) fatal ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_4.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_39.smt2 (content) fatal ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_38.smt2 (content) fatal ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_37.smt2 (content) fatal ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_36.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_35.smt2 (content) fatal ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_34.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_33.smt2 (content) fatal ok 0.211s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_31.smt2 (content) fatal ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_3.smt2 (content) fatal ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_28.smt2 (content) fatal ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_26.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_25.smt2 (content) fatal ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_24.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_23.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_22.smt2 (content) fatal ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_21.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_20.smt2 (content) fatal ok 0.138s