detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20096.cvc.smt2 (content) fatal ok 0.127s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20095.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20094.cvc.smt2 (content) fatal ok 0.090s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20093.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20092.cvc.smt2 (content) fatal ok 0.119s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20091.cvc.smt2 (content) fatal ok 0.097s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20090.cvc.smt2 (content) fatal ok 0.106s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20089.cvc.smt2 (content) fatal ok 0.091s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20088.cvc.smt2 (content) fatal ok 0.098s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20087.cvc.smt2 (content) fatal ok 0.128s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20085.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20084.cvc.smt2 (content) fatal ok 0.091s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20083.cvc.smt2 (content) fatal ok 0.104s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20081.cvc.smt2 (content) fatal ok 0.117s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20080.cvc.smt2 (content) fatal ok 0.121s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20079.cvc.smt2 (content) fatal ok 0.103s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20078.cvc.smt2 (content) fatal ok 0.097s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20076.cvc.smt2 (content) fatal ok 0.138s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20075.cvc.smt2 (content) fatal ok 0.123s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20074.cvc.smt2 (content) fatal ok 0.120s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20072.cvc.smt2 (content) fatal ok 0.127s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20071.cvc.smt2 (content) fatal ok 0.132s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20070.cvc.smt2 (content) fatal ok 0.131s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20069.cvc.smt2 (content) fatal ok 0.093s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20067.cvc.smt2 (content) fatal ok 0.096s