detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/moesi_ca.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/moesi.smt2 (content) warn ok 0.087s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/mesi_ca.smt2 (content) warn ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/mesi.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/max_in_array.smt2 (content) warn ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/linearSearch.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/jml.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/integers.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/insertionSort.smt2 (content) warn ok 0.230s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/ini.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/illinois_ca.smt2 (content) warn ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/illinois.smt2 (content) warn ok 0.192s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/german_pfs.smt2 (content) warn ok 0.670s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/german_ca.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/german_buggy.smt2 (content) warn ok 3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/german_07.smt2 (content) warn ok 8.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/futurebus.smt2 (content) warn ok 0.285s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/find2.smt2 (content) warn ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/find1.smt2 (content) warn ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/find1+2.smt2 (content) warn ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/filter2.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/filter1.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/filter1+2.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/dijkstra_1.smt2 (content) warn ok 0.148s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/dijkstra.smt2 (content) warn ok 0.460s