| hash | isohash | family | author | result | proceedings | minisat1m | filename | track |
|---|---|---|---|---|---|---|---|---|
| 00d5a43a481477fa4d56a2ce152a6cfb | 11a4812f1860f0e7bb23714e9561b108 | argumentation | hang | unknown | empty | no | st_890_86_9_572.normalised.cnf.xz | main_2025,submissions_2025 |
| 00fd8ac9acd186a7a78a2c4d92f90de1 | 18a36128dc73887ff298eb5028fc9baf | md5-equivalence-checking | jianmin | unknown | empty | no | 2.normalised.cnf.xz | main_2025,submissions_2025 |
| 0205e2dffaef93a90c239df31755f2e1 | b92c8dc5ce7ba6d6af0600815b56fc60 | belpyramid-puzzle | mihal | unknown | empty | no | bp4_CSO_AM_IXA_LP.normalised.cnf.xz | main_2025,submissions_2025 |
| 032941f5f28c9ac53fa1c80d35f3206f | f749e2f9661a3fb142b877b97f038603 | graceful-production | chowdhury | sat | http://hdl.handle.net/10138/359079 | empty | GP_216_290_40.cnf.xz | main_2025,submissions_2022 |
| 03e852aa864cfe6eb49c264b462b8157 | dcdea2bc4a7f68ca2c2b20ff2df52753 | multiplier-verification | biere | unknown | empty | no | gm24sparrc.cnf.xz | main_2025,submissions_2025 |
| 04648cef5bed430ab6429991fa9e107d | 61f452c5ca9fd747014f68675b6661a2 | ramsey-numbers | anders | unknown | empty | no | ramsey_3_6_19.normalised.cnf.xz | main_2025,submissions_2025 |
| 04f43bb4a4f2c193a18e7195a4fd8e41 | 89c6a862e18bad7c415a672bc34f8afa | risc-instruction-removal-golcrest | fleury | unsat | http://hdl.handle.net/10138/563824 | no | goldcrest-and-11.cnf.xz,goldcrest-or-11.cnf.xz,goldcrest-xor-11.cnf.xz | main_2025,submissions_2023 |
| 053e06424279f5cfec8bb14dfa9af23c | 057693f3ffed3568d4c10ba7c28fefff | risc-instruction-removal-subrv | fleury | unknown | http://hdl.handle.net/10138/563824 | no | oisc-subrv-and-nested-15.cnf.xz | main_2025,submissions_2023 |
| 062f58e44eb73f9274b57af5092cad90 | c781c6dee94f2379979b715e77f4225f | rooks | manthey | unsat | http://hdl.handle.net/10138/135571 | no | rook-51-0-0.cnf.xz | anni_2022,crafted_2014,main_2025 |
| 06d2ca2ee0b47f00d93090495f7fd4f4 | d632b4a8814446f919b8bf5cb5d4497f | clique-coloring | anders | unknown | empty | no | clqcl_100_6_5.normalised.cnf.xz | main_2025,submissions_2025 |
| 07cea7a64248a60d509368d09d3057c2 | c63ab9077173b05903e573572e1a966b | hardware-model-checking | biere | unsat | http://hdl.handle.net/10138/359079 | empty | pj2013_k9.cnf.xz | main_2025,submissions_2022 |
| 081f111af59344b61346367a930e24f6 | 140226a8c6f6bc83654444e7f445162c | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | empty | Break_triple_04_06.xml.cnf.xz | main_2025,submissions_2022 |
| 0876c518e5653369e20fb1ee0bb8db40 | 224d7d28a225310114abcb5ff2965575 | crafted-cec | klieber | sat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 | no | mp1-klieber2017s-0500-023-t12.cnf.xz | anni_2022,main_2017,main_2024,main_2025 |
| 08d56c03e6561f6b9bec2e3f344ea3de | f3447fbeb77045bcb952ee1d55a526c8 | coloring | oertel | unknown | http://hdl.handle.net/10138/359079 | empty | cliquecoloring_n26_k7_c6.cnf.xz | main_2025,submissions_2022 |
| 09befe1ffd4e02a988cadecd0a012261 | d84e4da486c3b14f69f5aae97b7d3e3b | graceful-production | chowdhury | sat | http://hdl.handle.net/10138/359079 | empty | GP_300_140_20.cnf.xz | main_2025,submissions_2022 |
| 09cd83e233380d0ba1fc56cee88367b1 | ef179e5f064601a2ce140c53a9d28c28 | belpyramid-puzzle | qian | unknown | empty | no | s38417.cnf.xz | main_2025,submissions_2025 |
| 0a4880c0e882e6a4a31943522573c394 | 9fec20206d3784c8e61b49a1acc333f7 | belpyramid-puzzle | qian | unknown | empty | no | b19_1.cnf.xz | main_2025,submissions_2025 |
| 0a8a4c28d27228e954354ea0a6e7f16c | ab18d4965b79f44878b15469600a0970 | sat-x | riveros | sat | http://hdl.handle.net/10138/359079 | empty | sum_of_three_cubes_42_known_representation.cnf.xz | main_2025,submissions_2022 |
| 0aa22564d00e9716519918d84b25c4a7 | 2a9e58ee8bac20c61ef703dc7b374ca7 | sudoku | zhenjiang | unsat | http://hdl.handle.net/10138/359079 | empty | sudoku-N30-12.cnf.xz | main_2025,submissions_2022 |
| 0ae917c2e0c1d39cbe411c29b2f5ff08 | 2635d2bb028b67585d821ffba537c4d6 | discrete-logarithm | jingchao | sat | http://hdl.handle.net/10138/318754 | no | dislog_a14_x14_n24.cnf.xz | anni_2022,main_2020,main_2025 |
| 0c0430a68f147be18ab3fded07f30fdb | 0a6cb4d330cbb5df8717d62408d77346 | oddball-weighing | mihal | unknown | empty | no | oddball_53_5_tto_zp.normalised.cnf.xz | main_2025,submissions_2025 |
| 0c9bcbc815cf0f109b7aeef3fbffc42d | a69f6a064a881e532cc88bd71b0c3aec | minimal-disagreement-parity | simon | sat | empty | no | par32-2.shuffled-as.sat03-1534.cnf.xz | anni_2022,handmade_2003,main_2025 |
| 0ccb0f855352783a972be45188bf3164 | 9a95fe18fef6e6e9ebe3263c7ca7e20b | set-covering | zheng | unsat | http://hdl.handle.net/10138/359079 | empty | SCPC-500-12.cnf.xz | main_2025,submissions_2022 |
| 0d8779c22e2caa8d676723701e5a0347 | c11c03d6fd94d8ef40913c5157a2ad3f | hardware-model-checking | biere | unknown | http://hdl.handle.net/10138/359079 | empty | pj2016_k100.cnf.xz | main_2025,submissions_2022 |
| 0dd928240a9559ab7e50d088e3f168ac | a67f47a3de538213579102fd00b28211 | hardware-model-checking | biere | unknown | http://hdl.handle.net/10138/359079 | empty | pj2002_k500.cnf.xz | main_2025,submissions_2022 |
| 0e1d562093d5f4fc9013cf4a14a03f70 | 248bed63b5c2f7f7528817c04a90a385 | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | empty | Break_12_50.xml.cnf.xz | main_2025,submissions_2022 |
| 0e36fa2e12f32cde67937803299fb57b | 45db89d994856600e1563287f13f16d2 | hardware-model-checking | huawei | unsat | http://hdl.handle.net/10138/359079 | empty | 6s268r_Iter94.cnf.xz | main_2025,submissions_2022 |
| 0ec8c5e9084cbc8a326f8f37e1abf741 | 8d02fdbd79e1b50cef6e524045295832 | oddball-weighing | mihal | unknown | empty | no | oddball_54_5_tto_zp.normalised.cnf.xz | main_2025,submissions_2025 |
| 0ed8c06438673f179985a79b9d6a9fe4 | 73db45e89c736a307eaf6295170680bd | graph-isomorphism | yangli | unsat | http://hdl.handle.net/10138/359079 | empty | cfi-rigid-s2-0064-04-or_2_shuffle_all.cnf.xz | main_2025,submissions_2022 |
| 0f269188707a1b2f309dd1c70bfe22b0 | 6092d4d86676803faa9e63363b8b9704 | belpyramid-puzzle | mihal | unknown | empty | no | bp4_BC012_CSO_AM_IXA.normalised.cnf.xz | main_2025,submissions_2025 |
| 110f8eb8b9b80204fe955ea0973bbb00 | dce8da853dd7d3124b978c73886ed3a5 | clique-coloring | anders | unknown | empty | no | clqcl_30_7_6.normalised.cnf.xz | main_2025,submissions_2025 |
| 113e692e379518bc3277855277dcc1b8 | 49410b891215cd693da01a492d3309de | risc-instruction-removal-subrv | fleury | unknown | http://hdl.handle.net/10138/563824 | no | oisc-subrv-sll-nested-8.cnf.xz | main_2025,submissions_2023 |
| 115fa7f61704bc12b2373aa471bc434f | d91f7a636ae4bfdcdee525f9125586c3 | circuit-multiplier | shunyang | sat | http://hdl.handle.net/10138/333647 | no | Circuit_multiplier24.cnf.xz | anni_2022,main_2021,main_2025 |
| 12820b981e6b199a1b1a8c896386a337 | e8b730adf6c712f349955916cd000d23 | scheduling | reeves | unknown | empty | no | RoundRobin_n16_d14.cnf.xz | main_2025,submissions_2025 |
| 1576e239e1c17939f24688a12fb10fae | 9e7e55318802dd0f233115596b2a64c2 | hardware-model-checking | huawei | sat | http://hdl.handle.net/10138/359079 | empty | 6s299b685_Iter22.cnf.xz | main_2025,submissions_2022 |
| 16564a6acba6b9fc887c447d4e507767 | c6ab97e638c924f6200c70acd4f6c79f | argumentation | niskanen | sat | http://hdl.handle.net/10138/563824 | no | ER_400_20_7.apx_2_DS-ST.cnf.xz | main_2025,submissions_2023 |
| 16c999d046885c8e51f196e60c34d966 | b868e3a2a6cd31b830a2f17a53030b51 | planning | jarvisalo | unsat | empty | no | aaai10-planning-ipc5-pathways-17-step20.cnf.xz | anni_2022,application_2011,application_2012,application_2013,application_2014,main_2015,main_2025,portfolio_2012 |
| 16ff47a05b769ed6a04c7175cfc6da55 | e82fe34c66c22e834188f679c75ab45a | circuit-equivalence-checking | xinyan | unsat | http://hdl.handle.net/10138/359079 | empty | sqrt-mitern170.cnf.xz | main_2025,submissions_2022 |
| 1753a71fefceb0250a75e67b610050a0 | f69e7110daec95b092d9cf3f7515f109 | graceful-production | chowdhury | sat | http://hdl.handle.net/10138/359079 | empty | GP_190_225_30.cnf.xz | main_2025,submissions_2022 |
| 1890f49a43a94b97828528b68c32b78e | 9108c03884869c20344bca9cfeeb0784 | fpga-routing | aloul | unsat | empty | no | homer11.shuffled.cnf.xz | anni_2022,industrial_2002,main_2025 |
| 18d4124324b56e434118f9ef72198d84 | 8f48367ecb89760cfb3c2cdad36eb3b8 | cellular-automata | chowdhury | unsat | http://hdl.handle.net/10138/333647 | no | spg_300_300.cnf.xz | anni_2022,main_2021,main_2025 |
| 19951d43eff5fc4ef6fd07d7a5324fa0 | 38e57ce23c0a9d5666c4649ad4952196 | oddball-weighing | mihal | unknown | empty | no | oddball_80_5_tto_zp.normalised.cnf.xz | main_2025,submissions_2025 |
| 1a92907cdec0528583a8f49a818b406d | 92849b059480ccc59cd9458b94f90714 | algorithm-equivalence-checking | kochemazov | unsat | http://hdl.handle.net/10138/359079 | empty | BubbleVsPancakeSort_8_4.cnf.xz | main_2025,submissions_2022 |
| 1a936d41e3439d602c3ddcf96458a38c | e68a9fb80ba7767a4c92b4fc23cc4af6 | p-center | shuolin | unknown | empty | no | arles_thres10_p10_r8185.cnf.xz | main_2025,submissions_2025 |
| 1a9512580b2d946ebd41de4e8c08c42d | 74cc4df10903775cf846272e1bed71c6 | software-verification | osama | unsat | http://hdl.handle.net/10138/359079 | empty | linked_list_swap_contents_safety_unwind50.cnf.xz | main_2025,submissions_2022 |
| 1b3c7ac17705be94daaddb5f5ae4816b | 6fceac6a4707051d4602c9a6129a250a | rooks | manthey | unsat | http://hdl.handle.net/10138/135571 | no | rook-56-0-0.cnf.xz | anni_2022,crafted_2014,main_2024,main_2025 |
| 1b84df53843ecd90ec8c3c7a01cada6c | ce4b0d68d50c0e40614917a843243ef0 | ramsey-numbers | anders | unknown | empty | no | ramsey_4_4_18.normalised.cnf.xz | main_2025,submissions_2025 |
| 1b8806812861df2b7e91dc316ad1ef80 | ba7d5b05121b3f51cec48cc6b4322da3 | oddball-weighing | mihal | unknown | empty | no | oddball_52_5_tto_zp.normalised.cnf.xz | main_2025,submissions_2025 |
| 1b9f94befb5bc867c0e882f49973f793 | 122bc88b1c7c785c0687b00963ba1bd8 | belpyramid-puzzle | mihal | unknown | empty | no | bp4_BC012_AM_FPBEQ_ZR.normalised.cnf.xz | main_2025,submissions_2025 |
| 1c21a43aa1ad437e4a7e4eb5b9cd45a1 | d160d10fa980cc6fd95e4cab7d0bb78d | md5-equivalence-checking | jianmin | unknown | empty | no | 9.normalised.cnf.xz | main_2025,submissions_2025 |
| 1c30806c5aa9cd54bf823c20fa078243 | a17be0758d0be9760c4926cce2bc0cd0 | oddball-weighing | mihal | unknown | empty | no | oddball_26_5_ttf.normalised.cnf.xz | main_2025,submissions_2025 |
| 1d18837c0ced5c18a3a4693993e61728 | 1033be9d8dc0f69ffc3f2dcfd08e98c5 | school-timetabling | tchinda | unknown | empty | no | SC25_Timetable_C_392_E_45_Cl_25_D_7_T_50.normalised.cnf.xz | main_2025,submissions_2025 |
| 1d90be3e37a42432d281cf6c1b8eae4b | 44a8cb8fc36f50ecccc79711eb135380 | miter | xindi | unsat | http://hdl.handle.net/10138/563824 | no | multiplier_16bits__miter_22.cnf.xz | main_2025,submissions_2023 |
| 1e0d58c7e52319b3b17e343ec7ca6de5 | c6bf5bc239e71d42a8142d9b0e36564c | quasigroup-completion | sorge | unsat | empty | no | QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009,crafted_2012,crafted_2013,main_2025 |
| 1e87463fee15de63143796fd92d88a58 | 5bbe5d70b3f8ec9b3699bb60bfe84a88 | argumentation | hang | unknown | empty | no | crusti_g2io_175_0.2_511_32.normalised.cnf.xz | main_2025,submissions_2025 |
| 207ebdf62e5ce54c8b4ddeeb17843a56 | 765ddfa3a905b5770ea95d5f780d2ea4 | circuit-equialence-checking | junhua | unknown | http://hdl.handle.net/10138/359079 | empty | hhyp_cec_multi_2.cnf.xz | main_2025,submissions_2022 |
| 21415e807689ea75536e846a24623de1 | 97d983a5fb9b7a115082be818d1b46f9 | clique-coloring | anders | unknown | empty | no | clqcl_50_6_5.normalised.cnf.xz | main_2025,submissions_2025 |
| 21b173943af57eefaac5e88bfa2662ad | e60586dc23d0c4f7f459e24f81ef3200 | planning | unknown | unsat | empty | no | shuffling-1-s1769330284-of-bench-sat04-422.used-as.sat04-561.cnf.xz | anni_2022,industrial_2004,main_2025 |
| 2241a1fb5bdbac0c1a3c1980ed8b332d | 3c8fdc0688d50d42994006ac22c31c0d | argumentation | hang | unknown | empty | no | crusti_g2io_225_0.1_31_25.normalised.cnf.xz | main_2025,submissions_2025 |
| 22c8d6aa86d51e15ef5ab37479eda22b | b67f5c82d57605a83da4a5e1fa6d1da9 | ordering-principle-xor | oertel | unsat | http://hdl.handle.net/10138/359079 | empty | xor_op_n40_d3.cnf.xz | main_2025,submissions_2022 |
| 22df1827e3253fc824cc7ce806d75e0a | b25da67a12ea21d8cd043341e6b1d7ae | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-10070.sat.sanitized.cnf.xz | main_2025,submissions_2024 |
| 24075575c3dbd9e9eae948dd2241b029 | 9ba9d431361faaa6763e7e068de487c9 | diagnosis | anbulagan | unsat | empty | no | UR-15-10p0.cnf.xz | anni_2022,application_2009,application_2012,application_2013,application_2014,application_2016,main_2021,main_2025 |
| 2412325e3c099453b99c87864477363c | 5a972a811d7a746110234954040f8832 | p-center | shuolin | unknown | empty | no | arles_thres20_p10_r7340.cnf.xz | main_2025,submissions_2025 |
| 24bde22f729a988fb2394b644cb60d39 | a834717132f5ecdcd6645478ec21ae92 | school-timetabling | tchinda | unknown | empty | no | SC25_Timetable_C_481_E_49_Cl_32_D_7_T_58.normalised.cnf.xz | main_2025,submissions_2025 |
| 25390e9d1fa1926485db7eb2d5a20ea8 | da2ae58523ddc76fa91b2f6fbf900955 | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | empty | ITC2021_Late_10.xml.cnf.xz | main_2025,submissions_2022 |
| 27570c6780aaade3dc771c6a12534fb8 | 511b1dd93fc2d92e0279f97ba0d79bff | independent-set-reconfiguration | froleyks | sat | http://hdl.handle.net/10138/359079 | empty | reconf10_22_queen20_3_8667.cnf.xz | main_2025,submissions_2022 |
| 27cb3a6ca772613c5998d7f78a55ba45 | 8398f2592a1b6906454dde2d2e9d5d27 | belpyramid-puzzle | mihal | unknown | empty | no | bp4_AM_IXA_FPBLE.normalised.cnf.xz,bp4_BC012_AM_IXA_FPBLE.normalised.cnf.xz | main_2025,submissions_2025 |
| 28eeb2beac7005a9afa98e4d3aaca621 | 0b8c1a096293d49476b429f7fba37264 | equivalence-checking | zhenwei | unknown | empty | no | oski15a01b40s_opt.cnf.xz | main_2025,submissions_2025 |
| 2925ee90763e08b2f7e79c7c713c86b9 | cb3830f3d0f0be927c51cbdb14d4535a | at-least-two-sol | manthey | sat | http://hdl.handle.net/10138/333647 | no | at-least-two-ibm-2004-23-k100.cnf.xz | anni_2022,main_2021,main_2025 |
| 292bedf65cee7cc38fe8b2725eb50868 | 412aa309cc022c2ebd91a01f6d20cb91 | clique-colouring | yldirimoglu | unknown | http://hdl.handle.net/10138/563824 | no | cliquecoloring_n32_k5_c4.cnf.xz | main_2025,submissions_2023 |
| 296fd43ed40e242875984420f29be73f | 4eef2462a26e345e7b99407056d4787d | oddball-weighing | mihal | unknown | empty | no | oddball_24_5_ttf.normalised.cnf.xz | main_2025,submissions_2025 |
| 29b573e0f7b922c4bd0a675db005265f | 895600991e11920d6a2c74ef095bc690 | belpyramid-puzzle | qian | unknown | empty | no | b18.cnf.xz | main_2025,submissions_2025 |
| 29b7d5a498eff7a98fcd03a273eaeba3 | a6c91632fdd2db00e294a25f6dbee927 | hypertree-decomposition | schidler | sat | http://hdl.handle.net/10138/318754 | no | Kakuro-easy-132-ext.xml.hg_8.cnf.xz | anni_2022,main_2021,main_2025 |
| 2b4467a5ac4ac41b36d4c3432b07f767 | 3bdcf2c6bd2bfb3af443449e641e76d5 | oddball-weighing | mihal | unknown | empty | no | oddball_69_5_tto_zp.normalised.cnf.xz | main_2025,submissions_2025 |
| 2bdfcf23ac1829912a408402a540972a | 7e179d72460e6879adc03745e145449d | independent-set | manyem | unknown | http://hdl.handle.net/10138/584822 | empty | 1-ET-256-K-65.sanitized.cnf.xz | main_2025,submissions_2024 |
| 2c8eb0402be32cf281e23f00d5a16259 | e609224dbe656994b6973203acaf8740 | equivalence-checking | zhenwei | unknown | empty | no | oski15a01b45s_opt.cnf.xz | main_2025,submissions_2025 |
| 2d0c041c0fe72dc32527bfbf34f63e61 | 7f8b8eeb26095b7f790838711b64271c | hgen | guanfeng | sat | http://hdl.handle.net/10138/318754 | no | 170223547.cnf.xz | anni_2022,main_2020,main_2023,main_2025 |
| 2de9b79919882078aea76f297fc923e5 | f9136f9bf939d53672d63ae9f243b862 | unknown-cases | xu | unknown | empty | no | case11.normalised.cnf.xz | main_2025,submissions_2025 |
| 2e058841373f34cc47d8dec927fd1796 | 2ed7410b751d0aa2afdde2197e493f76 | planning | rintanen | sat | empty | no | blocks-blocks-36-0.150-NOTKNOWN.cnf.xz | anni_2022,application_2012,application_2013,main_2025 |
| 30f64b3b0870ce5d22d4217782224dfe | 2da4a7118a039a586dba7009fe4bff37 | mechanical-master-key | schreiber | unknown | empty | no | lockchart-group1-L200-K289-p8d4j1.normalised.cnf.xz | main_2025,submissions_2025 |
| 3197b65ef50328394a0c9e73281d7122 | 070a37620050390cc7e5784225c1a94a | belpyramid-puzzle | qian | unknown | empty | no | b20_1.cnf.xz | main_2025,submissions_2025 |
| 31e843c53a76ff3961935ad55b953298 | b82b377dd159762b92cef9cb3d0b851e | circuit-equivalence-checking | xinyan | unsat | http://hdl.handle.net/10138/359079 | empty | sqrt-mitern171.cnf.xz | main_2025,submissions_2022 |
| 321732c1a401ff109b2f2b447e3dbe5e | 50d852613e24168a4d0db833125d30da | multiplier-equivalence-checking | yalun | unknown | empty | no | 16_16_booth_wallace_mapped_and_default_origin_bit28.cnf.xz | main_2025,submissions_2025 |
| 334aa882de28856fc8c75885285d2a3c | fb5647d34cdae8d486dabe86eace2a63 | hamiltonian-cycle | heule | sat | http://hdl.handle.net/10138/333647 | no | HCP-446-105.cnf.xz | anni_2022,main_2021,main_2024,main_2025 |
| 35748015c5f16c9ee7e4d1894af497a0 | 921e4425ad4ac02c0046bdfa67cef1ee | equivalence-checking | zhenwei | unknown | empty | no | oski15a01b39s_opt.cnf.xz | main_2025,submissions_2025 |
| 35b9091b90bd28a492c9556d6fc4348d | 025a1a7ceef41178663eda9e82eced73 | belpyramid-puzzle | mihal | unknown | empty | no | bp4_TCO_CSO_ZR.normalised.cnf.xz | main_2025,submissions_2025 |
| 35ec95b9b2398fb522db178855016ae0 | 9caec987a8fc62b63bdef381cc14ae27 | scheduling | reeves | unknown | empty | no | MVRoundRobin_n14_d10_v2.cnf.xz | main_2025,submissions_2025 |
| 3619135ee5865be0a107449fb31defd9 | 2218e016373eb0b9ef2dccc4378e1acc | p-center | shuolin | unknown | empty | no | arles_thres20_p10_r7475.cnf.xz | main_2025,submissions_2025 |
| 362d153b4162127bc42796180110f483 | a795e60f90956f3e335ae5c9c1f025f9 | multiplier-circuits | shunyang | sat | http://hdl.handle.net/10138/359079 | empty | Carry_Bits_Fast_19.cnf.cnf.xz | main_2025,submissions_2022 |
| 36ba44cf208034e2c8e84a1971b9bfd4 | e7feb9213eac0a41d075cfc5cd032ae8 | generic-csp | connamacher | sat | empty | no | connm-ue-csp-sat-n1200-d-0.02-s405595518.shuffled-as.sat05-531.cnf.xz | anni_2022,crafted_2005,main_2025 |
| 3746303c659ef65aaa78f3b52cd5de49 | c01a5806a4f8086269b128906bb2873f | hardware-model-checking | huawei | sat | http://hdl.handle.net/10138/359079 | empty | 6s299b685_Iter30.cnf.xz | main_2025,submissions_2022 |
| 389bb0a8f3568f4bd0e71771df9093c5 | 3402c627e9513371d16956236dcc40e7 | algorithm-equivalence-checking | kochemazov | unsat | http://hdl.handle.net/10138/359079 | empty | BubbleVsPancakeSort_7_6.cnf.xz | main_2025,submissions_2022 |
| 395829127ec213c2e69a6a13dda3623b | 16aa87e39d57cb7656a502c2a9ebe426 | mechanical-master-key | schreiber | unknown | empty | no | lockchart-group2-rnd0.3-L19-K38-P8D4J1_1.normalised.cnf.xz | main_2025,submissions_2025 |
| 3a1f1b4b9a521737cc760017fe9d8b43 | 3dea23a7f91fabd9dec57f5d5b4387de | scheduling | reeves | unknown | empty | no | MVRoundRobin_n16_d10_v3.cnf.xz | main_2025,submissions_2025 |
| 3b5d7ec347010e177bfa04b298fc75cf | ef0a50e86adf724467db729c6fa987d2 | hardware-model-checking | froleyks | unknown | empty | no | nla-digbench-scaling_dijkstra-u_valuebound1_transition.cnf.xz | main_2025,submissions_2025 |
| 3bfa92996634d2ddc6c0568bba9a0f99 | e3baa5eb3fa9ca66461adb8e5d71173d | unknown-cases | xu | unknown | empty | no | case6.normalised.cnf.xz | main_2025,submissions_2025 |
| 3c0db78733bb05b9d1e9d7627b2e8f38 | e1bee66be01b888684465fd08f53cbee | rooks | manthey | unsat | http://hdl.handle.net/10138/135571 | no | rook-52-0-1.cnf.xz | anni_2022,crafted_2014,main_2025 |
| 3c129545f090ef08b6ef89a2903ff83e | 5bf49b5d829a3a80ee56d01db3451a9c | equivalence-checking | zhenwei | unknown | empty | no | oski15a01b09s_opt.cnf.xz | main_2025,submissions_2025 |
| 3cda1cbfbcabfc71ece7961d4d6ad1bb | c17a655707b5789e7723ff5bf74b88b9 | mechanical-master-key | schreiber | unknown | empty | no | lockchart-group2-rnd0.3-L19-K38-P8D4J1_3.cnf.xz | main_2025,submissions_2025 |
| 3ec81fcaac5a1da8a6ca4da0b9d8eb02 | 404160649c12bcdb98c9906914750fd8 | multiplier-verification | biere | unknown | empty | no | gm16spctrc.cnf.xz | main_2025,submissions_2025 |
| 3ef7fa06c6380f12cfe2970873da6fb1 | f4af5333a759f78551da4766e1dff3d3 | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-64-48.cnf.xz | main_2025,submissions_2023 |
| 3f67f6767764855e516e5394be1145e5 | f14d1307b115e8e17334d6601680ff17 | grandtour-puzzle | chowdhury | unsat | empty | no | gto_p60c238-sc2018.cnf.xz | anni_2022,main_2019,main_2025 |
| 416e33a8463911546e4cd87d282a7e1e | 60f769e017aafbc0a8db95a51b29b83e | unknown-cases | xu | unknown | empty | no | case10.cnf.xz | main_2025,submissions_2025 |
| 418b8aa42088cb0b1d85014dfa285b25 | 6c2375886370b715abb670d5ad8a0000 | multiplier-equivalence-checking | yalun | unknown | empty | no | 16_16_booth_wallace_origin_and_and_dadda_mapped_bit28.cnf.xz | main_2025,submissions_2025 |
| 41915707d831e1365389d3cc47c7953f | b7a1b0bd3f0e11eef200d159b403fd59 | oddball-weighing | mihal | unknown | empty | no | oddball_51_5_tto_zp.normalised.cnf.xz | main_2025,submissions_2025 |
| 41d14756a06872844577fc0abddb58aa | 1caa29b6352ce549c592dc3e1c0d0921 | tseitin-formulas | yldirimoglu | unknown | http://hdl.handle.net/10138/563824 | no | tseitin_d3_n100000.cnf.xz | main_2025,submissions_2023 |
| 41f507717c7c4553d23cd0cd1fc40104 | a617aaa4bbb127a4729a7754668d5eed | independent-set | manyem | unknown | http://hdl.handle.net/10138/584822 | empty | 1-ET-512-K-120.sanitized.cnf.xz | main_2025,submissions_2024 |
| 42f1311ce504db8cc0cb590a568da20a | 61a257c81b2f81cb419b631cfe821f59 | tseitin-formulas | oertel | unknown | http://hdl.handle.net/10138/359079 | empty | tseitin_n188_d3.cnf.xz | main_2025,submissions_2022 |
| 42fdd4f4c27fd03267afd82490cb59a4 | 9958c63f0c3918551ce0789c264f9603 | graceful-production | chowdhury | sat | http://hdl.handle.net/10138/359079 | empty | GP_100_1000_10.cnf.xz | main_2025,submissions_2022 |
| 43687a48fb119ca61b47c2fc69a71e7d | cbb0fa22c873921506ded00e87ce3714 | gray_codes | manthey | unsat | empty | no | manthey_single-ordered-initialized-w42-b8.cnf.xz | anni_2022,main_2015,main_2022,main_2025 |
| 43ebdada6f6153b50a140ba908d5bf44 | 083270759c5316d0388f80ac990db264 | oddball-weighing | mihal | unknown | empty | no | oddball_67_5_tto_zp.normalised.cnf.xz | main_2025,submissions_2025 |
| 43fbacb24ea30054dece1de179c4ca7e | 248eb00ed60f3bc6ca6e0847d1d83921 | argumentation | niskanen | sat | http://hdl.handle.net/10138/563824 | no | ER_400_20_7.apx_1_DS-ST.cnf.xz | main_2025,submissions_2023 |
| 45742d067cc851edc1201d8a02586eac | 64e6e974a0c3f193cb4b5897cf1d2890 | mutilated-chessboard | porkhunov | unsat | empty | no | mchess_20.cnf.xz | anni_2022,main_2018,main_2025 |
| 46355da785714f239393e7630020cae3 | e72f092fb900fd03e7385a68103747d7 | reg-n | shuolinli | unknown | http://hdl.handle.net/10138/584822 | empty | REGRandom-K4-L1-Seed40.sanitized.cnf.xz | main_2025,submissions_2024 |
| 465795fa2641c616ce76de8501672a19 | e55b0ba2cf59a3bd336807bf5351d518 | waerden | kullmann | sat | empty | no | VanDerWaerden_pd_2-3-27_663.cnf.xz | anni_2022,crafted_2012,main_2025 |
| 465c7f101b2d24de63f6a6f544faa9ee | 7a6332f4a4439978ce52a36123ed2fa9 | argumentation | hang | unknown | empty | no | crusti_g2io_175_0.2_511_10.normalised.cnf.xz | main_2025,submissions_2025 |
| 46a8727e27d848faafd83a990c2e01a7 | 8418135e4cafdae0f09faa350df0fd9d | unknown-cases | xu | unknown | empty | no | case8.normalised.cnf.xz | main_2025,submissions_2025 |
| 474e9594ec7885cb1bebf66073eb2de2 | 1a9feeeaf5ed0ed08555b5b8f80ff224 | fixed-shape-random | belov | sat | empty | no | fsf-300-354-2-2-3-2.35.opt.cnf.xz | anni_2022,crafted_2012,main_2025 |
| 4761df10c93b58dc5985ca8a43c959cf | a95cfc88115fcc54b05d5d77ba037efb | p-center | shuolin | unknown | empty | no | arles_thres10_p10_r8188.cnf.xz | main_2025,submissions_2025 |
| 47f5872181a581dff34eb33123fe3242 | a35b706d977bd25686e89649dde69401 | belpyramid-puzzle | qian | unknown | empty | no | b17.cnf.xz | main_2025,submissions_2025 |
| 482295be38dc1d63a16f3cf649ef7ef6 | 677ca44e6855a4c19bf7d372db6edc98 | mycielski-graph | unknown | unsat | empty | no | myciel6-cn.used-as.sat04-319.cnf.xz | anni_2022,industrial_2004,main_2025 |
| 4ba2c1aa580b6497df6baf5e7e2c87be | 466fe70d59a10c6f8bb903a2cf677fbb | at-least-two-sol | manthey | sat | http://hdl.handle.net/10138/333647 | no | at-least-two-vmpc_28.cnf.xz | anni_2022,main_2021,main_2025 |
| 4c037368864330bff3940837ac28ac14 | 9d0d8ad4512a57b0f5c95a5746d4ef35 | mechanical-master-key | schreiber | unknown | empty | no | lockchart-group2-rnd0.3-L18-K36-P8D4J1.cnf.xz | main_2025,submissions_2025 |
| 4c3001f8073986116d98084dde70da05 | daf3b77f0080235a3cd90121fe041b76 | fixed-shape-random | belov | sat | empty | no | fsf-300-354-2-2-3-2.9.opt.cnf.xz | anni_2022,crafted_2012,main_2025 |
| 4c7e09f077026b9ee3900bfed6825fbb | 6eaa42e5de3dbb27eeb726bf7938b396 | pythagorean-triples | heule | sat | empty | no | Ptn-7824-b19.cnf.xz | anni_2022,crafted_2016,main_2025 |
| 4cf3505e5183c26bbd97d89fdaa93f8c | 23cce00f9b867bc9e9f9f086a8de5029 | oddball-weighing | mihal | unknown | empty | no | oddball_26_4_ttf.normalised.cnf.xz | main_2025,submissions_2025 |
| 4d6e18e506b7e62d3f32cc775219be24 | b9342d6901dd534fdb6355fda378f9ed | graceful-production | chowdhury | sat | http://hdl.handle.net/10138/359079 | empty | GP_100_951_33.cnf.xz | main_2025,submissions_2022 |
| 4e3195a382f5af213444736fcc8b364f | e6c78423ce3cd076c913cf2e933c9c69 | unknown-cases | xu | unknown | empty | no | case1.normalised.cnf.xz | main_2025,submissions_2025 |
| 4f4d22ce7643079412975a662e9363fd | 7ae3aa97ddc5a0b22338951bd36b1aaa | ordering-principle-xor | oertel | unsat | http://hdl.handle.net/10138/359079 | empty | xor_op_n38_d3.cnf.xz | main_2025,submissions_2022 |
| 50519e9e964f30dc34992f0348bd7005 | efacbd13d759e2dd8d50ca7e26d87383 | p-center | shuolin | unknown | empty | no | arles_thres10_p10_r8142.cnf.xz | main_2025,submissions_2025 |
| 51482a5b06b055edfdca576d654ce191 | 934ac84d19482896c98107a3bd15ce69 | hardware-model-checking | biere | unsat | http://hdl.handle.net/10138/135571 | no | bob12s09-opt.cnf.xz | anni_2022,application_2014,main_2025 |
| 5246b7b99ba005af421d86299f7d26d0 | 1fc849d8c8dd6c58deaa6d67b22900b3 | belpyramid-puzzle | qian | unknown | empty | no | b15.cnf.xz | main_2025,submissions_2025 |
| 526caead2f3c84c2918a2fc775dc3e97 | 536cc4dd3eba3a0d311611360acb2296 | ramsey-numbers | anders | unknown | empty | no | ramsey_3_7_23.normalised.cnf.xz | main_2025,submissions_2025 |
| 5314fd6ccb53b6f6af49a594ea68a273 | 4d7939235c15ac74f43934612a0dc86f | equivalence-checking | zhenwei | unknown | empty | no | oski15a01b15s_opt.cnf.xz | main_2025,submissions_2025 |
| 533017e0f42d8246c7ae140313a84161 | 1dcf2f5f4da2c317ea4c61b87975b58d | baseball-lineup | hickey | unsat | http://hdl.handle.net/10138/318754 | no | baseballcover12with25_and5positions.cnf.xz | anni_2022,main_2020,main_2025 |
| 539a1f4e4f7a95ab0ac55df50445cceb | cc0bd82ce4e0b0b714b633e86fb5369e | miter | xindi | unsat | http://hdl.handle.net/10138/563824 | no | multiplier_15bits__miter_23.cnf.xz | main_2025,submissions_2023 |
| 53c21f3e78f060883026b5a12ba691d8 | 2bd5ea807bd218d714d8a8161158a5fd | maximum-constraint-partition | riveros | sat | http://hdl.handle.net/10138/333647 | no | maximum_constrained_partition_14_bits_n200.cnf.xz | anni_2022,main_2021,main_2025 |
| 53e347648553a2f2223614d3b4a07a4b | bbc2a312f31586b283474423a51ae94f | scheduling | reeves | unknown | empty | no | RoundRobin_n17_d15.cnf.xz | main_2025,submissions_2025 |
| 546f8e069aa450002a30c9c47538fe95 | 8676cafa84622711893be31fe7d75b0b | hardware-model-checking | huawei | sat | http://hdl.handle.net/10138/359079 | empty | intel047_Iter78.cnf.xz | main_2025,submissions_2022 |
| 54d496c14fd2461642ef6be5341b297b | 835cf824e7a7d60ca0e9ce33ca3d31d6 | miter | biere | unknown | http://hdl.handle.net/10138/584822 | empty | hwmcc17miters-xits-iso-6s163.sanitized.cnf.xz | main_2025,submissions_2024 |
| 557d7d4db5399188f62bc39598c6d868 | a3164ad53f2b49ebc17f0d6a4f82424a | polynomial-multiplication | xiao | sat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=43 | no | mp1-Nb7T46.cnf.xz | anni_2022,main_2017,main_2021,main_2025 |
| 56913ff910c49dd5010653720970d944 | 9450e55c6a6adea943f7565bc76c31e7 | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-32-64.cnf.xz | main_2025,submissions_2023 |
| 57b478982ee9aba245ba792452b18fe3 | 01f0304f0ab8cbfa3fbb0cf2ce522f5d | waerden | kullmann | sat | empty | no | VanDerWaerden_pd_2-3-22_462.cnf.xz | anni_2022,crafted_2011,crafted_2012,main_2025,portfolio_2012 |
| 5831f35622f3e6c666f0cee6cac60e4c | a05f6afda34c88ad39feba29d73475a8 | belpyramid-puzzle | qian | unknown | empty | no | s38584.cnf.xz | main_2025,submissions_2025 |
| 5911653e4edadec391654c8f06353f9a | 9c8ee3c2601cd7367da3a9be230748a0 | equivalence-checking | zhenwei | unknown | empty | no | oski15a01b06s_opt.cnf.xz | main_2025,submissions_2025 |
| 59825ed96dc3bbdbd8789a4870b323ec | 2cafa87b6321f800d7823abcde66b240 | knights-problem | unknown | sat | empty | no | hcp_CP18_18.cnf.xz | anni_2022,main_2019,main_2024,main_2025 |
| 59fc779feee4390b57502814d424e0d6 | 58ae91232281cd528a92ac63b1bb3828 | random-modularity | giraldez | sat | empty | no | jgiraldezlevy.2200.9086.08.40.149-sr2015.cnf.xz | anni_2022,main_2019,main_2025 |
| 5aed29ce52192a55ffbd2a6f340017e7 | b4cffe332e2eb6de1263b9e34e9ceab4 | risc-instruction-removal-subrv | fleury | unknown | http://hdl.handle.net/10138/563824 | no | oisc-subrv-and-nested-12.cnf.xz | main_2025,submissions_2023 |
| 5c24cfeff639fefdead9a5641f65fa22 | df85b9e1958d58cdd08d4b3237f5a657 | belpyramid-puzzle | qian | unknown | empty | no | c7552.cnf.xz | main_2025,submissions_2025 |
| 5c29ccca91235475f762f4b106f804f2 | 498f5e071772066882324bc45f14672e | subgraph-isomorphism | anton | unsat | empty | empty | SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf.xz | anni_2022,crafted_2011,crafted_2012,handmade_2003,main_2025 |
| 5c47810953b22baa5f6f45585430fc77 | 6795642d876e12c4e3670b05b229bea9 | equivalence-checking | zhenwei | unknown | empty | no | oski15a01b20s_opt.cnf.xz | main_2025,submissions_2025 |
| 5c8f4e54e195d46053b04e232a5661c4 | 427c7bdb5d1ad8ab033570143a3d2ac9 | unknown-cases | xu | unknown | empty | no | case7.normalised.cnf.xz | main_2025,submissions_2025 |
| 5ceb95f5960efe1f23c3014847dea118 | 7098ab56501fecb2e07363cc6c20a24c | hardware-model-checking | biere | sat | http://hdl.handle.net/10138/359079 | empty | pj2009_k80.cnf.xz | main_2025,submissions_2022 |
| 5d62e4d7ab116c477c8d4f5bd36907de | 661383e8f4d3e1023cf2eec3d1ef9b1e | mechanical-master-key | schreiber | unknown | empty | no | lockchart-group2-rnd0.3-L19-K38-P8D4J1_2.cnf.xz | main_2025,submissions_2025 |
| 5d7bc1fb0f3269d88f732d3fb81abe59 | 9bf38d654b6326af031388f9e388e040 | multiplier-equivalence-checking | yalun | unknown | empty | no | 16_16_booth_wallace_origin_and_default_mapped_bit29.cnf.xz | main_2025,submissions_2025 |
| 5dbe7b31f9b8d8e56045493439adb949 | ea7fb80ecff1d87b882375cd396a118a | belpyramid-puzzle | mihal | unknown | empty | no | bp4_CSO_IXA_ZR.normalised.cnf.xz | main_2025,submissions_2025 |
| 5e933a625099cc1ec6a8299a7848a2ae | 61ecdbc8c9ffea46aad2b0156bc6a93c | hypertree-decomposition | schidler | sat | http://hdl.handle.net/10138/318754 | no | Kakuro-easy-112-ext.xml.hg_7.cnf.xz | anni_2022,main_2021,main_2022,main_2025 |
| 5ff5e9d5aab95667d3d2bd50e1e6792a | e245e4593820ed26fdc276a183a6bae5 | belpyramid-puzzle | qian | unknown | empty | no | b21.cnf.xz | main_2025,submissions_2025 |
| 602c8a200227ab9d64d855164d35b5cf | f660154575fb6b314a101f76f756d0a5 | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | empty | Break_12_30.xml.cnf.xz | main_2025,submissions_2022 |
| 60e39615d3af069932865a28b1bf6330 | f5c942b095559def84ecd56a759c8d27 | multiplier-equivalence-checking | yalun | unknown | empty | no | 16_16_booth_dadda_mapped_and_and_wallace_mapped_bit28.cnf.xz | main_2025,submissions_2025 |
| 6147e666b75f603a4c4490d21ab654cd | a9cb3be1d849afeec25439cb27f88a9e | hidoku | manthey | unsat | empty | no | hid-uns-enc-6-1-0-0-0-0-14492.cnf.xz | anni_2022,crafted_2013,main_2020,main_2025 |
| 619e9e0d70c78c97b0516afedf086fee | e2397eefb92da70451dd6547668be7bc | md5-equivalence-checking | jianmin | unknown | empty | no | 20.normalised.cnf.xz | main_2025,submissions_2025 |
| 6415a71364351c0a521fdee510bc2589 | 54d776743e314e6ffe2269538e66bbd8 | md5-equivalence-checking | jianmin | unknown | empty | no | 18.normalised.cnf.xz | main_2025,submissions_2025 |
| 64cb3656e0c03b3db7033ee9b987f280 | 047e3f071015aaf3e2e32921d31ced1b | edge-matching | heule | sat | empty | no | em_8_4_5_cmp.cnf.xz | anni_2022,crafted_2009,crafted_2012,crafted_2013,main_2025 |
| 65f7145996bbec02b90bd0fa64a20502 | f69a95f7cf0d1f54115b1a1386cb19c9 | bitvector | manthey | unsat | empty | no | test_v7_r12_vr10_c1_s18160.smt2-stp212.cnf.xz | anni_2022,application_2016,main_2025 |
| 663bb5659e42c2c75f74354f48895302 | 234c51f2a4a871445f31bf6e1fa1246e | set-covering | zheng | unsat | http://hdl.handle.net/10138/359079 | empty | SCPC-500-13.cnf.xz | main_2025,submissions_2022 |
| 674affb219c049cdbff1b65a6b7bedcc | df3ee0cde839e21537516c11604e4811 | argumentation | hang | unknown | empty | no | crusti_g2io_250_0.2_255_18.normalised.cnf.xz | main_2025,submissions_2025 |
| 67aa1a256f92020dccdf66b235de3986 | 28ec1b5853636a56cb52fe53a356bea6 | ensemble-computation | jarvisalo | sat | empty | no | jkkk-one-one-10-34-sat.cnf.xz | anni_2022,crafted_2012,crafted_2014,main_2025,portfolio_2012 |
| 6832fe907740af686fde98518067ea3f | 66f5c192a6af7db44e1a9aecaaf599fa | hardware-verification | velev | sat | empty | no | velev-pipe-sat-1.0-b7.cnf.xz | anni_2022,application_2009,application_2012,application_2013,main_2006,main_2025 |
| 68e33d998466bbdd4bfb7249a5790e4f | 1e6af5e4e5ce61e12a481262faab34f1 | p-center | shuolin | unknown | empty | no | arles_thres10_p10_r8180.cnf.xz | main_2025,submissions_2025 |
| 695d8f6a2ee6e89e5a4f5d94abc3aca6 | 3f431427cd1416dad78ff9b5767b340e | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-07092.sat.sanitized.cnf.xz | main_2025,submissions_2024 |
| 69ad7473757d30d55fabab7882268483 | 6f7ef6e6053181b123bab5122e6d82c8 | algorithm-equivalence-checking | kochemazov | unsat | http://hdl.handle.net/10138/359079 | empty | BubbleVsPancakeSort_9_4.cnf.xz | main_2025,submissions_2022 |
| 69ed23c545d2a48f735f2187d919a5dd | 1e43be836bf9d3c7a13bfcda44f980f2 | argumentation | hang | unknown | empty | no | crusti_g2io_250_0.2_255_31.normalised.cnf.xz | main_2025,submissions_2025 |
| 69f6dd335626a9b71bfc6f2332f52b9d | 2ade68d09b774346ace80defb0bd5d2c | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | empty | Break_04_04.xml.cnf.xz | main_2025,submissions_2022 |
| 6cb995b1c550beb579c53e27f6ca881a | 353a6bf0db0058428ba0b84ecc9d6b44 | scheduling | reeves | unknown | empty | no | RoundRobin_n16_d13.cnf.xz | main_2025,submissions_2025 |
| 6cd9571bc71cc0c3fb08aeafb9ca37e4 | 926432ed4cd53526096d6db51724a720 | stedman-triples | johnson | sat | empty | no | sted1_0x24204-330.cnf.xz | anni_2022,main_2018,main_2025 |
| 6d35bab4302bc221fa2c9234547b848b | 33fca59c851949fb0fe5eac35ca852bd | clustered-random | anton | unsat | empty | no | contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009,crafted_2012,crafted_2013,main_2025,portfolio_2012 |
| 6e139783cfbcfeec85b49750ad11a615 | 74f1a345c312c929865a6763a4f82690 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-06068.sat.sanitized.cnf.xz | main_2025,submissions_2024 |
| 6ebe901234af9615bb85b688a26ef2c4 | ffdf02e307614500c80b1b2f5e922dd6 | md5-equivalence-checking | jianmin | unknown | empty | no | 17.normalised.cnf.xz | main_2025,submissions_2025 |
| 6ef090a10c10352090100af7b6654c31 | 295aa8fbedb5c4f7d9c7136b875e8f8a | summle | manthey | sat | http://hdl.handle.net/10138/359079 | empty | summle_X8638_steps7_I1-2-2-4-4-8-25-100.cnf.xz | main_2025,submissions_2022 |
| 6f354fbea13b25a49f3edc1cd10c48d5 | 749a40c8934e2d0c5b37690121e719a2 | belpyramid-puzzle | mihal | unknown | empty | no | bp4_CSO_LP_FPBLE_ZR_YS.normalised.cnf.xz,bp4_TCO_CSO_LP_FPBLE_ZR_YS.normalised.cnf.xz | main_2025,submissions_2025 |
| 6f40bd5ac85e2a53b392d8f0369e7f1f | 3a40ce7d88e2894dbbdd37a0f386e76e | pigeon-hole | sabharwal | unsat | empty | no | harder-fphp-016-015.sat05-1230.reshuffled-07.cnf.xz | anni_2022,crafted_2007,main_2025 |
| 6f6a20cd654701b5e7fe9e9e0e5e7787 | db4ff9ca96cbee0b1f6ea7fb2fbca035 | scheduling | reeves | unknown | empty | no | RoundRobin_n18_d15.cnf.xz | main_2025,submissions_2025 |
| 6f730dd121471749dc0b4baca2573bf7 | 71b5bdfbc08ad0ca1fd657ee5a18666a | unknown-cases | xu | unknown | empty | no | case13.normalised.cnf.xz | main_2025,submissions_2025 |
| 6fab31665147f538da92dc16c3a239ad | 49e7f58c557ba118be36ac640c73b3b6 | argumentation | niskanen | unknown | http://hdl.handle.net/10138/563824 | no | stb_664_50.apx_2_DC-ST.cnf.xz | main_2025,submissions_2023 |
| 6ff70a3aaf261b35b0b072f454a756be | 7c616b12961125e2f6437e8355c5f67d | graph-isomorphism | mugrauer | unsat | http://hdl.handle.net/10138/135571 | no | crafted_n10_d6_c4_num9.cnf.xz | anni_2022,crafted_2014,main_2025 |
| 70da0b784f49350e05c0ff8434acdc15 | d575e76636f5de6fab0257bba51ee5c0 | hardware-model-checking | froleyks | unknown | empty | no | x-epic_a19-p15_transition.cnf.xz,x-epic_a19-p16_transition.cnf.xz | main_2025,submissions_2025 |
| 72a033a7a86f1b89b1bdd8e28a97ecdf | 643eb348c47953a4cc2bb1c7d90c436c | random-csp | kexu | sat | empty | no | frb80-14-1.used-as.sat04-879.cnf.xz | anni_2022,handmade_2004,main_2025 |
| 72cec28d6e34efe366150066b71edc33 | 74ed70b5ef147a7a3d6843c3350cac9a | belpyramid-puzzle | mihal | unknown | empty | no | bp4_LPI_FPBEQ_ZR.normalised.cnf.xz | main_2025,submissions_2025 |
| 753757e87d34bd1075c413d801bf99b8 | b98de946308a89b37b375a1fbcff1558 | md5-equivalence-checking | jianmin | unknown | empty | no | 16.normalised.cnf.xz | main_2025,submissions_2025 |
| 753ca299a6ab46e28ece1aefa38f4947 | fcd763766646de6035ab13697905e9d8 | equivalence-checking | zhenwei | unknown | empty | no | oski15a01b01s_opt.cnf.xz | main_2025,submissions_2025 |
| 75cc1f02ed4b8c06553ef579b163e1be | 8660eac64b33df6876c37b994b216254 | set-covering | zheng | unsat | http://hdl.handle.net/10138/359079 | empty | SCPC-500-14.cnf.xz | main_2025,submissions_2022 |
| 76bef98aafe7e718e98761f058c7dc1d | 06f20aeffe8ed263a3db573124e19a4c | belpyramid-puzzle | mihal | unknown | empty | no | bp4_CB_CSO_LP_FPBEQ_FPBLE.normalised.cnf.xz | main_2025,submissions_2025 |
| 77a0d54f2fb3740a9a321623c0c10f3e | 6358efca3f0fc8350075b3f38863c0d8 | tseitin-formulas | yldirimoglu | unknown | http://hdl.handle.net/10138/563824 | no | tseitin_grid_n12_m12.cnf.xz | main_2025,submissions_2023 |
| 77bfac6b280653e63013f77d0991484e | bd91596f0ce73adb3a6256cb02126d78 | unknown-cases | xu | unknown | empty | no | case19.normalised.cnf.xz | main_2025,submissions_2025 |
| 77e655b23c0a50d911c0384ef8fe266d | b864bbfc1e263c0d5a96f9d9468ceb57 | school-timetabling | tchinda | unknown | empty | no | SC25_Timetable_C_495_E_43_Cl_35_D_7_T_58.normalised.cnf.xz | main_2025,submissions_2025 |
| 780b0c9b5aed38a127f61c6aae7287aa | 0acefe841035a2670359fb68e6516e19 | rbsat | huang | sat | empty | no | rbsat-v1375c111739gyes10.cnf.xz | anni_2022,crafted_2011,main_2025 |
| 78e8f5b0d59512cc4910fd63b4acb7fa | 7236d11d022e8854e233f011b504896c | scheduling | reeves | unknown | empty | no | RoundRobin_n17_d14.cnf.xz | main_2025,submissions_2025 |
| 7a044c997ede14d00002f1db39d45170 | e1f8890850509c7ab66abf755cf844f8 | sum-of-3-cubes | riveros | sat | http://hdl.handle.net/10138/333647 | no | sum_of_3_cubes_37_bits_87.cnf.xz | anni_2022,main_2021,main_2025 |
| 7a206b67366c3049f214f360ff943f62 | ef8d63a521ece319d04cdde5b2ff3dd4 | oddball-weighing | mihal | unknown | empty | no | oddball_56_5_tto_zp.normalised.cnf.xz | main_2025,submissions_2025 |
| 7a44efe7c2dbf88a61e7cb750f307937 | 1a7d9fb8d6ea48e5588b773514712d3c | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | empty | Break_triple_12_20.xml.cnf.xz | main_2025,submissions_2022 |
| 7a5e9bdbf9b8c025b1f986d6098b6206 | c7fa2d5040e97ae88eb1f97009c185e4 | graph-isomorphism | yangli | sat | http://hdl.handle.net/10138/359079 | empty | cfi-rigid-t2-0048-04-or_3_shuffle_all.cnf.xz | main_2025,submissions_2022 |
| 7bdf3e5401cc263951003b569bcd689c | 6396c6f11448505719f1388438d16843 | hardware-model-checking | froleyks | unknown | empty | no | bv_ILA_Piccolo_BEQ_sanity_transition.cnf.xz | main_2025,submissions_2025 |
| 7cf696bae2c50af38414b61b8d92581a | 5caaf559d4fe0ffba758bd19ac6daf3c | graceful-production | chowdhury | sat | http://hdl.handle.net/10138/359079 | empty | GP_105_308_40.cnf.xz | main_2025,submissions_2022 |
| 7e58b502cc9dbef5f76d5161fb9a09b2 | 80c70d983db80b3acf9a94b33d043045 | polynomial-multiplication | xiao | sat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=43 | no | mp1-Nb7T45.cnf.xz | anni_2022,main_2017,main_2025 |
| 80d8c77f6cab179d469462221f3f624a | 304bbfa2255068e32e4cbdfb8da0ab16 | clique-coloring | anders | unknown | empty | no | clqcl_30_11_10.normalised.cnf.xz | main_2025,submissions_2025 |
| 818c585e5986431917605fca8d775034 | 545423aeaa4536e91e52882284ed6237 | miter | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 | no | g2-hwmcc15deep-oski15a10b10s-k20.cnf.xz | anni_2022,main_2017,main_2025 |
| 822cf4daaa4e1d16ad53d088ff567f32 | 28258fba8664ffd828936bc3a8140b60 | scheduling | reeves | unknown | empty | no | RoundRobin_n15_d13.cnf.xz | main_2025,submissions_2025 |
| 82851650dea77d44864b3fd8ae387691 | c682d2426f7b5d1b34baacd727fcb3b8 | reg-n | shuolinli | unknown | http://hdl.handle.net/10138/584822 | empty | REGRandom-K3-L3-Seed30.sanitized.cnf.xz | main_2025,submissions_2024 |
| 83aa254f7d17e1df7bee19322ac4752b | ede7cbb2415bedafd4513b067bdc4b41 | md5-equivalence-checking | jianmin | unknown | empty | no | 1.normalised.cnf.xz | main_2025,submissions_2025 |
| 84282cd481f7614f444951064c707030 | 688dc5a2bf6c490d99504775299fcdcb | cryptography-simon | yuhangqian | unknown | http://hdl.handle.net/10138/584822 | empty | simon-r20-1.sanitized.cnf.xz | main_2025,submissions_2024 |
| 847c8843ee292b9b31f0c346574af260 | dce9764d6a59fbe6ad754d4c4b97f669 | ramsey-numbers | anders | unknown | empty | no | ramsey_4_4_19.normalised.cnf.xz | main_2025,submissions_2025 |
| 847df6bb7bd0a8fcedb57e012cfe0014 | cf25c007224f96443655dfd20e14099d | hardware-bmc | schuppan | unsat | empty | no | valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf.xz | anni_2022,application_2011,industrial_2003,main_2025 |
| 849950561ddce887c78fef773dccfa80 | 1d793c3a81ee95c1515a30e1e2950ca2 | random-circuits | franck | unknown | http://hdl.handle.net/10138/584822 | empty | circuit_48in64out_with_800gates_4in4out_dist128_seed3.sanitized.cnf.xz | main_2025,submissions_2024 |
| 85ba26d796de9ad740ce5a6813488fbc | 61c944c418fc390482c127d47b24b360 | stedman-triples | johnson | sat | http://hdl.handle.net/10138/318754 | no | sted2_0x1e3-216.cnf.xz | anni_2022,main_2021,main_2025 |
| 86173292a2c6a506acf27a81db853bb5 | d3e7c98010bea572f257b123332aac36 | ktf | lagniez | sat | http://hdl.handle.net/10138/333647 | no | ktf_TF-7.tf_3_0.06_113.cnf.xz | anni_2022,main_2021,main_2025 |
| 8707ef793f0443b5804c56c2ffca322e | 507abe801f2e138184158b60adda70b0 | clique-coloring | anders | unknown | empty | no | clqcl_40_6_5.normalised.cnf.xz | main_2025,submissions_2025 |
| 8733dfd02c923d69720500c9ec8ce36a | b977b694c1b19e5e84cf471096f6ba80 | independent-set-reconfiguration | froleyks | sat | http://hdl.handle.net/10138/359079 | empty | reconf10_70_queen14_2.cnf.xz | main_2025,submissions_2022 |
| 873786afab7757a9f216da0724d91ecd | a1a8167a109ab3138ef6e2e2badf3c9e | miter | biere | unknown | http://hdl.handle.net/10138/584822 | empty | hwmcc17miters-xits-iso-6s299b685.sanitized.cnf.xz | main_2025,submissions_2024 |
| 87f093067622b91fa9dc0de149c8b92c | fb78a4a76a987caaf1f88e0a6f8bb3ec | independent-set | manyem | unknown | http://hdl.handle.net/10138/584822 | empty | 1-ET-512-K-102.sanitized.cnf.xz | main_2025,submissions_2024 |
| 88849daabda2e712f659c6edbc142229 | 00008f6f7882c6433c4169980b03e244 | core-based-generator | hartung | sat | http://hdl.handle.net/10138/318754 | no | ncc_none_2_18_8_3_1_0_435991723.cnf.xz | anni_2022,main_2020,main_2025 |
| 89002102bdb86946869a06dc1f604315 | c1b068e9da70bd0d12d58bef7385c666 | mechanical-master-key | schreiber | unknown | empty | no | lockchart-group1-L210-K303-p8d4j1.normalised.cnf.xz | main_2025,submissions_2025 |
| 8a05f9b6bf49285e40d0a197967ea5d3 | 2f772df38c2ca1d67afd50a07abd8279 | p-center | shuolin | unknown | empty | no | arles_thres10_p10_r7466.cnf.xz | main_2025,submissions_2025 |
| 8a7977519abed3e4c005da7506349f52 | 3e6352774b9cd01ae81c60947d5aaa2e | graceful-production | chowdhury | sat | http://hdl.handle.net/10138/359079 | empty | GP_300_180_30.cnf.xz | main_2025,submissions_2022 |
| 8af30680e9329ae30c2cdbece636c470 | ddc43fd0ed5f6b5d0870eb5abf994df3 | cryptography-simon | yuhangqian | unknown | http://hdl.handle.net/10138/584822 | empty | simon-r23-0.sanitized.cnf.xz | main_2025,submissions_2024 |
| 8b22396ef06770c7dfa7552a610fc911 | da8fca813a96c6ad6eaa704043b53e16 | algorithm-equivalence-checking | kochemazov | unsat | http://hdl.handle.net/10138/359079 | empty | PancakeVsSelectionSort_6_7.cnf.xz | main_2025,submissions_2022 |
| 8b267f95678c90b2179944de7233b090 | b4a8a22a1f7c3409ad12bd6b051deccc | argumentation | niskanen | unknown | http://hdl.handle.net/10138/563824 | no | ER_500_20_4.apx_1_DC-AD.cnf.xz | main_2025,submissions_2023 |
| 8e1f70e59050693ef128bee0092a7f5f | 4a0bb88cb06d7c5c7ddb1d8ababe81fe | algorithm-equivalence-checking | kochemazov | unsat | http://hdl.handle.net/10138/359079 | empty | PancakeVsSelectionSort_6_8.cnf.xz | main_2025,submissions_2022 |
| 8e62c5d47920ffe36052f86177403e70 | 35ae1530f242b94230ceb351dcf2c82a | school-timetabling | tchinda | unknown | empty | no | SC25_Timetable_C_393_E_45_Cl_26_D_7_T_50.normalised.cnf.xz | main_2025,submissions_2025 |
| 8e81131a0c4fbd01e90bb6e20d00c547 | 463f922d74d7ed5444a5b6a4cd8d1750 | multiplier-equivalence-checking | yalun | unknown | empty | no | 16_16_booth_dadda_origin_and_and_dadda_origin_bit28.cnf.xz | main_2025,submissions_2025 |
| 8f391f2bf8167f1b96467f3479b33dc5 | 6db3e3931b508285d4f75ca9ebcd89bf | oddball-weighing | mihal | unknown | empty | no | oddball_20_5_ttf.normalised.cnf.xz | main_2025,submissions_2025 |
| 901fa244999d250bc8d8cce19cabc114 | 8c7ac94fd16cb856acc7667ca6b3436c | school-timetabling | tchinda | unknown | empty | no | SC25_Timetable_C_492_E_48_Cl_33_D_7_T_58.normalised.cnf.xz | main_2025,submissions_2025 |
| 908433870bee8ba2c86f266d0b002fdb | 57b5e06e88eb138de63d10683dd4db04 | scheduling | reeves | unknown | empty | no | MVRoundRobin_n20_d10_v2.cnf.xz | main_2025,submissions_2025 |
| 90bec6dcf2399d7c7f73acba44a8641e | de7f57382c4a2ed99ea5e7b95d2d09cd | multiplier-circuits | shunyang | sat | http://hdl.handle.net/10138/359079 | empty | Wallace_Bits_Fast_8.cnf.cnf.xz | main_2025,submissions_2022 |
| 9118e76885506476cd50cef8b2ec5def | 10a6c99a7d1f2885a99153a98afe7fc9 | ramsey-numbers | anders | unknown | empty | no | ramsey_3_6_18.normalised.cnf.xz | main_2025,submissions_2025 |
| 918d9e7c2e197312517736421d728958 | 67018d9b27586d5c9c8b4790803d46ce | set-covering | zheng | unsat | http://hdl.handle.net/10138/359079 | empty | SCPC-500-1.cnf.xz | main_2025,submissions_2022 |
| 91c429adc2dc8430461b6d87a9aef335 | e572f68b999b8462b84854422e56e871 | multiplier-equivalence-checking | yalun | unknown | empty | no | 16_16_booth_wallace_mapped_and_and_wallace_origin_bit28.cnf.xz | main_2025,submissions_2025 |
| 9277f5d1bc65276294617e672c4f2443 | 368227f6d2de285144acf9307a9bfe55 | belpyramid-puzzle | mihal | unknown | empty | no | bp4_BC012_CSO_FPBEQ_FPBLE_ZR.normalised.cnf.xz | main_2025,submissions_2025 |
| 931621d9964e9d0cd1c4001822015c92 | ea06d77839c7ccddda14c3a6651dbd35 | influence-maximization | kochemazov | sat | http://hdl.handle.net/10138/318754 | no | DLTM_twitter845_79_19.cnf.xz | anni_2022,main_2020,main_2025 |
| 944b4eaecefa1d15c2d2a8ac0c2d1c31 | cf5ed0ef296507bc24c75efdda1b3d3e | belpyramid-puzzle | qian | unknown | empty | no | b14.cnf.xz | main_2025,submissions_2025 |
| 95931bb010dba306e24c79c120044ff9 | 692396ad8471805c4f3c7805d90c81c7 | school-timetabling | tchinda | unknown | empty | no | SC25_Timetable_C_496_E_48_Cl_33_D_7_T_50.normalised.cnf.xz | main_2025,submissions_2025 |
| 95abe8aeebbe88fcb0503b13109593b3 | b30b1780e9ca2ce49cb13897a3cb4151 | independent-set-reconfiguration | froleyks | sat | http://hdl.handle.net/10138/359079 | empty | reconf10_68_queen14_1.cnf.xz | main_2025,submissions_2022 |
| 965bc4f6691b2e5f7388aaa9ba68f768 | ffa4f9a5534f43a4a2bd3c87589bc0a0 | set-covering | zheng | unsat | http://hdl.handle.net/10138/359079 | empty | SCPC-500-5.cnf.xz | main_2025,submissions_2022 |
| 967b58fea99a99b8da592d3e2fe7139b | 5f89010313cba7e30771e1f4eb09db02 | unknown | unknown | unsat | empty | no | dubois50.cnf.mis-99.debugged.cnf.xz | anni_2022,crafted_2012,main_2025,portfolio_2012 |
| 96977e8e00a3728097861502a449e343 | 1796a861f4e1095fb44b5be86022a43b | mechanical-master-key | schreiber | unknown | empty | no | lockchart-group3-L13-K26-p4d3j1.normalised.cnf.xz | main_2025,submissions_2025 |
| 96a472b1fd7bf855fbe44fc2d5e745ce | efb1ecf08717ee59945cf4178654ebd9 | argumentation | hang | unknown | empty | no | crusti_g2io_175_0.2_511_48.normalised.cnf.xz | main_2025,submissions_2025 |
| 96dea3458b5470bd6db5704a0d1e9742 | 188145524325f67f972f0b3851fdfb70 | hardware-model-checking | froleyks | unknown | empty | no | bv_ILA_Piccolo_JALR_sanity_transition.cnf.xz | main_2025,submissions_2025 |
| 9754fc1acf450ee2ed2083a211cfa487 | d9b5a4c332cc3f552a65f89e12a7b43c | argumentation | xindi | sat | http://hdl.handle.net/10138/333647 | no | stb_792_333.apx_0.cnf.xz | anni_2022,main_2021,main_2025 |
| 981c4e83c5dd3694af4c367958e0ee5f | 3f29ba9b69ea45dd133bfcad55f479ab | tseitin-formulas | yldirimoglu | unknown | http://hdl.handle.net/10138/563824 | no | tseitin_grid_n250_m250.cnf.xz | main_2025,submissions_2023 |
| 989ca6ab309ca52a6ff957b6896aa03e | 4090922f46619381e9161553f7f396fb | multiplier-equivalence-checking | yalun | unknown | empty | no | 16_16_booth_dadda_mapped_and_booth_wallace_mapped.cnf.xz | main_2025,submissions_2025 |
| 98a9352230efc411c092f1dcdcdedcfc | 7601d8dfdb5ab735cb2750215869f905 | belpyramid-puzzle | mihal | unknown | empty | no | bp4_BC012_IXA_LPI_FPBLE.normalised.cnf.xz | main_2025,submissions_2025 |
| 98a991c902324b02349e766ad357cdc6 | 103d5139b4adb38730a509a8d24eff04 | multiplier-equivalence-checking | yalun | unknown | empty | no | 16_16_booth_dadda_origin_and_and_dadda_mapped_bit28.cnf.xz | main_2025,submissions_2025 |
| 98e8aa2ace21d3362ef51524ad546764 | ae36c1dacd842b1ce730b48edd40295e | belpyramid-puzzle | mihal | unknown | empty | no | bp4_TCO_CSO_IXA_LP_ZR.normalised.cnf.xz | main_2025,submissions_2025 |
| 99718c1729a8de3347a9946f1836421d | 95a2f73c3fb00052e83a98a42841cb6e | cryptography | soos | unsat | empty | no | bivium-39-200-0s0-0xdcfb6ab71951500b8e460045bd45afee15c87e08b0072eb174-43.cnf.xz | anni_2022,application_2013,main_2025 |
| 99bd0555ca704df05fcaf6f9b84c7eef | 6f61c618076847a148f3e37229710d3e | ramsey-numbers | anders | unknown | empty | no | ramsey_3_7_24.normalised.cnf.xz | main_2025,submissions_2025 |
| 9a839badecb20dcf505ec79eedd3753a | 8d7b608e8050383c95454038169ef87a | diagnosis | anbulagan | unsat | empty | no | anbul-dated-5-15-u.cnf.xz | anni_2022,application_2012,main_2008,main_2025 |
| 9af7646fc4a32c6f2744ddc0c4b654b7 | 41f0b81c75ce023a5f50bbe8d8163096 | sat-x | riveros | unsat | http://hdl.handle.net/10138/359079 | empty | brocard_problem_large.cnf.xz | main_2025,submissions_2022 |
| 9af78578225115b54d5e7338562664fd | 133ab7ed450bcf0815683cf120e140da | md5-equivalence-checking | jianmin | unknown | empty | no | 5.normalised.cnf.xz | main_2025,submissions_2025 |
| 9b5f767eb5c14eb888d51acf70e045c8 | 848859037b3322c6cbe6a8d8563df6ea | bitvector | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=56 | no | uniqinv40prop.cnf.xz | anni_2022,main_2018,main_2025 |
| 9b998be0c639d06988c4902eb125c0b7 | ec72a9d42f39cfd49e875b6207b2e0e3 | random-csp | zhou | sat | empty | no | frb35-17-5_ext.cnf.xz | anni_2022,main_2018,main_2025 |
| 9d7caee59e9d362d132f1cd785de8a0b | a386931052ea58be7cf6fd31e64934b9 | core-based-generator | hartung | unsat | http://hdl.handle.net/10138/318754 | empty | ncc_none_21015_5_3_3_0_0_11.cnf.xz | anni_2022,main_2020,main_2025 |
| 9da32436de386f3b4f8e6ec1db552349 | 9bc8e2e69445e67fcba548f890153d75 | hamiltonian-cycle | heule | sat | http://hdl.handle.net/10138/333647 | no | HCP-529-420.cnf.xz | anni_2022,main_2021,main_2025 |
| 9dcbf221b8d2bb01f30bcca283f3608d | 427676308f61059d133b30cd68db8523 | erdos-discrepancy | heule | sat | http://hdl.handle.net/10138/135571 | no | EDP3-11000.cnf.xz | anni_2022,crafted_2014,main_2024,main_2025 |
| 9dd565d002c343712eb5deda187e9034 | 159cfe953d89ba6b6fc32a335a9e76ee | circuit-equivalence-checking | xinyan | unsat | http://hdl.handle.net/10138/359079 | empty | sqrt-mitern169.cnf.xz | main_2025,submissions_2022 |
| 9ea8deb8313d93e60743638909f37d6c | 664cdb7c7198a593ab85dce03817927b | circuit-multiplier | shunyang | sat | http://hdl.handle.net/10138/333647 | no | Circuit_multiplier29.cnf.xz | anni_2022,main_2021,main_2025 |
| 9f1cb42232335f84435126b5ae0fb701 | 25f6e3231125a1d7d479867614ba26e8 | school-timetabling | tchinda | unknown | empty | no | SC25_Timetable_C_495_E_48_Cl_33_D_7_T_50.normalised.cnf.xz | main_2025,submissions_2025 |
| 9f38c92ba81c754103444edc15c1f44b | f8c78befc67e4190938f267a096fa10c | cryptography-simon | yuhangqian | unknown | http://hdl.handle.net/10138/584822 | empty | simon-r21-1.sanitized.cnf.xz | main_2025,submissions_2024 |
| a09eb02bbaa7a0ae171123a782c2164d | 6b1956ba7aed954843d7bd0f97016e86 | scheduling | reeves | unknown | empty | no | RoundRobin_n18_d16.cnf.xz | main_2025,submissions_2025 |
| a0bcdaffb0ea36b678899fd86bdc7f18 | 75155e89850e176ec748f40bd027ef36 | p-center | shuolin | unknown | empty | no | arles_thres10_p10_r8186.cnf.xz | main_2025,submissions_2025 |
| a1fdd60d2570f47fb14956ac9e96951f | 1f3bac777faa46b39d9244b320cea872 | oddball-weighing | mihal | unknown | empty | no | oddball_22_5_ttf.normalised.cnf.xz | main_2025,submissions_2025 |
| a28f59752c160af22b6d04cb89ddf802 | c54d71ff3bfb9700a093df800843c73d | hardware-model-checking | biere | sat | http://hdl.handle.net/10138/359079 | empty | pj2008_k200.cnf.xz | main_2025,submissions_2022 |
| a2ca167a8fdbf165f40b5d6dee94b040 | 09599f93508549c8f7a1ee5e39929d74 | station-repacking | newman | sat | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | no | 58-134003.cnf.xz | anni_2022,main_2020,main_2025 |
| a2fe3213d50b3bc297e3f7606c921128 | a0a49c27e4be1d47496b28f4926bfd93 | puzzle | grinten | sat | empty | no | mp1-blockpuzzle_9x9_s1_free9.cnf.xz | anni_2022,main_2017,main_2025 |
| a497d784c61c330f012dcd80d44dcd43 | 5ef58ee5c4d5a065dac4da3602100281 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-06099.sat.sanitized.cnf.xz | main_2025,submissions_2024 |
| a49ec44c8d9972cda278d48b6dbef09e | 1e28888140ef023955fe0757604bf3b6 | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-32-128.cnf.xz | main_2025,submissions_2023 |
| a70883771fd1c210d94a916d52510a3a | b2aa0e05bf0df954d59b840b0f3844b8 | multiplier-verification | biere | unknown | empty | no | gm28sparrc.cnf.xz | main_2025,submissions_2025 |
| a7e7d0f855781da215aed50e523a821c | cff7cd992982cfd7a0f44f3d8551eb04 | belpyramid-puzzle | qian | unknown | empty | no | b22_1.cnf.xz | main_2025,submissions_2025 |
| a8608545f9ae0462c7426e71a0e3e634 | 413aece97bec1bb500b38c8cc56add46 | rbsat | huang | sat | empty | no | rbsat-v945c61409g3.cnf.xz | anni_2022,crafted_2011,main_2025 |
| a932cd15aa770c7874b12476153b7df2 | 97baaba9b69d3d192132c16f85ecd371 | multiplier-equivalence-checking | yalun | unknown | empty | no | 16_16_booth_dadda_origin_and_and_dadda_origin_bit29.cnf.xz | main_2025,submissions_2025 |
| aa5585572cc045a3c2209b083635d598 | ce3058ad7fce840363fac496d292d104 | argumentation | hang | unknown | empty | no | st_815_74_9_2860.normalised.cnf.xz | main_2025,submissions_2025 |
| ab02c7ef78bda1f427d5e3f1f26b1ae5 | a2c93f87e2aa1b997e91afc1aa50bcef | sat-x | riveros | sat | http://hdl.handle.net/10138/359079 | empty | sum_of_three_cubes_906_known_representation.cnf.xz | main_2025,submissions_2022 |
| abadaf0ee0e21ff1a4b0e294f13ab5ab | 6798749bd5230b5516dd2ff3fabe0ade | p-center | shuolin | unknown | empty | no | arles_thres10_p20_r4305.cnf.xz | main_2025,submissions_2025 |
| ac3887576c2ce781202b9fe0fdc31420 | b771fb6594b57b166d76e3db1d6c14cd | hardware-model-checking | biere | sat | http://hdl.handle.net/10138/359079 | empty | pj2008_k80.cnf.xz | main_2025,submissions_2022 |
| ac51df6b340190cd1182c06ff2955afa | 36735b6d4cdbce72ef202cdbb1b01ebb | argumentation | niskanen | sat | http://hdl.handle.net/10138/563824 | no | WS_500_16_90_70.apx_1_DC-ST.cnf.xz | main_2025,submissions_2023 |
| acc0bc3ef52aa228cc35c2d9bb3ae249 | 66c1b0b4fa56e179a9e43a5407d9323b | algorithm-equivalence-checking | kochemazov | unsat | http://hdl.handle.net/10138/359079 | empty | BubbleVsPancakeSort_8_6.cnf.xz | main_2025,submissions_2022 |
| ad69e0a0880cd377e26260f7e4bc6d51 | 2a96310f13c4edf5ed6a4afc906a52f0 | cril-misc | frioux | unsat | empty | no | g2-T49.2.0.cnf.xz | anni_2022,main_2017,main_2023,main_2025 |
| ad9eb96bac59319fc2f7daffd1f961f8 | 51e3726afecfb8ba5fa32fd2fecbe3ac | termination-analysis | fuhs | unsat | empty | no | AProVE07-21.cnf.xz | anni_2022,application_2011,application_2012,industrial_2007,main_2025,portfolio_2012 |
| ae9c53347ee8072745ed230992e164ee | fc8cbbdc9498032e8409ec53e0ab8859 | multiplier-equivalence-checking | yalun | unknown | empty | no | 16_16_and_wallace_origin_and_default_mapped_ultra_bit27.cnf.xz | main_2025,submissions_2025 |
| affe8884c8c744ab2f07683ed1cf0d1a | 47f18ac30960c46b24c8da16186e9cc8 | school-timetabling | tchinda | unknown | empty | no | SC25_Timetable_C_498_E_46_Cl_34_D_7_T_50.normalised.cnf.xz | main_2025,submissions_2025 |
| b18b24418dd863c1d631698d7d45041f | 80e2c397a1f418fc19a64654a9dbfb32 | circuit-equialence-checking | junhua | unknown | http://hdl.handle.net/10138/359079 | empty | div_miter_lec__2.cnf.xz | main_2025,submissions_2022 |
| b1c8eaa002ac2fa1c8bfd1002738e78e | bfe2d7c34d3a93095527334a3996f4e3 | coloring | oertel | unknown | http://hdl.handle.net/10138/584822 | empty | cliquecolouring_n15_k7_c6.sanitized.cnf.xz | main_2025,submissions_2024 |
| b27017cae233481c679e3c3be6f00af8 | 03fdd44f381354f27e5de194286f15a0 | hardware-verification | ibm | unsat | http://hdl.handle.net/10138/135571 | empty | SAT_dat.k100-24_1_rule_2.cnf.xz | anni_2022,application_2014,main_2025 |
| b361efe85442bd535849708e2b7ac639 | 4ea1431a2302a5effd74c935ccfdc4cb | belpyramid-puzzle | qian | unknown | empty | no | b22.cnf.xz | main_2025,submissions_2025 |
| b3d3680b3287a989ce61a6db1054efd2 | 4bdb925b654d0f5905f6f486a4b28c12 | unknown-cases | xu | unknown | empty | no | case20.normalised.cnf.xz | main_2025,submissions_2025 |
| b5431f41e3264c64508c30da215c69c6 | 2060892e420e27fbef312a8ded361bdd | tseitin-formulas | jarvisalo | sat | empty | no | mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf.xz | anni_2022,crafted_2005,crafted_2011,crafted_2013,crafted_2014,main_2025 |
| b628043a07c5576dd6cd21c9d73a69e0 | 1e93786699f0cab1ae3dbe4801c87f7a | subset-cardinality | elffers | unsat | empty | no | fixedbandwidth-eq-37_shuffled.cnf.xz | anni_2022,crafted_2016,main_2025 |
| b64f7d56f1b369fac6a3bcb1efd784da | 7fe7f05bf84b808bb1178afa21df542a | hypertree-decomposition | schidler | sat | http://hdl.handle.net/10138/318754 | no | Kakuro-easy-126-ext.xml.hg_7.cnf.xz | anni_2022,main_2020,main_2025 |
| b655faa69774192a80d9e2a2bc602ce4 | 9ccb062e95949c8a8913e045f6e54ace | hypertree-decomposition | schidler | sat | http://hdl.handle.net/10138/318754 | no | Kakuro-easy-115-ext.xml.hg_5.cnf.xz | anni_2022,main_2021,main_2025 |
| b99ba7e9113280393c64863dfbfa2c3b | 1410fabb72a387e5879892f919c00b1e | mechanical-master-key | schreiber | unknown | empty | no | lockchart-group3-L15-K29-p4d3j1.normalised.cnf.xz | main_2025,submissions_2025 |
| b9ed6fd14f4fc969ec966a4b54c36872 | 06c71d306e3dba14237bf82f76711979 | argumentation | xindi | sat | http://hdl.handle.net/10138/333647 | no | n320p5q2_n.apx_16.cnf.xz | anni_2022,main_2021,main_2025 |
| bc5a06872fa6dfc9acbc7f782f0a4439 | 993def375572ac4172dc50f9b8d1efb2 | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | empty | ITC2021_Early_12.xml.cnf.xz | main_2025,submissions_2022 |
| be78afd2e0b3d1a955fc403b2d100d55 | 874b66ef08ae1d036806fa285ff5b3c1 | md5-equivalence-checking | jianmin | unknown | empty | no | 4.normalised.cnf.xz | main_2025,submissions_2025 |
| bea83d274b1c57b2171b380e34fd645d | 84f2f18fb7809ae9e5a3f2895e94470d | xor_op | yldirimoglu | unknown | http://hdl.handle.net/10138/563824 | no | xor_op_n36_d3.cnf.xz | main_2025,submissions_2023 |
| c0074020a48535e6062421cea2850dd0 | 240fb1ac1410ee4e2a2fbc5069dc1f61 | argumentation | hang | unknown | empty | no | st_659_37_25_686.normalised.cnf.xz | main_2025,submissions_2025 |
| c033577c6f5f9a1545537518af964305 | 0622422811fae182963110ffd89884bf | independent-set-reconfiguration | froleyks | sat | http://hdl.handle.net/10138/359079 | empty | reconf10_73_queen13_2.cnf.xz | main_2025,submissions_2022 |
| c05d4d3ecd06a2e3942fea09159dd27b | 66d525641b220b578d8b6b04e5d28833 | scheduling | reeves | unknown | empty | no | MVRoundRobin_n16_d10_v2.cnf.xz | main_2025,submissions_2025 |
| c0bd86bd7ca2c65e44311de374168150 | 1a644e80af82c6f067cc93d1fade6b9b | risc-instruction-removal-golcrest | fleury | unsat | http://hdl.handle.net/10138/563824 | no | goldcrest-and-14.cnf.xz,goldcrest-or-14.cnf.xz,goldcrest-xor-14.cnf.xz | main_2025,submissions_2023 |
| c0e828fb967fc4f0935cf06c6a6b1055 | fd201aeeed8807fa0dc791e8597b540f | miter | kochemazov | unknown | http://hdl.handle.net/10138/584822 | empty | lec_mult_CvW_11x10.sanitized.cnf.xz | main_2025,submissions_2024 |
| c21096fa2f550785c33dc862d83bc941 | 65880acb744301b113fed31c6060f34e | unknown-cases | xu | unknown | empty | no | case17.normalised.cnf.xz | main_2025,submissions_2025 |
| c569d4b2b2e90a1a70bd23a1169355ef | b47d591dfb0b2d8f340105549ff00cc3 | oddball-weighing | mihal | unknown | empty | no | oddball_13_5_ttf.normalised.cnf.xz | main_2025,submissions_2025 |
| c6470503d1ff16cbafa18764b13d80ed | d205c823ff2c7f268a7c7f10a986556b | belpyramid-puzzle | mihal | unknown | empty | no | bp4_IXA_FPBEQ_ZR.normalised.cnf.xz | main_2025,submissions_2025 |
| c7ee94464ba3b25e97fc9b38868b7154 | a21f2dc15bb2d3b5b525b05074e0dd96 | school-timetabling | tchinda | unknown | empty | no | SC25_Timetable_C_481_E_48_Cl_32_D_7_T_58.normalised.cnf.xz | main_2025,submissions_2025 |
| c86b261162cef181dc513963a8acb77f | 46905e8642d0600c70bafa44c7aa3911 | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | empty | ITC2021_Middle_9.xml.cnf.xz | main_2025,submissions_2022 |
| c8cde50f32ca3f78a4c74a173c63449b | 943109d5fb200af15430ad32e185d9cd | belpyramid-puzzle | mihal | unknown | empty | no | bp5_CSO.normalised.cnf.xz | main_2025,submissions_2025 |
| c8d21db50338d9d5743802bcae77a466 | 10163643d68706c6070517f85fcf5cf2 | coloring | oertel | unsat | http://hdl.handle.net/10138/359079 | empty | cliquecoloring_n14_k7_c6.cnf.xz | main_2025,submissions_2022 |
| ca3c65a863526793968fc30618a42709 | 8655f4745b1816e23bfe2df6dd2e0768 | unknown-cases | xu | unknown | empty | no | case16.normalised.cnf.xz | main_2025,submissions_2025 |
| cabfdc91f644200767df9d480d2cc53e | 49b9ba8e88bdff8abe00ac44494a858e | oddball-weighing | mihal | unknown | empty | no | oddball_17_5_ttf.normalised.cnf.xz | main_2025,submissions_2025 |
| cb66276897e4d1ff1368a4430598e11c | d129cb8b1fa7429b13149dae9dfc63c1 | scheduling | reeves | unknown | empty | no | RoundRobin_n17_d13.cnf.xz | main_2025,submissions_2025 |
| cb950b9accfb53eb98f77b0f995ac0ae | 5b7a299493e6bbb8585430b454aed87b | relativized-pigeon-hole | elffers | unsat | empty | no | rphp5_050_shuffled.cnf.xz | anni_2022,crafted_2016,main_2025 |
| cbd0933002d6c4ea99ceb47bb0c3f4c9 | dc4c10922552a80db0152c7cbe0d61a9 | edge-matching | heule | sat | empty | no | em_11_3_4_cmp.cnf.xz | anni_2022,crafted_2009,crafted_2011,crafted_2012,main_2023,main_2025 |
| ccc66f699505f84d67d7b4eaa78e5bd5 | f4cb98a29b6e6e1ffee1dabcbaf50758 | waerden | kullmann | sat | empty | no | VanDerWaerden_pd_2-3-23_505.cnf.xz | anni_2022,crafted_2011,crafted_2012,crafted_2013,main_2025,portfolio_2012 |
| cdd131110acc861a5a01fae6c4936c91 | 1f50d29c58657fb62efa3e9470226427 | coloring | oostema | sat | https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=68 | no | 6g_6color_366_050_04.cnf.xz | anni_2022,main_2020,main_2023,main_2024,main_2025 |
| cdd89d1b9259dcf26d4a53ba94041e93 | f8f152d3076adde30cdecba901ca15bb | stedman-triples | johnson | sat | http://hdl.handle.net/10138/318754 | no | sted2_0x0_n219-342.cnf.xz | anni_2022,main_2020,main_2025 |
| cdf559a186b55457ce49516ec323e907 | 41130b9ca9ad55edabfbd1ac431dc4a9 | at-least-two-sol | manthey | unsat | http://hdl.handle.net/10138/333647 | no | at-least-two-traffic_kkb_unknown.cnf.xz | anni_2022,main_2021,main_2025 |
| d0298807e51730261ef65db827dcd70f | bc88224462cd048231f84d0d826c78b4 | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | empty | Break_triple_16_70.xml.cnf.xz | main_2025,submissions_2022 |
| d07b717548b8c9c1477dd7f4a650bdf7 | 2a1d2a435ead67ca32d373ddb2216ab7 | purdom-instances | purdom | sat | empty | no | 544707209399nc.shuffled-as.sat03-1670.cnf.xz | anni_2022,handmade_2003,main_2025 |
| d1c28f29dc80ff82a3e32aa47fac8b41 | 7031e316e43b4a04886df5b20ddf2454 | p-center | shuolin | unknown | empty | no | arles_thres10_p10_r8175.cnf.xz | main_2025,submissions_2025 |
| d2af3fde615d7c4d4a4574fc8839970e | 656b2dcff53910172e2a3116545bb057 | mechanical-master-key | schreiber | unknown | empty | no | lockchart-group1-L190-K276-p8d4j1.normalised.cnf.xz | main_2025,submissions_2025 |
| d35dfc38e1681b48ebceb4113d205a23 | 611619105d2953f1da10d251fe6ea8d6 | cryptography-simon | zhang | unknown | http://hdl.handle.net/10138/563824 | no | 16_2.cnf.xz | main_2025,submissions_2023 |
| d3e4e0f01836bb359725c6aa5072afce | df5f41cdfc993adb04c9f19a71f5111a | belpyramid-puzzle | mihal | unknown | empty | no | bp4_BC012_AM_IXA_LPI.normalised.cnf.xz | main_2025,submissions_2025 |
| d421913def55cb5f7302ffe9918cc153 | 4368d7830ca3a0efe47ddf6751e96222 | sorting-networks | ehlers | unsat | empty | empty | snw_16_8_preOpt_pre.cnf.xz | anni_2022,application_2016,main_2025 |
| d4256f750a8db53113c128b397722443 | bd60fd6a6ea9b4ea7258b808cbc9ce7c | algorithm-equivalence-checking | kochemazov | unsat | http://hdl.handle.net/10138/359079 | empty | PancakeVsSelectionSort_6_6.cnf.xz | main_2025,submissions_2022 |
| d5928883c1e1f70764a31a83aa419eaf | fd23126bb0c766a6d7471b10c49eb02a | equivalence-checking | zhenwei | unknown | empty | no | oski15a01b42s_opt.cnf.xz | main_2025,submissions_2025 |
| d5b11b0b73eb4ecebdbf6ee8143da689 | 6df3d8d93de67fa5876cb9882eaa06b6 | risc-instruction-removal-subrv | fleury | unknown | http://hdl.handle.net/10138/563824 | no | oisc-subrv-and-nested-11.cnf.xz | main_2025,submissions_2023 |
| d672bdbca3b1fb26d585e78add79537e | 025cfbc19ed0b52bb29b2e7f455de100 | hardware-verification | velev | unsat | empty | no | velev-pipe-o-uns-1.1-6.cnf.xz | anni_2022,application_2009,application_2011,application_2012,main_2006,main_2025,portfolio_2012 |
| d6afa5689d75e37111656db8980dd54b | 3fc9e6cddd0ff91d583528cfd03cdd90 | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-160-48.cnf.xz | main_2025,submissions_2023 |
| d839601ab519549e507de27b868fa48b | e78bbedc297434c507ad48db8d8d0035 | equivalence-checking | zhenwei | unknown | empty | no | oski15a01b19s_opt.cnf.xz | main_2025,submissions_2025 |
| d8666a18cf3a32af0a606099f0070b4b | 1671545f412541da650c2ec0a4c58fe2 | md5-equivalence-checking | jianmin | unknown | empty | no | 7.normalised.cnf.xz | main_2025,submissions_2025 |
| d88a8a62342be0ef04bd3b429f311352 | b6938c601f715b3335bcad2807528adb | belpyramid-puzzle | mihal | unknown | empty | no | bp4_BC012_CSO_IXA_LP.normalised.cnf.xz | main_2025,submissions_2025 |
| d88c6afc13cdad0e2c8371a879692b39 | f4728c17d3251addb057cc23b406e915 | battleship | skvortsov | unsat | empty | no | battleship-13-13-unsat.cnf.xz | anni_2022,crafted_2011,crafted_2012,main_2025 |
| d89fc3e9c24e0383e940464f4704657e | 6fae5e2a9af75d3318584f366b9036aa | school-timetabling | tchinda | unknown | empty | no | SC25_Timetable_C_395_E_47_Cl_27_D_7_T_50.normalised.cnf.xz | main_2025,submissions_2025 |
| d9320e4dbba0f8bd699085f61a98ff5c | b3c0813b289c14892fa1a819a63de1cd | modcircuits | unknown | unsat | empty | no | mod4block_3vars_7gates.cnf.xz | anni_2022,crafted_2009,crafted_2011,crafted_2012,main_2025 |
| d971241ca861121371d20be1d61c15a3 | 73c8e03534eb520e1eb2c7422d966187 | p-center | shuolin | unknown | empty | no | arles_thres20_p10_r7532.cnf.xz | main_2025,submissions_2025 |
| d99fd10afec0eea1a41a429936bfef59 | efee788a123a250e483a3cf90ee786d7 | equivalence-checking | zhenwei | unknown | empty | no | oski15a01b02s_opt.cnf.xz | main_2025,submissions_2025 |
| dbb42e010bed2259e4e27bc43e4d86c6 | cde813c993d03867b0abbe836d1a6cbf | mechanical-master-key | schreiber | unknown | empty | no | lockchart-group3-L11-K23-p4d3j1.normalised.cnf.xz | main_2025,submissions_2025 |
| dbe12d6d2e341d7b4e4216142f29e170 | c2fe1ed6c7925e739659271c1a7433a4 | belpyramid-puzzle | mihal | unknown | empty | no | bp4_BC012_CSO_AM_FPBEQ_FPBLE_ZR.normalised.cnf.xz | main_2025,submissions_2025 |
| ddc308b079b032211ac8e4ae136c2626 | 43467a098aa0088f58595205ec51779b | core-based-generator | hartung | unsat | http://hdl.handle.net/10138/318754 | no | ncc_none_2_17_4_3_0_0_435991723.cnf.xz | anni_2022,main_2020,main_2025 |
| ddf9620410e6a4351f64c745670ef5d4 | d9fd5e53e50bc2638cfe18209e83a981 | oddball-weighing | mihal | unknown | empty | no | oddball_57_5_tto_zp.normalised.cnf.xz | main_2025,submissions_2025 |
| de8988028668791f35a7b9f94353b5b9 | 35397cc39e8b634931111df3f191d25a | sudoku | zhenjiang | unsat | http://hdl.handle.net/10138/359079 | empty | sudoku-N30-16.cnf.xz | main_2025,submissions_2022 |
| de8c42d50f1dbf43a731f1916dc6bf01 | 867ca841a58463501d944e518ad5812d | multiplier-equivalence-checking | yalun | unknown | empty | no | 16_16_booth_dadda_mapped_and_and_wallace_origin_bit28.cnf.xz | main_2025,submissions_2025 |
| df813fe752353c2cc3b9040865aecfe4 | 67948d68a457f106242c6dff04669d03 | hardware-model-checking | froleyks | unknown | empty | no | veer_axi_yosyshq_appnote_123_veer_axi-p06_transition.cnf.xz,veer_axi_yosyshq_appnote_123_veer_axi-p23_transition.cnf.xz | main_2025,submissions_2025 |
| dff4ea0af62900ab4d404f3bf7649a4d | 8ef6790c82e68c5fa2bad3bef984db7d | hardware-model-checking | froleyks | unknown | empty | no | nla-digbench-scaling_dijkstra-u_valuebound1_step.cnf.xz | main_2025,submissions_2025 |
| e12874b16df577b301608d03731595d8 | fea9233a09a10dfb5ee7aa357dd8e736 | relativized-pigeon-hole | elffers | unsat | empty | no | rphp5_085_shuffled.cnf.xz | anni_2022,crafted_2016,main_2025 |
| e207ba2df64495327f715e08155a220f | bf51eb428b8e0ae89067d87e2a160039 | fermat | riveros | sat | http://hdl.handle.net/10138/318754 | no | fermat-834855329100173267.cnf.xz | anni_2022,main_2020,main_2025 |
| e23edb67db2d1dfdbfe2f4c02d09c6c7 | 488b036d89a1a34d93dd5aa28afd70c1 | md5-equivalence-checking | jianmin | unknown | empty | no | 14.normalised.cnf.xz | main_2025,submissions_2025 |
| e2d2b011b0805782df6adba648db92e8 | 09d939f53df8bf884727a318d736295f | station-repacking | newman | sat | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | no | 59-129706.cnf.xz | anni_2022,main_2020,main_2025 |
| e318e2ac78b473091c3c2197afd7fc98 | 4b140f847ca673e19b1ee98a8baed0a2 | purdom-instances | purdom | sat | empty | no | 544707209399nw.shuffled-as.sat03-1671.cnf.xz | anni_2022,handmade_2003,main_2025 |
| e3bd4a397f34a99c47d1b2e0e9abcd43 | b566fc3b2887c9574dc7aba774646400 | argumentation | hang | unknown | empty | no | crusti_g2io_250_0.2_255_43.normalised.cnf.xz | main_2025,submissions_2025 |
| e430acf720b63044e5c825a00a76b0eb | 8305024f6dbff1f2e40336e53693e375 | relativized-pigeon-hole | yldirimoglu | unknown | http://hdl.handle.net/10138/563824 | no | rphp_p25_r25.cnf.xz | main_2025,submissions_2023 |
| e442248e155eb81a811edd1deca8a2cd | 797c3664ddc9ce8e335e13214e732fa2 | sudoku | zhenjiang | unsat | http://hdl.handle.net/10138/359079 | empty | sudoku-N30-23.cnf.xz | main_2025,submissions_2022 |
| e4ac15cf2373fe0a3601065225178916 | ac52032af4059807177626603cd97aec | purdom-instances | purdom | sat | empty | no | 2013113162201nw.shuffled-as.sat03-1668.cnf.xz | anni_2022,handmade_2003,main_2025 |
| e707c7e87816dd02ae433d268bd327c6 | b3183fb5ef3234c356c810bacf04b7d8 | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | empty | Break_triple_14_48.xml.cnf.xz | main_2025,submissions_2022 |
| e7addace716ccd5c16ff9a5650869465 | 3461ccdfcaadc25ddbbbe92050ca8059 | crafted-cec | klieber | sat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 | no | mp1-klieber2017s-0300-032-t12.cnf.xz | anni_2022,main_2017,main_2025 |
| e7ee736cb1d140b3f70c6f519097aa32 | 8c0a25b76ac31f564945ad11ce1602b9 | random-circuits | franck | unknown | http://hdl.handle.net/10138/584822 | empty | circuit_32in32out_with_64gates_7in7out_dist128_seed2.sanitized.cnf.xz | main_2025,submissions_2024 |
| e9f6eb5654365bb115e6d96405ea9a76 | 7356f4b3ae539a42bacdeaa111b7c3e6 | argumentation | hang | unknown | empty | no | crusti_g2io_250_0.2_255_12.normalised.cnf.xz | main_2025,submissions_2025 |
| ea37a677b357328c1641ef2f6087bf66 | 917d6b84da8c999addef15b0a8d341a6 | clique-coloring | anders | unknown | empty | no | clqcl_30_9_8.normalised.cnf.xz | main_2025,submissions_2025 |
| ea40162dda3f9b923b6160854cf7f75a | 7276ebe5a01ac268acb7212481510b84 | sudoku | zhenjiang | unsat | http://hdl.handle.net/10138/359079 | empty | sudoku-N30-15.cnf.xz | main_2025,submissions_2022 |
| ebbda8d90dfd9b6500bf932f952907a6 | 3ff419ed54b2f5c5102c8fbe49bba47f | hardware-model-checking | froleyks | unknown | empty | no | 2018D_VexRiscv-regch0-20-p1_step.cnf.xz | main_2025,submissions_2025 |
| ed6d842f96d10f3400bce251f9e95bfb | 40f5c029d5932b850197073739f73985 | battleship | skvortsov | sat | empty | no | battleship-16-31-sat.cnf.xz | anni_2022,crafted_2011,crafted_2012,main_2025 |
| ed9f304b537a768f462bd1c723c5396e | ace2703c79f5f4df16f4cb883e00fc45 | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | empty | ITC2021_Early_9.xml.cnf.xz | main_2025,submissions_2022 |
| ee5fb3e181571740adb8444bd052dbdc | ac5e46248d6e566fcbd12eeb52c4f1b6 | md5-equivalence-checking | jianmin | unknown | empty | no | 11.normalised.cnf.xz | main_2025,submissions_2025 |
| efc1b7cc3861df8c2b68ca10399b794e | 075d9a5a62f61e728fa05676bde206fd | oddball-weighing | mihal | unknown | empty | no | oddball_19_4_ttf.normalised.cnf.xz | main_2025,submissions_2025 |
| f0753a43fd48018b408d64ea68a4a924 | fd1d54d3ab89e73bbe8cc761f223d512 | polynomial-multiplication | xiao | unsat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=61 | no | Nb54T6.cnf.xz | anni_2022,main_2018,main_2025 |
| f0bafebdcce23ccfbaf6c27a7522069b | 2fed91daff7145d09800021ef44e6d56 | circuit-equivalence-checking | xinyan | unsat | http://hdl.handle.net/10138/359079 | empty | div-mitern172.cnf.xz | main_2025,submissions_2022 |
| f17dfbed8c18716a41b231702e127524 | 44f05fa0062aa7246cdb26c3ca9f2788 | school-timetabling | tchinda | unknown | empty | no | SC25_Timetable_C_406_E_45_Cl_26_D_7_T_50.normalised.cnf.xz | main_2025,submissions_2025 |
| f1973c0a4e960a914ff12aa7e4e9293c | bc879e86cfd82a376f83be88dc0df204 | mechanical-master-key | schreiber | unknown | empty | no | lockchart-group2-rnd0.3-L19-K38-P8D4J1_4.cnf.xz | main_2025,submissions_2025 |
| f1cd694d42891a20c96a65ee1c321edc | f15edc383d42c6cfc62a3b922549eaaf | oddball-weighing | mihal | unknown | empty | no | oddball_24_4_ttf.normalised.cnf.xz | main_2025,submissions_2025 |
| f25a1df88f89c6bcbe2602fa7f6e816b | 14283863728934781080b1d3fb10c13b | independent-set | manyem | unknown | http://hdl.handle.net/10138/584822 | empty | 1-TC-256-K-63.sanitized.cnf.xz | main_2025,submissions_2024 |
| f32bb347996c351bc3e9a91c58e8601d | 1514db180a74d0c2121b65f2643a46dd | influence-maximization | kochemazov | sat | http://hdl.handle.net/10138/318754 | no | DLTM_twitter774_83_17.cnf.xz | anni_2022,main_2020,main_2024,main_2025 |
| f33a6163305d6559043b7438a692dea9 | 2aaf77bc1f32d71c20261d7b385a187f | cryptography-simon | yuhangqian | unknown | http://hdl.handle.net/10138/584822 | empty | simon-r17-1.sanitized.cnf.xz | main_2025,submissions_2024 |
| f371fb73e6bd6d05b306519818bd5c89 | feb18caa840a03c06895e9d526e966f4 | argumentation | niskanen | sat | http://hdl.handle.net/10138/563824 | no | WS_500_16_90_70.apx_1_DS-ST.cnf.xz | main_2025,submissions_2023 |
| f37757b26c83935780be4f814f8ea401 | ed9141aa9f71689ac487818833da834a | belpyramid-puzzle | mihal | unknown | empty | no | bp4_TCO_IXA_FPBLE_ZR.normalised.cnf.xz | main_2025,submissions_2025 |
| f3abc375afaf48c7eae21500b773bd21 | 03dcb585a2c8cf0deacec10a09fbd017 | tseitin-formulas | yldirimoglu | unknown | http://hdl.handle.net/10138/563824 | no | tseitin_grid_n400_m400.cnf.xz | main_2025,submissions_2023 |
| f406e2b8b28f205f16e8983bd522db13 | f0bf729fbc1bfa994747e4ab6e5fbab6 | oddball-weighing | mihal | unknown | empty | no | oddball_112_5_ttf.normalised.cnf.xz | main_2025,submissions_2025 |
| f4ca5fca83e870d2ed56f2b00b074ed4 | dc12923023c25d56f7cdad44e763cccb | tournament | heule | sat | https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=66 | no | TT7F-33-24B.cnf.xz | anni_2022,main_2020,main_2025 |
| f569dc48ad062a3110ff08a8d59e59ab | 70446d4b97830e65033ce052164d6e6a | argumentation | hang | unknown | empty | no | crusti_g2io_200_0.1_127_19.normalised.cnf.xz | main_2025,submissions_2025 |
| f5c12b1eb9c49e994abb238576a9372b | 1bff423c7b09fa469f61eabeca212756 | belpyramid-puzzle | mihal | unknown | empty | no | bp4_BC012_CSO_IXA_LP_FPBLE.normalised.cnf.xz | main_2025,submissions_2025 |
| f626408ec204fd8e1a7924d0e59672e9 | 5cb58d00be295a5e8796a3b9f80b2551 | equivalence-checking | zhenwei | unknown | empty | no | oski15a01b41s_opt.cnf.xz | main_2025,submissions_2025 |
| f6a085f3c728e53f57542e62df20e56b | 954be8eb25cd74d1e0593d5c2676d0e6 | graph-isomorphism | mugrauer | unsat | http://hdl.handle.net/10138/135571 | no | crafted_n10_d6_c4_num8.cnf.xz | anni_2022,crafted_2014,main_2025 |
| f6f91f6a44c3953b788c026cbbaa4e91 | 1e671a989ab102c96d2ce3657d0cf67a | p-center | shuolin | unknown | empty | no | arles_thres10_p20_r4514.cnf.xz | main_2025,submissions_2025 |
| fab2022deb130fe3ad1136a5c71b4109 | 66f425d564ace617fa2e24cbdbec47c3 | unknown-cases | xu | unknown | empty | no | case9.cnf.xz | main_2025,submissions_2025 |
| fae6cf26f3da1e7d8fc4926a9ca86b61 | 9212fb8aabd7f9481e7b405fc772c23d | school-timetabling | tchinda | unknown | empty | no | SC25_Timetable_C_495_E_50_Cl_33_D_7_T_50.normalised.cnf.xz | main_2025,submissions_2025 |
| fbdca334e6985cd2de8718b60695b5f6 | 53da5eecffb035cebd14d953c3213cab | multiplier-verification | biere | unknown | empty | no | gm16sparrc.cnf.xz | main_2025,submissions_2025 |
| fc67d414ea20a0ffffc087d7577af2fe | 08f33558166d0b29d5efd532cb40a554 | sudoku | zhenjiang | unsat | http://hdl.handle.net/10138/359079 | empty | sudoku-N30-28.cnf.xz | main_2025,submissions_2022 |
| fcc4c4522c54db2f1cee86fe0fff5f4a | 5228ff3f4f474dbda7c471f9fec8833e | hardware-model-checking | froleyks | unknown | empty | no | x-epic_a19-p16_step.cnf.xz | main_2025,submissions_2025 |
| fdc4dd704e4d93a50fafb1debd8a6789 | ce3e799de09d4447f3f26a5c83738002 | belpyramid-puzzle | mihal | unknown | empty | no | bp4_CB_LP_FPBLE.normalised.cnf.xz,bp4_TCO_CB_LP_FPBLE.normalised.cnf.xz | main_2025,submissions_2025 |
| fdefca5f5236d5a8361dbdff0d017eeb | 00d6ffe56c89c3d8c37c2c0c640fa408 | oddball-weighing | mihal | unknown | empty | no | oddball_29_4_ttf.normalised.cnf.xz | main_2025,submissions_2025 |
| fe851239cedd4197c5390cee55fee723 | 9052d20e5e292ebe231d595afd3d6570 | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-256-64.cnf.xz | main_2025,submissions_2023 |
| fe9b9a35531e13dab41307e569386dab | 770ca84a9d673bb53c713769ce3ac2fe | mechanical-master-key | schreiber | unknown | empty | no | lockchart-group1-L220-K317-p8d4j1.normalised.cnf.xz | main_2025,submissions_2025 |
| fea0f926e766ccba7c7dc261084ecbd0 | 07fd885493dc959044271549bdbbd6f7 | multiplier-equivalence-checking | yalun | unknown | empty | no | 16_16_default_mapped_ultra_and_and_dadda_mapped_bit28.cnf.xz | main_2025,submissions_2025 |
