detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.781509.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.780306.smt2 (content) ok ok 0.109s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.777173.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.776019.smt2 (content) ok ok 0.149s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.772111.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.768674.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.767580.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.764451.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.763357.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.760228.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.759134.smt2 (content) ok ok 0.096s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.756005.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.754911.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.751753.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.750595.smt2 (content) ok ok 0.125s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.747589.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.746428.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.743633.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.742487.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.714922.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.714183.smt2 (content) ok ok 0.122s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.712540.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.712193.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.711486.smt2 (content) ok ok 0.114s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.710024.smt2 (content) ok ok 0.069s