detailed results (25195 total)

prover file res expected time
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
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/crash2.smt2 (content) warn ok 2.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/crash1.smt2 (content) warn ok 0.552s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/burns.smt2 (content) warn ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/binarySort.smt2 (content) warn ok 0.393s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/berkeley.smt2 (content) warn ok 0.248s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery_t.smt2 (content) warn ok 0.248s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery_bogus.smt2 (content) warn ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery_Lamport.smt2 (content) warn ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery.smt2 (content) warn ok 0.309s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ANIA/UltimateBuchiAutomizer/openbsd_cstrncpy-alloca_true-termination.c.i.smt2 (content) warn ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ANIA/UltimateBuchiAutomizer/openbsd_cstrlcpy-alloca_true-termination.c.i.smt2 (content) warn ok 1.4s