detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount7.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount6.smt2 (content) ok ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount5.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount46.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount45.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount44.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount43.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount41.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount40.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount4.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount39.smt2 (content) ok ok 0.400s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount38.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount36.smt2 (content) ok ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount35.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount34.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount33.smt2 (content) ok ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount31.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount30.smt2 (content) ok ok 0.302s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount3.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount29.smt2 (content) ok ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount28.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount26.smt2 (content) ok ok 0.307s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount25.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount24.smt2 (content) ok ok 0.322s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount23.smt2 (content) ok ok 0.235s