detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.695337.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.695009.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.694291.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.692863.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.692734.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.692368.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.691631.smt2 (content) ok ok 0.114s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.689469.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.687448.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.687278.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.686904.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.685476.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.685296.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.684910.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.683368.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.682948.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.682088.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.678148.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.677987.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.677614.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.676882.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.675263.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.675244.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.675189.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.674628.smt2 (content) ok ok 0.081s