detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.909956.smt2 (content) ok ok 0.050s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.909292.smt2 (content) ok ok 0.114s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.908122.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.881698.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.881352.smt2 (content) ok ok 0.096s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.880725.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.879676.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.877685.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.877339.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.876712.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.875663.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.873672.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.873326.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.872699.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.871650.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.869659.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.869313.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.868686.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.867637.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.865646.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.865313.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.864684.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.863623.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.861632.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.861289.smt2 (content) ok ok 0.081s