detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.805315.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.804679.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.803504.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.801381.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.801047.smt2 (content) ok ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.800411.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.799236.smt2 (content) ok ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.797113.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.796779.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.796143.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.794968.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.792845.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.792511.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.791875.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.790700.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.788577.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.788234.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.787622.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.786512.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.784716.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.784327.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.783662.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.782459.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.780480.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.780093.smt2 (content) ok ok 0.178s