Coverage decreased (-0.6%) to 93.031% when pulling 42fc3c5135871d131faa30b8d6bbf5f280a6bb40 on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage decreased (-0.5%) to 93.091% when pulling dc00df815cfff2ab6d6a6bda15b74a57814abdc1 on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage decreased (-0.1%) to 93.491% when pulling 42917d85341126bd07bab5a31f1485f3ca708a06 on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage decreased (-0.2%) to 93.427% when pulling ccb2f3f7d77fa5d6eb22eafe18d10d49bc250b3e on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage decreased (-2.9%) to 90.74% when pulling ecfacb7ade95a8971bea0b69684c2b5188cbe1e2 on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage decreased (-0.3%) to 93.321% when pulling 18c36f559074d487ad769c1eb9c12be46b88379d on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage decreased (-3.2%) to 90.46% when pulling 58dd48153dbe4cf8e3c14292fe764274215deca1 on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage decreased (-4.1%) to 89.493% when pulling 60001195744cdf301933b3ce12bf39306370077f on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage decreased (-1.9%) to 91.772% when pulling 25ca32b750f527206c207a47ae877e4154cda8d5 on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage decreased (-2.3%) to 91.291% when pulling 7a9d76f9364a6ff03367c174fccfe0ad6e996fbd on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage decreased (-0.1%) to 93.515% when pulling 7a9d76f9364a6ff03367c174fccfe0ad6e996fbd on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage decreased (-0.09%) to 93.547% when pulling 999d3843335dfba6da991028e0375eaf076da28a on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage decreased (-0.09%) to 93.543% when pulling 999d3843335dfba6da991028e0375eaf076da28a on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage increased (+0.3%) to 93.941% when pulling d83f9a757139efe5f285109a881f56c4d3b66db9 on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage increased (+0.4%) to 94.066% when pulling d83f9a757139efe5f285109a881f56c4d3b66db9 on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage increased (+0.6%) to 94.192% when pulling fda75ea1adb162b21ebc9fcbd8700372626f22cf on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage increased (+0.4%) to 94.054% when pulling e15ea322b7c69b5a13096e7b7016f0bb7b661468 on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage increased (+0.6%) to 94.201% when pulling 123fbb55a4a32d21f43f37b9aa31e2bd9415230c on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
Coverage increased (+1.1%) to 94.775% when pulling 34fcb00aea35223f1e5f00f170b74cec81b01f50 on solver-data into a0bf65463351362f69b1efb5d1ddd7effa389f29 on master.
To facilitate adding new solvers, split data that is passed to a solver into smaller logical data structures instead of one big data structure.