detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/Float_div_bad_false-unreach-call.i.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/Double_div_true-unreach-call.i.smt2 (content) warn ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/Double_div_bad_false-unreach-call.i.smt2 (content) warn ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/xerox.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/szymanski_at.smt2 (content) warn ok 51s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/szymanski.smt2 (content) warn ok 0.375s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/sz_fp.smt2 (content) warn ok 0.424s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/synapse.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/strcpy.smt2 (content) warn ok 0.176s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/strcmp.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/sendOmission_lemma3.smt2 (content) warn ok 0.298s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/sendOmission_lemma2.smt2 (content) warn ok 32.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/sendOmission_lemma1.smt2 (content) warn ok 1.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/selectionSort.smt2 (content) warn ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/partition_int.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/partition.smt2 (content) warn ok 0.125s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/mux.smt2 (content) warn ok 0.102s
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/insertionSort.smt2 (content) warn ok 0.230s