detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.750318.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.749181.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.747041.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.746656.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.746010.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.744873.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.740747.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.714299.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.714184.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.713843.smt2 (content) ok ok 0.202s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.713145.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.711639.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.711517.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.711170.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.710520.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.709094.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.706995.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.706191.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.702400.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.702239.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.701866.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.701134.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.699515.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.699496.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.699441.smt2 (content) ok ok 0.130s