detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.830659.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.829638.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.827387.smt2 (content) ok ok 0.061s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.826803.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.825782.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.823496.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.822925.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.821891.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.818913.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.817734.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.813971.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.810979.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.809799.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.806772.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.805592.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.802565.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.801385.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.798358.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.797178.smt2 (content) ok ok 0.114s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.794151.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.792971.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.789955.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.788836.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.785903.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.784698.smt2 (content) ok ok 0.087s