detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.707123.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.701996.smt2 (content) ok ok 0.141s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.700096.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.700083.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.700022.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.699383.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.698113.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.697961.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.697550.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.696888.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.688983.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.682065.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.681188.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.675941.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.674037.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.674024.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.673963.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.673324.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.672054.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.671895.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.671569.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.670862.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.665768.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.665247.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.664248.smt2 (content) ok ok 0.098s