detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree250.smt2 (content) warn ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/xerox.smt2 (content) warn ok 0.327s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/szymanski_at.smt2 (content) warn ok 50.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/szymanski.smt2 (content) warn ok 0.389s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/sz_fp.smt2 (content) warn ok 0.472s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/synapse.smt2 (content) warn ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/strcpy.smt2 (content) warn ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/strcmp.smt2 (content) warn ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/sendOmission_lemma3.smt2 (content) warn ok 0.322s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/sendOmission_lemma2.smt2 (content) warn ok 32.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/sendOmission_lemma1.smt2 (content) warn ok 1.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/selectionSort.smt2 (content) warn ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/partition_int.smt2 (content) warn ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/partition.smt2 (content) warn ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/mux.smt2 (content) warn ok 0.170s
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/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