detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_10.smt2 (content) fatal ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_1.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_9.smt2 (content) fatal ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_8.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_7.smt2 (content) fatal ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_64.smt2 (content) fatal ok 0.268s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_63.smt2 (content) fatal ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_62.smt2 (content) fatal ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_61.smt2 (content) fatal ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_60.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_6.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_59.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_58.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_57.smt2 (content) fatal ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_56.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_55.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_54.smt2 (content) fatal ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_53.smt2 (content) fatal ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_52.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_51.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_50.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_5.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_49.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_48.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_47.smt2 (content) fatal ok 0.133s