SeqFROST won a gold medal in SAT Competition 2022. SeqFROST was ranked the fastest solver in the Main track (SAT) among a total of 52 state-of-the-art sequential solvers participated in the SC2022 edition. SeqFROST stands for Sequential Formal ReasOning about SaTisfiability. It is a sequential SAT solver with advanced inprocessing techniques based on our simplifications engine in GPU SAT solver ParaFROST. Unlike ParaFROST, this solver runs completely single-threaded on the CPU with different solving heuristics. For more information about the solver heuristics and the main changes from ParaFROST, please consult the solver description.