detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/consts_why.smt2 (content) warn ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/conflict_why.smt2 (content) warn ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/clash_alloc_why.smt2 (content) warn ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bug390_why.smt2 (content) warn ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts6453_why.smt2 (content) warn ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts6364_why.smt2 (content) warn ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts5878_why.smt2 (content) warn ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts0199_why.smt2 (content) warn ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts0187_why.smt2 (content) warn ok 0.120s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts0073_why.smt2 (content) warn ok 0.114s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts0071_why.smt2 (content) warn ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/bts0063_why.smt2 (content) warn ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/axiomatic_why.smt2 (content) warn ok 0.113s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/aviation/array_double_why.smt2 (content) warn ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.958311.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.956070.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.955746.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.955145.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.954082.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.951967.smt2 (content) ok ok 0.049s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.951712.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.951208.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.950199.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.947491.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.946559.smt2 (content) ok ok 0.118s