GBD-Logo
Select a context
Select a context-specific database

Query for Instances

Quickstart
  • Query for Instances: Simple queries are constraints of the form "feature operator value", e.g., track=main_2024. More complex queries can be formulated as specified in our SAT 2024 paper.
  • Download Instances: The file track_main_2024.uri contains the download links for the selected instances. Use it to download the instances, e.g., with wget like this
    wget --content-disposition -i track_main_2024.uri.
  • Download the selected database: meta
hash isohash family author result proceedings minisat1m filename track
00d1fe07ab948b348bb3fb423b1ef40d 5d3300b44d1cc6cbe479aaa9120248f1 miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_KvW_12x11.sanitized.cnf.xz main_2024,submissions_2024
02066c116dbacc40ec5cca2067db26c0 5cf868fa1b66e35fedbcdba5b6a33044 planning surynek unsat empty no mrpp_4x4#12_12.cnf.xz anni_2022,main_2015,main_2023,main_2024
0265448c232e3a25aa5bcd29b1b14567 b7dae5f3dca8186031e39890756c2ec0 hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10051.sat.sanitized.cnf.xz main_2024,submissions_2024
02e4f23ed59566d343b605dc2cc30a01 2588a7d3de277e35da6f6704c244bc2d reg-n shuolinli unsat http://hdl.handle.net/10138/584822 empty REGRandom-K4-L3-Seed40.sanitized.cnf.xz main_2024,submissions_2024
02f6ca52f1ada872d82035088701b66a 8b8d61596cf5e7d7ad9305fe4b9e0a58 software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind69.cnf.xz main_2024,submissions_2022
04ded94454830d4ea960327e8b91f5a3 63aa66f626a7475bbf4b4224734618c7 minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-28-14-sat.cnf.xz main_2024,submissions_2022
04e219c640ed59dc68ea2d50493de5b5 23f1e39735dfdb3daefdbc575f0c4673 polynomial-multiplication xiao sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=43 no mp1-Nb5T15.cnf.xz anni_2022,main_2017,main_2024
05c8e94aaee86390eaf6e68dd3ec3570 f88265f1b24a4588f4f86f7d57eaea10 heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-2.sanitized.cnf.xz main_2024,submissions_2024
05ed64e4e6229f446082752936768489 b7b9f60bddf21f4ae371bf0a714bd2da argumentation niskanen unsat http://hdl.handle.net/10138/563824 no stb_495_168.apx_2_DC-AD.cnf.xz main_2024,submissions_2023
07b476c83150d3cb7e08f5d045e255ab c066a9e23f505af520763e48cf89f71d tseitin-formulas bevan unsat empty no marg5x5.shuffled-as.sat03-1455.cnf.xz anni_2022,handmade_2003,main_2024
07c50b89d97a55b6e1629999a445a2ba 26105d9e99f52f49205db29a7b30fe8a scheduling kummling unsat empty no ctl_4201_555_unsat_pre.cnf.xz anni_2022,application_2013,main_2024
07e6413459f92b613498a719125b6239 8f53099ab464bf3d34f59d380c2f595e scheduling shuolinli unsat http://hdl.handle.net/10138/359079 empty j3037_10_mdd_bm1.cnf.xz main_2024,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
089f909e37b3ef0c4d90687f7e22b68f cb0ad81deabfebcbac276ee114bc52dd cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r18-0.sanitized.cnf.xz main_2024,submissions_2024
08be288536c3178e6874a5676493923c b5ce68f5a3c86b58d1540cc129586da5 miter biere unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 no g2-hwmcc15deep-bob12s02-k16.cnf.xz anni_2022,main_2017,main_2024
08ccc34df5d8eb9e9d45278af3dc093d 57e78d00ce50ee7c5df40adee872808f cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r16-1.sanitized.cnf.xz main_2024,submissions_2024
093fa3ff9f7bc9979c43f9d2310ac21d 3cac36b48785f1deb51e752b43419d03 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 128_125.sanitized.cnf.xz main_2024,submissions_2024
096e485489025895cdc59887baafa08b 188fe9d9fc61a3589f1ab939a633b163 bitvector manthey unsat empty no test_v7_r17_vr5_c1_s25451.smt2-cvc4.cnf.xz anni_2022,application_2016,main_2024
09b61bbf19748094a7d896aac314ab36 e3baa5eb3fa9ca66461adb8e5d71173d hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12063.sat.sanitized.cnf.xz main_2024,submissions_2024
09c1b79b1cfe3522364fe60aef780703 d569d2a6434b0adcbcef6bfaae5f9c21 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12092.sat.sanitized.cnf.xz main_2024,submissions_2024
09d7add3bf3b75c5d1023a92e752989a 45f2cc30c188bb12b7a04e99e54943bc scheduling lester unsat http://hdl.handle.net/10138/359079 empty Break_unsat_04_03.xml.cnf.xz main_2024,submissions_2022
0a02751cacf5e1cdfcc842a7f220199f 98c997c8eb6ca644feb9774cb6509ab7 miter biere unsat http://hdl.handle.net/10138/584822 empty hwmcc17miters-xits-iso-bobsmfpu.sanitized.cnf.xz main_2024,submissions_2024
0a27eb7c16c1e69ff4d087d217ac89cb fd47b3ceb5e808016de67e01d1473fbd heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-0.sanitized.cnf.xz main_2024,submissions_2024
0ac5ff376b826f68d384ba05a1d00de0 ac45db08544875e30c9179b47f184e00 planning balyo unsat empty no sokoban-p20.sas.cr.33.cnf.xz anni_2022,application_2016,main_2024
0ac6aaf6db6a0e4ec3a06e865d01086f a103a30a6ba0b883501a2936120b7ee0 scheduling schreiber unsat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m13-2011-12813-UNSAT.sanitized.cnf.xz main_2024,submissions_2024
0bad2ce307bf5b68db26fa34e252c9d4 a93fa04a2215858a58827cb9e58a08b8 maxsat-optimum cherif sat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_100_4_sat.cnf.xz main_2024,submissions_2022
0cace8a29a1d6b225a8da561d35e8f5a 933741f565767d5581a64534c8f804cb miter jinjinliu sat http://hdl.handle.net/10138/584822 empty lru_10.sanitized.cnf.xz main_2024,submissions_2024
0cfe9c90d3a51435a5e4dba7634b882f 601739193ec14b654f072fccd0768b68 miter biere sat empty empty g2-ak128boothbg2msisc.cnf.xz anni_2022,main_2017,main_2024
0d3160b80aa406bfc718c007265b9e73 8cb879b9ad99ce12d452bee0b45b15af software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind65.cnf.xz main_2024,submissions_2022
0d3fcbb89bfb8e821058ba3ea4284de1 b5657e854a8df6373000685d5ff94878 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3045_10_gmto_b.cnf.xz main_2024,submissions_2022
0d81711a3d73c828e8c6e12607eda82d c6fb65aae8d68977ac948730d71b10d1 heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-20.sanitized.cnf.xz main_2024,submissions_2024
0e5ffe8651c6d9c3cccc3f6cb72be39a bebbc5c1a33ef454a9533fec2e521885 bitvector manthey unsat empty no g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4.cnf.xz anni_2022,main_2017,main_2024
0ef029cb7616d4a89eb6d1f63e89f67e c2e988008f507bf6f97b561c536cb89f or_randxor oertel unsat http://hdl.handle.net/10138/584822 empty or_randxor_k3_n510_m510.sanitized.cnf.xz main_2024,submissions_2024
0f262afd5b117000f8b4734d175aadab 8e8d0a2da856b7822ce18982fe445f9d software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind73.cnf.xz main_2024,submissions_2022
0fa8623240b5c14c1308f863a6dc88ab 5bb478f3992697ff6f54ee279c2f23a2 tseitin-formulas bevan unsat empty no urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged.cnf.xz anni_2022,crafted_2012,main_2024
0fa9521ff633b27be11525a7b0f7d8b6 c254db736e599b7ebcb764e059b5945c random-modularity giraldez sat empty no jgiraldezlevy.2200.9086.08.40.41.cnf.xz anni_2022,main_2015,main_2024,parallel_2015
1009c791cee542cdf19651fe25e6881a 07301f9f9d86aad0028f1caf7413b0b3 summle manthey sat http://hdl.handle.net/10138/359079 empty summle_X4053_steps8_I1-2-2-4-4-8-25-100.cnf.xz main_2024,submissions_2022
1156429862d3c03160406d6d1a786f11 fc0ab65cfe39000c266b06290832d2fd relativized-pigeon-hole oertel unsat http://hdl.handle.net/10138/584822 empty rphp_p8_r170.sanitized.cnf.xz main_2024,submissions_2024
1165e12b6addad01b491c4616306186c ef376dd3bb2227f85a1cfe50e6c91ae5 bitvector brummayer unsat empty no mulhs016-sc2009.cnf.xz anni_2022,main_2019,main_2024
11cc532ecddfb10a47e0a869b4867c1b cd7cd3187acb0d57b771f46208379b1f scheduling lester sat http://hdl.handle.net/10138/359079 empty Break_triple_20_36.xml.cnf.xz main_2024,submissions_2022
12b4a08e412a3bffb513ca65639c7c69 9c96fb55a1d84529493b01a4d8a9f8b6 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-175-7416734.sanitized.cnf.xz main_2024,submissions_2024
13ae2628d8e113db1786dba41a65fe38 71f3aecd3cea79fb2c5bad085dd8d51c hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10027.sat.sanitized.cnf.xz main_2024,submissions_2024
1427381a809c64c721838894ece6756d cb250e6e5c95917084bf940b8aa36153 hardware-verification unknown sat empty empty shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753.cnf.xz anni_2022,industrial_2004,main_2024
14e4cfcf0d83b2185fad41684d00d4dc 6a09793abe4a62e055b959bb29f6c422 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12035.sat.sanitized.cnf.xz main_2024,submissions_2024
14ea5857d75ae2b235a3ba97373ea732 7240e5ae096f45f36651284eb14d977c maxsat-optimum cherif unsat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_40_9_unsat.cnf.xz main_2024,submissions_2022
1507d9812624b3e0eaf15e40100be020 e0af8b221f0b612de857dfa3b3374000 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12014.sat.sanitized.cnf.xz main_2024,submissions_2024
1545660e72158c7e90da5ad4c877a124 7952e9f86fae39d1536e9f621e75c024 miter biere unsat http://hdl.handle.net/10138/584822 empty hwmcc20miters-iso-rast-p06.sanitized.cnf.xz main_2024,submissions_2024
1548977b4e27032fe07cda357782cd6a 41c528addad6336c9d0c0d8ba0e5f59b minimum-disagreement-parity bryant unsat http://hdl.handle.net/10138/359079 empty mdp-28-14-unsat.cnf.xz main_2024,submissions_2022
16c27d738cb45b766b8823ca4f428cf0 52071ce4403925a200aa0fd1e951b4ae rbsat huang sat empty no rbsat-v760c43649gyes7.cnf.xz anni_2022,crafted_2012,main_2024,portfolio_2012
16c5482d8e658b54e20d59cfd4b1d588 a97b334f4b95051c50a9c6aa80005c62 binary-tree-parity pakin sat http://hdl.handle.net/10138/584822 empty two-trees-511v.sanitized.cnf.xz main_2024,submissions_2024
16ca57f2cdffd5b0260fc771017e1f04 4d5387c5d6c4b839a238696c69800b08 minimum-disagreement-parity bryant unknown http://hdl.handle.net/10138/359079 empty mdp-36-10-unsat.cnf.xz main_2024,submissions_2022
170a7d847694ee4cfa5c421757672882 69b2d7280a4809f3b1307eb391852809 maxsat-optimum cherif unsat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_140_0_unsat.cnf.xz main_2024,submissions_2022
170b13af977e962321c493544b2bd0a9 77378f0c019974d0033c6b56481fecf8 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized.cnf.xz main_2024,submissions_2024
18c0eb461bda29214bd43b84199a3b61 b83326d05df9ad323e23064c48249233 coloring oertel unsat http://hdl.handle.net/10138/584822 empty cliquecolouring_n31_k5_c4.sanitized.cnf.xz main_2024,submissions_2024
195852083a05edee1902233698eec14a 57565c29a87575ec6cd6fbbd7833ae6a hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11077.sat.sanitized.cnf.xz main_2024,submissions_2024
19e2c3a0865c8c1b4543d11213bebe5f c2943521708658b82336aa8e0043049f hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-09024.sat.sanitized.cnf.xz main_2024,submissions_2024
1a1c9d1dc1ae7fcff92e3c3499864b75 a2110d22bc9f05838c666ad558f433ae maxsat-optimum cherif unsat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_200_4_unsat.cnf.xz main_2024,submissions_2022
1a20d903db74ab566efc68a35e6b0ec5 68dcea7c1029c36c1af29defd9534d54 miter biere unsat http://hdl.handle.net/10138/584822 empty hwmcc20miters-iso-rast-p11.sanitized.cnf.xz main_2024,submissions_2024
1afa2d7a3d817c3149da432eece66da8 3e28a2b467e571d0e9556237884dda59 scheduling xindi sat http://hdl.handle.net/10138/359079 empty worker_550_550_550_0.3.cnf.xz main_2024,submissions_2022
1b0f4ff7984b8d4cf2873200fb1680fb 08270affb2bccf3a2ab3e48c28d8b094 maxsat-optimum cherif unsat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_140_1_unsat.cnf.xz main_2024,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
1e0da402100982e53001a64281149dd9 226d743e28e17406e8979880ad383e06 software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind63.cnf.xz main_2024,submissions_2022
1e3c3e8d349759b8b482a6f2721762c4 a9951c86d41d4511a1caf1889e7164c6 cryptography soos sat empty no apn-sbox5-cut3-symmbreak.cnf.xz anni_2022,main_2018,main_2024
1e74212168124b696531fed471b480b1 649adedd7afdca9bad67f824cf68299d minimum-disagreement-parity bryant unsat http://hdl.handle.net/10138/359079 empty mdp-32-10-unsat.cnf.xz main_2024,submissions_2022
1ea68d0008f01c50a1e4fec77dd0775e e72f092fb900fd03e7385a68103747d7 reg-n shuolinli unsat http://hdl.handle.net/10138/584822 empty REGRandom-K4-L1-Seed30.sanitized.cnf.xz main_2024,submissions_2024
1f44da3598ccf8bcbe9a90fb1b2f1ebd c682d2426f7b5d1b34baacd727fcb3b8 reg-n shuolinli unsat http://hdl.handle.net/10138/584822 empty REGRandom-K3-L3-Seed25.sanitized.cnf.xz main_2024,submissions_2024
207b28c3cefc55b143259222cbfd4962 c63ec82b5d6b35edd84c31e5e1fe8671 scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m37-28831-324346-SAT.sanitized.cnf.xz main_2024,submissions_2024
210fe1c0ffefde5bcd03d59b1efa6984 758a54cb1b7deedf7f41b17cc77b1ae9 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 32_325.sanitized.cnf.xz main_2024,submissions_2024
2115182958f6cfb5a172a24f989b86dd d12c617317227d0936cdf274f3747665 rooks manthey unsat http://hdl.handle.net/10138/135571 no rook-42-0-1.cnf.xz anni_2022,crafted_2014,main_2020,main_2024
22b4cf412c811872d6ba5078106aeb6c b40aaef444ba2708fd8ec56e30aaa209 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3037_10_rggt_b.cnf.xz main_2024,submissions_2022
23daec2c71ce3c1e346e6042f3dc42eb b68b3e649de688a06028424f7a1558ce minimum-disagreement-parity bryant unsat http://hdl.handle.net/10138/359079 empty mdp-32-14-unsat.cnf.xz main_2024,submissions_2022
24bdfb34654b1aa703fae31ea91e7c7f 2733f732f85d2d82eee13d6c9c36d97c tseitin-formulas oertel unsat http://hdl.handle.net/10138/584822 empty tseitin_d3_n158.sanitized.cnf.xz main_2024,submissions_2024
25447f441df2f134223d3e43319c99ad d1b002bf601adcbc7ed3ecab68a0fa20 miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_CvW_12x11.sanitized.cnf.xz main_2024,submissions_2024
25cc054738293c0d9377d7b72b78a341 3fb16f637330643710121453069da5ca software-verification osama unsat http://hdl.handle.net/10138/333647 no string_compare_safety_cbmc_unwinding_900.cnf.xz anni_2022,main_2021,main_2024
26254890fa7107f85242ec9190da2a7a 85791fe1279ea523e3f9e21418a2f191 cryptography nossum sat empty no 002.cnf.xz anni_2022,application_2013,main_2024
26b648475cfd06695a17ac95f4469744 fe593650cce665986e0b2a25c0e4bda4 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 128_75.sanitized.cnf.xz main_2024,submissions_2024
278aa933fdef642f33fb02a2b18717c1 f278e4ffa8b12ed827165d40212942dc miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_DvK_11x10.sanitized.cnf.xz main_2024,submissions_2024
282a02a1743eb47c6b340e52ecce40a2 925d6cc30137ec19c2651073403363f6 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty lru_6.sanitized.cnf.xz main_2024,submissions_2024
29ab150158d641568f888e8401d2ac13 73c958ac595e1af26333169a6fe1e8d4 hardware-model-checking xindi unsat http://hdl.handle.net/10138/359079 empty bmc_QICE_snp_vld_30.cnf.xz main_2024,submissions_2022
29d86d9a3b85c349e10ad68d7a713da2 082f31e28b13986c4c40f3a7e3215c58 independent-set manyem unknown http://hdl.handle.net/10138/584822 empty 1-ZC-512-K-63.sanitized.cnf.xz main_2024,submissions_2024
29e61b1317804fb897e84237613d42bb 150ab695ef8132abe33d6c2d071d58ba scheduling xindi unsat http://hdl.handle.net/10138/359079 empty worker_30_60_25_0.9.cnf.xz main_2024,submissions_2022
2a15a30186afdad41a49c5c5366d01be ab85b516dc0c52ed3479c8a68478b95f scheduling djamegni sat http://hdl.handle.net/10138/318754 no Timetable_C_392_E_62_Cl_26_S_28.cnf.xz anni_2022,main_2020,main_2024
2a53e9c6a25a50d753a94ead66065826 ec9ff486727a0a4f18516a4a74e637ab popularity-similarity levy unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=49 no mp1-ps_5000_21250_3_0_0.8_0_1.50_6.cnf.xz anni_2022,main_2017,main_2024
2b032f8a8976a302ad125eb50a3e8445 4121dc778d7aa6dd309ba54f0bc0149b independent-set manyem sat http://hdl.handle.net/10138/584822 empty 1-ZC-512-K-60.sanitized.cnf.xz main_2024,submissions_2024
2b043efb4bde6d83f7c95a8e8e2d7bf8 f8c78befc67e4190938f267a096fa10c cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r21-0.sanitized.cnf.xz main_2024,submissions_2024
2b60f9be1439f63b7f174c6b8ca7fedf bde4f2c5cc6fab8e115f9099e22aaa66 sgen spence unsat empty no sgen1-unsat-121-100.cnf.xz anni_2022,crafted_2009,main_2024
2b8a711debc3a6edd01e7b4e305342d9 a91a2ebb7528cc7876c78aaaa2b5ab51 reg-n shuolinli unsat http://hdl.handle.net/10138/584822 empty REGRandom-K4-L2-Seed35.sanitized.cnf.xz main_2024,submissions_2024
2c3c28f6d939d157e909c57a265fc908 f38a37954001793354235ce7b3511e93 mutilated-chessboard porkhunov unsat empty no mchess_17.cnf.xz anni_2022,main_2018,main_2024
2d6d26e1c5b4f2763c03697a6d00d3cf 6a8f6bde0719ca81ca90711f78460e73 subset-cardinality elffers unsat empty no fixedbandwidth-eq-31_shuffled.cnf.xz anni_2022,crafted_2016,main_2024
2dd4b14a8a820e7baa073554ae2c6cb0 5a94e8d2cdecaec24f6dba9dff0aca36 relativized-pigeon-hole oertel unsat http://hdl.handle.net/10138/584822 empty rphp_p8_r160.sanitized.cnf.xz main_2024,submissions_2024
2eb039a5aa6bfb6e41d3afd41071ca55 a493af2b56b4708c37e90e819370f5bc argumentation niskanen unsat http://hdl.handle.net/10138/563824 no ER_500_30_3.apx_1_DC-ST.cnf.xz main_2024,submissions_2023
2fcd8533eba981967292f1b6e41f7433 688dc5a2bf6c490d99504775299fcdcb cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r20-0.sanitized.cnf.xz main_2024,submissions_2024
303480ca7e8322d771c94caf4ebd4e95 9b7943cc013caae8b1d7c9d22928da4d random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized.cnf.xz main_2024,submissions_2024
305ad7d773d6c72be9b1efbf7bf482e0 d37ed28b2c874b923ae306d33f50f575 cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c.cnf.xz main_2024,submissions_2023
30f0db845937bbda3ffde60e5ed4cb3f 321e1272278dbdcf6117e78bc1c08147 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-190-66337703.sanitized.cnf.xz main_2024,submissions_2024
3129198788f182ce6955b18aa3c7e61e 3f00535c59ff1b543ce7146aa9b33231 cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r24-1.sanitized.cnf.xz main_2024,submissions_2024
3184e52e950ac39095a801c418f68d50 0ead38b9b6f5c39ec8c6c75b9b7c2328 minimum-disagreement-parity bryant unsat http://hdl.handle.net/10138/359079 empty mdp-28-10-unsat.cnf.xz main_2024,submissions_2022
31bb67fe67e57dbeb8c4819b01892588 832e71655328a8e73aee865ebaf831f3 miter biere unsat http://hdl.handle.net/10138/584822 empty hwmcc17miters-xits-iso-oski15a08b08s.sanitized.cnf.xz main_2024,submissions_2024
31e788a12ddc8b43ec20e77d53abaa23 3b398b1748cbf6317abd5e618ce0bca5 scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m40-26287-324155-SAT.sanitized.cnf.xz main_2024,submissions_2024
32585e66749f42e161e94fc49fd64750 0335103508785946e98e6b9d6e632c9b scheduling schreiber unsat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m26-6398-62377-UNSAT.sanitized.cnf.xz main_2024,submissions_2024
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
34fa0922e66aee3b6f6ffe1760f459d4 024c78303cb64e733f7151165bb82911 hardware-verification manolios unsat empty no f9idw.cnf.xz anni_2022,application_2012,main_2024
35789168b67a74985804902008251269 a82b5ce8b6f39ed78053744f1d83f922 tseitin-formulas elffers unsat empty no tseitingrid6x200_shuffled.cnf.xz anni_2022,crafted_2016,main_2024
3593875d75d6e836a3ac328c5426c1b5 bf38ca9320016c52dba3ab99bda5f939 scheduling lester sat http://hdl.handle.net/10138/359079 empty Break_18_32.xml.cnf.xz main_2024,submissions_2022
36dbc206c7d9773bebb03f752070cee9 16c424d793b8b2facfb4d31e21458e6e tseitin-formulas oertel unsat http://hdl.handle.net/10138/584822 empty tseitin_grid_n11_m20.sanitized.cnf.xz main_2024,submissions_2024
37a11ae189df2834a3f294736f34608f 83d6a3a27d60510f70b2a7e39a3b00fb minimum-disagreement-parity bryant unsat http://hdl.handle.net/10138/359079 empty mdp-28-16-unsat.cnf.xz main_2024,submissions_2022
37ca184832fc6fa43a22ae900f1756a2 99d16ac848d32c7c8af61ed3255ef147 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized.cnf.xz main_2024,submissions_2024
385042a6042a0df5ddfec6e17f285ae7 1ee94d93ea0363f70ef9ffbacaa94e27 miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_CvD_11x11.sanitized.cnf.xz main_2024,submissions_2024
39277cab188349aee0f229cb7341b5c5 81f07c6fb07f793fee9701eb0c39c0a0 graph-isomorphism mugrauer unsat http://hdl.handle.net/10138/135571 no crafted_n12_d6_c4_num23.cnf.xz anni_2022,crafted_2014,main_2024
396fd56f3fd7b85afbba4254ea6e746c 5ceb0997bee38658900b5957ab7da955 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized.cnf.xz main_2024,submissions_2024
3988a60c6e93167763c6fd2a347d5859 5228db459c61c3c4736dac645735fc68 scheduling lester sat http://hdl.handle.net/10138/359079 empty Break_08_24.xml.cnf.xz main_2024,submissions_2022
39fba35826ce8c87cd8e8de1969b2dd2 de92e19f3315224743338cc1698f70fb subgraph-isomorphism anton unsat empty no SGI_30_80_26_70_4-log.shuffled-as.sat03-208.cnf.xz anni_2022,handmade_2003,main_2024
3a75ad246dbc750a7391ad887c5b0835 0f96ce212002fb59cbb97d8497741ef0 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11093.sat.sanitized.cnf.xz main_2024,submissions_2024
3b59c5d9b6729f39c8483446701f4ed0 b390e70e5cd061efb9b165f4f8622989 cril-misc frioux unsat empty no g2-T93.2.1.cnf.xz anni_2022,main_2017,main_2024
3bf8ba6bb4e4ea9ad08b1b058661ba2e 295aa8fbedb5c4f7d9c7136b875e8f8a summle manthey sat http://hdl.handle.net/10138/359079 empty summle_X4044_steps7_I1-2-2-4-4-8-25-100.cnf.xz main_2024,submissions_2022
3c6e1d1c4b8d3d08aa4c1df3805f4f7d 9e01be29308cd97982df2e24b8e2ce7d hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10031.sat.sanitized.cnf.xz main_2024,submissions_2024
3ed56242f55e3653dbceeb4a70221787 a99f576c45bc59f4d60ea72dd1546a18 rbsat huang sat empty no rbsat-v945c61409gyes9-sc2009.cnf.xz anni_2022,main_2019,main_2024
4073757aae06fc2b50c043f088b132b4 aea6135034af7e4aa63627408baf5ecd cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r19-1.sanitized.cnf.xz main_2024,submissions_2024
40737c2f46512069d54b0d2bb3b47a20 4df0e43583814f4435f42112dcfba731 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no ER_400_20_4.apx_2_DC-AD.cnf.xz main_2024,submissions_2023
4106867bc76b8794330a205cf8a303ad b0ed2a5d4e5f1e9d06efa0779dfc68b0 bitvector preiner unsat empty no bvsub_19952.smt2.cnf.xz anni_2022,main_2021,main_2024
41f4cb4992a481c9d43e2e1a4e2349ac 86b0988f3520273d9885ae06bad3f2fa sgen spence sat empty no sgen1-sat-180-100.cnf.xz anni_2022,crafted_2009,crafted_2012,main_2024
4214f45042f8c504f9837afaec88bf8f 957f64af67e83ed9ba9c03c5a53e6ebd argumentation niskanen unsat http://hdl.handle.net/10138/563824 no ER_400_20_7.apx_2_DC-AD.cnf.xz main_2024,submissions_2023
425c81fc3af7f5124b6282583d80df11 d3b6fdba7756186e23dcd18c77899e04 minimum-disagreement-parity bryant unsat http://hdl.handle.net/10138/359079 empty mdp-32-12-unsat.cnf.xz main_2024,submissions_2022
43e492bccfd57029b758897b17d7f04f e13a2845fdd07b79ac803526803ed114 scheduling mayer-eichberger sat empty no pb_300_09_lb_07.cnf.xz anni_2022,application_2013,main_2024
44c25de7963c45e92a2407ad839f6e8b 886f53b24ea0b99f9f81218b0c2a078b scheduling lester sat http://hdl.handle.net/10138/359079 empty Break_20_72.xml.cnf.xz main_2024,submissions_2022
44fd38bd0c5fc7336be468161dee4eda 7ac82c4d4c6300dedd7d56456b83360d cryptography-cbmc post unsat empty no post-cbmc-aes-ee-r3-noholes.cnf.xz anni_2022,application_2009,application_2012,main_2024
4517202fdd0ccc8a97d83684b021ea96 bd846c231d17b6d6a983079372fcf913 waerden kullmann unsat empty no VanDerWaerden_2-3-14_186.cnf.xz anni_2022,crafted_2011,crafted_2013,main_2024
45a09efb026036ff4b8d19024a7563a9 27fcefa47bb5e5e049d457b80197b445 fermat riveros sat http://hdl.handle.net/10138/318754 no fermat-931960058139995587.cnf.xz anni_2022,main_2020,main_2024
461df1a7056560279d532bc2743022b6 bdaacb2f044efd81fdcfcb36642a0a0e heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-185-75415683.sanitized.cnf.xz main_2024,submissions_2024
462d72f9b78ab1cd080667ff12a114ac 38f24fde5bdf3d0e0e4792b031942327 miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_CvK_12x12.sanitized.cnf.xz main_2024,submissions_2024
46d75199933980fdb856f13e5b1817dd 3f525feb3c2b48b36445e05deb2b9b2a independent-set manyem unsat http://hdl.handle.net/10138/584822 empty 1-TC-256-K-64.sanitized.cnf.xz main_2024,submissions_2024
475803537529d9d14a034957f48a6d38 f371d5981b0796b5ca0d5fb236825e1d hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-09076.sat.sanitized.cnf.xz main_2024,submissions_2024
479b1413f8bd1d6fc0723856ffca9792 74a912c1f4b23a5732a9164358cecc95 quantum-kochen-specker zhengyu unsat http://hdl.handle.net/10138/584822 empty constraints_18_0.4_2.sanitized.cnf.xz main_2024,submissions_2024
47e1ada0070708c2953d322c06aea00d 43084ad92918da6fa61a119e0aac0901 heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-8.sanitized.cnf.xz main_2024,submissions_2024
4a8285a53f30b35016b0c85ea17ba155 4fea9607b5eda661a15b1c4f72a4db8b independent-set manyem unsat http://hdl.handle.net/10138/584822 empty 1-TC-256-K-68.sanitized.cnf.xz main_2024,submissions_2024
4be4ae25aae88528bc10f8369bba86df 55e6497d70b24711f38b98910f8367fe argumentation niskanen unsat http://hdl.handle.net/10138/563824 no ER_400_20_4.apx_1_DC-AD.cnf.xz main_2024,submissions_2023
4c54efa61599e33d514bf718ff23ad09 e717806f25ac5b51ce87efa8d089d90a miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_CvK_12x11.sanitized.cnf.xz main_2024,submissions_2024
4d7f6efbae05b66ffbbd509a430d57f8 aeef216ebfca9c9bbfa4ea13c05c168b argumentation niskanen unsat http://hdl.handle.net/10138/563824 no stb_418_125.apx_1_DC-ST.cnf.xz main_2024,submissions_2023
4e366e723d75fe39bf6db9a24ffb059b 82e1b62a1028d6a1d742d9448393cd05 clique-width heule unsat empty no Dodecahedron-k7.cnf.xz anni_2022,crafted_2013,main_2024
4f2d6659b5c9bf594ea12e3e1a85799f 3907a5832e5001946bb6ae8632f364a1 minimum-disagreement-parity bryant unsat http://hdl.handle.net/10138/359079 empty mdp-32-11-unsat.cnf.xz main_2024,submissions_2022
50019e4419d48196bb4b95933a8b5030 9a327581d26390366e1e0381d0eecaab heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-14.sanitized.cnf.xz main_2024,submissions_2024
511a2d81661a185c2115daec42270dec f59d79cfc906bcbd229d838ebe52d5c0 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized.cnf.xz main_2024,submissions_2024
52aaf653a79ca14fa1127cda32aa94ce fe2572da5120bc4aa429e6efbf5d3554 heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-10.sanitized.cnf.xz main_2024,submissions_2024
5411047bc24f4321f0e490e01e4a0910 3340cfa84dd72e1fbba5936efdad9aba risc-instruction-removal-golcrest fleury unsat http://hdl.handle.net/10138/563824 no goldcrest-and-9.cnf.xz,goldcrest-or-9.cnf.xz,goldcrest-xor-9.cnf.xz main_2024,submissions_2023
5432e4dd44480fadbd66647db1750c80 d5d1776c1164c5b98f7a477c3eb25370 scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m24-24102-255206-SAT.sanitized.cnf.xz main_2024,submissions_2024
543e67dd5abc272c37775b1b742a1d9a 65ace48b840b177ef2a3ed5e2684c0d8 quasigroup-completion gomes sat empty no qwh.60.1728.shuffled-as.sat03-1659.cnf.xz anni_2022,handmade_2003,main_2024
54c2da6d387a6f5ad6e014ae4d4decfc 2759ffaf0840b328fb358dc8c6124612 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10038.sat.sanitized.cnf.xz main_2024,submissions_2024
55199d55fa9c3751a525d6c0a0e649bd b15a26ca66aa8051999626b56e2b4d79 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no WS_500_16_90_70.apx_2_DC-AD.cnf.xz main_2024,submissions_2023
556cf803f9de4b2ec688825b5ff7e325 b50e113fec4d949be0617b16a4477ad1 tseitin-formulas oertel unsat http://hdl.handle.net/10138/584822 empty tseitin_d3_n174.sanitized.cnf.xz main_2024,submissions_2024
5690b9b0380aa9508699e56cae5918b5 02fcbe6e6dca7c49851f68356bd960b3 hgen chen sat http://hdl.handle.net/10138/318754 no 170058440.cnf.xz anni_2022,main_2020,main_2024
573cc82ec61e01fd6e6308493ee56289 27712e4b1030a57ad8e2c74697a3cfaa software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind80.cnf.xz main_2024,submissions_2022
576ebc1333f2c466c2dec98792721e1f 568fac078fa8dd0f712442b54c75b361 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3037_9_rggt_b.cnf.xz main_2024,submissions_2022
57f4ea7ab160d996e38e69fac59869c4 a038dc2354347b98a6a2ac0f4e93c900 hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-09047.sat.sanitized.cnf.xz main_2024,submissions_2024
5865fb9a6575d2ae6542c36ab96646a9 270c5a498ef874a8cb1df94195318b54 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11088.sat.sanitized.cnf.xz main_2024,submissions_2024
5952b9f18b73dabb531c60e3ac85d26f 46c0c403fd911e0800b18181a2bbd177 scheduling kummling unsat empty no ctl_4291_567_9_unsat.cnf.xz anni_2022,application_2013,main_2021,main_2024
59825ed96dc3bbdbd8789a4870b323ec 2cafa87b6321f800d7823abcde66b240 knights-problem unknown sat empty no hcp_CP18_18.cnf.xz anni_2022,main_2019,main_2024,main_2025
5a068ba62fe30e435a76e2ec80896ef4 cf6750e34110bd1416312b54e1b21ad0 scheduling lester unknown http://hdl.handle.net/10138/359079 empty ITC2021_Middle_1.xml.cnf.xz main_2024,submissions_2022
5ab3040d8617bf9f4d4cef4e56dcfd03 306ac6ab4b90ceed2dbb6d057ab3db23 miter biere unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 no g2-hwmcc15deep-6s161-k17.cnf.xz anni_2022,main_2017,main_2024
5b0f16de2c5419b80b608db37d07d994 a60382661bfecff7469deb94ecc898cf miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_KvW_11x10.sanitized.cnf.xz main_2024,submissions_2024
5b5dfab02ce5c12a50be3bc7d7cc42c7 a74a93ba3c930d3b69ae189202fae61c scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m15-2352-13561-SAT.sanitized.cnf.xz main_2024,submissions_2024
5cb1ca8fe8a9d9125ea9accd498445f1 42c124b86b69ed03566d4788d46c9d6b argumentation niskanen unsat http://hdl.handle.net/10138/563824 no stb_531_83.apx_1_DC-ST.cnf.xz main_2024,submissions_2023
5e1c11b77cdf3717b81b957120f0f477 65c3e96404eada15c223d8cdfd1a7a87 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12001.sat.sanitized.cnf.xz main_2024,submissions_2024
5e5fe73a2e0ffc8e19873298566919fb 832979c374591183a9dfcd78ef326079 rbsat huang sat empty no rbsat-v760c43649gyes3.cnf.xz anni_2022,crafted_2012,main_2024,portfolio_2012
5ea72bcdccc86bd1a924029f7b81aec5 3aac5c2f9449829579e4a32c27ccaba6 scheduling stojadinovic sat http://hdl.handle.net/10138/135571 no atco_enc1_opt1_10_15.cnf.xz anni_2022,application_2014,main_2015,main_2024
5ee7de2bd112aa39485e79c9d487bf8f ddc43fd0ed5f6b5d0870eb5abf994df3 cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r23-1.sanitized.cnf.xz main_2024,submissions_2024
6008b958ff6877f32c26b72728df4523 5ad5587c8856d3475c6fa3a67e6c4fbb software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind76.cnf.xz main_2024,submissions_2022
6077d4e5f755124ddc84068d6ccb630f 294457b0dd222e18c429ff23e52de586 polynomial-multiplication xiao unsat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=61 no Nb44T6.cnf.xz anni_2022,main_2018,main_2024
61069e0e3339af80000b774a041b7d96 8b1e0abaff21aed0740bd632c7b7532a quantum-kochen-specker zhengyu unsat http://hdl.handle.net/10138/584822 empty constraints_18_0.3_2.sanitized.cnf.xz main_2024,submissions_2024
62dcbf79f5ecef5618c9d9a00311326c 33607fe10cfa05ce7a7dfc2676c29179 scheduling schreiber unsat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m13-1655-9604-UNSAT.sanitized.cnf.xz main_2024,submissions_2024
634a271f5fe339007a186539d615e92f a78ae864f69f077d88a9e35ba0b235bb heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-4.sanitized.cnf.xz main_2024,submissions_2024
63732c330adb8de8dd47ce1693b86d0e b73fe0cccdcfb7f698ed9cef6daa7a9d equivalence-chain-principle sambuss unsat http://hdl.handle.net/10138/584822 empty FmlaEquivChain_4_8_8.sanitized.cnf.xz main_2024,submissions_2024
6543793076c30fc7cdfa5a3c819cedc7 83cfc9f3ec9ad1a674f84d824193be47 risc-instruction-removal-subrv fleury unsat http://hdl.handle.net/10138/563824 no oisc-subrv-sll-nested-11.cnf.xz main_2024,submissions_2023
65c5a5d228ec5e52d1a72f918086f584 859c90aa3565ac3f4fd1decb85a98757 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 32_100.sanitized.cnf.xz main_2024,submissions_2024
67b4844c4bfbaf961cbbd79b953aa5c2 a93d28157ef79679d2c0894a7164eb80 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no stb_588_138.apx_1_DC-AD.cnf.xz main_2024,submissions_2023
67c533489a498495525efee429340958 3f6ffd5f8944f44c4368f9f34ae3824e coloring oertel unsat http://hdl.handle.net/10138/584822 empty cliquecolouring_n15_k9_c8.sanitized.cnf.xz main_2024,submissions_2024
695e287a447fcdd924985a6e73057a38 02ff2d5808eb5d429c2aba40a89a6922 rbsat huang sat empty no rbsat-v1150c84314gyes1.cnf.xz anni_2022,crafted_2009,main_2024
6969c86fbc5814332ab8615031334fa8 80db9c56dac66772a4f3b77c9c90a312 cryptography-ascon manthey sat http://hdl.handle.net/10138/563824 no asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c.cnf.xz main_2024,submissions_2023
697c96ac45534726c7dbd96faa11a86a b9e823699a0211f038452e96ad12e270 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11094.sat.sanitized.cnf.xz main_2024,submissions_2024
69e34d0f49c71a7e145d8104ebe0273f 228bb70bc0d854025076627e7d531346 planning balyo unsat empty empty sokoban-p16.sas.ex.15-sc2016.cnf.xz anni_2022,main_2019,main_2024
6a674acad2aeac729ecb39ad9e4a2298 78ebb6c585feeb7b2002dd5c07d24cfd independent-set manyem unknown http://hdl.handle.net/10138/584822 empty 1-ZC-1024-K-116.sanitized.cnf.xz main_2024,submissions_2024
6add7e416c1126607afeb2666af330ac 559913637ea30a53c2da965d1002ca17 quantum-kochen-specker zhengyu unsat http://hdl.handle.net/10138/584822 empty constraints_16_0.5_1.sanitized.cnf.xz main_2024,submissions_2024
6c52aca5b5fd284bf1940b84df90a367 960fa8ef9910026d1c5cc17bc78f5299 independent-set manyem unsat http://hdl.handle.net/10138/584822 empty 1-TC-256-K-71.sanitized.cnf.xz main_2024,submissions_2024
6f0e236c999de0a5e3c46fd3463b1d0d c18548b225505a62732fca83f75f1eb8 rooks manthey unsat http://hdl.handle.net/10138/135571 no rook-56-1-1.cnf.xz anni_2022,crafted_2014,main_2024
6f4df706246d29bf38adadd274fadab3 c3f3c7de21ff572c5fa315edbe159074 subgraph-isomorphism anton unsat empty no SGI_30_60_19_60_6-dir.shuffled-as.sat03-112.cnf.xz anni_2022,handmade_2003,main_2024
6f7a0e1cf94b6b26eafc08a827a692ce 5dcf28a823de8d8af6d73773f15f5a42 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized.cnf.xz main_2024,submissions_2024
6fc528fc3d0fd5a2c50992feb8bf0357 b335c5b22c02b46b417a63d1f5ed3b7e scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m24-17855-226744-SAT.sanitized.cnf.xz main_2024,submissions_2024
7083b70c1976162e2693d7a493717ffd 44b4b8d327b82f35415bf4dadc1a5dc0 battleship skvortsov sat empty no battleship-14-26-sat.cnf.xz anni_2022,crafted_2011,crafted_2012,main_2021,main_2024,portfolio_2012
70bfbd054dc9ffd394fab32845b492d3 79f0629a8f26d414d56a855fc8f33a35 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized.cnf.xz main_2024,submissions_2024
70ef2b6bdc4101a0e35cf3d165571fe3 58dc043de5293a8472c9fe5c6dc04f53 quasigroup-completion gomes sat empty no qwh.50.1250.shuffled-as.sat03-1655.cnf.xz anni_2022,handmade_2003,main_2024
71a3dd6156463c0c55c4b38394faa753 fec840656fca478599398d8e6d36ede6 maxsat-optimum cherif sat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_120_4_sat.cnf.xz main_2024,submissions_2022
71ec94c233016219e12d671594dc88e5 b06ef2b1f1d63093f271ee7a92558903 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized.cnf.xz main_2024,submissions_2024
72c0d81e16d91bcaed808efcde2e5069 8a40ff0aa201908fdc971cae3da07227 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-175-1251868.sanitized.cnf.xz main_2024,submissions_2024
7429e380834066c206394139c9e1e17d fe7456053c197bd3d8994ab3138fc32d maxsat-optimum cherif sat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_100_9_sat.cnf.xz main_2024,submissions_2022
74f145bb935650f5c982d7eec6967945 3eaac8a3651f75beae562b41922419cf scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m43-38782-385402-SAT.sanitized.cnf.xz main_2024,submissions_2024
761651d4b6454108403bdefe22720fb3 fac9c934969b9ce2044a19770d6d4f78 quantum-kochen-specker zhengyu unsat http://hdl.handle.net/10138/584822 empty constraints_18_0.5_2.sanitized.cnf.xz main_2024,submissions_2024
768956cc8d1f2d18ae1929f6bb26557a 2920c67fb50ccb2c9eb3f908215ac009 coloring oertel unsat http://hdl.handle.net/10138/584822 empty cliquecolouring_n13_k8_c7.sanitized.cnf.xz main_2024,submissions_2024
773f3bd29e202ff700d8b5b459857a2c 73a05380891e4018cf8bff360e9dc582 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-175-9054056.sanitized.cnf.xz main_2024,submissions_2024
778e0fd8f034b7cfd539b1b523ed4c4a 3e82e90d785b3247ce2c4b9b8a2a9ed2 miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_CvW_12x12.sanitized.cnf.xz main_2024,submissions_2024
77b7f7bbf75faaee28f473b9941de103 0e5ccd05ce4371119fdda3fdfbe5b761 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-185-19924337.sanitized.cnf.xz main_2024,submissions_2024
792495b57d6145fd21d7076eab2ab06a 1674bd1eea65bc18e7a6dfa88bf45a07 grs-fp-comm fleury unsat http://hdl.handle.net/10138/563824 no grs-64-64.cnf.xz main_2024,submissions_2023
79b9e24dd9af185dbec18c9b0a32b1e2 885d18ab635dc6e02f5e3648aa22aff9 cryptography fuhs sat empty no g2-slp-synthesis-aes-top30.cnf.xz,slp-synthesis-aes-top30.cnf.xz anni_2022,application_2011,application_2012,main_2017,main_2024,portfolio_2012
7ac7fabd8c078aea420087a0c80e5563 2d429b0ee4c42e6c7777fc0009da1461 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized.cnf.xz main_2024,submissions_2024
7b48f9354d25521bd542d859c0ecdde9 697579f78783ea07165e6f85627bf4a3 miter biere unsat http://hdl.handle.net/10138/584822 empty hwmcc17miters-xits-iso-oski15a08b00s.sanitized.cnf.xz main_2024,submissions_2024
7b9d8b9b31b530effd634f5a8f1f4411 24e61a1f9b2ebcff0f54da7c9b2138a5 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no stb_531_83.apx_2_DC-ST.cnf.xz main_2024,submissions_2023
7cbc3ce2052ba7c5b501f75af58ab3c4 3a681770e66def8c650901ce334426ee cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r22-1.sanitized.cnf.xz main_2024,submissions_2024
7db30d12cb06f0dc2f30abff80d96d6a e63edad418f8529781b05038a2728634 binary-tree-parity pakin unknown http://hdl.handle.net/10138/584822 empty two-trees-1023v.sanitized.cnf.xz main_2024,submissions_2024
7dc0e1b5fedbd8351907f1316b58e68f e07f3cd938f1147fc7c064e1a20be502 independent-set manyem unknown http://hdl.handle.net/10138/584822 empty 1-ZC-512-K-65.sanitized.cnf.xz main_2024,submissions_2024
7e1d279559b202016e5797901e731a39 3c4101b6e0483ef743249d6722b45f9a cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r25-0.sanitized.cnf.xz main_2024,submissions_2024
7f1c7da531539f3be4a1e0e916913086 d58fa12f103efde33f1ba70c996d4fe3 scheduling schreiber unsat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m19-2974-16501-UNSAT.sanitized.cnf.xz main_2024,submissions_2024
7f2b4b2bde9b866b93fbfe01341213da 183aa44466b5b64fa0f989fa6a9e9ece cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c.cnf.xz main_2024,submissions_2023
7f7109dce621ef361a72b3e8cee9a962 46543100a9b6f6774d703b7131ac4be9 scheduling lester unsat http://hdl.handle.net/10138/359079 empty Break_unsat_06_07.xml.cnf.xz main_2024,submissions_2022
7fb202a51c0223f3119887a57086ca4d d4e38d28c4d950a880cc677dac0792bc hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-09051.sat.sanitized.cnf.xz main_2024,submissions_2024
7fca438c38e5b7a70e38778ec146cfe0 0db874c6d846099bf0b532d077946579 scheduling kummling unsat empty no ctl_4291_567_2_unsat-sc2013.cnf.xz anni_2022,main_2019,main_2024
812926407774771b3bd9885f7bfa4841 0a2d98f3fdf3cdd0fce7c021a14d5eed miter jinjinliu sat http://hdl.handle.net/10138/584822 empty lru_9.sanitized.cnf.xz main_2024,submissions_2024
82d9e8d2cfea101dfe52c8359b7bb163 08df85c3015a019c072b46fd24fe0e0b maxsat-optimum cherif unsat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_40_2_unsat.cnf.xz main_2024,submissions_2022
83b330c934d6dd35d56e1b1ca3638b3c bde08355475f6c7f5cb983daafbfe8a1 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3037_1_mdd_b.cnf.xz main_2024,submissions_2022
83dc8f675657b3e6d148ef5cf897fb82 5719d45f53ec27b3430a81d0dbc7be74 planning rintanen unsat empty no openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf.xz anni_2022,application_2011,application_2014,main_2024
84c6d7e4a18aacf166105aaa3cd6e3de 4192b278022ca5ce5c5cec7e2c6903ac miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 128_100.sanitized.cnf.xz main_2024,submissions_2024
8530c911b75ab1b276042043d118a875 23c27e133fdb88ae41624f66e866b046 quantum-kochen-specker zhengyu unsat http://hdl.handle.net/10138/584822 empty constraints_16_0.4_1.sanitized.cnf.xz main_2024,submissions_2024
8704094951693f99fd21403a039c8131 325338ae9ff0c729c5ed082dafd37a12 mutilated-chessboard porkhunov unsat empty no mchess_16.cnf.xz anni_2022,main_2018,main_2024
878bcc11e1e243680f7946bcf428f465 3e2965178f70ad2b517fdb2c1dde9c1d software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind45.cnf.xz main_2024,submissions_2022
88d151d4e3c6ba9bd78454de141cd108 ff8372d74328c64c0d0ff300a0e2c98b cril-misc frioux unsat empty no T105.2.0.cnf.xz anni_2022,main_2018,main_2024
88e89266e58f1f125ebc4e0f66e2c060 51ce1c4d19dd455f1b40e756ecf469ce miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 32_200.sanitized.cnf.xz main_2024,submissions_2024
8942dca5dc0876fc3f723f738d72de1c 36359b70f8fabf229e05c15554514767 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized.cnf.xz main_2024,submissions_2024
897acc1858ce0887f286aba5c0d56d71 1b474b4b4ef1ebbe72bb553e8d10625a polynomial-multiplication xiao sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=61 no Nb13T165.cnf.xz anni_2022,main_2018,main_2024
8b18bb75459a4161633ba2a3c8ee183e 6949a2df063632ae31925531cd970aae hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11062.sat.sanitized.cnf.xz main_2024,submissions_2024
8b31606e10656ff7eb2936262b647443 fc31d5530b00f5d803218dc772837691 argumentation wallner sat http://hdl.handle.net/10138/135571 no stable-300-0.1-20-98765432130020.cnf.xz anni_2022,application_2014,main_2020,main_2024
8b91c5bf4dfd87ffb46c5ef88a3ef1cd 24ecc400b629c00409e62c20faa6226f miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_DvW_12x11.sanitized.cnf.xz main_2024,submissions_2024
8bf63d50ebdb645b75a24370b8f94d31 662ba8fb7ef1b957a40a2e0263070428 planning balyo unsat empty no sokoban-p20.sas.cr.25.cnf.xz anni_2022,application_2016,main_2024
8d2dfc50c1759dc11a6564d5c368c6df f35841761091182f1ed516452e08199b equivalence-chain-principle sambuss unsat http://hdl.handle.net/10138/584822 empty FmlaImplyChain_3_7_8.sanitized.cnf.xz main_2024,submissions_2024
8d4b50ec0cf99097e9ab0835937afee5 cc1dce5a8d906e4547053e891dd80280 miter biere unsat http://hdl.handle.net/10138/584822 empty hwmcc17miters-xits-iso-6s281b35.sanitized.cnf.xz main_2024,submissions_2024
8e720686372c5037f30b4fc7b1c71d48 5f20e43804cdab12d3bd3fc5bfac3c40 quantum-kochen-specker zhengyu sat http://hdl.handle.net/10138/584822 empty constraints_17_0.4_1.sanitized.cnf.xz main_2024,submissions_2024
8ffd718f763ed7a3f691cf46e57f8d98 26564aab35ab54122d6e31ac9b677c4a minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-32-10-sat.cnf.xz main_2024,submissions_2022
907e7dc703e16ad2c7e56a33fe3b3e5f 856c70a7c60223d1de01932a6a12205e hardware-verification manolios unsat empty no manol-pipe-g10bid_i.cnf.xz anni_2022,application_2014,main_2008,main_2024
912ce8c21d8fb8abc491cb205ec23e9f ee1ba587cd62b1e472a6d3ac6bf2649c miter biere unsat http://hdl.handle.net/10138/584822 empty hwmcc20miters-iso-mul2.sanitized.cnf.xz main_2024,submissions_2024
915a25bd189357e4c6d7771b69a6849f 6c16f1a44f7c923f3ccb6f76ac9b6c78 hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-09004.sat.sanitized.cnf.xz main_2024,submissions_2024
91e0db01b254eb78f6643328045bfeb9 af8730519d158c0818cc0147603182f1 stedman-triples johnson sat empty no sted5_0x1e3-20.cnf.xz anni_2022,main_2018,main_2021,main_2024
9276ce38c625b2d00de247f8588f1542 7d108f0eb6dab974e73d8020dbc6ec29 cryptography soos sat http://hdl.handle.net/10138/318754 no combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2.cnf.xz anni_2022,main_2020,main_2024
94571e8a1081385029d1ecd53ffcdf8e 5f28edcc3dd1866b93aed80ca304c063 maxsat-optimum cherif unsat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_200_0_unsat.cnf.xz main_2024,submissions_2022
94dd280b1562ee7dae44b303b8fed233 f44fedc9cf134652ed27bdbfaa6165ad scheduling lester unknown http://hdl.handle.net/10138/359079 empty Break_unsat_18_31.xml.cnf.xz main_2024,submissions_2022
96a6796405061571e12d383efe27b703 9bf75b66d758996f6c47e8bcce4ce3b4 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no WS_500_16_70_10.apx_1_DC-ST.cnf.xz main_2024,submissions_2023
973d699ec01b88da869233a79aaa1912 0a62b2dfea97c9c80a83a490eead7058 coloring oertel unsat http://hdl.handle.net/10138/584822 empty cliquecolouring_n13_k9_c8.sanitized.cnf.xz main_2024,submissions_2024
9777418f75e1dfbd7d34e9b0ba4bf0b5 a61d5c33320b5fa351e19dbf344d8197 grs-fp-comm fleury unsat http://hdl.handle.net/10138/563824 no grs-64-128.cnf.xz main_2024,submissions_2023
994783ef4ed3a0366842e1b6f9128a6f f048820cd86df2d453e39f39be283f6b heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-6.sanitized.cnf.xz main_2024,submissions_2024
9a06700729bf3426beb8a62040f92960 4afd1d883ef542e696d8ff725aaf4b7a minimum-disagreement-parity bryant unknown http://hdl.handle.net/10138/359079 empty mdp-36-12-unsat.cnf.xz main_2024,submissions_2022
9cd3acdb765c15163bc239ae3a57f880 b11ea47528e377f67d91d0ac7e165449 equivalence-chain-principle sambuss unsat http://hdl.handle.net/10138/584822 empty FmlaEquivChain_4_6_6.sanitized.cnf.xz main_2024,submissions_2024
9d9c4fa425282759eb9e98b82fb5f56e 9f0ffdd8db2840fe34e65a6ef5d5c027 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12087.sat.sanitized.cnf.xz main_2024,submissions_2024
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
9e6c2e7b0d6f58e449716deb9305525a 183e8efbbb5680020abd7e9f7bc9b768 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized.cnf.xz main_2024,submissions_2024
9e749596a8de36d8ab706c96cf128455 7e5383c23112a3751f36fbf76a8a171e argumentation niskanen unsat http://hdl.handle.net/10138/563824 no WS_500_16_70_10.apx_2_DC-AD.cnf.xz main_2024,submissions_2023
9e85aad5707405fb349c6c5548040cf4 8043a6e672b315dfd2d79fcb73a922ca scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m35-32274-371389-SAT.sanitized.cnf.xz main_2024,submissions_2024
a08e66296d00f480e9ccadd79fa8b904 f6786da15c6bcf366be1e89885599632 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3045_4_gmto_b.cnf.xz main_2024,submissions_2022
a14d9ee17051ec08a4334ba43089502c a934a2bbfc6a46967627496c167e3d90 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 64_200.sanitized.cnf.xz main_2024,submissions_2024
a38affaa741c958fc32769d5fe89b06c 044c2cfd3f6335b5b13f8386e9aa54cc random-csp kexu sat empty no frb65-12-2.used-as.sat04-874.cnf.xz anni_2022,handmade_2004,main_2024
a45a0358685867bd4f1c7f7c0b0e379c 9a42ccea9bff8882739a5fab94a789d0 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10014.sat.sanitized.cnf.xz main_2024,submissions_2024
a5419a63d913bde0ba5bcd8a8571342f f2deff98b7a2e238f565781ab77923a9 cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c.cnf.xz main_2024,submissions_2023
a552a058e6376a36b1f1b2724f228364 379f78fe6520295e2bfcdc749de7a654 hardware-verification ibm unsat empty no IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged.cnf.xz anni_2022,application_2012,application_2014,main_2023,main_2024
a58b8a5eb61d3110d9fa36a03de588d2 14fffdfbc945790846b989750d98565a argumentation niskanen unsat http://hdl.handle.net/10138/563824 no stb_495_168.apx_1_DC-AD.cnf.xz main_2024,submissions_2023
a5dc6226e4c0bebb06926efe55640995 56a06fc56d6b20bbe8f01be84068a693 minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-36-10-sat.cnf.xz main_2024,submissions_2022
a5fc113e7d4899f4e4af14b87b6fd6ae 95f89118d2353e1c0c55637833825370 hypertree-decomposition schidler unsat http://hdl.handle.net/10138/318754 no Kakuro-easy-097-ext.xml.hg_4.cnf.xz anni_2022,main_2020,main_2024
a6ed647f85f20be4aedd1e9ce31cbdcd 8db0a03d70d117a6f2aa6d32c73cceb1 independent-set manyem unsat http://hdl.handle.net/10138/584822 empty 1-ET-256-K-55.sanitized.cnf.xz main_2024,submissions_2024
a917b02a7c31e74c8ccf8b8f001abf37 58199c5d7af529cd768b3d4dfe201ab2 independent-set manyem unsat http://hdl.handle.net/10138/584822 empty 1-ZC-512-K-67.sanitized.cnf.xz main_2024,submissions_2024
a9cb77454c6cfdf4092fb304d3aae8b7 2b02912620e16a91225e97bbf8d40690 minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-32-16-sat.cnf.xz main_2024,submissions_2022
aa39c6d885d283a085d033ab7b89f8c8 af0190650b251e2d6654958a87dd14a5 tseitin-formulas simon unsat empty no urq45.cnf.xz anni_2022,crafted_2012,main_2024
aa6e6f67719ca43aef922f2ebabc409a ea9086ddf6f96bd26d89cc17d18785db independent-set manyem unknown http://hdl.handle.net/10138/584822 empty 1-ZC-1024-K-117.sanitized.cnf.xz main_2024,submissions_2024
aa9b67fd19d54ad51b93ee4ba5dc75fc caf3661e2704a46ad98c4a03a2c6609d hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10002.sat.sanitized.cnf.xz main_2024,submissions_2024
aaa3654cc92d80da84ecf5d18040c634 676a395e38a41c3f6cbe9f4c07d8feb5 software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind62.cnf.xz main_2024,submissions_2022
aacfb8797097f698d14337d3a04f3065 a75853844bdb8456689c8d585ec48f67 planning balyo unsat empty empty barman-pfile06-022.sas.ex.7.cnf.xz anni_2022,application_2016,main_2024
ab3438b504b296fcee78ec9e71969863 d0f65dffe1fb29c8119690a7e1d45476 minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-36-14-sat.cnf.xz main_2024,submissions_2022
ac347c21ca0759079c0be9a758e4e924 1b587e76d00b4e8c633f6fbd25e31a5a coloring oertel unsat http://hdl.handle.net/10138/584822 empty cliquecolouring_n41_k5_c4.sanitized.cnf.xz main_2024,submissions_2024
aceab5a3452e2901e645065bda3e8847 c3988a2753ee6e821c3ff93be893a02e miter jinjinliu sat http://hdl.handle.net/10138/584822 empty lru_8.sanitized.cnf.xz main_2024,submissions_2024
ad4e151d80c7012d88dd79bcfceaade5 5c109d999d7fa9c820a67d0fbb55f3c4 hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-08075.sat.sanitized.cnf.xz main_2024,submissions_2024
adf6dacdd64c93f9de1aa0eadf427faa a13026a3ce4d8beff0d5c3c28f14d2b9 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized.cnf.xz main_2024,submissions_2024
ae9522ea003ea9f75891b2d37a5e264b e647ecc9c8de8fe89907f1563d05b9c9 subgraph-isomorphism anton sat empty no srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf.xz anni_2022,crafted_2011,crafted_2012,main_2023,main_2024
af05a6b68a1cff165b684d9ff0ae3b3b 38051f3e502c9775d9b5bbbc55b1ccac hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12098.sat.sanitized.cnf.xz main_2024,submissions_2024
af750c18578d52e60472315692ad83c0 3dfb9312388b47546fafb171decb8af7 subgraph-isomorphism zhou sat empty empty si2-b03m-m800-03.cnf.xz anni_2022,main_2018,main_2024
b087c195e5b7bb191d3a701aa0aa8cf1 e682318fe43b862565e3abaf7a8c4033 scheduling lester unknown http://hdl.handle.net/10138/359079 empty Break_unsat_14_23.xml.cnf.xz main_2024,submissions_2022
b11374f7fe60b9a63fbfde24b1a0a439 96675c50467ea3ef83abf60c956c519c argumentation niskanen unsat http://hdl.handle.net/10138/563824 no stb_418_125.apx_2_DC-AD.cnf.xz main_2024,submissions_2023
b172b4c218f1e44e205575d2b51e82c4 25bf80a55303fa1d41014c1320cb4498 coloring heule unsat empty no Schur_161_5_d38.cnf.xz anni_2022,crafted_2016,main_2024
b3167d999edd81291f33636464f2f8e6 8fb3d69a4d051b6e6c7b4da8951d5335 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-190-104806020.sanitized.cnf.xz main_2024,submissions_2024
b3c587501567db72e6e66c6930cf15ed fc8d74caffe5088d711aabda9e926eae st-connectivity-principle sambuss unsat http://hdl.handle.net/10138/584822 empty StConn_7_128.sanitized.cnf.xz main_2024,submissions_2024
b3f53d4c67b234d27e21f5e56bfd39e8 997991f52cc2c94ce1543bbcd6fe0d04 st-connectivity-principle sambuss unsat http://hdl.handle.net/10138/584822 empty StConn_8_32.sanitized.cnf.xz main_2024,submissions_2024
b44ea915362c3a140269003d45b1d053 6938d247017c3581a59e2def88f968f2 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11034.sat.sanitized.cnf.xz main_2024,submissions_2024
b4b41b2ff14427e5715cb9bee06d4602 e0351a87ace63ddd7ba066d859285c0b quantum-kochen-specker zhengyu unsat http://hdl.handle.net/10138/584822 empty constraints_17_0.3_2.sanitized.cnf.xz main_2024,submissions_2024
b5028686db9bd1073fa09cbd8c805f47 0066a75f85cb64a94d40375a5312bbc3 cellular-automata chowdhury unsat http://hdl.handle.net/10138/333647 no spg_200_316.cnf.xz anni_2022,main_2021,main_2024
b68ae7866df5e852c3acb97a46da2faf 136631779011de428dac7574b4f9cb27 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized.cnf.xz main_2024,submissions_2024
b7273af3d468ea2595f11a6dbd6ef6ce dc4d0bacfaad1cef8c3947c755552b30 hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10007.sat.sanitized.cnf.xz main_2024,submissions_2024
b76fa2f50a42120ec54fa98c29113326 7ce78687ea7d2f883ef00a359d174a9f miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_DvK_12x12.sanitized.cnf.xz main_2024,submissions_2024
b8c7c777e76995e5bf7b517f2db234ba 9779b95660d365c45eb78a5353e2296a heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-16.sanitized.cnf.xz main_2024,submissions_2024
b8f5fc2425facb3aec52a665f32a500c 61127748951ec6006ab7f0e4817d8417 cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c.cnf.xz main_2024,submissions_2023
bb591c6447fb6b4180f6d288eb2ff62a cfcbd90744e4fd22693abeb67c9f7f90 miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_DvW_11x10.sanitized.cnf.xz main_2024,submissions_2024
bbfe2b27182d2ee7fefdb557f458ac9c 6d6bbf965589afacd1cef649a884af2d coloring oertel unsat http://hdl.handle.net/10138/584822 empty cliquecolouring_n21_k6_c5.sanitized.cnf.xz main_2024,submissions_2024
bbfed8974655bca520259deb10d2347b 8efa7a4e4521067994f634b26558ffa3 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-09054.sat.sanitized.cnf.xz main_2024,submissions_2024
bd12a2b66110451b050bd5d2943b1854 91c7960dfcda44609bdb4ad799e5dfc4 scheduling lester sat http://hdl.handle.net/10138/359079 empty ITC2021_Early_10.xml.cnf.xz main_2024,submissions_2022
bd19da88800086971e554e9d66bc641d 78fb70d0c87b0be343bbf0d9eaa2fdf0 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no stb_588_138.apx_1_DC-ST.cnf.xz main_2024,submissions_2023
bd8bc25be2b36c64b38459c17e815814 934675cf6334fb01579c7113af9c4a4a scheduling schreiber unsat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m11-1517-6802-UNSAT.sanitized.cnf.xz main_2024,submissions_2024
bdcdb52d16f87ea20f091ca4b0b6a36f c6243e0759e65dc3f9ad5c8958824ef7 miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_CvK_11x10.sanitized.cnf.xz main_2024,submissions_2024
be18894105e006399cc018abc14b204f 5773ce134e35cc358dd1fbf0244496b5 maxsat-optimum cherif sat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_40_9_sat.cnf.xz main_2024,submissions_2022
be6411f4784a3c879886dda807cdc607 1ee280ac060733add62fba57e9aa2a41 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3037_10_mdd_b.cnf.xz main_2024,submissions_2022
bfadd34e71516e95d0ba2a3a8fb2ba03 d03ff9d3c0621ffc03653bd8b8170644 scheduling schreiber unsat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m19-10199-62102-UNSAT.sanitized.cnf.xz main_2024,submissions_2024
c0293283432a9b15cd743702163f5184 69f1395d891b3620a9d033202362c967 polynomial-multiplication xiao sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=43 no mp1-Nb7T42.cnf.xz anni_2022,main_2017,main_2024
c03f7f84f6ac9e523c17e391c3895183 46d236ec5e4834db04b164fa75fdf67f software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind68.cnf.xz main_2024,submissions_2022
c0e6e6eeebd48ca600cfc7d662fa804c 408e73c78fa79887d03db0240977dbed hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10093.sat.sanitized.cnf.xz main_2024,submissions_2024
c214f1eb2576af00e3fb09f7d0305764 28c64e325a4151a896fa40c7cb968106 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 64_150.sanitized.cnf.xz main_2024,submissions_2024
c21cea390a50204944aa00babd56b53c f2f5cd5b77057fcf12dc5f251a930b2b software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind70.cnf.xz main_2024,submissions_2022
c2bfe541b7cff948fa3193e9ca0eddee 99b207659afd16987d80da369d5111fe random-csp kexu sat empty no frb45-21-2.used-as.sat04-884.cnf.xz anni_2022,handmade_2004,main_2024
c3e53c353f30d9e2eb54ed93d6ce4f02 5b33c3bd76392e342f308912a76fad1f hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-09007.sat.sanitized.cnf.xz main_2024,submissions_2024
c5a98231dd54cbca06135293bb7e1985 131a0fdcfc207880d9c7dcbfe254e73e hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11053.sat.sanitized.cnf.xz main_2024,submissions_2024
c5ae0ec49de0959cd14431ce851c14f8 87b28f1486c09d0b0af288dcac7fdb48 circuit-multiplier shunyang sat http://hdl.handle.net/10138/333647 no Circuit_multiplier22.cnf.xz anni_2022,main_2021,main_2024
c6568fc8805127e876c4c23551bf49fa 3cb8e4c7b3c24f3a24e34219cb52586c hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10076.sat.sanitized.cnf.xz main_2024,submissions_2024
c69c5163c9087ffe770743bd4cdafcc9 b66ac967a9b6cdea39e6ff9961acbe3c tseitin-formulas oertel unsat http://hdl.handle.net/10138/584822 empty tseitin_d3_n162.sanitized.cnf.xz main_2024,submissions_2024
c6e03256680b96b52e3345a497333c2b 4a5a323b3bbccbe498bfa3748cc4c5a7 miter stanion unsat empty no hwb-n24-02-S786928571.shuffled-as.sat03-1618.cnf.xz anni_2022,handmade_2003,main_2024
c73edc350cfa8e07af58db50054aea45 ba9209ca8c1c77ce22ec86d323383866 heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-12.sanitized.cnf.xz main_2024,submissions_2024
c76f3c6c2e2eae85fc5f3d499f3db88d 0898575d77065b9ce765f81f7c5f2b31 puzzle grinten unsat empty no mp1-blockpuzzle_5x10_s7_free4.cnf.xz anni_2022,main_2017,main_2020,main_2024
c801a020a6c8bc3c287fea495203b114 9d15be4364b183608aba6fb8b88fd45e scheduling xindi sat http://hdl.handle.net/10138/359079 empty worker_20_40_20_0.95.cnf.xz main_2024,submissions_2022
c82eee3badbc8432dad72d1d575a0ea6 ef6f9e614625fb63e8b6ec198918bdc6 cryptography shaw sat http://hdl.handle.net/10138/318754 no preimage_80r_495m_160h_seed_379.cnf.xz anni_2022,main_2020,main_2024
c8b129b9e4835b8a40d5ef0d27a45bef 7453c4a7220d787034f834bc63ec2f4d software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind78.cnf.xz main_2024,submissions_2022
c8e64404361f2426490d39459832c66a e35066586aae48fc31c184fb50600508 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 64_25.sanitized.cnf.xz main_2024,submissions_2024
c9f511adbb3d6e1b37b410f972f270c6 e3427649ad93c9016261053a873a645e maxsat-optimum cherif unsat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_140_3_unsat.cnf.xz main_2024,submissions_2022
ca14adcb9296a7b31d7815c2ed16d0f1 295d82d755e62f711e0bd208f8120867 scheduling lester sat http://hdl.handle.net/10138/359079 empty ITC2021_Early_3.xml.cnf.xz main_2024,submissions_2022
cb2e8b7fada420c5046f587ea754d052 8230924e8ac3d44dd8ecbfdf126e7ea7 clique-formulas oertel unsat http://hdl.handle.net/10138/584822 empty clique_n2_k10.sanitized.cnf.xz main_2024,submissions_2024
cc30e4eedbcf9c3bc110894d08781246 a7f2fd0e4463a3ceefe3aa99f155d328 scheduling shuolinli unsat http://hdl.handle.net/10138/359079 empty j3037_9_mdd_bm1.cnf.xz main_2024,submissions_2022
cccee4b0d4c70a5d5422663e2d8887da 1f06f6306b3879af2c4fac1c1583c9ff independent-set manyem sat http://hdl.handle.net/10138/584822 empty 1-ET-512-K-96.sanitized.cnf.xz main_2024,submissions_2024
cd33a862b81ba7b887845d3510c41c62 e027757944750d1a1a982c88db17ae0c cryptography zaikin sat https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=50 no MASG0_72_keystream76_0.cnf.xz anni_2022,crypto_2021,main_2019,main_2024
cd361d33986dccd7f2d86016d6c35241 d1b110ceb948ef954b44d7ee03cc081c cellular-automata harder sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=57 no ecarev-110-4099-22-30-7.cnf.xz anni_2022,main_2018,main_2022,main_2024
cdce6277b01ae06ddb95468c5f05de71 2aaf77bc1f32d71c20261d7b385a187f cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r17-0.sanitized.cnf.xz main_2024,submissions_2024
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
d02fae1e84cfbe799c792ba237f08f66 633c2f16ee671dcf02243a4ea1a8313f scheduling strichman sat empty no exam_flat_0.04_2018_3.cnf.xz anni_2022,main_2018,main_2024
d11944fbca2dd6540f18bd05b6ccda0c a38296f3d230315aee637ab415deb672 minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-32-14-sat.cnf.xz main_2024,submissions_2022
d1940d3d830eb16a7d2270ca4af4acba 49544a93d50bcdbdc7a9ac3f2e8fb061 minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-28-11-sat.cnf.xz main_2024,submissions_2022
d195412a62cdcbb851136f60af76f463 637c15ba57ae19c0f9e0cc4946f59df9 hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-09098.sat.sanitized.cnf.xz main_2024,submissions_2024
d3893e43819a907055a84e48a6ee97ba 99a8a0f616e0712e344c2e967ed685c1 miter biere sat empty no g2-ak128boothbg2msaig.cnf.xz anni_2022,main_2017,main_2024
d40a68825bdbcdd7642b249325a7b6a2 65adeaf6c6be286a07665a94044e8fc0 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-180-5383714.sanitized.cnf.xz main_2024,submissions_2024
d5f6b2092795aad67d1df1fd3a329552 283da48df4a4d1fcdd946ed8cafb9a46 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no ER_400_20_7.apx_2_DC-ST.cnf.xz main_2024,submissions_2023
d7627176604d5b86f34d2f5d14d8ee99 664d1afd285ce8548b9a1e02a61a41d1 scheduling xindi unsat http://hdl.handle.net/10138/359079 empty worker_40_80_40_0.9.cnf.xz main_2024,submissions_2022
d7dbb2cba940af33b2bce37ea99b8110 0b65a415908547479d4741ceadca22bb miter biere unsat http://hdl.handle.net/10138/135571 no 6s130-opt.cnf.xz anni_2022,application_2014,main_2015,main_2024,parallel_2015
d7f2e4ec8e631387c928c79e1054c663 f6ad446bf1e70a697aea2ea19c90a5e3 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no stb_418_125.apx_1_DC-AD.cnf.xz main_2024,submissions_2023
da929c2aefde5e59878ad87c4323e581 01a921a27d8dc896f864594b373b9f61 scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m12-8049-55035-SAT.sanitized.cnf.xz main_2024,submissions_2024
dacb03ea801d459ef08db23a8b1d104f 0c09097dadf290e4c9942797234c18a4 miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_DvW_12x12.sanitized.cnf.xz main_2024,submissions_2024
dafc03ea784fee849febca7b64230558 a9304a9038b4a2e64b28a0c983c139e8 scheduling schreiber unsat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m30-14113-167638-UNSAT.sanitized.cnf.xz main_2024,submissions_2024
db15a85651e0d941a11bf8640625edd8 8be327aec5fec9a1eefaff4b90b40fbc minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-32-11-sat.cnf.xz main_2024,submissions_2022
dc7817dfa2817916b266c1cfacd2ee66 21a9b6e12129b543792a14dff04eb8f4 ramsey zhengyu unsat http://hdl.handle.net/10138/584822 empty constraints_25_4_5_12_12_0_0_0.sanitized.cnf.xz main_2024,submissions_2024
dcf5b8224d1e0748871c83ee10067255 897dd69028dd8cfd7abef38220fcb22f hardware-verification velev unsat empty no 2dlx_ca_bp_f_liveness.cnf.xz anni_2022,application_2011,main_2010,main_2024
dd57f6ebf07a7f932a82bed1877788e6 8815b7bb60fc13d6ec39c11a7b1ede65 miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_KvW_10x10.sanitized.cnf.xz main_2024,submissions_2024
dd5fc8da5454a990a0e7999884158c64 8108da20f113836f79a93ce69987cb60 independent-set manyem unsat http://hdl.handle.net/10138/584822 empty 1-ET-256-K-70.sanitized.cnf.xz main_2024,submissions_2024
dd7164f2592c9675618c5c99af9b70f3 7326abb610e19aacbd12a0453beccaeb independent-set manyem unknown http://hdl.handle.net/10138/584822 empty 1-ZC-512-K-64.sanitized.cnf.xz main_2024,submissions_2024
ddc0720fa5a91d9cc0dc726644ab9e9f 3574b7797aede974935e939da3552f33 miter biere unsat http://hdl.handle.net/10138/135571 no 6s167-opt.cnf.xz anni_2022,application_2014,main_2015,main_2024
de7a6b03999e2bc5bd750831c2662a4d f7401a3dd38778c76ec2ffa36e4365ff heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-18.sanitized.cnf.xz main_2024,submissions_2024
ded23680dfeab2879c05bc0e4de21126 db7d6d9be29ad4f0825ef5bdafba55ef hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-09014.sat.sanitized.cnf.xz main_2024,submissions_2024
df1bd67978b9b0ec1d326ba174bc273c 3551cb7b5bcff4cfe84761660d03133b hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12021.sat.sanitized.cnf.xz main_2024,submissions_2024
e067414e153ee98a7842bd6d6dafeee5 a5262112c8b29ec1e65cc69dd46a1574 maxsat-optimum cherif sat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_200_0_sat.cnf.xz main_2024,submissions_2022
e06be7a69dbd6d6866a2799cd40c4bfe c6ebd0a0e573f8a2fee446cd9d3c3c55 miter biere unsat http://hdl.handle.net/10138/584822 empty hwmcc20miters-iso-mul7.sanitized.cnf.xz main_2024,submissions_2024
e08f11f0a3bd266ee5c78ce332de107f c9a933393a8766f8fe1662f52d504952 hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10096.sat.sanitized.cnf.xz main_2024,submissions_2024
e0bf26a7527cd162c7d3016d4b2ab9fb 9299df773d4e41cd8ce64b1f40c1c9fd cryptography mironov sat empty no md5_48_1.cnf.xz,miza-sr06-md5-48-01.cnf.xz anni_2022,application_2012,application_2013,application_2016,crypto_2021,main_2010,main_2024
e2deb375e56da2360ecd08fc1179fb7d dcd29f4d1cda720d398543664eccea60 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized.cnf.xz main_2024,submissions_2024
e371cd7cdde3e7ccb9834290fd4a92d0 372611ba12c1247cadc8304766157a65 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 32_350.sanitized.cnf.xz main_2024,submissions_2024
e38601380bfbab35dd8c5927283533fb 1f61f268cb52896401dfba1db7dd031a miter kochemazov unsat http://hdl.handle.net/10138/584822 empty lec_mult_CvK_11x11.sanitized.cnf.xz main_2024,submissions_2024
e481a97a93fd6b4303f39024d19c2867 cc78c590ad119e9ce903a918760522ef scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3037_1_gmto_b.cnf.xz main_2024,submissions_2022
e6cdc2687fa53506021f05b60ad0c6a2 43f3807ad65f66c90e3689a347621bc9 unknown zhou sat empty no GracefulGraph-K05-P02_c18.cnf.xz anni_2022,main_2019,main_2024
e7248b57a310ad461924eb17956cdf3a 21553e785bc01a9f4c0d16f2399ac9ac heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-190-358004741.sanitized.cnf.xz main_2024,submissions_2024
e84b00b1f134e0e071a2baf54cfc90e8 88fa559abf1ea11e10244afe0ae0b731 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no ER_400_20_4.apx_2_DC-ST.cnf.xz main_2024,submissions_2023
e85e793a66a2c9d390f40acf29a5346b d4545092d46b629511300ea1ac5db26f independent-set manyem unknown http://hdl.handle.net/10138/584822 empty 1-ET-512-K-110.sanitized.cnf.xz main_2024,submissions_2024
e85fb114c33f450dc2622c78bc6fa019 2f2406553279854874841ae91933bc41 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty lru_7.sanitized.cnf.xz main_2024,submissions_2024
e8abb9c83efdd96a99990f3b914ea873 c1964773d0091e03e10f671e8623b8bb software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind57.cnf.xz main_2024,submissions_2022
e99e266b422513a2898c13898a1de501 cbfc5ab3bcec9723015ef5c52c47a347 rbsat huang sat empty no rbsat-v760c43649gyes9.cnf.xz anni_2022,crafted_2012,main_2024
ea827f81bd0e9735739adc0d9da1b446 7a047b94792a89924fa7e6011cb6148c argumentation niskanen unsat http://hdl.handle.net/10138/563824 no ER_500_30_3.apx_2_DC-AD.cnf.xz main_2024,submissions_2023
ec84eecb124c63d4757e083dd0e5a9ff 534980c97822e40db3c489c57c3ab7b3 mutilated-chessboard porkhunov unsat empty no mchess_15.cnf.xz anni_2022,main_2018,main_2024
ecca77b5350eca6a4323edd5b38208c6 26f2065e22a98e429ff6e2fd0992df2d cryptography nossum sat empty no 004.cnf.xz anni_2022,application_2013,main_2024
eda4aa84aeeb306468396fa82a6bba5a 4250e7605ddc796ab4a13d392313b1ef scheduling mayer-eichberger sat empty no pb_300_05_lb_17.cnf.xz anni_2022,application_2013,main_2021,main_2024
edceb8782e72e290fa54757dbfdd0173 36bd203dd7b95bab2c751deb43df20de hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-09057.sat.sanitized.cnf.xz main_2024,submissions_2024
eddd68e14d69cce7190b99f4e7abdafb 57b23848bf3de2fe2ddeac37b7a5def4 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10098.sat.sanitized.cnf.xz main_2024,submissions_2024
ee57608ea4b74f25aebca809d59711c9 a9e9c96c7376583aa9f5ebdabc04a214 risc-instruction-removal-subrv fleury unsat http://hdl.handle.net/10138/563824 no oisc-subrv-sll-nested-13.cnf.xz main_2024,submissions_2023
eed5189b73738270ae3fdb8b33bf31c8 832ae2adc67b2cbbdbcea06e58c61518 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-180-11710376.sanitized.cnf.xz main_2024,submissions_2024
ef16970ab9da31165d3c401ff9b29168 3c6375a3f88e62a085295a03959be2ed heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-185-152478531.sanitized.cnf.xz main_2024,submissions_2024
ef330d1b144055436a2d576601191ea5 65452e23fd3535022e84b233d6a1e73d automata-synchronization skvortsov unsat empty no crn_11_99_u.cnf.xz anni_2022,crafted_2011,crafted_2012,main_2024
f0426369f61595aee97055965ee7e6a3 fcb8daeb4578a891a23b51fb62d1ca86 miter biere unsat http://hdl.handle.net/10138/584822 empty hwmcc12miters-xits-iso-6s111.sanitized.cnf.xz main_2024,submissions_2024
f054205a7cef98e5021016f864c69816 5ab6fa6cd85da0a069abfd9480bc3813 summle manthey sat http://hdl.handle.net/10138/359079 empty summle_X11112_steps6_I1-2-2-4-4-8-25-100.cnf.xz main_2024,submissions_2022
f15ad4206d95a3f8f1358b33301539be 62edf9c690ad8ec5b1c0bff370889b26 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no ER_400_20_7.apx_1_DC-AD.cnf.xz main_2024,submissions_2023
f16b7329ef5728f722c291156b3b098e d7c811d47ccb8e7c8533250049728d59 maxsat-optimum cherif unsat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_100_9_unsat.cnf.xz main_2024,submissions_2022
f18c7c7b8666458fd04ea7a253ae1e20 dc1b423f6ec34f87a0829cf6e4cf8c96 equivalence-chain-principle sambuss unsat http://hdl.handle.net/10138/584822 empty FmlaImplyChain_3_7_7.sanitized.cnf.xz main_2024,submissions_2024
f296fe701a562022c0de0cf565fbca7d e9b57d3319daf4ec4ca0e469bf4a62ad hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-08014.sat.sanitized.cnf.xz main_2024,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
f376d4c191518ed704326960b6b19a4b eb4e18ce50baee1da97d886431526464 hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10084.sat.sanitized.cnf.xz main_2024,submissions_2024
f45e5faf1bcccbdd3065dd6367c3bd16 f27ddb0f9f2c7cba8351c32ee5852acd hamiltonian sterten unsat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10083.sat.sanitized.cnf.xz main_2024,submissions_2024
f48735588e3515135f039e8bc8efaee5 3fcf73b245e7b9fb6e08b824dea15940 cryptography-ascon manthey sat http://hdl.handle.net/10138/563824 no asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c.cnf.xz main_2024,submissions_2023
f50eaf02a8041510b64104998cc81d2f 96d4bf20255c46cb7cc3b5d193d86059 stedman-triples johnson sat empty no sted5_0x24204-50.cnf.xz anni_2022,main_2018,main_2024
f54b352934be08821aa75b3424112956 4ddce467eab8bc752819030276d4bf3a software-verification osama unsat http://hdl.handle.net/10138/359079 empty linked_list_swap_contents_safety_unwind54.cnf.xz main_2024,submissions_2022
f561c52b987bdb9031a477864070b759 e6611db530208e4f550eef4f51c112f2 pythagorean-triples heule sat empty no Ptn-7824-b18.cnf.xz anni_2022,crafted_2016,main_2024
f70788e8446c1bc42684316de0a6c164 99bee3de60bd6262f630e00b41b46c33 miter biere unsat http://hdl.handle.net/10138/584822 empty hwmcc20miters-iso-mul3.sanitized.cnf.xz main_2024,submissions_2024
f746dae2050dd4aa48bcd53e8bd897b4 2aa1ba3d564aa9d70444ef9beaaafdca tree-decomposition ehlers sat empty no ex065_25.cnf.xz anni_2022,main_2018,main_2021,main_2024
f7e855b18105170b0718086d3f5b5923 a7bfeebae3721e0743932f28c6bdd3e7 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3045_10_rggt_b.cnf.xz main_2024,submissions_2022
f8443057c188f6c9cfb711ff3d4aa6ff 9a818462ee907730c021f58e6264a9ec quantum-kochen-specker zhengyu unsat http://hdl.handle.net/10138/584822 empty constraints_17_0.5_2.sanitized.cnf.xz main_2024,submissions_2024
f86dad4ba35369eb720a0c9ddc45037a 75bcce4bdff64087821aaa2a67971fe9 cryptography soos sat http://hdl.handle.net/10138/318754 no combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2.cnf.xz anni_2022,main_2020,main_2024
fa50d69adc71fe4daf7f9088cd02864a 926a089cb9cb311befe4faad62f9d097 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized.cnf.xz main_2024,submissions_2024
fa5c6d6736a42650656c5bc018413254 dc10b2792d793be0d6cfc2749215e1e6 binary-pigeon-hole oertel unsat http://hdl.handle.net/10138/584822 empty bphp_p23_h22.sanitized.cnf.xz main_2024,submissions_2024
fae08ac5b6d7eeb4f56f1cfac6c51703 b5b6862fbb06762692f9137380a1d49f scheduling shuolinli unsat http://hdl.handle.net/10138/359079 empty j3045_4_mdd_bm1.cnf.xz main_2024,submissions_2022
fb0e505b8bd19a34f1f80b8e020e7856 91e7f593d5bbd9feaab659bc48edbd04 quantum-kochen-specker zhengyu unsat http://hdl.handle.net/10138/584822 empty constraints_17_0.4_2.sanitized.cnf.xz main_2024,submissions_2024
fb45d41807bcbbbe689de282c1310798 c51f394bd6d48d923b5dddf81a628155 scheduling lester unknown http://hdl.handle.net/10138/359079 empty Break_unsat_16_27.xml.cnf.xz main_2024,submissions_2022
fb51311320bb42bdb893249998a77f40 1ac31942c17f07dafbcc5cfb071aa665 quantum-kochen-specker zhengyu unsat http://hdl.handle.net/10138/584822 empty constraints_16_0.3_1.sanitized.cnf.xz main_2024,submissions_2024
ff9e9b01d50d01ecb6740472d7dd36cd 56714d8529d4d571c5a3e2d2bed22b49 independent-set manyem sat http://hdl.handle.net/10138/584822 empty 1-ZC-512-K-61.sanitized.cnf.xz main_2024,submissions_2024