detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree120.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree12.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree119.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree118.smt2 (content) ok ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree117.smt2 (content) ok ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree116.smt2 (content) ok ok 0.409s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree115.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree114.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree113.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree112.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree111.smt2 (content) ok ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree110.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree11.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree109.smt2 (content) ok ok 0.265s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree108.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree107.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree106.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree105.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree104.smt2 (content) ok ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree103.smt2 (content) ok ok 0.246s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree102.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree101.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree100.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree10.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree1.smt2 (content) ok ok 0.236s