detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.781509.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.780306.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.777173.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.776019.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.772111.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.768674.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.767580.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.764451.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.763357.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.760228.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.759134.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.756005.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.754911.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.751753.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.750595.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.747589.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.746428.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.743633.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.742487.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.714922.smt2 (content) ok ok 0.062s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.714183.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.712540.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.712193.smt2 (content) ok ok 0.060s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.711486.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.710024.smt2 (content) ok ok 0.075s