detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.649332.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.649261.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.649061.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.648629.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.647389.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.647252.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.647039.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.646409.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.641708.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.640466.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.640330.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.640149.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.639724.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.638333.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.638194.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.638004.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.637557.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.636226.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.636136.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.635953.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.635554.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.634265.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.634248.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.634210.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.634134.smt2 (content) ok ok 0.020s