detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70009.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70008.cvc.smt2 (content) fatal ok 0.067s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70007.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70006.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70005.cvc.smt2 (content) fatal ok 0.100s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70004.cvc.smt2 (content) fatal ok 0.103s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70003.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70002.cvc.smt2 (content) fatal ok 0.102s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70001.cvc.smt2 (content) fatal ok 0.098s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60100.cvc.smt2 (content) fatal ok 0.125s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60099.cvc.smt2 (content) fatal ok 0.105s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60098.cvc.smt2 (content) fatal ok 0.097s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60097.cvc.smt2 (content) fatal ok 0.128s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60096.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60095.cvc.smt2 (content) fatal ok 0.098s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60094.cvc.smt2 (content) fatal ok 0.101s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60093.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60092.cvc.smt2 (content) fatal ok 0.093s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60091.cvc.smt2 (content) fatal ok 0.093s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60090.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60089.cvc.smt2 (content) fatal ok 0.123s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60088.cvc.smt2 (content) fatal ok 0.097s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60087.cvc.smt2 (content) fatal ok 0.097s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60086.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60085.cvc.smt2 (content) fatal ok 0.128s