detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60004.cvc.smt2 (content) fatal ok 0.093s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60003.cvc.smt2 (content) fatal ok 0.097s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60002.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60001.cvc.smt2 (content) fatal ok 0.088s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50100.cvc.smt2 (content) fatal ok 0.123s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50099.cvc.smt2 (content) fatal ok 0.108s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50098.cvc.smt2 (content) fatal ok 0.099s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50097.cvc.smt2 (content) fatal ok 0.138s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50096.cvc.smt2 (content) fatal ok 0.095s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50095.cvc.smt2 (content) fatal ok 0.093s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50094.cvc.smt2 (content) fatal ok 0.098s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50093.cvc.smt2 (content) fatal ok 0.087s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50092.cvc.smt2 (content) fatal ok 0.092s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50091.cvc.smt2 (content) fatal ok 0.120s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50090.cvc.smt2 (content) fatal ok 0.099s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50089.cvc.smt2 (content) fatal ok 0.116s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50088.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50087.cvc.smt2 (content) fatal ok 0.125s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50086.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50085.cvc.smt2 (content) fatal ok 0.091s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50084.cvc.smt2 (content) fatal ok 0.067s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50083.cvc.smt2 (content) fatal ok 0.121s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50082.cvc.smt2 (content) fatal ok 0.093s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50081.cvc.smt2 (content) fatal ok 0.088s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l50080.cvc.smt2 (content) fatal ok 0.085s