detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount15.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount14.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount13.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount12.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount11.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount10.smt2 (content) ok ok 0.309s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount1.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german99.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german98.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german97.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german96.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german95.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german94.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german93.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german92.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german91.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german90.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german9.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german89.smt2 (content) ok ok 0.306s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german88.smt2 (content) ok ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german87.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german86.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german85.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german84.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german83.smt2 (content) ok ok 0.315s