detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60032.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60031.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60030.cvc.smt2 (content) fatal ok 0.127s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60029.cvc.smt2 (content) fatal ok 0.093s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60028.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60027.cvc.smt2 (content) fatal ok 0.124s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60026.cvc.smt2 (content) fatal ok 0.129s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60025.cvc.smt2 (content) fatal ok 0.100s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60024.cvc.smt2 (content) fatal ok 0.099s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60023.cvc.smt2 (content) fatal ok 0.098s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60022.cvc.smt2 (content) fatal ok 0.107s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60021.cvc.smt2 (content) fatal ok 0.104s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60020.cvc.smt2 (content) fatal ok 0.090s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60019.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60018.cvc.smt2 (content) fatal ok 0.099s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60017.cvc.smt2 (content) fatal ok 0.105s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60016.cvc.smt2 (content) fatal ok 0.100s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60015.cvc.smt2 (content) fatal ok 0.100s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60014.cvc.smt2 (content) fatal ok 0.130s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60013.cvc.smt2 (content) fatal ok 0.099s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60012.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60011.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60010.cvc.smt2 (content) fatal ok 0.141s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60009.cvc.smt2 (content) fatal ok 0.103s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60008.cvc.smt2 (content) fatal ok 0.097s