detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.770035.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.767657.smt2 (content) ok ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.767299.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.766657.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.765586.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.763578.smt2 (content) ok ok 0.064s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.763220.smt2 (content) ok ok 0.068s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.762578.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.761507.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.759499.smt2 (content) ok ok 0.057s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.759141.smt2 (content) ok ok 0.068s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.758499.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.757428.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.755420.smt2 (content) ok ok 0.064s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.755062.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.754420.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.753349.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.751341.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.750959.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.750318.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.749181.smt2 (content) ok ok 0.104s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.747041.smt2 (content) ok ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.746656.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.746010.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.744873.smt2 (content) ok ok 0.089s