detailed results (349691 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree164.smt2 (content) warn ok 0.134s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree163.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree162.smt2 (content) warn ok 0.131s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree160.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree16.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree159.smt2 (content) warn ok 0.144s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree158.smt2 (content) warn ok 0.189s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree157.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree156.smt2 (content) warn ok 0.145s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree155.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree154.smt2 (content) warn ok 0.130s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree152.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree151.smt2 (content) warn ok 0.187s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree150.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree15.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree149.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree148.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree147.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree146.smt2 (content) warn ok 0.180s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree145.smt2 (content) warn ok 0.222s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree144.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree143.smt2 (content) warn ok 0.184s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree142.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree141.smt2 (content) warn ok 0.146s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree140.smt2 (content) warn ok 0.131s