p=3 n=1 cnf-sha256=6e52ee4e0aae6a6b kissat-exit=20 proof=825992B drat-verified=1 1s
p=3 n=4 cnf-sha256=06a3cf7d0a9ddcdc kissat-exit=20 proof=832807B drat-verified=1 0s
p=3 n=7 cnf-sha256=774e1973f6f87391 kissat-exit=20 proof=999303B drat-verified=1 1s
p=3 n=10 cnf-sha256=d87b189031d569f2 kissat-exit=20 proof=877802B drat-verified=1 0s
p=3 n=13 cnf-sha256=c4766feca7066f7d kissat-exit=20 proof=769887B drat-verified=1 0s
p=3 n=16 cnf-sha256=6f00f558000f8124 kissat-exit=20 proof=663208B drat-verified=1 0s
p=3 n=19 cnf-sha256=d9ce714dd804594c kissat-exit=20 proof=277362B drat-verified=1 0s
p=5 n=2 cnf-sha256=5575f666310461db kissat-exit=20 proof=36705335B drat-verified=1 89s
p=5 n=7 cnf-sha256=5e7dd2f01b464a16 kissat-exit=20 proof=822719B drat-verified=1 0s
p=5 n=12 cnf-sha256=d1df78087c6006e9 kissat-exit=20 proof=1199670B drat-verified=1 1s
p=5 n=17 cnf-sha256=94835d56f5af3882 kissat-exit=20 proof=574820B drat-verified=1 1s
p=7 n=1 cnf-sha256=e9175aec6511104e kissat-exit=20 proof=736580B drat-verified=1 0s
p=7 n=8 cnf-sha256=648afc5d40fcdccf kissat-exit=20 proof=732250B drat-verified=1 0s
p=7 n=15 cnf-sha256=8e26ebf4a745f095 kissat-exit=20 proof=586586B drat-verified=1 1s
# drat-verified = count of lines 's VERIFIED' in the .dratcheck file (drat-trim prefixes it with a carriage return; first grep missed it, recounted with grep -a -c 's VERIFIED')
