detailed results (349691 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree528.smt2 (content) warn ok 0.148s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree527.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree526.smt2 (content) warn ok 0.228s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree525.smt2 (content) warn ok 0.134s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree524.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree523.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree522.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree521.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree520.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree52.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree519.smt2 (content) warn ok 0.181s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree518.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree517.smt2 (content) warn ok 0.182s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree516.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree515.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree514.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree513.smt2 (content) warn ok 0.158s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree512.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree511.smt2 (content) warn ok 0.180s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree510.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree51.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree509.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree508.smt2 (content) warn ok 0.132s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree506.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree505.smt2 (content) warn ok 0.186s