detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.561997.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.561423.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.560298.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.549864.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.958319.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.955132.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.954058.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.950232.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.946545.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.944272.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.943691.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.942602.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.940561.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.940318.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.939774.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.938740.smt2 (content) ok ok 0.113s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.933524.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.929723.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.925543.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.921143.smt2 (content) ok ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.916820.smt2 (content) ok ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.912497.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.908174.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.881798.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.880728.smt2 (content) ok ok 0.145s