detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.673421.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.673310.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.673103.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.672518.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.669565.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.667943.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.667685.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.667166.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.666124.smt2 (content) ok ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.663953.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.663869.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.663700.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.663327.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.661994.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.661907.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.661728.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.661347.smt2 (content) ok ok 0.109s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.659996.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.659732.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.659235.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.658206.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.655977.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.655748.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.655425.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.654657.smt2 (content) ok ok 0.086s