detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.916894.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.914698.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.914342.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.913678.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.912508.smt2 (content) ok ok 0.189s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.910312.smt2 (content) ok ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.909956.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.909292.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.908122.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.881698.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.881352.smt2 (content) ok ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.880725.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.879676.smt2 (content) ok ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.877685.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.877339.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.876712.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.875663.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.873672.smt2 (content) ok ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.873326.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.872699.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.871650.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.869659.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.869313.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.868686.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.867637.smt2 (content) ok ok 0.135s