detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40095.cvc.smt2 (content) fatal ok 0.132s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40094.cvc.smt2 (content) fatal ok 0.092s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40093.cvc.smt2 (content) fatal ok 0.103s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40092.cvc.smt2 (content) fatal ok 0.158s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40091.cvc.smt2 (content) fatal ok 0.100s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40090.cvc.smt2 (content) fatal ok 0.097s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40089.cvc.smt2 (content) fatal ok 0.126s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40088.cvc.smt2 (content) fatal ok 0.132s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40087.cvc.smt2 (content) fatal ok 0.091s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40086.cvc.smt2 (content) fatal ok 0.092s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40085.cvc.smt2 (content) fatal ok 0.092s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40084.cvc.smt2 (content) fatal ok 0.092s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40083.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40082.cvc.smt2 (content) fatal ok 0.124s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40081.cvc.smt2 (content) fatal ok 0.123s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40080.cvc.smt2 (content) fatal ok 0.087s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40079.cvc.smt2 (content) fatal ok 0.098s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40078.cvc.smt2 (content) fatal ok 0.122s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40077.cvc.smt2 (content) fatal ok 0.099s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40076.cvc.smt2 (content) fatal ok 0.091s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40075.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40074.cvc.smt2 (content) fatal ok 0.097s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40073.cvc.smt2 (content) fatal ok 0.130s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40072.cvc.smt2 (content) fatal ok 0.125s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40071.cvc.smt2 (content) fatal ok 0.097s