detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20003.cvc.smt2 (content) fatal ok 0.094s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20002.cvc.smt2 (content) fatal ok 0.091s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20001.cvc.smt2 (content) fatal ok 0.099s
dolmen /home/guillaume/bench/smtlib/QF_BV/check2/symbols.smt2 (content) fatal ok 0.072s
dolmen /home/guillaume/bench/smtlib/QF_BV/20200415-Yurichev/t2.smt2 (content) fatal ok 0.138s
dolmen /home/guillaume/bench/smtlib/QF_AUFLIA/20170829-Rodin/smt5192927862320386454.smt2 (content) fatal ok 0.044s
dolmen /home/guillaume/bench/smtlib/QF_AUFLIA/20170829-Rodin/smt3204289262029909600.smt2 (content) fatal ok 0.045s
dolmen /home/guillaume/bench/smtlib/QF_AUFLIA/20170829-Rodin/smt1656603882241727713.smt2 (content) fatal ok 0.061s
dolmen /home/guillaume/bench/smtlib/QF_ABV/20200415-Yurichev/t3.smt2 (content) fatal ok 0.130s
dolmen /home/guillaume/bench/smtlib/LRA/tptp/ARI400=1.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/tptp/ARI389=1.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/tptp/ARI388=1.smt2 (content) fatal ok 0.022s
dolmen /home/guillaume/bench/smtlib/LRA/tptp/ARI375=1.smt2 (content) fatal ok 0.031s
dolmen /home/guillaume/bench/smtlib/LRA/tptp/ARI362=1.smt2 (content) fatal ok 0.037s
dolmen /home/guillaume/bench/smtlib/LRA/tptp/ARI361=1.smt2 (content) fatal ok 0.021s
dolmen /home/guillaume/bench/smtlib/LRA/tptp/ARI348=1.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_9.smt2 (content) fatal ok 0.021s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_80.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_8.smt2 (content) fatal ok 0.030s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_79.smt2 (content) fatal ok 0.023s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_78.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_77.smt2 (content) fatal ok 0.038s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_76.smt2 (content) fatal ok 0.030s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_75.smt2 (content) fatal ok 0.024s
dolmen /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_74.smt2 (content) fatal ok 0.037s