detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40009.cvc.smt2 (content) fatal ok 0.120s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40008.cvc.smt2 (content) fatal ok 0.102s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40007.cvc.smt2 (content) fatal ok 0.122s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40006.cvc.smt2 (content) fatal ok 0.098s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40005.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40004.cvc.smt2 (content) fatal ok 0.127s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40003.cvc.smt2 (content) fatal ok 0.131s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40002.cvc.smt2 (content) fatal ok 0.098s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40001.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30100.cvc.smt2 (content) fatal ok 0.123s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30099.cvc.smt2 (content) fatal ok 0.090s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30098.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30097.cvc.smt2 (content) fatal ok 0.132s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30096.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30095.cvc.smt2 (content) fatal ok 0.134s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30094.cvc.smt2 (content) fatal ok 0.093s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30093.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30092.cvc.smt2 (content) fatal ok 0.099s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30091.cvc.smt2 (content) fatal ok 0.092s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30090.cvc.smt2 (content) fatal ok 0.123s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30089.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30088.cvc.smt2 (content) fatal ok 0.101s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30087.cvc.smt2 (content) fatal ok 0.128s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30086.cvc.smt2 (content) fatal ok 0.097s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l30085.cvc.smt2 (content) fatal ok 0.101s