detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.830659.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.829638.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.827387.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.826803.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.825782.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.823496.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.822925.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.821891.smt2 (content) ok ok 0.144s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.818913.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.817734.smt2 (content) ok ok 0.131s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.813971.smt2 (content) ok ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.810979.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.809799.smt2 (content) ok ok 0.114s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.806772.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.805592.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.802565.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.801385.smt2 (content) ok ok 0.157s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.798358.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.797178.smt2 (content) ok ok 0.109s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.794151.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.792971.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.789955.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.788836.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.785903.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.784698.smt2 (content) ok ok 0.115s