detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30089.cvc.smt2 (content) fatal ok 0.123s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30088.cvc.smt2 (content) fatal ok 0.128s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30087.cvc.smt2 (content) fatal ok 0.122s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30086.cvc.smt2 (content) fatal ok 0.120s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30085.cvc.smt2 (content) fatal ok 0.090s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30084.cvc.smt2 (content) fatal ok 0.124s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30083.cvc.smt2 (content) fatal ok 0.127s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30082.cvc.smt2 (content) fatal ok 0.125s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30081.cvc.smt2 (content) fatal ok 0.091s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30080.cvc.smt2 (content) fatal ok 0.121s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30079.cvc.smt2 (content) fatal ok 0.133s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30078.cvc.smt2 (content) fatal ok 0.090s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30077.cvc.smt2 (content) fatal ok 0.092s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30076.cvc.smt2 (content) fatal ok 0.123s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30075.cvc.smt2 (content) fatal ok 0.092s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30074.cvc.smt2 (content) fatal ok 0.092s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30073.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30072.cvc.smt2 (content) fatal ok 0.090s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30070.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30068.cvc.smt2 (content) fatal ok 0.097s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30067.cvc.smt2 (content) fatal ok 0.091s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30066.cvc.smt2 (content) fatal ok 0.126s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30065.cvc.smt2 (content) fatal ok 0.074s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30064.cvc.smt2 (content) fatal ok 0.096s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30063.cvc.smt2 (content) fatal ok 0.097s