detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_79.smt2 (content) fatal ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_78.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_77.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_76.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_75.smt2 (content) fatal ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_74.smt2 (content) fatal ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_73.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_72.smt2 (content) fatal ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_71.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_70.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_7.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_69.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_68.smt2 (content) fatal ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_67.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_66.smt2 (content) fatal ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_65.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_64.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_63.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_62.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_61.smt2 (content) fatal ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_60.smt2 (content) fatal ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_6.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_59.smt2 (content) fatal ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_58.smt2 (content) fatal ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_57.smt2 (content) fatal ok 0.134s