detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german6.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german59.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german58.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german57.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german56.smt2 (content) ok ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german55.smt2 (content) ok ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german54.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german53.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german52.smt2 (content) ok ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german51.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german50.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german5.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german49.smt2 (content) ok ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german48.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german47.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german46.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german45.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german44.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german43.smt2 (content) ok ok 0.303s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german42.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german41.smt2 (content) ok ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german40.smt2 (content) ok ok 0.309s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german4.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german39.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german38.smt2 (content) ok ok 0.311s