detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.637413.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.637378.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.637372.smt2 (content) ok ok 0.009s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.637239.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.637082.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.635849.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.635732.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.635501.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.635015.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.633611.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.633330.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.632775.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.630683.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.629402.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.629335.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.629331.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.629241.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.629149.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.629057.smt2 (content) ok ok 0.009s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.628941.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.627369.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.626115.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.624862.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.623344.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.622079.smt2 (content) ok ok 0.037s