detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.794151.smt2 (content) ok ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.792971.smt2 (content) ok ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.789955.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.788836.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.785903.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.784698.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.781509.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.780306.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.777173.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.776019.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.772111.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.768674.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.767580.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.764451.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.763357.smt2 (content) ok ok 0.200s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.760228.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.759134.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.756005.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.754911.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.751753.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.750595.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.747589.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.746428.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.743633.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.742487.smt2 (content) ok ok 0.134s