detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.637413.smt2 (content) ok ok 0.024s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.637378.smt2 (content) ok ok 0.023s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.637372.smt2 (content) ok ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.637239.smt2 (content) ok ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.637082.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.635849.smt2 (content) ok ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.635732.smt2 (content) ok ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.635501.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.635015.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.633611.smt2 (content) ok ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.633330.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.632775.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.630683.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.629402.smt2 (content) ok ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.629335.smt2 (content) ok ok 0.023s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.629331.smt2 (content) ok ok 0.024s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.629241.smt2 (content) ok ok 0.024s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.629149.smt2 (content) ok ok 0.023s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.629057.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.628941.smt2 (content) ok ok 0.057s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.627369.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.626115.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.624862.smt2 (content) ok ok 0.063s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.623344.smt2 (content) ok ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.622079.smt2 (content) ok ok 0.025s