rup_run2 on the 13 certificates stored in reproducibility/certificates (uncompressed first; sha256 checked against SHA256SUMS.txt)
== n4_D2
c formula: header 42 vars 135 clauses; read 135 clauses
c lemmas verified: 1; deletion lines ignored: 23; clauses skipped as satisfied at top level: 70
s VERIFIED
== n5_D3
c formula: header 110 vars 588 clauses; read 588 clauses
c lemmas verified: 14; deletion lines ignored: 83; clauses skipped as satisfied at top level: 252
s VERIFIED
== n5_D3_orientable
c formula: header 120 vars 648 clauses; read 648 clauses
c lemmas verified: 14; deletion lines ignored: 83; clauses skipped as satisfied at top level: 264
s VERIFIED
== n6_D4
c formula: header 245 vars 2128 clauses; read 2128 clauses
c lemmas verified: 108; deletion lines ignored: 282; clauses skipped as satisfied at top level: 675
s VERIFIED
== n6_D4_orientable
c formula: header 265 vars 2306 clauses; read 2306 clauses
c lemmas verified: 87; deletion lines ignored: 278; clauses skipped as satisfied at top level: 709
s VERIFIED
== n7_D5_orientable
c formula: header 518 vars 6883 clauses; read 6883 clauses
c lemmas verified: 691; deletion lines ignored: 1656; clauses skipped as satisfied at top level: 1610
s VERIFIED
== n7_D6
c formula: header 560 vars 7722 clauses; read 7722 clauses
c lemmas verified: 823; deletion lines ignored: 2550; clauses skipped as satisfied at top level: 1707
s VERIFIED
== unique_n7_D5
c formula: header 483 vars 6461 clauses; read 6461 clauses
c lemmas verified: 773; deletion lines ignored: 1579; clauses skipped as satisfied at top level: 1544
s VERIFIED
== n8_D6_orientable
c formula: header 924 vars 17907 clauses; read 17907 clauses
c lemmas verified: 7192; deletion lines ignored: 8817; clauses skipped as satisfied at top level: 3297
s VERIFIED
== n8_D7
c formula: header 988 vars 19811 clauses; read 19811 clauses
c lemmas verified: 6965; deletion lines ignored: 10039; clauses skipped as satisfied at top level: 3425
s VERIFIED
== enum_n8_D6
c formula: header 868 vars 17101 clauses; read 17101 clauses
c lemmas verified: 7645; deletion lines ignored: 8657; clauses skipped as satisfied at top level: 3189
s VERIFIED
== n9_D7_orientable
c formula: header 1536 vars 41803 clauses; read 41803 clauses
c lemmas verified: 82267; deletion lines ignored: 76447; clauses skipped as satisfied at top level: 6281
s VERIFIED
== n9_D8
c formula: header 1629 vars 45838 clauses; read 45838 clauses
c lemmas verified: 70764; deletion lines ignored: 78440; clauses skipped as satisfied at top level: 6444
s VERIFIED
