detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.944599.smt2 (content) ok ok 0.060s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.944289.smt2 (content) ok ok 0.055s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.943708.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.942623.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.940633.smt2 (content) ok ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.940390.smt2 (content) ok ok 0.056s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.939846.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.938815.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.933657.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.929857.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.926856.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.925667.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.923470.smt2 (content) ok ok 0.053s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.923114.smt2 (content) ok ok 0.059s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.922450.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.921280.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.919084.smt2 (content) ok ok 0.053s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.918728.smt2 (content) ok ok 0.053s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.918064.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.916894.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.914698.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.914342.smt2 (content) ok ok 0.055s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.913678.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.912508.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.910312.smt2 (content) ok ok 0.047s