detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.860677.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.859684.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.857918.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.857642.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.857109.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.856156.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.853412.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.852276.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.849188.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.848054.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.845939.smt2 (content) ok ok 0.055s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.845575.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.844945.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.843953.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.838140.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.837770.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.837129.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.835930.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.833776.smt2 (content) ok ok 0.059s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.833458.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.832874.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.831856.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.829846.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.829528.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.828944.smt2 (content) ok ok 0.076s