detailed results (349691 total)

prover file res expected time
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
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.760866.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.757001.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.756643.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.752778.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.752395.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.748622.smt2 (content) ok ok 0.056s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.748236.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.715376.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.715261.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.712662.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.708311.smt2 (content) ok ok 0.043s