{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":637980829,"defaultBranch":"main","name":"are-we-sdd-yet","ownerLogin":"neuppl","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-08T20:33:44.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/95656564?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1683671614.0","currentOid":""},"activityList":{"items":[{"before":"2e78a0eade31ef4b61c8e14862cbfd8bab43f386","after":"854de3f274344fa237032ec761b0f72958321702","ref":"refs/heads/main","pushedAt":"2023-08-04T14:45:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Fix reliance on `num_nodes`","shortMessageHtmlLink":"Fix reliance on <code>num_nodes</code>"}},{"before":"a6e4096ab6a645b95dffcf22075df07c022b19ab","after":"2e78a0eade31ef4b61c8e14862cbfd8bab43f386","ref":"refs/heads/main","pushedAt":"2023-08-04T13:39:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Update for https://github.com/neuppl/rsdd/commit/69e4f38f97a76c030ababa7299ac71f22e8e181f","shortMessageHtmlLink":"Update for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/neuppl/rsdd/commit/69e4f38f97a76c030ababa7299ac71f22e8e181f/hovercard\" href=\"https://github.com/neuppl/rsdd/commit/69e4f38f97a76c030ababa7299ac71f22e8e181f\">neuppl/rsdd@<tt>69e4f38</tt></a>"}},{"before":"aac5cefd508b3a6fca7fad9ada51f4f0933799cc","after":"a6e4096ab6a645b95dffcf22075df07c022b19ab","ref":"refs/heads/main","pushedAt":"2023-07-20T18:52:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Update to new rsdd version","shortMessageHtmlLink":"Update to new rsdd version"}},{"before":"14738f3f4a159f45f00c6feb639264076a1aa09e","after":"aac5cefd508b3a6fca7fad9ada51f4f0933799cc","ref":"refs/heads/main","pushedAt":"2023-07-09T01:22:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Bumps `rsdd` to https://github.com/neuppl/rsdd/commit/003069e1a54a61c6dfc216473dd8bcb048ef99b7, which has a major API change","shortMessageHtmlLink":"Bumps <code>rsdd</code> to <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/neuppl/rsdd/commit/003069e1a54a61c6dfc216473dd8bcb048ef99b7/hovercard\" href=\"https://github.com/neuppl/rsdd/commit/003069e1a54a61c6dfc216473dd8bcb048ef99b7\">neuppl/rsdd@<tt>003069e</tt></a>, which has a major API change"}},{"before":"6dae1fff72f7a8bc07b5924da5d3956806406d5d","after":"14738f3f4a159f45f00c6feb639264076a1aa09e","ref":"refs/heads/main","pushedAt":"2023-06-13T16:13:44.835Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add more CNFs from RSDD repo","shortMessageHtmlLink":"Add more CNFs from RSDD repo"}},{"before":"b1cf3d00b421d8a6f9e227e5c612aac3dab91415","after":"6dae1fff72f7a8bc07b5924da5d3956806406d5d","ref":"refs/heads/main","pushedAt":"2023-05-30T21:00:01.485Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Update to work with `rsdd` @ https://github.com/neuppl/rsdd/commit/b0d7e35fc1dc51d02ab419a8a3a75dafd736e47b","shortMessageHtmlLink":"Update to work with <code>rsdd</code> @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/neuppl/rsdd/commit/b0d7e35fc1dc51d02ab419a8a3a75dafd736e47b/hovercard\" href=\"https://github.com/neuppl/rsdd/commit/b0d7e35fc1dc51d02ab419a8a3a75dafd736e47b\">neuppl/rsdd@<tt>b0d7e35</tt></a>"}},{"before":"8c3322bc3e2f07e1b84b168a11e5dc94ff9e0739","after":"b1cf3d00b421d8a6f9e227e5c612aac3dab91415","ref":"refs/heads/main","pushedAt":"2023-05-10T00:05:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add `cnf2obdd` benchmark target\n\n- adds the relevant infra to test `cnf2obdd` (Dockerfile, CLI support, etc.)\n- adds new mode `-m best-bdd` to do a more fair bdd comparison\n\nSurprisingly, we also beat this one?\n\nTo regenerate `output.json`:\n\n```\n$ are_we_sdd_yet -m best -o output.json -f fixtures/cnf/c8-very-easy.cnf  -f fixtures/cnf/c8.cnf -ffixtures/cnf/cht.cnf -f fixtures/cnf/cm152a.cnf -f fixtures/cnf/s208.1.scan.cnf -f fixtures/cnf/tiny2.cnf -f fixtures/cnf/x2.cnf\n```","shortMessageHtmlLink":"Add <code>cnf2obdd</code> benchmark target"}},{"before":null,"after":"c06edb5df1b7793615ae6a39084965703c511d0f","ref":"refs/heads/cudd","pushedAt":"2023-05-09T22:33:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"second-run on cudd","shortMessageHtmlLink":"second-run on cudd"}},{"before":"3ed84279ba49322c4ab105d56c29aae12a80b385","after":"8c3322bc3e2f07e1b84b168a11e5dc94ff9e0739","ref":"refs/heads/main","pushedAt":"2023-05-09T21:44:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Refactor Benchmark display approach in prep for cudd/sylvan","shortMessageHtmlLink":"Refactor Benchmark display approach in prep for cudd/sylvan"}},{"before":"b733de9bc18ebe51bcac2c7aeb3bcccc4d4fe655","after":"3ed84279ba49322c4ab105d56c29aae12a80b385","ref":"refs/heads/main","pushedAt":"2023-05-09T09:10:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add `c8` run output (skews the graph a bit)","shortMessageHtmlLink":"Add <code>c8</code> run output (skews the graph a bit)"}},{"before":"c3c174e02ca8933018c691ad7880caf328d14c33","after":"b733de9bc18ebe51bcac2c7aeb3bcccc4d4fe655","ref":"refs/heads/main","pushedAt":"2023-05-09T08:40:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Adds *very simple* web interface for `output.json` data","shortMessageHtmlLink":"Adds *very simple* web interface for <code>output.json</code> data"}},{"before":"4030ae3eac9ab577a999c2d2d682fd01cb1cab46","after":"c3c174e02ca8933018c691ad7880caf328d14c33","ref":"refs/heads/main","pushedAt":"2023-05-09T08:07:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add a few fixtures, fix incorrect DIMACS annotations, more robust \"best\" approach\n\nSee:\n\n```\n$ are_we_sdd_yet -m best -o output.json -f fixtures/cnf/cht.cnf -f fixtures/cnf/cm152a.cnf -f fixtures/cnf/s208.1.scan.cnf -f fixtures/cnf/tiny2.cnf -f fixtures/cnf/x2.cnf -f fixtures/cnf/c8-very-easy.cnf\nCompiling fixtures/cnf/cht.cnf with vtree strategy best fit\n39.98x speedup (rsdd: 0.137216s, sdd: 5.485428s)\n0.57x circuit size (rsdd: 2938, sdd: 5127)\n5.53x alloc nodes (rsdd: 12463, sdd: 2253)\nCompiling fixtures/cnf/cm152a.cnf with vtree strategy best fit\n6.04x speedup (rsdd: 0.005100s, sdd: 0.030813s)\n1.29x circuit size (rsdd: 170, sdd: 132)\n7.71x alloc nodes (rsdd: 478, sdd: 62)\nCompiling fixtures/cnf/s208.1.scan.cnf with vtree strategy best fit\n75.56x speedup (rsdd: 0.017791s, sdd: 1.344285s)\n0.97x circuit size (rsdd: 2262, sdd: 2343)\n7.88x alloc nodes (rsdd: 8775, sdd: 1114)\nCompiling fixtures/cnf/tiny2.cnf with vtree strategy best fit\n0.45x speedup (rsdd: 0.003395s, sdd: 0.001539s)\n0.74x circuit size (rsdd: 14, sdd: 19)\n2.33x alloc nodes (rsdd: 21, sdd: 9)\nCompiling fixtures/cnf/x2.cnf with vtree strategy best fit\n30.20x speedup (rsdd: 0.012344s, sdd: 0.372783s)\n1.87x circuit size (rsdd: 1666, sdd: 890)\n16.90x alloc nodes (rsdd: 7235, sdd: 428)\nCompiling fixtures/cnf/c8-very-easy.cnf with vtree strategy best fit\n337.12x speedup (rsdd: 0.009885s, sdd: 3.332272s)\n0.14x circuit size (rsdd: 1074, sdd: 7618)\n1.20x alloc nodes (rsdd: 3284, sdd: 2742)\n```\n\noutput.json:\n\n```json\n[\n  {\n    \"file\": \"fixtures/cnf/cht.cnf\",\n    \"mode\": \"SDDBestFit\",\n    \"rsdd\": {\n      \"circuit_size\": 2938,\n      \"mode\": \"sdd_dtree_minfill\",\n      \"name\": \"fixtures/cnf/cht.cnf\",\n      \"num_nodes\": 12463,\n      \"num_recursive\": 155848,\n      \"time_in_sec\": 0.137216042\n    },\n    \"sdd\": {\n      \"compilation_time\": 5.48542786,\n      \"sdd_count\": 2253,\n      \"sdd_size\": 5127\n    }\n  },\n  {\n    \"file\": \"fixtures/cnf/cm152a.cnf\",\n    \"mode\": \"SDDBestFit\",\n    \"rsdd\": {\n      \"circuit_size\": 170,\n      \"mode\": \"sdd_dtree_minfill\",\n      \"name\": \"fixtures/cnf/cm152a.cnf\",\n      \"num_nodes\": 478,\n      \"num_recursive\": 1551,\n      \"time_in_sec\": 0.005100166\n    },\n    \"sdd\": {\n      \"compilation_time\": 0.030813,\n      \"sdd_count\": 62,\n      \"sdd_size\": 132\n    }\n  },\n  {\n    \"file\": \"fixtures/cnf/s208.1.scan.cnf\",\n    \"mode\": \"SDDBestFit\",\n    \"rsdd\": {\n      \"circuit_size\": 2262,\n      \"mode\": \"sdd_dtree_minfill\",\n      \"name\": \"fixtures/cnf/s208.1.scan.cnf\",\n      \"num_nodes\": 8775,\n      \"num_recursive\": 64105,\n      \"time_in_sec\": 0.017791292\n    },\n    \"sdd\": {\n      \"compilation_time\": 1.34428501,\n      \"sdd_count\": 1114,\n      \"sdd_size\": 2343\n    }\n  },\n  {\n    \"file\": \"fixtures/cnf/tiny2.cnf\",\n    \"mode\": \"SDDBestFit\",\n    \"rsdd\": {\n      \"circuit_size\": 14,\n      \"mode\": \"sdd_dtree_minfill\",\n      \"name\": \"fixtures/cnf/tiny2.cnf\",\n      \"num_nodes\": 21,\n      \"num_recursive\": 39,\n      \"time_in_sec\": 0.003395458\n    },\n    \"sdd\": {\n      \"compilation_time\": 0.001539,\n      \"sdd_count\": 9,\n      \"sdd_size\": 19\n    }\n  },\n  {\n    \"file\": \"fixtures/cnf/x2.cnf\",\n    \"mode\": \"SDDBestFit\",\n    \"rsdd\": {\n      \"circuit_size\": 1666,\n      \"mode\": \"sdd_dtree_minfill\",\n      \"name\": \"fixtures/cnf/x2.cnf\",\n      \"num_nodes\": 7235,\n      \"num_recursive\": 45971,\n      \"time_in_sec\": 0.012344167\n    },\n    \"sdd\": {\n      \"compilation_time\": 0.37278301,\n      \"sdd_count\": 428,\n      \"sdd_size\": 890\n    }\n  },\n  {\n    \"file\": \"fixtures/cnf/c8-very-easy.cnf\",\n    \"mode\": \"SDDBestFit\",\n    \"rsdd\": {\n      \"circuit_size\": 1074,\n      \"mode\": \"sdd_dtree_minfill\",\n      \"name\": \"fixtures/cnf/c8-very-easy.cnf\",\n      \"num_nodes\": 3284,\n      \"num_recursive\": 17810,\n      \"time_in_sec\": 0.009884584\n    },\n    \"sdd\": {\n      \"compilation_time\": 3.33227205,\n      \"sdd_count\": 2742,\n      \"sdd_size\": 7618\n    }\n  }\n]\n```","shortMessageHtmlLink":"Add a few fixtures, fix incorrect DIMACS annotations, more robust \"be…"}},{"before":"cab188abeecee9bf61226c3bb55ddf1ac5ce2cd3","after":"4030ae3eac9ab577a999c2d2d682fd01cb1cab46","ref":"refs/heads/main","pushedAt":"2023-05-09T05:12:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Improve benchmarking breadth: modes, size + allocated nodes, output\n\n- adds more modes with `-m` (incl. \"best\")\n- compares circuit size and # of allocated nodes\n- adds `-o` flag for JSON output of test runs","shortMessageHtmlLink":"Improve benchmarking breadth: modes, size + allocated nodes, output"}},{"before":"a7fcf6c9a5874b0639eda433a84976d6a7cfec57","after":"cab188abeecee9bf61226c3bb55ddf1ac5ce2cd3","ref":"refs/heads/main","pushedAt":"2023-05-09T02:03:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Improved DX (multiple fixtures, cleaner output, README)","shortMessageHtmlLink":"Improved DX (multiple fixtures, cleaner output, README)"}},{"before":"018893588767ca05f1e6a1dee5c6cb10cb086198","after":"a7fcf6c9a5874b0639eda433a84976d6a7cfec57","ref":"refs/heads/main","pushedAt":"2023-05-08T23:48:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Bare minimum CI","shortMessageHtmlLink":"Bare minimum CI"}},{"before":"4a9ecb08332c1f07a2670ec9e1408c1d9e775144","after":"018893588767ca05f1e6a1dee5c6cb10cb086198","ref":"refs/heads/main","pushedAt":"2023-05-08T23:34:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"MVP: valid `docker compose` to compare `sdd` versus `rsdd`\n\nTo use:\n\n- `docker compose build awsy` (build all relevant images)\n- `docker compose run awsy` (enter the top-level benchmark container)\n- `are_we_sdd_yet -f fixtures/cnf/s208.1.scan.cnf` (benchmark on a certain fixture)","shortMessageHtmlLink":"MVP: valid <code>docker compose</code> to compare <code>sdd</code> versus <code>rsdd</code>"}},{"before":"ec34d71e05203c9b257dc62748fa6357b1f2947e","after":"4a9ecb08332c1f07a2670ec9e1408c1d9e775144","ref":"refs/heads/main","pushedAt":"2023-05-08T23:12:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Bare minimum for sdd <-> rsdd comparison","shortMessageHtmlLink":"Bare minimum for sdd &lt;-&gt; rsdd comparison"}},{"before":"c5a5def1982da9202616bba51b24ef0011708555","after":"ec34d71e05203c9b257dc62748fa6357b1f2947e","ref":"refs/heads/main","pushedAt":"2023-05-08T20:34:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Create LICENSE","shortMessageHtmlLink":"Create LICENSE"}},{"before":"e57b372b80ce13dbf752012a7d49a4339a3000e7","after":"c5a5def1982da9202616bba51b24ef0011708555","ref":"refs/heads/main","pushedAt":"2023-05-08T20:34:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Create README.md","shortMessageHtmlLink":"Create README.md"}},{"before":null,"after":"e57b372b80ce13dbf752012a7d49a4339a3000e7","ref":"refs/heads/main","pushedAt":"2023-05-08T20:33:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Minimum-working cudd","shortMessageHtmlLink":"Minimum-working cudd"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADZBgZUQA","startCursor":null,"endCursor":null}},"title":"Activity · neuppl/are-we-sdd-yet"}