detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.819950.smt2 (content) ok ok 0.056s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.819564.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.811950.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.811615.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.807743.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.807408.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.803536.smt2 (content) ok ok 0.059s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.803201.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.799329.smt2 (content) ok ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.798994.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.795122.smt2 (content) ok ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.794787.smt2 (content) ok ok 0.070s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.790915.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.790569.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.786957.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.786568.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.782559.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.782172.smt2 (content) ok ok 0.068s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.778166.smt2 (content) ok ok 0.059s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.777801.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.769670.smt2 (content) ok ok 0.062s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.769312.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.765447.smt2 (content) ok ok 0.059s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.765089.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.761224.smt2 (content) ok ok 0.057s