detailed results (349691 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree43.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree429.smt2 (content) warn ok 0.153s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree428.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree427.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree426.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree425.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree424.smt2 (content) warn ok 0.181s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree423.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree422.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree421.smt2 (content) warn ok 0.132s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree420.smt2 (content) warn ok 0.130s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree42.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree419.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree418.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree417.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree416.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree415.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree414.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree413.smt2 (content) warn ok 0.184s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree412.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree411.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree410.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree409.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree408.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree406.smt2 (content) warn ok 0.136s