detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.561997.smt2 (content) ok ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.561423.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.560298.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.549864.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.958319.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.955132.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.954058.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.950232.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.946545.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.944272.smt2 (content) ok ok 0.063s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.943691.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.942602.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.940561.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.940318.smt2 (content) ok ok 0.059s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.939774.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.938740.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.933524.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.929723.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.925543.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.921143.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.916820.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.912497.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.908174.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.881798.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.880728.smt2 (content) ok ok 0.088s