detailed results (33316 total)

prover file res expected time
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
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/crash2.smt2 (content) warn ok 2.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/crash1.smt2 (content) warn ok 0.542s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/burns.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/binarySort.smt2 (content) warn ok 0.244s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/berkeley.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery_t.smt2 (content) warn ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery_bogus.smt2 (content) warn ok 0.190s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery_Lamport.smt2 (content) warn ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery.smt2 (content) warn ok 0.102s