detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30092.cvc.smt2 (content) fatal ok 0.088s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30091.cvc.smt2 (content) fatal ok 0.091s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30090.cvc.smt2 (content) fatal ok 0.092s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30089.cvc.smt2 (content) fatal ok 0.130s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30088.cvc.smt2 (content) fatal ok 0.128s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30087.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30086.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30085.cvc.smt2 (content) fatal ok 0.130s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30084.cvc.smt2 (content) fatal ok 0.122s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30083.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30082.cvc.smt2 (content) fatal ok 0.091s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30081.cvc.smt2 (content) fatal ok 0.121s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30080.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30079.cvc.smt2 (content) fatal ok 0.100s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30078.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30077.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30076.cvc.smt2 (content) fatal ok 0.124s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30075.cvc.smt2 (content) fatal ok 0.153s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30074.cvc.smt2 (content) fatal ok 0.130s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30072.cvc.smt2 (content) fatal ok 0.092s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30071.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30070.cvc.smt2 (content) fatal ok 0.089s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30069.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30068.cvc.smt2 (content) fatal ok 0.135s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30067.cvc.smt2 (content) fatal ok 0.095s