detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.707123.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.701996.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.700096.smt2 (content) ok ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.700083.smt2 (content) ok ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.700022.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.699383.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.698113.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.697961.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.697550.smt2 (content) ok ok 0.057s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.696888.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.688983.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.682065.smt2 (content) ok ok 0.063s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.681188.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.675941.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.674037.smt2 (content) ok ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.674024.smt2 (content) ok ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.673963.smt2 (content) ok ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.673324.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.672054.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.671895.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.671569.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.670862.smt2 (content) ok ok 0.068s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.665768.smt2 (content) ok ok 0.053s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.665247.smt2 (content) ok ok 0.064s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.664248.smt2 (content) ok ok 0.091s