certificate               n   D   or   vars  clauses   cuts   lemmas  rup/nodel rup/del   other     audit
enum_n8_D6                8   6   no    868    17101 272+16b     7645  VERIFIED  VERIFIED  VERIFIED  PASS 
n4_D2                     4   2   no     42      135      0        1  VERIFIED  VERIFIED  VERIFIED  PASS 
n5_D3                     5   3   no    110      588      2       14  VERIFIED  VERIFIED  VERIFIED  PASS 
n5_D3_orientable          5   3  yes    120      648      2       14  VERIFIED  VERIFIED  VERIFIED  PASS 
n6_D4                     6   4   no    245     2128     14      108  VERIFIED  VERIFIED  VERIFIED  PASS 
n6_D4_orientable          6   4  yes    265     2306     12       87  VERIFIED  VERIFIED  VERIFIED  PASS 
n7_D5_orientable          7   5  yes    518     6883     64      691  VERIFIED  VERIFIED  VERIFIED  PASS 
n7_D6                     7   6   no    560     7722     42      823  VERIFIED  VERIFIED  VERIFIED  PASS 
n8_D6_orientable          8   6  yes    924    17907    254     7192  VERIFIED  VERIFIED  VERIFIED  PASS 
n8_D7                     8   7   no    988    19811    202     6965  VERIFIED  VERIFIED  VERIFIED  PASS 
n9_D7_orientable          9   7  yes   1536    41803    786    82267  VERIFIED  VERIFIED  VERIFIED  PASS 
n9_D8                     9   8   no   1629    45838    720    70764  VERIFIED  VERIFIED  VERIFIED  PASS 
unique_n7_D5              7   5   no    483     6461  58+4b      773  VERIFIED  VERIFIED  VERIFIED  PASS 

sha256 of the uncompressed files:
  enum_n8_D6.cnf  a2d0e418d8dcbf27357cf997b46f469d0da70511f3851626c75a2fb60b44ef52
  enum_n8_D6.drat 28279d575c0ec58443074b1ea25b028c1e9fc0b2987bc1bbec95af0cca4dc558
  n4_D2.cnf  9be70407ce3d62d97ddc24dff2f1d7df772c607b771e7c3306fa0beb6b61dc2e
  n4_D2.drat 3236e2ac9eb9f0f721edab06950aa8cafe1f76acfc6da4201ab91f52b230381d
  n5_D3.cnf  8ffcd63488dfd7ecc309f2b34d71e5bd6f227b0a5a338d6fd75ed5734a4a085f
  n5_D3.drat 93e6dbf4a0f5758b6dbba4b4c13feae9d0399285c218f0c903e50a168c7e90fc
  n5_D3_orientable.cnf  85b21681992c6219adb3a118dce68e4ec67ef0f69e6dfa046d13ac24289046b0
  n5_D3_orientable.drat d0a6ae5bbb39944541fe8c2c0fa718f8b0948d78a08e5e93e9d1d5a75d7267ee
  n6_D4.cnf  3e7ebf2a8120a8a43f98e6dbe551df2048f8b51a11a6aa744f1c4615591f3c8b
  n6_D4.drat 6c0c294daed015679463b9c622d13ac657f3fc6da39c844321fcff1bc4a2e3e2
  n6_D4_orientable.cnf  d402227c52f409de19d5cfd03c5c22d258007a4d41be9906c401af7bbf2d209a
  n6_D4_orientable.drat 7c302b13ce6dca6ecae4f02456d6ad8ee2e4602226adceb0df660aa34ff5f214
  n7_D5_orientable.cnf  33e634bedc0805c1630aaf84d9497df04b1c9763e087d9052fa6b2b47ddc9a37
  n7_D5_orientable.drat 567c8c276ce7f62a80de6430a34b31fea95847122ac9b351bf6352d08c63523b
  n7_D6.cnf  479f2325c21cd287cb6fccdbb9ebdf17b597d54b9a9f8d052a5e6fa86bad4798
  n7_D6.drat 13645dd9040880b5d88567991ce74d2c9550c1e73e58975a7d4648eec7961df6
  n8_D6_orientable.cnf  dc2624c908dedc4ddf4732620132d87088b8059fb10c353a4d96e73ffb0aea82
  n8_D6_orientable.drat 34122877f27a8bff5d8d440fc0ce2e316de7348298d5badd406da914f7aa170b
  n8_D7.cnf  6facd6b7e63fabee1eba994f8bb53b1943288b39165376a61eac5d147b26a93f
  n8_D7.drat a6fe976aad81f5813c3e9e5030672e0fed2cdcb7a2a7264f31bf99554b6adc85
  n9_D7_orientable.cnf  4a489bcd022b85772605cb71f4091d9d33f593b126743fbd41dda7b867844a7a
  n9_D7_orientable.drat 6c41fef4b835063d2c7428dfee21c39c744dac76f9226fbd6f44759c61988974
  n9_D8.cnf  5cb516e587704136111f312ab81477c888a5d4b35cec0625aa23d7cb81db7b69
  n9_D8.drat 2e0e1ed2fafd2780b67d2e74bb3ba171cbb67858a6f89bf5f6bc315d560b4ee1
  unique_n7_D5.cnf  7d5ca36f7ec1c0207e0f172dc83dd44e84a7ebff6921391b6cbe0b3bee341860
  unique_n7_D5.drat 7ba5fb8312ddcc5276d3fa27a609481328e938f9e384a3c6a061ee334fe52ee0
ALL CERTIFICATES PASS
