detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/moesi_ca.smt2 (content) warn ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/moesi.smt2 (content) warn ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/mesi_ca.smt2 (content) warn ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/mesi.smt2 (content) warn ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/max_in_array.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/linearSearch.smt2 (content) warn ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/jml.smt2 (content) warn ok 0.323s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/integers.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/insertionSort.smt2 (content) warn ok 0.321s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/ini.smt2 (content) warn ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/illinois_ca.smt2 (content) warn ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/illinois.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/german_pfs.smt2 (content) warn ok 0.715s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/german_ca.smt2 (content) warn ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/german_buggy.smt2 (content) warn ok 3.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/german_07.smt2 (content) warn ok 8.4s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/futurebus.smt2 (content) warn ok 0.307s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/find2.smt2 (content) warn ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/find1.smt2 (content) warn ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/find1+2.smt2 (content) warn ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/filter2.smt2 (content) warn ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/filter1.smt2 (content) warn ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/filter1+2.smt2 (content) warn ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/dijkstra_1.smt2 (content) warn ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/dijkstra.smt2 (content) warn ok 0.571s