detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.677614.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.676882.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.675263.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.675244.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.675189.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.674628.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.673421.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.673310.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.673103.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.672518.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.669565.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.667943.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.667685.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.667166.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.666124.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.663953.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.663869.smt2 (content) ok ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.663700.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.663327.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.661994.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.661907.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.661728.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.661347.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.659996.smt2 (content) ok ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.659732.smt2 (content) ok ok 0.135s