detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.770035.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.767657.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.767299.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.766657.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.765586.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.763578.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.763220.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.762578.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.761507.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.759499.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.759141.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.758499.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.757428.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.755420.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.755062.smt2 (content) ok ok 0.109s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.754420.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.753349.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.751341.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.750959.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.750318.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.749181.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.747041.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.746656.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.746010.smt2 (content) ok ok 0.131s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.744873.smt2 (content) ok ok 0.152s