detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30012.cvc.smt2 (content) fatal ok 0.066s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30011.cvc.smt2 (content) fatal ok 0.097s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30010.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30009.cvc.smt2 (content) fatal ok 0.133s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30008.cvc.smt2 (content) fatal ok 0.101s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30007.cvc.smt2 (content) fatal ok 0.122s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30006.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30005.cvc.smt2 (content) fatal ok 0.118s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30004.cvc.smt2 (content) fatal ok 0.090s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30003.cvc.smt2 (content) fatal ok 0.128s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30002.cvc.smt2 (content) fatal ok 0.140s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30001.cvc.smt2 (content) fatal ok 0.067s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20100.cvc.smt2 (content) fatal ok 0.090s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20099.cvc.smt2 (content) fatal ok 0.093s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20097.cvc.smt2 (content) fatal ok 0.098s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20096.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20094.cvc.smt2 (content) fatal ok 0.135s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20093.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20092.cvc.smt2 (content) fatal ok 0.108s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20090.cvc.smt2 (content) fatal ok 0.098s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20088.cvc.smt2 (content) fatal ok 0.109s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20087.cvc.smt2 (content) fatal ok 0.100s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20086.cvc.smt2 (content) fatal ok 0.121s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20085.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20084.cvc.smt2 (content) fatal ok 0.124s