A Wall-clock Time and Scaling Analysis

Assuming VSIDS's computational cost is negligible, we can compute the wall clock time of MiniSat Figure 6 confirms that the dependence is linear. We call the middle part'the core'. The output of the core is concatenated with the output of the encoder and gets fed to the core again. We describe all the hyperparameters in Appendix C.3. Encoder and Decoder are independent graph networks, i.e.