detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.649332.smt2 (content) ok ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.649261.smt2 (content) ok ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.649061.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.648629.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.647389.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.647252.smt2 (content) ok ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.647039.smt2 (content) ok ok 0.055s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.646409.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.641708.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.640466.smt2 (content) ok ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.640330.smt2 (content) ok ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.640149.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.639724.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.638333.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.638194.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.638004.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.637557.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.636226.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.636136.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.635953.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.635554.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.634265.smt2 (content) ok ok 0.023s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.634248.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.634210.smt2 (content) ok ok 0.027s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.634134.smt2 (content) ok ok 0.049s