detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_56.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_55.smt2 (content) fatal ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_54.smt2 (content) fatal ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_53.smt2 (content) fatal ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_52.smt2 (content) fatal ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_51.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_50.smt2 (content) fatal ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_5.smt2 (content) fatal ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_49.smt2 (content) fatal ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_48.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_47.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_46.smt2 (content) fatal ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_45.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_44.smt2 (content) fatal ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_43.smt2 (content) fatal ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_42.smt2 (content) fatal ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_41.smt2 (content) fatal ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_40.smt2 (content) fatal ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_4.smt2 (content) fatal ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_39.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_38.smt2 (content) fatal ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_37.smt2 (content) fatal ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_36.smt2 (content) fatal ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_35.smt2 (content) fatal ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_34.smt2 (content) fatal ok 0.132s