| hash | isohash | family | author | result | proceedings | minisat1m | filename | track |
|---|---|---|---|---|---|---|---|---|
| 00063d88244921d6ec46aeab6866a8e2 | d642ae7fc5e1fd972d4b130407ea4519 | miter | biere | unsat | http://hdl.handle.net/10138/135571 | no | 6s16.cnf.xz,san-6s16.cnf.xz | anni_2022,application_2014,main_2015 |
| 000a41cdca43be89ed62ea3abf2d0b64 | bb3b6ceaeee2d5e9fd8e1066389a8a94 | sorting-networks | ehlers | sat | empty | yes | snw_13_9_pre.cnf.xz | anni_2022,application_2016,main_2021 |
| 002a0330958a14deb23dcc84b5489e8a | 227779ac538cd3a2c78c6ff3d8cad235 | scheduling | manthey | unsat | empty | no | traffic_f_unknown.cnf.xz | anni_2022,application_2011,application_2012,main_2022 |
| 0033baadbd48d3f880e9b5a733bd4950 | 767c3e4149c9da1265bdfdb3e1526766 | coloring | vangelder | unsat | empty | yes | rope_0030.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 003a77d2aa15a5f93aa2cfe79b986c9e | 52b4b2deffe6f3a04cde483bc0665f3a | coloring | sabharwal | sat | empty | yes | fclqcolor-20-15-15.shuffled-as.sat05-1270.cnf.xz | anni_2022,crafted_2005 |
| 0041051c73dcdd885d412a38e8b09fba | 1731a457fce065a6a758b224839f45ee | relativized-pigeon-hole | elffers | unsat | empty | no | rphp4_065_shuffled.cnf.xz | anni_2022,crafted_2016,main_2021 |
| 0041f01bcd7d0d1f9541cea6da79ad57 | dbc0536d387cedf9d93e2cba738a15d5 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_60_24_40_2-dir.shuffled-as.sat03-118.cnf.xz | anni_2022,handmade_2003 |
| 004b0f451f7d96f6a572e9e76360f51a | 8614f82909dc0eaab513724a4ecf9835 | cellular-automata | chowdhury | unsat | http://hdl.handle.net/10138/333647 | no | spg_420_280.cnf.xz | anni_2022,main_2021,main_2022,main_2023 |
| 0059d4b1cf79efbc6e6ed50caee0448e | 5865199aa84abc74c6a4626dae53555a | coloring | pehoushek | sat | empty | no | 4col220_9_1.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 005ccb378ced61c02105ed7ee0a62038 | 9cc1026828eb0c34c158572ced7530ad | matrix-multiplication | markstrom | unsat | empty | yes | mm-2x2-5-0-s.1.shuffled-as.sat03-1496.cnf.xz | anni_2022,handmade_2003 |
| 0062dc10471119b9e13da682216b190f | 7e2613987e25c3050afcd89a56b4afc4 | tree-decomposition | ehlers | sat | empty | no | ex179_11.cnf.xz | anni_2022,main_2018 |
| 0064aa2e16c9d4b18d32a45d3073fce9 | 1e7e0203228fbd91f74db79d140099fc | miter | goldberg | unsat | empty | yes | desmul.miter.used-as.sat04-330.cnf.xz,goldberg03:hard_eq_check:desmul.miter.used-as.sat04-330.cnf.xz | anni_2022,application_2012,industrial_2004 |
| 0071b624d91ebe408b0585f8c4e34fd9 | ab1e93b4ab8be51c40a14b9543dd5c61 | scheduling | kummling | unsat | empty | no | ctl_4291_567_7_unsat.cnf.xz | anni_2022,application_2013 |
| 008e7716c69009090ff6bd0048dc55f8 | be2f6ade7fb483507373d03afa16dca9 | hardware-verification | ibm | unsat | empty | no | SAT_dat.k10.cnf.xz | anni_2022,application_2012,main_2023 |
| 00a62eb89afbf27e1addf8f5c437da9b | 0d70f59e9d0fbac87d26088a5f9a8812 | unknown | zhou | sat | empty | no | ortholatin-7.cnf.xz | anni_2022,main_2018,main_2022 |
| 00a981f385cd209d41e1efa1f5f29bac | cec04e06ad991983108fe7ed0cd92fea | hardware-verification | ibm | sat | empty | yes | ibm-2004-03-k70.cnf.xz | anni_2022,main_2006,main_2023 |
| 00aefd1fc30c425075166ca051e57218 | fdf55e1b02a137ed2884650e1b991092 | planning | balyo | unsat | empty | empty | barman-pfile10-038.sas.ex.15.cnf.xz | anni_2022,application_2016,main_2022 |
| 00b9b467c26540853360491401da61a5 | 187460f08c94149081ab81130be5c5ce | bitvector | unknown | unsat | empty | yes | minand064.cnf.xz | anni_2022,mus_2011 |
| 00be590675417eba2bb2585790ac392d | 5bce323bf7c9cc5fa639c275deeeb53e | quasigroup-completion | sorge | sat | empty | yes | iso-brn008.shuffled-as.sat05-2933.cnf.xz | anni_2022,crafted_2005 |
| 00d239e486137a4f7264adb4fb57d5ae | a207e99f5dcfe500129f591ecbc4568b | miter | stanion | unsat | empty | no | hwb-n24-01-S1048418025.shuffled-as.sat03-1617.cnf.xz | anni_2022,handmade_2003 |
| 00e289099ea9bcef6a056a8c8ba8a3c0 | 5b42e642bcfcf38ae7330cd2b8f7bdbd | bitvector | kovasznai | sat | empty | yes | ndist.b.21497.cnf.xz | anni_2022,crafted_2013 |
| 00ec2992d59f85705eb8e1f4f1e01b3d | d0e5d8d44a8534076afaec8a6d0f6960 | sgen | spence | sat | empty | no | sgen4-sat-280-8.cnf.xz | anni_2022,crafted_2012 |
| 00f2eb377986e7decbc863931680a3b2 | 58ea2da369f461984afb6767e0e5da33 | miter | goldberg | unsat | empty | yes | rand_net70-40-10.shuffled.cnf.xz | anni_2022,industrial_2002,main_2023 |
| 00f4aca773e5675f35263dcd46b15bde | 755e0e8a5bdf16181846015a7838e346 | cryptography | grieu | sat | empty | no | vmpc_28.shuffled-as.sat05-1957.cnf.xz | anni_2022,industrial_2005,main_2023 |
| 00f969737ba4338bd233cd3ed249bd55 | 64e930a465e08fb6bc8a6a49b64c7e7f | coloring | pehoushek | unsat | empty | yes | 3col20_5_6.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 0101d013a916d903e8e618d7db1edbb3 | d28afa3a5878b8932a4b1e3674d8b1f3 | phnf | heule | unknown | empty | no | phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf.xz | anni_2022,crafted_2007 |
| 0107f34364dfff8ab062193b2c71b4de | 2bd0081d71b36b56448d72653dff77a0 | minimal-superpermutation | lester | unsat | http://hdl.handle.net/10138/333647 | no | sp4-33-bin-nons-flat-noid.cnf.xz,sp4-33-bin-stri-flat-noid.cnf.xz | anni_2022,main_2021 |
| 010c9d7a6e9e6cac63f110915d9dd56e | 4034d18a0965b0d9f9eeba6b354329fc | coloring | pehoushek | unsat | empty | yes | 3col60_5_9.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 01135f7a79d555bd0406f00fac22cbe2 | 2fadfdc4118ac6901c10d1e637fa8779 | scheduling | djamegni | unknown | http://hdl.handle.net/10138/333647 | no | SC21_Timetable_C_140_E_29_Cl_10_S_15.cnf.xz | anni_2022,main_2021 |
| 01209700b6b45ca5fda7fbcb17765db1 | 538ae4183d432caff70953db218c8e72 | cryptography | fuhs | sat | empty | no | slp-synthesis-aes-top27.cnf.xz | anni_2022,application_2012,application_2013 |
| 01225987412b6f8423cc68be93385f6e | 182ce58e42831885a7ebda1b64a0821b | hardware-verification | unknown | unknown | empty | no | eqspwtrc16bparrc16.cnf.xz | anni_2022,main_2019 |
| 01243b47967a3d012ea22e993355c833 | 37e3d3cbef9d5d6d44a152380a836ed2 | hardware-verification | manolios | unsat | empty | no | f8bidw.cnf.xz | anni_2022,application_2012,portfolio_2012 |
| 013a51ccada51812061ed2d6504e23a5 | beaea51d281d28def0df9d100039094c | quasigroup-completion | heule | unsat | empty | no | gensys-icl003.shuffled-as.sat05-3824.cnf.xz | anni_2022,crafted_2005 |
| 0141b82b3d2a411d8c2168119e2d7452 | 31e650a27636d3719a15309982098297 | coloring | vangelder | unsat | empty | yes | rope_0012.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 0151bedac526ee195bc52e4134cd80e7 | 4d1f1aa702b578570dfed05afa42f82e | cryptography | paxian | sat | http://hdl.handle.net/10138/318754 | no | ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418.cnf.xz | anni_2022,main_2020,main_2022 |
| 0152d286cde406747d179c36a95c2fdc | 7b384790f4ebf824b8a70c2c25972fd0 | bitvector | kovasznai | unsat | http://hdl.handle.net/10138/135571 | yes | shift1add.10000.cnf.xz | anni_2022,crafted_2014 |
| 01657386753a1369dd286a3fee9062e4 | 9214287c8ef560033654e5f57482a4fd | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_70_28_60_1-log.shuffled-as.sat03-176.cnf.xz | anni_2022,handmade_2003 |
| 0167ead7da1e981805564ca981f64bea | 862a6c8dbaf820705052d041b91a5a40 | unknown | unknown | unknown | empty | no | aim-200-6_0-yes1-4.cnf.mis-135.debugged.cnf.xz | anni_2022,crafted_2012,portfolio_2012 |
| 017bba0f995e6d9921253e5a59521435 | cffc82b571dd2acddcaaaa8f9c6f39a4 | fpga-routing | goldberg | sat | empty | yes | 9symml_gr_2pin_w6.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 01843a0195183ca14246a88bf7bad482 | e3816fdaa929f5e8036ae0a62bec1bfe | bitvector | unknown | unsat | empty | yes | smulo016.cnf.xz | anni_2022,application_2009,mus_2011 |
| 0191a0bf3412ed407ba669f8d69081ee | 88513f91fafb488773e76f74778f7fee | planning | surynek | sat | empty | no | mrpp_6x6#18_20.cnf.xz | anni_2022,crafted_2013,main_2023 |
| 01966a0fc52b2200a13f5f835275a919 | 5a9dd00cd47caff7e82d76b201b10ba9 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf.xz | anni_2022,crafted_2011,handmade_2003,main_2023 |
| 01979ca4966cc363ec3caeebd8d3fc31 | 50200af14cbde01d7e16d4ab18015ef4 | generic-csp | connamacher | unsat | empty | no | connm-ue-csp-sat-n600-d0.04-s1979668539.used-as.sat04-981.cnf.xz | anni_2022,handmade_2004 |
| 019dc69c96737c3d62696c9acf3edf1b | e9276a91f8520ce1f06b723511caf417 | cril-misc | frioux | unsat | empty | no | T107.2.0.cnf.xz | anni_2022,main_2018 |
| 01a74343f618546e9ad2a60849140317 | ec7f4fef90ed4b7ced88db05c57ceddb | graph-isomorphism | mugrauer | unsat | empty | no | crafted_n12_d6_c3_num26.cnf.xz | anni_2022,crafted_2013 |
| 01af042093bf36119811b6e658e7a231 | 6b85e5324af02ab35dcac01b2488e57d | coloring | elffers | unsat | empty | no | ecgrid6x155_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 01bc4d75a43a8293132d0be627341207 | ad3fbd16f7906c4d765f7414f63604f4 | 2d-strip-packing | leberre | sat | empty | yes | E04F19.cnf.xz | anni_2022,application_2011,application_2012,application_2013 |
| 01bd0865ab694bc71d80b7d285d5777d | 229a1d5cc46e471a427367c4c0d72a41 | hardware-bmc | unknown | unsat | empty | yes | shuffling-2-s1480152728-of-bench-sat04-434.used-as.sat04-711.cnf.xz | anni_2022,industrial_2004,main_2023 |
| 01d142c43f3ce9a8c5ef7a1ecdbb6cba | 5375781cee9171c29fe1cc5adfcf63a6 | tseitin-formulas | chu-min-li | unsat | empty | yes | urquhart3_25bis.shuffled.cnf.xz | anni_2022,crafted_2011,crafted_2012,handmade_2002,main_2022,portfolio_2012 |
| 01d494c2afa4960a236bf8412e2bd08a | 63ad4d4c5cd42526fa69ca73bf1e4564 | hardware-verification | manolios | unsat | empty | yes | manol-pipe-c10id_s.cnf.xz | anni_2022,main_2006 |
| 01dd5feb463fa80f73809718f6ff735b | a0b6e6ea6584ae654126948c9f356f76 | hardware-verification | velev | unsat | empty | no | 10pipe_q0_k.cnf.xz | anni_2022,application_2012,application_2013,application_2014,main_2015,main_2023,portfolio_2012 |
| 0205e0724a8a912dde9ad7dfba2aee0b | f7d23a28efe988b74ef9be20931d23ff | cryptography | nossum | sat | http://hdl.handle.net/10138/135571 | no | 003-23-80.cnf.xz | anni_2022,application_2014,main_2022 |
| 02066c116dbacc40ec5cca2067db26c0 | 5cf868fa1b66e35fedbcdba5b6a33044 | planning | surynek | unsat | empty | no | mrpp_4x4#12_12.cnf.xz | anni_2022,main_2015,main_2023,main_2024 |
| 021331d523ad3092616ff99cf0c6c355 | 549033bd619626634d607482ec19c408 | cryptography | heule | unsat | empty | empty | arcfour_initialPermutation_6_14.cnf.xz | anni_2022,application_2013,application_2016 |
| 021686368317a35103f1f671f783d958 | aba56e13d6a8a83ded3c82a3a4f396c2 | hardware-verification | velev | sat | empty | no | velev-npe-1.0-9dlx-b71.cnf.xz | anni_2022,application_2011,application_2012,application_2013,main_2006,main_2008 |
| 0216f9d35f2b695b904fffb312e3e611 | 9b527a8fb47912318640ddced14d1903 | cryptography | scheel | sat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=68 | no | cms-scheel-md5-families-r24-c11-p1-4-6-9-10-11-13-15-17-18-19.cnf.xz | anni_2022,main_2018 |
| 02197ec055ea06c347bf1c6ceb6facf7 | a1a037134e6c5db82745f9a827a6fb8b | cryptography | fuhs | unknown | empty | no | slp-synthesis-aes-bottom24.cnf.xz | anni_2022,application_2011 |
| 02223564bd2f5c20768e63cf28c785e3 | d2b06175765e907d90d9161bbddffd9d | cardinality-constraints | wynn | sat | empty | no | mp1-squ_ali_s10x10_c39_abio_SAT.cnf.xz | anni_2022,main_2017,main_2021,main_2022 |
| 02257f12aa71e6622d2bf4d0f7111ebf | aecc45e149cf2ad6586239f232120997 | sgen | spence | unknown | empty | no | sgen1-unsat-139-100.cnf.mis-105.debugged.cnf.xz | anni_2022,crafted_2012 |
| 0227c865edaeda75e13eea36d57b7eed | bfe345984ddb73ac61b7214bfd90ceca | bitvector | biere | unknown | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=56 | no | sdiv40prop.cnf.xz | anni_2022,main_2018 |
| 022b841952d37f0d6a0d050c9b4b0071 | 6caebead460ed943af79cd97e2743bfc | miter | goldberg | unsat | empty | no | goldb-heqc-i8mul.cnf.xz | anni_2022,main_2006 |
| 022dc7e9935f3570c088db58bd84b2c6 | 68f50c692593bc25e0beaacb7ec16ba9 | planning | surynek | unsat | empty | yes | mrpp_6x6#12_8.cnf.xz | anni_2022,main_2015 |
| 02404a08ea36dd43362bbddc578c839d | d3a608c89278d7ac35aae1e509caffb7 | scheduling | kummling | unsat | empty | no | ctl_4201_555_unsat.cnf.xz | anni_2022,application_2013,main_2021 |
| 0240f5bddc39ad2f0a786c811fc434a8 | 0cd2aea85d4aaf9b304e97c60779d472 | scheduling | djamegni | sat | http://hdl.handle.net/10138/333647 | no | SC21_Timetable_C_542_E_71_Cl_36_S_35.cnf.xz | anni_2022,main_2021,main_2022 |
| 0241f35c5752768d2b0580533d143a14 | 0512de646a4a96e70c24d03bd7b7db08 | station-repacking | newman | sat | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | no | 53-131587.cnf.xz | anni_2022,main_2020 |
| 024af9416f8c1dad1b4f974757e38d51 | 24db3ea20dd1fd354161c3e144dd6288 | unknown | mayer-eichberger | sat | empty | no | 8-5-6.cnf.xz | anni_2022,main_2018,main_2020,main_2022 |
| 0261b44c278c36459061c368aa00575a | 582f536405fcb8df991431b4084b23b7 | erdos-discrepancy | heule | sat | http://hdl.handle.net/10138/135571 | no | EDP3-12000.cnf.xz | anni_2022,crafted_2014 |
| 02627689047d06fbb642eef14768d751 | 27b1edece5e3a30d93ad05a3a97abb60 | cellular-automata | chowdhury | unsat | http://hdl.handle.net/10138/318754 | no | ps_200_300_70.cnf.xz | anni_2022,main_2020,main_2022 |
| 0278eee117c3821771e2d18d710a89ad | 876f9f53125a09ce7d420dd8d73c5ef2 | equivalence-chain | heule | unknown | empty | no | equilarge_l5.sat05-522.reshuffled-07.cnf.xz | anni_2022,crafted_2007 |
| 028d0cc7af63e9bba5795f20e24db4f6 | 60d9b7ee8c58b2f8f6ad4273aa7311bd | prime-factoring | pyhala | sat | empty | yes | pyhala-braun-sat-35-4-04.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| 0294158664d9ada36bd23fbb652cb823 | 2b56e70d6b1f775b02af386d921dfa8a | bitvector | jarvisalo | unsat | empty | no | smtlib-qfbv-aigs-countbits128-tseitin.cnf.xz | anni_2022,application_2011,main_2022 |
| 0297c2a35f116ffd5382aea5b421e6df | fbf146c7b436dccb78ae1b3c1a31b549 | tseitin-formulas | chu-min-li | unsat | empty | yes | Urquhart-s3-b3.shuffled-as.sat03-1556.cnf.xz,Urquhart-s3-b3.shuffled-as.sat03-1556.used-as.sat04-805.cnf.xz | anni_2022,handmade_2003,handmade_2004,main_2023 |
| 02b69d0e5c2b68d5c3d650164b6c277d | 46200d8895ab0e1d5dea45c7202fa65f | ramseycube | unknown | sat | empty | yes | Q3inK08.cnf.xz | anni_2022,crafted_2009 |
| 02bc149bbe801807912f651c7bad3e74 | e3e114b6432d2f460894bc54133d020f | quasigroup-completion | sorge | unsat | empty | no | dead-dnd008.shuffled-as.sat05-3114.cnf.xz | anni_2022,crafted_2005 |
| 02c3f1d24074cba45a64d0b4b5aa0238 | 3422555691690e6b21b7f6d785333558 | miter | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 | no | g2-hwmcc15deep-bobpcihm-k32.cnf.xz | anni_2022,main_2017 |
| 02c6fe8483e4f4474b7ac9731772535d | 669dec4994a317046dc50dc5dadac838 | core-based-generator | hartung | unsat | http://hdl.handle.net/10138/318754 | empty | ncc_none_7047_6_3_3_0_0_420.cnf.xz | anni_2022,main_2020,main_2022,main_2023 |
| 02cfa5a71b5c89a1b10b5f5a5221ed05 | 940f339954500ab3c9392d2cb5f29d43 | alloy-vpn-models | narain | sat | empty | no | clauses-8.cnf.xz,clauses-8.renamed-as.sat05-1964.cnf.xz | anni_2022,application_2009,application_2012,industrial_2005,industrial_2007 |
| 02d8847ee38504792705d794eb93e9a7 | ac0166de8f64dc4c57894bc74364bf97 | scheduling | manthey | unsat | empty | no | traffic_b_unsat.cnf.xz | anni_2022,application_2011,application_2012,portfolio_2012 |
| 02eef920cd1aab9ef3492fe27bf515c4 | 07fb4b0fd229facf1b34f6fb2e701b61 | pigeon-hole | unknown | unsat | empty | no | php-025-024.shuffled-as.sat05-1191.cnf.xz | anni_2022,crafted_2005 |
| 02f2343e32f9070f149708d77556b4aa | 9c55e620f95945336a84c0319e5164f6 | hypertree-decomposition | schidler | sat | http://hdl.handle.net/10138/318754 | no | Kakuro-easy-117-ext.xml.hg_5.cnf.xz | anni_2022,main_2020,main_2022 |
| 03041657b7177746724b819433c83b20 | bca0defa0c1e8847b0d56f23093f2d69 | planning | palacios | unsat | empty | yes | blocks-4-ipc5-h21-unknown.cnf.xz | anni_2022,application_2011,application_2012,industrial_2007,portfolio_2012 |
| 0309ea422084568c2b4df13b32094380 | 7b8f701bb1e86415e1fabcfde2fb3deb | rbsat | huang | sat | empty | no | rbsat-v945c61409gyes1.cnf.xz | anni_2022,crafted_2011 |
| 031757c0a6797eddf3e84bcefbbdb753 | 0208ce3e9b365d17d57566a011de8433 | edge-matching | holten | unknown | http://hdl.handle.net/10138/318754 | no | b2005-p2-14x14c17h9-Ser4-0.cnf.xz | anni_2022,main_2020 |
| 031c99d72be38eedacc8b402784e9821 | 3e80d22046c0a0059904e9df636ae843 | diagnosis | anbulagan | unknown | empty | no | partial-10-17-u.cnf.xz | anni_2022,industrial_2007 |
| 033560dbd1b4d3545b4b40ef90aaaa29 | a4a5ada838a699284f04a4d6976e3a51 | diagnosis | anbulagan | unsat | empty | no | total-5-15-u.cnf.xz | anni_2022,application_2009,industrial_2007 |
| 0336f81b60baac5b8f481dd3c32861a5 | c691b5d79fe4f81e65352d1a0e97bcaa | modcircuits | unknown | sat | empty | no | mod4block_2vars_10gates_u2_autoenc-sc2009.cnf.xz | anni_2022,main_2019,main_2023 |
| 033743e540b7f6e2114a3e6981558795 | d483f18414d40125bbaa4a3cc226df43 | circuit-minimization | li | unknown | empty | no | li-test4-97.shuffled-as.sat03-375.cnf.xz | anni_2022,industrial_2003 |
| 033d611722714d5206cc0184479e92e2 | 58decb83d3997ec053b066d4eaceb410 | tseitin-formulas | bevan | unsat | empty | no | urqh2x5.shuffled-as.sat03-1473.cnf.xz | anni_2022,handmade_2003 |
| 033f38da07bdbbad4763eaf1fe97ce37 | 387c42140e3ddb9c3065c52d69f718c5 | termination-analysis | fuhs | unsat | empty | no | AProVE07-27.cnf.xz | anni_2022,application_2009,application_2012,application_2013,application_2014,industrial_2007,main_2010,main_2015,portfolio_2012 |
| 035c200bbf0a783e4ec9656cfa9b2f68 | a31aedf4485bd1f3f95bfa0ed209fb04 | cryptography | grieu | sat | empty | yes | vmpc_34.shuffled-as.sat05-1958-sc2005.cnf.xz | anni_2022,main_2019 |
| 036b541db9d0839b0591d408ff4f77ae | 10c77f9954952ffea054702504054e58 | cryptography | post | unsat | empty | no | aes_decry_2_rounds.debugged.cnf.xz | anni_2022,application_2012,crypto_2021,main_2023,portfolio_2012 |
| 0379936c75c225f1a9a113762b019da6 | 62a20d3399318d17c81a2855c6e8723e | termination-analysis | fuhs | sat | empty | yes | AProVE09-17.cnf.xz | anni_2022,application_2009,application_2012 |
| 037c423f56548082b1935e88c48ffdda | c609561d95e240d1b7e3112b71458bea | coloring | pehoushek | sat | empty | yes | 3col120_5_2.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| 037d21e060a2e3eab8b080aa84ceee75 | b021796f7c7ac5990b981f36e13dcf10 | matrix-multiplication | markstrom | sat | empty | yes | mm-1x10-10-10-sb.1.shuffled-as.sat03-1489.cnf.xz | anni_2022,handmade_2003,main_2023 |
| 0398e6b20de133ba8b49c74b67dad7b7 | 677da042b274c04a8d7b20db343f3e7c | miter | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=49 | no | 6s133-sc2014.cnf.xz | anni_2022,main_2019,main_2022 |
| 039b45f4a3979c9176b115bb8e88342f | 23103fcaf9e4ede97576f562f76d5f34 | genurq | ostrowski | sat | empty | yes | genurq8Sat.shuffled-as.sat03-1514.cnf.xz | anni_2022,handmade_2003 |
| 03a1a18521814692f56a8ecbea0031d4 | 6d62a51a9cf467b15996244efa99f031 | miter | wedler | unsat | empty | no | ablmulub2x32o-sc2016.cnf.xz | anni_2022,main_2019 |
| 03a1ada3e778fcec8a7ee0c9e685d4be | d0244c9975e35e00a4a42f6d1d9b4fb5 | generic-csp | connamacher | sat | empty | no | connm-ue-csp-sat-n1200-d-0.02-s1528687777.used-as.sat04-953.cnf.xz | anni_2022,handmade_2004 |
| 03a43a7ea55217f53542ed3f029963af | 763e6d144978e6d0810db7343c7d8b7d | test-configuration | biere | unsat | http://hdl.handle.net/10138/333647 | no | satch2ways16w.cnf.xz | anni_2022,main_2021,main_2023 |
| 03b75ba4f3a1bdcc58c89e6846eecaab | b0b3a40dc3f17e01860ade71df1b0671 | xor-chain | zhang-lintao | unsat | empty | no | x2_128.shuffled-as.sat03-1598.cnf.xz | anni_2022,handmade_2003 |
| 03ba29d5cb38d345357a74a7b5ccd759 | 0c58195f52c748a752bb242bd9b25bac | maxsat-optimum | cherif | sat | http://hdl.handle.net/10138/333647 | no | 20-100-lambda100-49_sat.cnf.xz | anni_2022,main_2021,main_2022 |
| 03bb7baaa45980753a0e7050ae44755d | 2c44650528ec6da8a04b61114f944608 | scheduling | stojadinovic | sat | http://hdl.handle.net/10138/135571 | no | atco_enc3_opt1_03_53.cnf.xz | anni_2022,application_2014,main_2022 |
| 03c44a93577c98119dc498053888937a | bcb2c8399c1d79cc080fba455d580431 | scheduling | kummling | unsat | empty | no | ctl_4291_567_1_unsat_pre.cnf.xz | anni_2022,application_2013,main_2022 |
| 03c5fef8cb8957ecf687548c8d504d10 | 2172fa08aa08de79b1349be0f9622522 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_80_21_90_2-log.shuffled-as.sat03-198.cnf.xz | anni_2022,handmade_2003 |
| 03c8a9ffce923a8cb3452f18d371eacf | 9ac4ee61363d204fec191683818148b7 | rooks | manthey | unsat | http://hdl.handle.net/10138/135571 | no | rook-55-0-1.cnf.xz | anni_2022,crafted_2014 |
| 03cb9868146a1c420ba8e3b1b08865b8 | 55a3944fd03a71fe39874b8d93b1096a | coloring | pehoushek | sat | empty | yes | 3col300_5_2.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 03d1d6df36fdec5be7b60e6f0cd382f7 | c185d44b30705cb541c781ad9ffd0c53 | coloring | pehoushek | sat | empty | yes | 3col280_5_8.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 03d8064f3be30daecf2ffe4c54361e61 | 472c55cf2f04935c6d32aa4cd7350fb3 | sgen | spence | unsat | http://hdl.handle.net/10138/135571 | no | edges-025-4-7932777-1-00.cnf.xz | anni_2022,crafted_2014 |
| 03d93f5c0378205e17260e16e463ac67 | 30953dea24d4dd4b3814af0904f10f0f | scheduling | konan | unknown | empty | no | TimetableCNFEncoding_5_UNKNOWN-sc2018.cnf.xz | anni_2022,main_2019 |
| 03de316ba1e90305471a3b8620cb9cd7 | 81c4937178ec57855aed167d7f2892b9 | subgraph-isomorphism | anton | sat | empty | yes | satsgi-n23himBHm26-p0-q248.cnf.xz,satsgi-n23himBHm26-p0-q257.cnf.xz | anni_2022,crafted_2009,crafted_2012,main_2023 |
| 03f25e67e52baf9fb1e782026d46c8a8 | 1c36a0328c0905dea849c31732c95cbc | coloring | vangelder | unsat | empty | yes | rope_0003.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 03fb9af7b390fe9e0739150ca3410cf0 | 07a2c5f0e9887314a2e5609bff4eae84 | coloring | oostema | sat | https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=68 | no | 4g_5color_166_100_02.cnf.xz | anni_2022,main_2020,main_2022 |
| 04071576275e4113b60c21601b364345 | 7b238738b9525151f02c06f1c03a8471 | tseitin-formulas | bevan | unsat | empty | yes | marg2x5.shuffled-as.sat03-1443.cnf.xz | anni_2022,handmade_2003 |
| 04121f3fbe313b7046c9f54ac1e26c75 | 6be90adbad773f343d429a4d5726c625 | modcircuits | unknown | unknown | empty | no | mod3block_2vars_9gates_u2_autoenc.cnf.xz | anni_2022,crafted_2009 |
| 0412f6f3174dfc4c27ad0b61280cd739 | 46de7984353de4a63a3c63908c69124d | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_40_30_20_2-dir.shuffled-as.sat05-442.cnf.xz | anni_2022,crafted_2005 |
| 04157f716c1e9606c6a530657bf8f957 | 4e00eb5cd670da17e963192207423345 | hypertree-decomposition | schidler | unsat | http://hdl.handle.net/10138/318754 | no | Kakuro-easy-125-ext.xml.hg_4.cnf.xz | anni_2022,main_2020,main_2022 |
| 0415acae197134f9d1cd7bea5ac3f2fd | 8401e3575cd9b5aa5497085508be017e | random-modularity | giraldez | sat | empty | no | jgiraldezlevy.2200.9086.08.40.136.cnf.xz | anni_2022,main_2015,parallel_2015 |
| 041699620802b7ed905f93976ae60bef | 893ea77bb089603a27252610e4d3cb57 | bounded-model-checking | marques-silva | unsat | empty | yes | longmult9.cnf.xz | anni_2022,mus_2011 |
| 041ef0a56340a623c38e6b9012933624 | 3e503538fe609f9f9fc285f34dd1601f | mycielski-graph | unknown | unsat | empty | no | shuffling-2-s554396412-of-bench-sat04-318.used-as.sat04-598.cnf.xz | anni_2022,industrial_2004 |
| 0421d8c1dec913b76dc72d781a864a80 | e49bd643dcd28066b70de0aa0822fcd4 | quasigroup-completion | sorge | unsat | empty | no | dead-dnd006.shuffled-as.sat05-3112.cnf.xz | anni_2022,crafted_2005 |
| 04283728b84c4b0ff6cb44ca4bc4ab65 | 02b768f11e184d922cd04b19e07ee6aa | subgraph-isomorphism | anton | sat | empty | no | new-difficult-28-302-26-75.cnf.xz | anni_2022,crafted_2009,crafted_2012 |
| 042846b7b23a617ad1730e9eb2dbdceb | 74d29dc0d2ad92eaa7c06fba6249e246 | scheduling | kummling | unsat | empty | no | ctl_4291_567_9_unsat_pre.cnf.xz | anni_2022,application_2013,main_2020 |
| 04327b18171b43ff06586707499b97fc | d09b37f3061cfd055e3656b56c58f468 | graph-based | bevan | unsat | empty | yes | hypercube4.shuffled-as.sat03-1434.cnf.xz | anni_2022,handmade_2003 |
| 043f806db615f7a138d4beffe3367c1a | 9cbbc58299464ef00d7f0dbd8b6b3603 | random-csp | kexu | sat | empty | no | frb45-21-1.used-as.sat04-883.cnf.xz | anni_2022,crafted_2011,crafted_2012,crafted_2014,handmade_2004 |
| 04411a580ede5fd258d84ce872b5f53b | 633e7ff6ff0c132ae855a1d06343348d | erdos-discrepancy | heule | unknown | http://hdl.handle.net/10138/135571 | no | EDP3-50000.cnf.xz | anni_2022,crafted_2014 |
| 0445a4d6be24882bac0988a055e7f379 | ec5b31537e59126414143e7f273a862d | coloring | sabharwal | unknown | empty | no | unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07-sc2007.cnf.xz | anni_2022,main_2019 |
| 0447371bb8a97e8fe5d3cee6de1db766 | 2e2bafca9e4d6801fc343b640ea43dec | diagnosis | anbulagan | unsat | empty | no | UTI-20-10p0-sc2009.cnf.xz | anni_2022,main_2019,main_2022 |
| 044d27388c142e8e47812d9518e01b2f | 0378db6eab54ddaa95d15c4bc1bce65e | miter | unknown | unsat | empty | no | shuffling-2-s2123257475-of-bench-sat04-327.used-as.sat04-589.cnf.xz | anni_2022,industrial_2004 |
| 044eced3d5aac22e0f34ad02071132f7 | 600ec527e26f5498f188fa4735b67b90 | ramseycube | unknown | unsat | empty | no | Q32inK10.cnf.xz | anni_2022,crafted_2009,crafted_2012,portfolio_2012 |
| 04557a22f623dcbae86173fced057c99 | 3eb3d54fea2efd703a87f50afe27f537 | baseball-lineup | hickey | unsat | http://hdl.handle.net/10138/318754 | no | baseballcover14with25.cnf.xz | anni_2022,main_2020 |
| 045613366353b062992e68937ca53edf | aae824c54650dee4d6f37b0d6bbeed14 | planning | surynek | sat | http://hdl.handle.net/10138/135571 | yes | mrpp_6x6#14_12.cnf.xz | anni_2022,crafted_2014 |
| 0458851a021830f297e5dc3418ece838 | 7d38d9881c72fc5d0b562ecfe8772d20 | cril-misc | frioux | unsat | empty | no | g2-T96.1.1.cnf.xz | anni_2022,main_2017 |
| 0462a0427297f8979588174b502bd044 | b6e717232c3fd8feeb20651a33c4405b | tseitin-formulas | jarvisalo | sat | empty | no | mod2c-rand3bip-sat-230-1.shuffled-as.sat05-2503.cnf.xz | anni_2022,crafted_2005 |
| 0463b72200ae80c02835c027d3606c4e | 4e4c85bd711f7052fd9b6a7ee50a48b1 | battleship | skvortsov | sat | empty | no | battleship-13-25-sat.cnf.xz | anni_2022,crafted_2012,crafted_2013 |
| 04674c7c9520c7edc0426b820f837726 | 730cbd747dd695de32762f5e76db628e | miter | stanion | unsat | empty | no | hwb-n30-01-S682466202.shuffled-as.sat03-1632.cnf.xz,hwb-n30-01-S682466202.shuffled-as.sat03-1632.used-as.sat04-853.cnf.xz | anni_2022,handmade_2003,handmade_2004 |
| 047c92e7c0a36a23d8107f4313517719 | 34a5cadeda090504840e4ea2fa9f5c28 | rubikcube | jingchao | unsat | empty | no | rubikcube701-sc2017.cnf.xz | anni_2022,main_2019,main_2022 |
| 048a70da40ea4908c783b8314be2da97 | d6a63a269b38c7b7bd6b5f6315972006 | cryptography | kullmann | sat | http://hdl.handle.net/10138/135571 | no | aes_32_2_keyfind_1.cnf.xz | anni_2022,application_2014,main_2015,main_2022,parallel_2015 |
| 0491901f00c8663e5b49a0dbbf96412f | a8f6494953433423564d2eebe88d76de | rbsat | huang | sat | empty | no | rbsat-v945c61409g4.cnf.xz | anni_2022,crafted_2011,crafted_2012 |
| 04935c7718d4ada8516e0d99c46df41b | ae9548674e8dcf1aa4889fdbf0ff9f89 | bitvector | manthey | sat | empty | yes | g2-newton.8.3.i.smt2-cvc4.cnf.xz | anni_2022,main_2017 |
| 04b2a7f442ed1b15439d0678ce902d6f | fbf2f7f72d760b267a16b6cdb9fb2e64 | hardware-verification | dellacherie | unsat | empty | yes | f2clk_40.shuffled.cnf.xz,f2clk_40.used-as.sat04-364.cnf.xz | anni_2022,industrial_2002,industrial_2004 |
| 04d28cb98f3362dfcd4ab74d4bb82de3 | 002761573f1d8ab3f57815b2e864678e | tree-decomposition | ehlers | unknown | empty | no | ex065_24.cnf.xz | anni_2022,main_2018 |
| 04d2cca932a87b98ebfc7bbd0fe6ed5d | dde76674d8593feaa6f05355cd27feb6 | software-bmc | manthey | unsat | empty | yes | safe009_pso.oepc_true-unreach-call.i-cbmc-u2.cnf.xz | anni_2022,application_2016 |
| 04dd37bd8e319df958e1e091ec60de5b | 32a7f4a9f65f555341cf0977bf39abdd | quasigroup-completion | heule | unsat | empty | yes | gensys-icl003.shuffled-as.sat05-2715.cnf.xz | anni_2022,crafted_2005 |
| 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 |
| 04e50bc7a121716e396dc538ab24490e | cb7dad48066cb10c009d77bb35804b71 | coloring | pehoushek | unsat | empty | no | 5col120_15_5.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 04f8b455b41f208ea19769f051ddcb1b | 41311a78d3b6606962f6ce5aa435656d | equivalence-chain | heule | unknown | empty | no | equilarge_l2.shuffled-as.sat05-519.cnf.xz | anni_2022,crafted_2005 |
| 04f9f1f61d99108b7ad0fa77d275dc4c | 90b59c723a012535ac52db0ae6234e77 | coloring | pehoushek | sat | empty | yes | 3col260_5_9.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 04fa0a71339fa76067a75ff448ef6f67 | df6d9d43e43ea2a3fb8451c93523510c | planning | sabharwal | sat | empty | yes | sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009,crafted_2012,portfolio_2012 |
| 050214ecbd9e96136fe1bc73447f1303 | fbe69b8a6ef24d91d66f2ac6d6a3f558 | pigeon-hole | sabharwal | unsat | empty | no | easier-php-035-029.sat05-1179.reshuffled-07.cnf.xz | anni_2022,crafted_2007 |
| 0506d033a4ca469af10d95dbf36a86e9 | 2d1dac354a51dc7de0adad734b64ba5e | edge-matching | heule | sat | empty | yes | em_7_4_9_cmp.cnf.xz | anni_2022,crafted_2009,crafted_2012,crafted_2013 |
| 0521cd68355dd16e8f7940f43003d904 | 5fd7daae04bb0214121cfcb6e7d56a99 | graph-isomorphism | mugrauer | unsat | empty | no | crafted_n10_d6_c4_num10.cnf.xz | anni_2022,crafted_2013 |
| 0533a1506eb61460bee3917f61ca4c49 | ce3b524db9d8cbc17ff7a7632a1408a2 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_80_29_60_7-dir.shuffled-as.sat03-217.cnf.xz | anni_2022,handmade_2003 |
| 0534387f90398a24495d4b7b05f9b342 | 407f9859fc69eaae4a53b399bcc5c413 | diagnosis | anbulagan | unsat | empty | no | dated-5-13-u.cnf.xz | anni_2022,application_2009,application_2011,application_2012,application_2013,application_2014,industrial_2007,main_2010,main_2015,parallel_2015,portfolio_2012 |
| 055836a43eb318de92f09c555ba4f3b5 | 598cd53f312f3e80e1dc13946ac84553 | coloring | pehoushek | sat | empty | yes | 3col160_5_6.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 055db8f900741c7b8d7b731e99662588 | b8e29c0d916a15db16f313e525c18535 | clique-width | heule | sat | empty | yes | rnd-v25-e13-k3.cnf.xz | anni_2022,crafted_2013,crafted_2014 |
| 055f942145df4b6c9fd0d10a3f1da98e | 8ca6f314abd0c10c708a80bec1c125bc | scheduling | stojadinovic | sat | http://hdl.handle.net/10138/135571 | yes | atco_enc1_opt1_15_240.cnf.xz | anni_2022,application_2014 |
| 05680de3febd39916e496dd772cb8c19 | bb41409701cefcae34c93f225a4dbca7 | hardware-verification | marques-silva | unsat | empty | yes | minor032.cnf.xz | anni_2022,application_2009 |
| 057f143aae50b8abc3e083b7609353be | a3b966718f243260768d5fed9261ab79 | cril-misc | frioux | unsat | empty | no | g2-T133.2.1.cnf.xz | anni_2022,main_2017 |
| 05817b4e1add561af0e1165e01fb48cc | 897eeb57831cd66e8dc0129807f71a63 | bioinformatics | unknown | unsat | empty | no | q_query_3_l45_lambda.cnf.xz | anni_2022,application_2009,application_2012,application_2014,main_2010 |
| 0587f345cca3ef8340e8e71829dce130 | 55f88866fb8ae44971fb1d3ecdc8d48f | waerden | kullmann | unsat | empty | no | VanDerWaerden_2-3-12_135.cnf.xz | anni_2022,crafted_2011 |
| 0593e6814f02ec9749e87bdc6aff8275 | 52ba0b0b42832c0da261345429916951 | planning | surynek | sat | empty | yes | mrpp_6x6#14_10.cnf.xz | anni_2022,crafted_2013 |
| 05b04d362b374569a4eb63c4e4e132b7 | f7f14d4c70a3b7631096f49048898a8f | unknown | moon | sat | empty | no | mp1-9_3.cnf.xz | anni_2022,main_2017 |
| 05c52a5f9133f5afca84767f2eff98fa | 7eb8c15ff12c2df6cb39e7ec18ebe55e | cril-misc | frioux | unsat | empty | no | g2-T103.2.1.cnf.xz | anni_2022,main_2017 |
| 05c5ff612371a5773e857212174f625b | 25a1154d4355f1f4fe8a7223adb5c496 | prime-factoring | pehoushek | sat | empty | no | ezfact64_9.shuffled-as.sat03-1525.cnf.xz,ezfact64_9.shuffled-as.sat03-1525.used-as.sat04-792.cnf.xz | anni_2022,handmade_2003,handmade_2004 |
| 05df4430054ceba4fa065806e8c65041 | 47911a52dba8c016373ed27f20b2f0e9 | subgraph-isomorphism | anton | unknown | empty | no | SGI_30_80_23_90_10-log.shuffled-as.sat03-202.cnf.xz | anni_2022,handmade_2003 |
| 05e5b5a37a0d7cb5e96c82b84bbdca66 | a813c599017357919a0f142fad02ddaa | mycielski-graph | yolcu | unsat | http://hdl.handle.net/10138/333647 | no | Mycielski-11-hints-3.cnf.xz | anni_2022,main_2021 |
| 05eb87eb6fecb7a8a3bdc25154412c1d | 34fbff801c876dfb93972c26a827f581 | waerden | kullmann | sat | empty | no | VanDerWaerden_pd_2-3-24_592.cnf.xz | anni_2022,crafted_2012 |
| 05ed840c0a907e88e475c931f40fab83 | faea08d29ad2e1e3790604b4d9a4b44e | quasigroup-completion | unknown | unknown | empty | no | bqwh.50.750.shuffled-as.sat05-434.cnf.xz | anni_2022,crafted_2005 |
| 05eee75ab69270c322b9ef6bc1ee8604 | d992f96a24d9b739914e4db0a4db0f01 | cryptography | fuhs | unknown | empty | no | slp-synthesis-aes-bottom22.cnf.xz | anni_2022,application_2011 |
| 05f3a48298721d68cded8618b432e7c3 | 2f9b0ef1aaeabd00069ff349f266b72d | sgen | spence | unsat | empty | no | s85-100.cnf.xz | anni_2022,crafted_2007 |
| 05f5567936f582edc0d3ea9903f540bc | 5fb02e2d0c56c784df50c24c4d2ffe27 | sgen | spence | sat | empty | no | sgen1-sat-230-100.cnf.xz | anni_2022,crafted_2009,crafted_2012,crafted_2013,crafted_2014,portfolio_2012 |
| 05fb1e489956554f9115344bce4e71c7 | 3a81a2baa727b15583f560dc6a1f1b2a | diagnosis | anbulagan | unknown | empty | no | partial-10-11-u-sc2007.cnf.xz | anni_2022,main_2019 |
| 05fbbab9f0baf819ed9593cca8587629 | 296d9e0e0d3512bc0be6a02c7a01dae4 | subgraph-isomorphism | anton | sat | empty | yes | satsgi-n24himBHm28-p0-q282.cnf.xz | anni_2022,crafted_2012 |
| 060b7ed7ef9e59576b9ee62c998a5103 | ec5915667bd8abdcfe2e73763229157a | bitvector | unknown | unsat | http://hdl.handle.net/10138/135571 | no | bvslt_13916.cnf.xz | anni_2022,crafted_2014 |
| 0614e1ae5100ee0aca4ea24424479fa3 | 6b89bfb4a4f459fbb70c9545894f9563 | miter | stanion | unsat | empty | no | hwb-n32-01-S1491788039.shuffled-as.sat03-1637.cnf.xz,hwb-n32-01-S1491788039.shuffled-as.sat03-1637.used-as.sat04-856.cnf.xz | anni_2022,handmade_2003,handmade_2004 |
| 06166a0dd78f45c213add974a6711dfe | 5601b4ad5deb75a1d0d2dfe2c0c00e8e | planning | balyo | unsat | empty | yes | barman-pfile10-038.sas.cr.25.cnf.xz | anni_2022,application_2016 |
| 0616ca6b1e0ae639d12e19ed310963a9 | 039223f3ea5163f320c4091169211793 | cryptography | heusser | sat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 | empty | satcoin-genesis-SAT-4.cnf.xz | anni_2022,crypto_2021,main_2018,main_2022 |
| 06172049e6804cbfb07f993023f2684f | fad7920016730544b600c71d8166a729 | waerden | kullmann | sat | empty | no | VanDerWaerden_pd_2-3-29_809.cnf.xz | anni_2022,crafted_2012 |
| 062f58e44eb73f9274b57af5092cad90 | c781c6dee94f2379979b715e77f4225f | rooks | manthey | unsat | http://hdl.handle.net/10138/135571 | no | rook-51-0-0.cnf.xz | anni_2022,crafted_2014 |
| 06326dd7bab63b892d2c147d5928468c | 1065699ec7e354c35f923bda2d23b5f8 | bitvector | jarvisalo | sat | empty | yes | smtlib-qfbv-aigs-bin_libsmbsharemodes_vc6201-tseitin.cnf.xz | anni_2022,application_2012 |
| 06385be5ecfc7df22b2c956093cef85f | 5adb010b08546f6b05277e7c7ef721be | planning | maris | sat | empty | yes | depots3_v01a.renamed-as.sat05-3950.cnf.xz | anni_2022,industrial_2005 |
| 064ba3c61c5f105104edec8305853711 | 41b2000b8bc9db9f771411282aee0edd | sliding-puzzle | kaiser | sat | http://hdl.handle.net/10138/333647 | no | puzzle35_sat.cnf.xz | anni_2022,main_2021 |
| 066813ab5f3b7b1cc6d2847c37f5fae7 | 190185d01c41d8e8f343d241bf78fd75 | prime-factoring | pehoushek | sat | empty | yes | ezfact32_10.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 066d6a47dfd9648d913ba8dbce722d75 | 55bf2c43b8472dd1cc6f12eacc970fbe | cryptography | fuhs | unsat | empty | no | slp-synthesis-aes-bottom16.cnf.xz | anni_2022,application_2011 |
| 06872e73223dc74c76b06f37a185dc22 | 680583bd82b31f273ccd172cdfca425e | waerden | kullmann | unsat | empty | no | VanDerWaerden_2-3-16_238.cnf.xz | anni_2022,crafted_2011,crafted_2012,main_2020,portfolio_2012 |
| 068c64314f0f8405bc28bb4c52647145 | c6e48ac9bcfdee4f991dc632bd8517c1 | planning | balyo | unsat | empty | no | sokoban-p20.sas.cr.27.cnf.xz | anni_2022,application_2016,main_2021 |
| 0697524f77ccd503f7e5fe15f23a1268 | 0274763bd587c985cf2b30869c2d8877 | graph-isomorphism | mugrauer | unsat | empty | no | crafted_n12_d6_c4_num27.cnf.xz | anni_2022,crafted_2013 |
| 069f7d519e820f6b879f880703907bb3 | 6dd6f9f71b4d373d0bab4dc7027c0fc7 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_60_28_40_2-dir.shuffled-as.sat03-124-sc2002.cnf.xz | anni_2022,main_2019 |
| 06a36581f14e399a76a5110449ebe739 | 4370a7992364998a1da4e479d2baf8dd | planning | maris | sat | empty | yes | driverlog2_v01a.renamed-as.sat05-3961.cnf.xz | anni_2022,industrial_2005 |
| 06d2543c151c2478fde159c6dc0424ac | 7886ad062f504c793cbeaf7e1eb5b376 | bitvector | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=56 | no | udiv45prop.cnf.xz | anni_2022,main_2018 |
| 06d96f79264e9991a5a0a417c401657a | 5ccda9bea99df58d4ef2cdbeb973953f | bitvector | manthey | sat | empty | yes | g2-mult1.c.50.smt2-cvc4.cnf.xz | anni_2022,main_2017 |
| 06e46ab0acac57a61638cbb741949a98 | 125371f1467e371be55ed20ffec7c3f5 | argumentation | wallner | sat | http://hdl.handle.net/10138/135571 | yes | complete-500-0.1-1-9876543215001.cnf.xz | anni_2022,application_2014,main_2015 |
| 06e928088bd822602edb83e41ce8dadb | a4e8af92a2e1a3810dcd100e6dde944b | cryptography | heusser | sat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 | empty | satcoin-genesis-SAT-10.cnf.xz | anni_2022,main_2018 |
| 06e997650b24ac5b5f87c1c64f4a5dcb | 4db8e09f592f1eb5a2e6beea264a1682 | hardware-verification | marques-silva | unsat | empty | yes | edn_9789_8.cnf_0.51000000.unsat.cnf.xz | anni_2022,mus_2011 |
| 06f538d7af257560476f9100e36d4445 | 2d30dde69a7e6273378a8328947b0c29 | software-verification | post | sat | empty | yes | gcdmax16bits_22.cnf.xz | anni_2022,application_2012 |
| 0701a5b57f9b37c5fcb77463c8582693 | 103424c2ca592dd36647ff005210a8d9 | cril-misc | frioux | unsat | empty | no | T84.2.0.cnf.xz | anni_2022,main_2018 |
| 070fde310eca4ddf6967896052efcb30 | 24ac848655ad80b30bffccdbaa39d9d9 | at-least-two-sol | manthey | unsat | http://hdl.handle.net/10138/333647 | no | at-least-two-smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf.xz | anni_2022,main_2021 |
| 072785fd927ff0fd180ce8b9cc00078f | 2a89f174f737fb503c1a99a868e1ca14 | hgen | chen | sat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=63 | no | 20180321_140826713_p_cnf_320_1120.cnf.xz | anni_2022,main_2018,main_2022 |
| 073c28dfd3204f4c51e03c297ac841c1 | 6304c7bf22d052400ce79c4a06847bf9 | tseitin-formulas | jarvisalo | unsat | empty | no | mod2c-rand3bip-unsat-120-3.shuffled-as.sat05-2340.cnf.xz | anni_2022,crafted_2005 |
| 075c4fe7ae4cef57f1a4c00e58142e23 | 37580192ed784d020eb185f859d296d0 | xor-chain | zhang-lintao | unsat | empty | no | x1.1_64.shuffled-as.sat03-1585.cnf.xz | anni_2022,handmade_2003 |
| 075e1eef00500b25ceb5ea4823ccf1b0 | 56521c541de853790295218cb4c2566d | coloring | pehoushek | sat | empty | yes | 3col140_5_1.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 076305ce31dd18724a3de91045800acc | 3642332173de80cf3f5af8b25c57c7d5 | software-bmc | manthey | sat | https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=55 | no | 26_stack_cas_longest_true-unreach-call.i-cbmc-u2-sc2016.cnf.xz | anni_2022,main_2019 |
| 07682e22f82f9257d44b45777ac06168 | 481d87c92edc0e7dcf249660373b246c | clustered-random | anton | sat | empty | yes | lksat-n900-m3357-k3-l5-s241765501.used-as.sat04-936.cnf.xz | anni_2022,handmade_2004 |
| 076d4d6f83306ee69c35e3c99e30d8f8 | 077ef3fed8a1d854332a00474ed3a007 | xor-chain | zhang-lintao | unsat | empty | yes | x2_16.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 076fba8945d3a54a06f326474477077d | d7f6d8202a409e01e7bb4e66dfd5ac05 | planning | surynek | sat | http://hdl.handle.net/10138/135571 | yes | mrpp_6x6#12_9.cnf.xz | anni_2022,crafted_2014 |
| 0779cddacfa34241cdf579cb2370ab8e | a4fc13ecdbedf667b3760cd4b29ed49c | parity-games | friedmann | sat | empty | no | instance_n8_i9_pp_ci_ce.cnf.xz | anni_2022,crafted_2009 |
| 0779ed19ae69bf464cce003d1a573246 | 8e8a4abc379685882b8d63097aa3d63a | cryptography | nossum | sat | empty | no | 008.cnf.xz | anni_2022,application_2013 |
| 07851afab30a10e44c8c3a2ae7806177 | 17ed4513559e29334bc12f03bc6116ed | generic-csp | connamacher | unknown | empty | no | connm-ue-csp-sat-n1200-d0.00-s1415961664.shuffled-as.sat05-529.cnf.xz | anni_2022,crafted_2005 |
| 079b400eede86df1f1ffd6a3c303278b | b4284af2bd7ecedaaa5404c110a60dba | graph-based | bevan | unsat | empty | no | hypercube5.shuffled-as.sat03-1435.cnf.xz | anni_2022,handmade_2003 |
| 079fec8d04a6ee936227ea90ea0903bf | 8db7c11e36470ece0bd200ccf4774c8f | tseitin-formulas | elffers | unsat | empty | no | tseitingrid6x175_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 07b476c83150d3cb7e08f5d045e255ab | c066a9e23f505af520763e48cf89f71d | tseitin-formulas | bevan | unsat | empty | no | marg5x5.shuffled-as.sat03-1455.cnf.xz | anni_2022,handmade_2003,main_2024 |
| 07bbbb292324c8d8baeb232e144349fa | 291fe916012722d1d4789ac3cda6fb78 | miter | goldberg | unsat | empty | yes | rand_net40-60-1.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 07c3cce524e2b85d8315ac4397ef08c4 | c60c852f5f0e051895a70100c72a0580 | sliding-puzzle | kaiser | sat | http://hdl.handle.net/10138/333647 | no | puzzle47_sat.cnf.xz | anni_2022,main_2021 |
| 07c50b89d97a55b6e1629999a445a2ba | 26105d9e99f52f49205db29a7b30fe8a | scheduling | kummling | unsat | empty | no | ctl_4201_555_unsat_pre.cnf.xz | anni_2022,application_2013,main_2024 |
| 07cb45c60089b9008bf3118591a99bf9 | bbef831a1c2af7947078ea10c9b56b82 | random-hiddenmodel | moore | unknown | empty | no | hidden-k3-s0-r5-n700-03-S1609878926.shuffled-as.sat05-487.cnf.xz | anni_2022,crafted_2005 |
| 07d20a83feca9295e862a7d583da5971 | 04ae6af8737c7b07a3b2416c81a42782 | diagnosis | anbulagan | sat | empty | yes | UTI-20-10t1.cnf.xz | anni_2022,application_2011 |
| 07e851c74295f7ddf472820c0f0164e8 | 0197fe24df29d93c2fbc2fb2a916001a | xor-chain | zhang-lintao | unsat | empty | no | x2_72.shuffled-as.sat03-1604.cnf.xz | anni_2022,handmade_2003 |
| 07f5f3ca046261c3819c5c888ac837e5 | c76cc643e32004f5840c305a217d58de | tseitin-formulas | jarvisalo | unsat | empty | yes | mod2c-rand3bip-unsat-105-3.shuffled-as.sat05-2325.cnf.xz | anni_2022,crafted_2005 |
| 08063f5baf6655656a300c946aaaca60 | c9487e3fbadad28ca13b4c16f81e0583 | ordering-principle | sabharwal | unsat | empty | no | gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009,crafted_2012 |
| 080896c437245ac25eb6d3ad6df12c4f | 0c65cd9d01035aa739d91277df0c4dcc | bitvector | preiner | sat | empty | no | bv-term-small-rw_1492.smt2.cnf.xz | anni_2022,main_2021 |
| 0810eb03d022334fdd1d5a6ad4969d47 | 44928d494477b9ad96eca7e12eb48b6a | cryptography | desgen | sat | empty | no | gss-18-s100.cnf.xz | anni_2022,application_2012,application_2013,application_2014,main_2015,main_2022,portfolio_2012 |
| 08300e286c3380f7e7291ca6a534c97b | 4f9731bfe4c45599562c62972778cb02 | hardware-verification | dellacherie | unsat | empty | yes | comb3.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 083030713683d8ab8e1d54372f241863 | 40ea4fa9c287c385080817c46d2e4d04 | hypertree-decomposition | schidler | sat | http://hdl.handle.net/10138/318754 | no | Kakuro-easy-089-ext.xml.hg_4.cnf.xz | anni_2022,main_2021 |
| 0831000a5a9727aa5fa3332df10cdb57 | a76c27d9fa6fcaa865c32a47cd3d83ff | hardware-verification | marques-silva | unsat | empty | yes | edn_20403_12.cnf_0.08000000.unsat.cnf.xz | anni_2022,mus_2011 |
| 0842eb01dc00232edc0b26ccb2f19f25 | 3afbc07bbb3658e702f2ee06456cce99 | unknown | mayer-eichberger | sat | empty | no | 6-4-6-sc2018.cnf.xz | anni_2022,main_2019,main_2022 |
| 08469bbccc41da0c124d69c61ce7dc58 | 00692d022c7b0160e82b1e7f55e1c6cb | planning | balyo | unsat | empty | no | barman-pfile07-027.sas.cr.37.cnf.xz | anni_2022,application_2016 |
| 084f6e6da7f9c5125d6f28a044b6225c | 7c4e5b87ffe419062f61cd5ec1c54519 | coloring | manthey | unknown | http://hdl.handle.net/10138/135571 | no | ccp-s8-facto3.cnf.xz | anni_2022,crafted_2014 |
| 0850db65220080c130d2f54005f9e2b3 | 15edca2a1590ac873319a60a90e08ddb | software-verification | babic | unsat | empty | yes | dspam_dump_vc972.cnf.xz | anni_2022,application_2012,industrial_2007,main_2010,mus_2011 |
| 08530caa5c9232f2ffc5163cf79b38e7 | ca2105d71932fb58d107e25269575dc2 | cryptography | heusser | sat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 | empty | satcoin-genesis-SAT-64.cnf.xz | anni_2022,crypto_2021,main_2018 |
| 0855033e761d91ae367e867c5a569f9e | 00aaf2d363ddd46bb841018777806cc0 | scheduling | stojadinovic | unsat | http://hdl.handle.net/10138/135571 | no | atco_enc1_opt2_10_15.cnf.xz | anni_2022,application_2014,main_2022 |
| 085792654d945c1de700245916f2c7f6 | 4ca285bd2db8f1d85d38beda5f3e5368 | tseitin-formulas | elffers | unsat | empty | no | tseitingrid5x185_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 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 |
| 088ffd086f2d5e55553d5e79aa30aaf5 | c35df68aeae469fe0c8de4458e7b39b5 | coloring | pehoushek | sat | empty | no | 4col280_9_9.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 089456508f74be2d96f4112cc495f80a | 09f1c0d17b520bd90ee5af65014cd243 | unknown | zhou | sat | empty | no | Eternity-10-06_c18.cnf.xz | anni_2022,main_2019,main_2022 |
| 08a25022c4136f2ceb36db62ce3503bb | b688fdbb0d4db839e1ded6339be0aa6d | hardware-verification | manolios | unsat | empty | yes | c6bi_i.cnf.xz | anni_2022,application_2012 |
| 08a68ba9d062c0856f1bc9cce7907b11 | e97f79536f23dec2ee6ed8765a703a62 | subgraph-isomorphism | anton | sat | empty | yes | sgi-difficult4.cnf.xz | anni_2022,crafted_2009 |
| 08abbb56b2345b2da7af8866a4e8ad44 | f7145a4d7ea3eea2140d6bd202de82c1 | tensors | savicky | unsat | empty | no | size_4_5_5_i037_w31_r9.cnf.xz | anni_2022,main_2020 |
| 08acbb7417346eb7dc0c860817be0cc3 | 15fcc55c7bbc4b1d31fc31e477afe488 | cryptography | chu-min-li | unknown | http://hdl.handle.net/10138/135571 | no | MD5-28-3.cnf.xz | anni_2022,application_2014 |
| 08b6f45c900d30fb65462a65df69e214 | daa3a60223b198decc76b9d8084a81d8 | planning | rintanen | sat | empty | no | transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf.xz | anni_2022,application_2011,application_2012,application_2013 |
| 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 |
| 08c21a3bc091abcb67b883061e2381c9 | 8e764505653157587449ce73f697a02d | matrix-multiplication | markstrom | unsat | empty | no | mm-2x3-8-8-sb.1.shuffled-as.sat03-1504.cnf.xz,mm-2x3-8-8-sb.1.shuffled-as.sat03-1504.used-as.sat04-829.cnf.xz | anni_2022,handmade_2003,handmade_2004 |
| 08cb0cf252b65c30c7c55218825c6ca0 | badfea7c98534812a0dca3a4d038564f | software-verification | babic | unsat | empty | yes | hsat_vc12072.cnf.xz | anni_2022,mus_2011 |
| 08cf53ca00dce11f5bfc02121c9bcd33 | d21a4e8bc43efe0a7c22e8b2c401f0c4 | greentao | kullmann | unsat | empty | no | GreenTao_2-3-5_528.cnf.xz | anni_2022,crafted_2011,crafted_2012 |
| 08e151e72fe10402a49463171aa557e8 | ae7fb1fd2a292d10e640c1f5e009537c | antibandwidth | biere | sat | http://hdl.handle.net/10138/318754 | empty | abw-V-nos6.mtx-w220.cnf.xz | anni_2022,main_2020,main_2022 |
| 08e1c46acda38a12fa3229f9f224425d | b624676939488a4f1c930b2a902a60ac | unknown | zhou | unsat | empty | no | Haystacks-ext-12_c18.cnf.xz | anni_2022,main_2019 |
| 08e8e08679a3c2ccb537d682165cb351 | 397ba88c0db13d69aea613a6fcc31c70 | unknown | collatz | unsat | empty | no | by-X-2-7-100.cnf.xz | anni_2022,main_2018 |
| 08eeb55c898dc6bedc915ed191dab009 | 7b7220a89183953b58a51df8f73edd20 | diagnosis | anbulagan | unsat | empty | yes | total-10-11-u.cnf.xz | anni_2022,application_2012,industrial_2007 |
| 08f2462515d5c1ffd0881dd5801f54bd | cfa26c233f8c868b0412704a098640e5 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_70_28_60_5-dir.shuffled-as.sat03-177.cnf.xz | anni_2022,handmade_2003 |
| 08fd5d81bf1af056edf0f4d1778f0834 | 5cad68645a5cf15c08da14c8db518790 | termination-analysis | fuhs | sat | empty | yes | AProVE09-03.cnf.xz | anni_2022,application_2009 |
| 0900255c001ced2b14a6cadc0403967e | 8ecb2d40c74cdb8a269ac02fe174297b | planning | surynek | sat | http://hdl.handle.net/10138/135571 | no | mrpp_8x8#24_14.cnf.xz | anni_2022,crafted_2014,main_2015,main_2020 |
| 090f37bba39891c7cf3bed2ace26ca92 | 5b63aab0b0680cc0f3087d422ec59867 | rbsat | huang | sat | empty | no | rbsat-v945c61409gyes2.cnf.xz | anni_2022,crafted_2013 |
| 0928111a3d5d5ce05dffb83cb5982eba | c3766c07c3332e7cc4f98ca11d78a916 | cover | gacek | unsat | empty | yes | Steiner-9-5-bce.cnf.xz | anni_2022,main_2020 |
| 0949ba00fc83c074bb2db981a543756f | 75cc05514a3328a96847a2aae52f0a01 | planning | rintanen | sat | empty | yes | blocks-blocks-36-0.160-NOTKNOWN.cnf.xz | anni_2022,application_2011,application_2012 |
| 0951acc41424bb9c0847f6077acf20c4 | d4698f130a8094991067a1a1cd89e313 | hardware-verification | unknown | unknown | empty | no | eqbpdtlf18sparcl18.cnf.xz | anni_2022,main_2019 |
| 095c4cfbf18326c010e9e5d8ae652970 | 1512b46fafcdd00c128b2bfafa0ada9b | fdmus | unknown | unsat | empty | yes | fdmus_b15_296.cnf.xz | anni_2022,mus_2011 |
| 095e78b37897df838f5137b24aa59ed6 | b4476b651f6f5f40398771eefdabbb21 | tseitin-formulas | bevan | unsat | empty | no | marg3x5.shuffled-as.sat03-1452.cnf.xz | anni_2022,handmade_2003 |
| 09637d3bd641b4d733666a862e8918ea | 32ce26bb0c99d6817686fb5e331fc228 | planning | surynek | sat | empty | no | mrpp_8x8#20_14.cnf.xz | anni_2022,crafted_2013 |
| 096e485489025895cdc59887baafa08b | 188fe9d9fc61a3589f1ab939a633b163 | bitvector | manthey | unsat | empty | no | test_v7_r17_vr5_c1_s25451.smt2-cvc4.cnf.xz | anni_2022,application_2016,main_2024 |
| 096f0ffbc2aa6f0e1fc7876a99e99bc5 | dd5ccf08692be26d242142ea0b3acb9a | phnf | heule | unknown | empty | no | phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf.xz | anni_2022,crafted_2007 |
| 0973e4a7d566ff12e7316cf0304ac1f4 | a36f7e1f52ebe8c58466dab04cdc6dcc | genurq | ostrowski | sat | empty | yes | genurq25Sat.shuffled-as.sat03-1507.cnf.xz | anni_2022,handmade_2003 |
| 0995a4bc27c94bca1d53bf83de369fd0 | 6e4d050ea48b97bfbf440f8116811111 | cril-misc | frioux | unsat | empty | no | T93.2.0.cnf.xz | anni_2022,main_2018 |
| 09991a55c8e3c8ec7966a0105a76d6e1 | 901f1a6ee1acf72f52ea598913b3a86c | hardware-verification | manolios | unsat | empty | no | manol-pipe-c10nidw.cnf.xz | anni_2022,application_2009,application_2011,application_2014,main_2008 |
| 099a345f923579d745e491b29c7da949 | 5db1678193e565d6659226e9143a3c45 | coloring | sabharwal | unknown | empty | no | fclqcolor-14-09-12.shuffled-as.sat05-1284.cnf.xz | anni_2022,crafted_2005 |
| 09a58f93975cf27590153ceb26fb1ad6 | 4b6610c33e604b8a0354e7c8678a9822 | coloring | heule | unsat | empty | no | Schur_161_5_d43.cnf.xz | anni_2022,crafted_2016 |
| 09acbe0cb8dad715ae4ff3cbade44d76 | 96348bbdda8b829e82dded09333fc9a0 | matrix-multiplication | chu-min-li | unknown | empty | no | Mat323.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 09d8544494e54bc756438e69567b4ba7 | a20243c33ffb3c366a7e29971b1b48d8 | crafted-cec | klieber | sat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 | no | mp1-klieber2017s-0300-034-t12.cnf.xz | anni_2022,main_2017,main_2021,main_2022 |
| 09dcc6149a23787a3aa96af8825bda60 | c956f7dee2122529dfa525331a198360 | bitvector | manthey | sat | empty | no | test_v7_r7_vr10_c1_s32506.smt2-cvc4.cnf.xz | anni_2022,application_2016 |
| 09df54b3d75b42dbd0020c6b60a68fc6 | 0d6dcb497098f9794e2396debbd7b608 | miter | unknown | unsat | empty | no | shuffling-1-s1931574585-of-bench-sat04-328.used-as.sat04-449.cnf.xz | anni_2022,industrial_2004 |
| 09e6779ba720bc9c22bae55653614d53 | 43cdf2108c62a13b23bcd3c9c9b463ca | graph-isomorphism | mugrauer | unsat | empty | empty | crafted_n11_d6_c3_num4.cnf.xz | anni_2022,crafted_2013 |
| 09ea7a837fa92ee285890f2187fcff0a | 5f9f29bb9e5856c8b39162c6d8afb74e | bitvector | unknown | unknown | empty | no | countbitsarray32_32.cnf.xz | anni_2022,application_2009,main_2010 |
| 09ed4d881b6dd70d30f59217573369f1 | 52f7b4591e4a930aabaad17e4549d427 | random-modularity | giraldez | unsat | empty | yes | modgen-n200-m90860q08c40-21438.cnf.xz | anni_2022,application_2016 |
| 09f3078602566bbeb02821503e5d2554 | 17d37607d4a26f57b8247f31d6f3fe78 | random-modularity | giraldez | unsat | empty | no | modgen-n200-m90860q08c40-14424.cnf.xz | anni_2022,application_2016 |
| 09f4f1e3047315b5ef2690fffb7ccf7a | 15dd659505b48f14adf4898a11cd5d91 | cryptography | paxian | unknown | http://hdl.handle.net/10138/318754 | no | ssAES_4-4-4_round_7-10_faultAt_7_fault_injections_2_seed_1564286498.cnf.xz | anni_2022,main_2020 |
| 09fb57fff97fc30b723f91d1c80965a6 | aa347ab66c62b38b96c01649fe740f47 | 2d-strip-packing | leberre | unsat | empty | yes | E03N17.cnf.xz | anni_2022,application_2011 |
| 0a015b7f4b4ec96e881f2f5f5e55265c | ef9775e0b02c577fc33791f0cd86c2f6 | planning | unknown | sat | empty | no | strips-gripper-18t35.shuffled-as.sat05-1147.cnf.xz | anni_2022,crafted_2005 |
| 0a034addb32ccb4363177fd5d0ba947e | ba2acc9b26fc7d39abb316a60a1dfd06 | waerden | kullmann | unknown | empty | no | VanDerWaerden_2-3-19_349.cnf.xz | anni_2022,crafted_2011,crafted_2012,portfolio_2012 |
| 0a1043b4f34db8a3de2aef9e4a82a34b | 7f4e656ee53d670809919d7d5b7ea8ea | parity-games | friedmann | sat | empty | yes | instance_n3_i3_pp.cnf.xz | anni_2022,crafted_2009,crafted_2012 |
| 0a11a3dcc342fba24aeda274ad56d478 | f8c834bb4e249307d6eda1075fcd1208 | graph-isomorphism | mugrauer | unsat | http://hdl.handle.net/10138/135571 | no | crafted_n11_d6_c4_num19.cnf.xz | anni_2022,crafted_2014,main_2020 |
| 0a27d1f7ff9fae1edf7f460f4fe70886 | c63d372cf93dea216ec80e0c16d2eed4 | phnf | heule | unknown | empty | no | phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009 |
| 0a3eb47ad5266860241a8ff5d37f62bd | b85127abddcf3fe9a00d81bec2cb66dc | fpga-routing | nam | unsat | empty | no | k2fix_gr_2pin_w9.shuffled-as.sat03-438.cnf.xz | anni_2022,industrial_2003 |
| 0a4b9ce30540d2103d65e44994d206a5 | c7cdfd78e02f8d38d91588f371bc0230 | prime-factoring | pyhala | sat | empty | no | pyhala-braun-sat-40-4-03.shuffled-as.sat03-1541.cnf.xz | anni_2022,handmade_2003 |
| 0a501c751f0483da0e9266753659ed6c | 509b052f1a32a36653eadd3fd93ed684 | scheduling | stojadinovic | unsat | http://hdl.handle.net/10138/135571 | no | ctl_4291_567_5_unsat_pre.cnf.xz | anni_2022,application_2014 |
| 0a5ae0d5af40b6d41f8be446811aa796 | 65dbf71f3ce5d42a050cd92c1c17bd85 | puzzle | grinten | unsat | empty | no | mp1-blockpuzzle_8x8_s1_free4.cnf.xz | anni_2022,main_2017 |
| 0a5afa615f6f27d7ec4d43d3c655a8af | 237ed920e0f3233b22e759b6b59088ec | hardware-verification | goldberg | sat | empty | yes | cnt07.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 0a60caf64b5ae6fdebacc9521c5ee731 | a2c592266c4c63e82025610d5560bb50 | bitvector | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=56 | no | udiv48prop.cnf.xz | anni_2022,main_2018 |
| 0a6722970ab81da486ca8c79b85f6c59 | 7c8b54c9e70fc0d48852a007d309346d | miter | stanion | unsat | empty | yes | hwb-n20-03-S1899964371.shuffled-as.sat03-1609.cnf.xz | anni_2022,handmade_2003 |
| 0a7141f90e7beb369505bda957d830aa | 031215296bd7b211f69a582fd4678ea3 | tseitin-formulas | simon | unsat | empty | no | Urquhart-s5-b7.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 0a7555a2a68abdd45b80a8db1a919a6a | 039e8452881c978bd06f5a4d20ba70d3 | planning | maris | sat | empty | yes | ferry10_v01a.renamed-as.sat05-3993.cnf.xz | anni_2022,industrial_2005 |
| 0a7c533c247dac95d79cc0ff3cd0fb9f | 41d065afa2f202a444d5422c2e9630f6 | relativized-pigeon-hole | elffers | unsat | empty | no | rphp4_100_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 0a7f0ceb23af7028dc9a46f3da3bb027 | e6e9cd0a7bcfb796bf2297dc5d0a9910 | bitvector | unknown | unsat | empty | yes | maxor032.cnf.xz | anni_2022,mus_2011 |
| 0a819f7ad46f70de5a184784da303f5e | 683c31420464b7979bc603e1425125bf | waerden | kullmann | sat | empty | no | VanDerWaerden_pd_2-3-21_399.cnf.xz | anni_2022,crafted_2011,crafted_2012 |
| 0a81c16b871ab1a63046cc99041f4e47 | 164df8ef7864bcea4213a1a90b00cd7b | pigeon-hole | jingchao | unsat | empty | no | a_rphp045_05.cnf.xz | anni_2022,main_2018 |
| 0a910e1ca5b222324dc3ac8f03d6414d | 6dc0bab61b05f92a499b44b8d67a1cbd | prime-factoring | unknown | sat | empty | no | 62bits_11.dimacs.cnf.xz | anni_2022,main_2015,parallel_2015 |
| 0a919af45246c91929e92c301d6d9529 | cdf5b3f99e478fc2f2075b21cea65343 | coloring | pehoushek | unknown | empty | no | 5col180_15_2.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 0aab775f1790819177fb1851d9316efd | e8cce8e491c7a369ac7f7aa6ce6b5370 | scheduling | mayer-eichberger | unsat | empty | no | pb_300_04_lb_06.cnf.xz | anni_2022,application_2013 |
| 0ab9ff4d0e75a279522d77671cdcb09c | d722e1770d357e014192c3814aef5863 | rbsat | huang | unknown | empty | no | rbsat-v2100c215164gyes4.cnf.xz | anni_2022,crafted_2011 |
| 0ac5ff376b826f68d384ba05a1d00de0 | ac45db08544875e30c9179b47f184e00 | planning | balyo | unsat | empty | no | sokoban-p20.sas.cr.33.cnf.xz | anni_2022,application_2016,main_2024 |
| 0acb650946685281a796dcada88f8cfd | a125a77b6d12b6cbeaf1c83a5f62b80d | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_60_25_40_2-dir.shuffled-as.sat03-120.cnf.xz | anni_2022,handmade_2003 |
| 0acbab472c9386683c07f7a3ec214be3 | 2d7194a10539d74eba151ca30dcbbe03 | hardware-verification | velev | unsat | empty | no | 9pipe_k.cnf.xz | anni_2022,application_2012,application_2013,portfolio_2012 |
| 0acbeae513e3d822dbf5e5fc72a03455 | 8f5b5665304e36d3ba0ef2bfaa63494c | planning | balyo | unknown | empty | no | sokoban-p20.sas.cr.39.cnf.xz | anni_2022,application_2016 |
| 0ae917c2e0c1d39cbe411c29b2f5ff08 | 2635d2bb028b67585d821ffba537c4d6 | discrete-logarithm | jingchao | sat | http://hdl.handle.net/10138/318754 | no | dislog_a14_x14_n24.cnf.xz | anni_2022,main_2020 |
| 0aea4286a11d91ee8fa356d5db046373 | 99895d52decdd3d43f743fe29387a060 | cryptography | md5gen | unsat | empty | no | gus-md5-08.cnf.xz | anni_2022,application_2012,application_2013,portfolio_2012 |
| 0afdeb9b0b98e31fa0e9271a6706d8fb | 0a92385a7bfedbbec51272781f0c7098 | planning | unknown | unsat | empty | no | gripper13u.shuffled-as.sat03-395.cnf.xz | anni_2022,application_2011,application_2012,industrial_2003,portfolio_2012 |
| 0b0c7b96b04f9fee0120df9eb8add851 | f55b316c41a4db0f5890040f7422636f | coloring | unknown | sat | empty | no | shuffling-1-s716603489-of-bench-sat04-317.used-as.sat04-460.cnf.xz | anni_2022,industrial_2004 |
| 0b1041a1e55af6f3d2c63462a7400bd2 | 10424abc5a2c4fa3eba70abcac69db0d | fermat | riveros | sat | http://hdl.handle.net/10138/318754 | no | fermat-907547022132073.cnf.xz | anni_2022,main_2020 |
| 0b13f286a2068bae1cc6034fb38f1503 | d6712fe6ab6669c50552c436d0e000c6 | bitvector | kovasznai | sat | empty | yes | ndist.b.26986.cnf.xz | anni_2022,crafted_2013 |
| 0b2011ed2094d1ed7eafb7615c484e5e | 597a90b651914f2529045431ded49841 | tseitin-formulas | elffers | unsat | empty | no | tseitingrid7x200_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 0b22aa567ddfa8d702378b76167c9195 | 11605f1a6690b40fc5f83526b14488bf | diagnosis | anbulagan | sat | empty | no | partial-5-17-s.cnf.xz | anni_2022,application_2009,application_2012,application_2013,application_2014,industrial_2007,main_2015,portfolio_2012 |
| 0b2619b4f0508bd2c53b2d1122825cc4 | 7edec55a719bae1bb6c577431ebb6fd0 | bounded-model-checking | marques-silva | unsat | empty | yes | longmult6.cnf.xz | anni_2022,mus_2011 |
| 0b289d226ccc2a1798af1006ae7d9c28 | b0a34c5f02452f4a1104d83f58ed6cf4 | scheduling | mayer-eichberger | sat | empty | yes | pb_400_09_lb_05.cnf.xz | anni_2022,application_2013 |
| 0b2d1228c056ad88a69e5464b0b05669 | 80de9242147e740c5ec5959a40e59f1d | planning | surynek | sat | http://hdl.handle.net/10138/135571 | no | mrpp_8x8#22_20.cnf.xz | anni_2022,crafted_2014,main_2015 |
| 0b311dd23febc7f287a8a6f42d211779 | 3f84e000f39766d996848f0a72ca3061 | finite-state-machines | een | unsat | empty | yes | een-pico-prop05-50.cnf.xz | anni_2022,main_2006 |
| 0b348eb6b61e4f0026437fda402c9b62 | 00b2245f639d69316e9e549fb1a045a0 | petrinet-concurrency | bouvier | sat | http://hdl.handle.net/10138/318754 | no | vlsat2_16676_1598591.dimacs.cnf.xz | anni_2022,main_2020 |
| 0b4421f6aac81e2dbc87c5b5ddae6511 | 24c0658adc46957a579bf6372308f9bb | prime-factoring | unknown | sat | empty | no | 52bits_12.dimacs.cnf.xz | anni_2022,main_2015,main_2022,parallel_2015 |
| 0b4a57d8dab789e2476be5b1ac680eeb | e66b8d281d38d60d9dc595ece3af5d2b | pebbling | sabharwal | sat | empty | yes | sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2012,portfolio_2012 |
| 0b588a6e45c73bce7c7fed2bf2415c22 | 5e0e7c14fcb445c9b4466a7d2da2b96c | phnf | heule | unknown | empty | no | phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009 |
| 0b60f19be0b62cf337d7240821869488 | c1ebeaac8c8b23f9e54da2b492906fdd | cryptography | nossum | sat | http://hdl.handle.net/10138/135571 | no | 002-80-12.cnf.xz | anni_2022,application_2014,main_2015,parallel_2015 |
| 0b718ab9c97252d173487b79e0d1101a | 2890c1f7fd3fdd50cc66ce26f15fb355 | pigeon-hole | jingchao | unsat | empty | no | ae_rphp095_04.cnf.xz | anni_2022,main_2018 |
| 0b79fd06074d17e8919ae2de094c168b | 2556331f95d85ecb81f50c7102fd640b | gray_codes | manthey | unsat | empty | no | manthey_single-ordered-initialized-w48-b6.cnf.xz | anni_2022,main_2015 |
| 0b847cc85f4f7e733b2746c6efb02dd8 | 5b7a6fb1b9d74c424baf445350232509 | diagnosis | anbulagan | sat | empty | no | UR-20-5p1-sc2009.cnf.xz | anni_2022,main_2019 |
| 0b8d274c5bf66683cbdd1238771b31f5 | b656774b6252e0d16cf4f2b2d00a2f23 | coloring | zhou | sat | empty | yes | queen8-8-9.cnf.xz | anni_2022,main_2018 |
| 0b9c26a4c70242841fad1868c266dc9c | b695863fd66f03cea7526c999652c2c6 | unknown | zhou | sat | empty | no | Eternity-10-05_c18.cnf.xz | anni_2022,main_2019 |
| 0b9f8c85eaff9eed98a0c5cd3189afb7 | 257b14a0f6a4228e636463a35cd814b9 | planning | rintanen | sat | empty | yes | transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-NOTKNOWN.cnf.xz | anni_2022,application_2012,application_2013,application_2014,main_2015,portfolio_2012 |
| 0baf01d658e8ba1a73915c2360fd2407 | 13b750d2dfbfe82709928a7d267180bd | hardware-verification | velev | sat | empty | yes | 12pipe_bug7_q0.cnf.xz,12pipe_bug7_q0.used-as.sat04-726.cnf.xz | anni_2022,industrial_2004 |
| 0bbdb9c15c80e79e8c8059246d7480b3 | a4b85101de1c4d53481da91f4f85b1f4 | clustered-random | anton | sat | empty | yes | lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf.xz | anni_2022,crafted_2011,crafted_2012 |
| 0bc5a5c4dadf09bf4d0409fc04be2337 | b7f4550b9b3a891abb93d9d2f08d9124 | unknown | moon | sat | empty | no | mp1-9_9.cnf.xz | anni_2022,main_2017 |
| 0bd2c7b1f17c160b40be0ddd2846e1e3 | 25bc79226161934c5eaf4c5e482cbcea | planning | maris | sat | empty | yes | driverlog2_ks99i.shuffled-as.sat05-4019.cnf.xz | anni_2022,industrial_2005 |
| 0be7677e00434b17e9e35104d290f600 | e73785fe63591d9f3bb4a33b9faffe7f | quasigroup-completion | heule | unsat | empty | no | gensys-ukn002.shuffled-as.sat05-3842.cnf.xz | anni_2022,crafted_2005 |
| 0bf65687de95c5b3a3b8937b2c174bc4 | 789bf9f3477b6e5a8df8c70f5772cea9 | miter | goldberg | unsat | empty | no | frg1mul.miter.used-as.sat04-331.cnf.xz,goldberg03:hard_eq_check:frg1mul.miter.used-as.sat04-331.cnf.xz | anni_2022,application_2012,industrial_2004,portfolio_2012 |
| 0bf9efd9be951c0acc5b43ec9adc5002 | c94a85153579b02730e7d814a758136e | cryptography | liang | unknown | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=45 | no | mp1-24.6.cnf.xz | anni_2022,main_2017 |
| 0c2aa8574a42ef635b8878d6e193d142 | 7cf07e48aa4234d6b1cff36eab111445 | graph-isomorphism | mugrauer | unsat | empty | no | crafted_n12_d6_c3_num19.cnf.xz | anni_2022,crafted_2013 |
| 0c352077e8e6ace62272ab13b1ca623c | 96c586ef810544417d740607d00b1ee7 | tseitin-formulas | chu-min-li | unsat | empty | no | Urquhart-s5-b3.shuffled-as.sat03-1572.cnf.xz,Urquhart-s5-b3.shuffled-as.sat03-1572.used-as.sat04-813.cnf.xz | anni_2022,handmade_2003,handmade_2004 |
| 0c3d709ab7576354e69ad01dfab14cdb | 23e139af9f092264fbf3457a79c7a7b9 | pigeon-hole | sabharwal | sat | empty | yes | php-018-018.shuffled-as.sat05-1161.cnf.xz | anni_2022,crafted_2005 |
| 0c3f1f7994db2452d505333684d3ccd7 | 697afbb125feee7c9ac89e7c1342c16b | random-csp | kexu | sat | empty | no | frb53-24-2.used-as.sat04-888.cnf.xz | anni_2022,handmade_2004 |
| 0c40255fc17d99908bda16373de5ada3 | e9e3f3119d0e4e9965036afdfb53b6d1 | mosoi-289 | mosoi | sat | empty | yes | 289-sat-6x9.cnf.xz | anni_2022,crafted_2011 |
| 0c4355730d11bb18582d00f7266fdf27 | 0f43a831b8fde3f505fce5ffbf9cfe7a | sliding-puzzle | kaiser | unsat | http://hdl.handle.net/10138/333647 | no | puzzle34_unsat.cnf.xz | anni_2022,main_2021 |
| 0c4374d74eec3995417843b26034894f | 7f88c28395de6ff00ded3f19ddbdb9b3 | ordering-principle | elffers | unsat | empty | no | pop96_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 0c5733ee64d8332774e268862ec16132 | bf2f55da76dfd43d90d44bb239334413 | fdmus | unknown | unsat | empty | yes | fdmus_b22_355.cnf.xz | anni_2022,mus_2011 |
| 0c58a98348cf101f179847469c649c1b | 312c275aa6c73de7a8fa1e20fd8b09b4 | generic-csp | connamacher | unsat | empty | no | connm-ue-csp-sat-n600-d0.02-s1676244754.shuffled-as.sat05-535.cnf.xz | anni_2022,crafted_2005 |
| 0c60cae1d0bd8a26f87a3aab7077e0d8 | d3d6f4d1cf5804e7e413644ea723ab93 | random-modularity | giraldez | sat | empty | no | modgen-n200-m90860q08c40-16597.cnf.xz | anni_2022,application_2016 |
| 0c73ba1c522d042dc9d2688f5896650c | 410b5da768308094104de2a57b00bdc3 | bitvector | kovasznai | unsat | http://hdl.handle.net/10138/135571 | yes | shift1add.15982.cnf.xz | anni_2022,crafted_2014 |
| 0c75119940f87f2bc1dc3f53aeedc02b | a6d6d003370ac52f5102d89bd152beb6 | maxsat-optimum | cherif | sat | http://hdl.handle.net/10138/333647 | no | 20-100-lambda100-89_sat.cnf.xz | anni_2022,main_2021,main_2022 |
| 0c7e74a3efcd698000f761accd506ac1 | b7705e65562b42fce00ac000b13d5f09 | miter | goldberg | unsat | empty | yes | rand_net70-40-1.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 0c945ea640ceb4c2f80463f7930ccb89 | 6a86fc5c231538a55bb4b70941055bd3 | fpga-routing | aloul | sat | empty | yes | bart19.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 0c9bcbc815cf0f109b7aeef3fbffc42d | a69f6a064a881e532cc88bd71b0c3aec | minimal-disagreement-parity | simon | sat | empty | no | par32-2.shuffled-as.sat03-1534.cnf.xz | anni_2022,handmade_2003 |
| 0cab9100cdd8505069301d658d085899 | 464b73040b2ce7e256f6e4c808c95a3e | termination-analysis | fuhs | unsat | empty | no | AProVE07-01.cnf.xz | anni_2022,application_2009,application_2011,application_2014,industrial_2007 |
| 0cb3538f0197f24fc57d79913b0531d9 | 751bebe3eb190eef9433166ad061cc0a | waerden | kullmann | unsat | empty | yes | VanDerWaerden_pd_2-3-18_313.cnf.xz | anni_2022,crafted_2012 |
| 0cbe117e0149223a332679d6c206273e | 96a4e19d2964cec171c66f7d0b778722 | subgraph-isomorphism | anton | sat | empty | yes | srhd-sgi-m27-q255-n25-p15-s2076598.cnf.xz | anni_2022,crafted_2011,crafted_2012,portfolio_2012 |
| 0cbf8baaec52ee50ccac930d237689af | 210cfb76b797feba5e8d3c43e1553bf7 | diagnosis | anbulagan | sat | empty | yes | UTI-10-5t1.cnf.xz | anni_2022,application_2011 |
| 0cca2c91974f5ad8064965cd97bcea74 | 7e66190007d61d5a048dead5d4c7411c | hardware-verification | ibm | unsat | http://hdl.handle.net/10138/135571 | no | SAT_dat.k35-31_2_rule_2.cnf.xz | anni_2022,application_2014 |
| 0ccbe90c246f198ecab671c9e5e8cf52 | 530c23862689176bf8ea5ac8456c2d69 | clique-width | heule | unsat | empty | no | rnd-v25-e81-k8.cnf.xz | anni_2022,crafted_2013 |
| 0ccc2718c8a88220ddc024a435c39ab9 | 8449c871572e86dcffcb342391297ce4 | auto-correlation | mugrauer | unsat | empty | no | LABS_n071_goal001.cnf.xz | anni_2022,crafted_2013 |
| 0cd03d3b393ee74468e3a7764bf113da | a11afb55df4babd4d0ad89aaf22cad73 | clique-width | heule | unsat | empty | no | rnd-v25-e67-k8.cnf.xz | anni_2022,crafted_2013 |
| 0cdc3028845a704c1ed287ce5dbe8a76 | 038e251564a1c19535189cb84dfacb19 | hardware-verification | manolios | unsat | empty | no | f7nidw.cnf.xz | anni_2022,main_2010 |
| 0cde4f22de8c11325ceadc0a1f87f161 | 5b174ae82e49d79fdbd3704cc45b31b1 | hidoku | manthey | unsat | empty | no | hid-uns-enc-6-1-0-0-0-0-30547.cnf.xz | anni_2022,crafted_2013 |
| 0ce6a24a8c017370b5be13b2830ec3e0 | 097240bdd4672155c64be23f3db0132f | long-learned-clauses | markstrom | unsat | empty | no | pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009 |
| 0ce80a3905fd38cb9566e38daee8c333 | 249710064d95f2fe5bae04bc1f3af035 | cril-misc | frioux | unsat | empty | no | T77.2.0.cnf.xz | anni_2022,main_2018 |
| 0cfd3165c1106756944f6634c3c1296d | aa625856c3b1628e16ef66786e4fe62f | cril-misc | frioux | unsat | empty | no | g2-T108.2.1.cnf.xz | anni_2022,main_2017 |
| 0cfe9c90d3a51435a5e4dba7634b882f | 601739193ec14b654f072fccd0768b68 | miter | biere | sat | empty | empty | g2-ak128boothbg2msisc.cnf.xz | anni_2022,main_2017,main_2024 |
| 0d16634437519c6d2e1ae0cf82145e07 | 4db96dd83047c87a77f345e1b47bb623 | generic-csp | connamacher | sat | empty | no | connm-ue-csp-sat-n1200-d-0.04-s706145924.used-as.sat04-971.cnf.xz | anni_2022,handmade_2004 |
| 0d209cb420326994f9c4898eb10228ab | df361e3ba5a517b9f15141436324c3fe | cryptography | nossum | sat | http://hdl.handle.net/10138/135571 | no | 008-80-8.cnf.xz | anni_2022,application_2014,main_2015,main_2022 |
| 0d32d1684e3bf275566925e996ee525b | 344d81265a0f6e1f492b4f7907e0ab67 | hardware-verification | ibm | sat | empty | yes | ibm-2002-04r-k80.cnf.xz | anni_2022,main_2008 |
| 0d33965e0c0dbea122c1f56b4f3108f2 | 7beaa4a4e73cad59dfc8477f02e37573 | matrix-multiplication | markstrom | unsat | empty | yes | mm-2x2-5-5-sb.1.shuffled-as.sat03-1498.cnf.xz | anni_2022,handmade_2003 |
| 0d33d876dda3913196d9778357982038 | 1f4ff4d1b6f2a79abffcf1b8f2a89835 | miter | biere | unsat | empty | no | 6s139.cnf.xz | anni_2022,application_2013 |
| 0d3bdfd1b4eb3fb16eeb2d8437db66a2 | 0d8b4c4686d76d7d5b4f8e285077ca0a | tseitin-formulas | jarvisalo | sat | empty | no | mod2-rand3bip-sat-260-3.shuffled-as.sat05-2235.cnf.xz | anni_2022,crafted_2005 |
| 0d469f1798ea769cf279c9ae32fda704 | 614fc663759084e229f0363f941ddcb2 | planning | maris | sat | empty | yes | ferry8_v01a.shuffled-as.sat05-4073.cnf.xz | anni_2022,industrial_2005 |
| 0d4b99f6d05c9e993ea8655d355fa3b3 | f47f15d346fb2b0d6bdee0850fd7f216 | petrinet-concurrency | bouvier | unsat | http://hdl.handle.net/10138/333647 | no | vlsat2_112_4223.cnf.xz | anni_2022,main_2021 |
| 0d69ebe07952e551d249d8b9c9e87c08 | 715fefa1ffce48819b9e96946bdd32e9 | stedman-triples | johnson | unknown | empty | no | sted1_0x1e3-200.cnf.xz | anni_2022,main_2018 |
| 0d6d8b5df5df77f1feaacc1fb58ebf9d | 022a870a26ac8cbac26d3534cfcc00a2 | graph-isomorphism | mugrauer | unsat | http://hdl.handle.net/10138/135571 | no | crafted_n10_d6_c2_num6.cnf.xz | anni_2022,crafted_2014 |
| 0d7f17f04ed073a8ea39e72783186cdb | 32dc194cbb33cbc6c2c8de6abbad0f86 | station-repacking | newman | sat | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | no | 49-132779.cnf.xz | anni_2022,main_2020 |
| 0d7f91b51774f9a28a5a86125f47676d | f7a93d7ee63387bb5727546cae435d03 | sgen | spence | unsat | empty | no | s105-100.cnf.xz | anni_2022,crafted_2007 |
| 0d886285bf78d66222e878a7b85f7f37 | 5efe15d465db2103ff94e2607c7d2f98 | stedman-triples | johnson | unknown | empty | no | sted1_0x0-380-sc2018.cnf.xz | anni_2022,main_2019 |
| 0d9fd2c25b5d342a4ba81b61adff4cb8 | a26c91df8cb2f7dd05d4502499110982 | quasigroup-completion | heule | sat | empty | yes | gensys-brn004.shuffled-as.sat05-2748.cnf.xz | anni_2022,crafted_2005 |
| 0da849f5097d0c475845da04445a2182 | 1a8cee1b8ec5bd7d1901ad528ae69841 | miter | balabanov | unknown | empty | no | sat_prob_63.cnf.xz | anni_2022,application_2016 |
| 0dba42843f43e4bbff9c41939eabf06d | 5faf5f9588eb69ae9fa4f7ecde1471b3 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_70_25_50_7-log.shuffled-as.sat03-162.cnf.xz | anni_2022,handmade_2003 |
| 0dbefa4968becff56e3e821af50d66b5 | 20f157666162309a56aa4ac77848de90 | matrix-multiplication | markstrom | unsat | empty | yes | mm-2x3-6-6-sb.1.shuffled-as.sat03-1502.cnf.xz | anni_2022,handmade_2003 |
| 0dd29074a3f1ffa57429990b5260d5fe | f89c6779e0a57ecb5907e28ef3300d91 | planning | balyo | unknown | empty | empty | sokoban-p20.sas.ex.21.cnf.xz | anni_2022,application_2016 |
| 0ddb14f3c94bcd7233ef0c64bc1ffc56 | ae53b8c73ea67732c51db470c0aaa618 | tseitin-formulas | jarvisalo | unsat | empty | no | mod2-3cage-unsat-9-18.shuffled-as.sat05-2593.cnf.xz | anni_2022,crafted_2005 |
| 0ddf53c673ce101b55cc995a357c21f4 | fbf4ab02464359ac8d35cdfb09bb10be | bitvector | unknown | unsat | empty | yes | mulhs008.cnf.xz | anni_2022,mus_2011 |
| 0de14c4ab8783c0417c774e0266d574a | 0dd6d0fd4bf20e9e8bcacc17d22de9b8 | stone | elffers | unsat | empty | empty | stone-width3chain-nmarkers-20_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 0de99d1b407af4eda689e2945fa86813 | e87365530066c8cf464466c762b73c82 | coloring | pehoushek | sat | empty | yes | 3col180_5_6.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 0e13290ed42fd04c50249f41b0e127f1 | 9a0a3033b3afc3d5e242a26f73decb88 | miter | biere | unknown | empty | no | g2-ak128boothdiagoaig.cnf.xz | anni_2022,main_2017 |
| 0e187bcfd6e67f3045edc17b9d9bd0e2 | 7e66f8a2ba1676f5043c1eaaf011ac62 | bitvector | manthey | unsat | empty | yes | add_01_1000_4.smt2-cvc4.cnf.xz | anni_2022,application_2016 |
| 0e2d6a8d344a5011a262e4709f27860b | 372672e971135e034ccbf717a6013e2b | purdom-instances | purdom | sat | empty | no | 10142772393204023fw.shuffled-as.sat03-1661.cnf.xz,10142772393204023fw.shuffled-as.sat03-1661.used-as.sat04-784.cnf.xz | anni_2022,handmade_2003,handmade_2004 |
| 0e5473ee6c2085b34c798f23fbebc08e | b709a34574624d87ef9454897f8f2a42 | hardware-verification | manolios | unsat | empty | no | c9nidw.cnf.xz | anni_2022,application_2012 |
| 0e5a211e7c3d52b6cbede3fef45f4f3a | 9211c2ca813262a150d027b9f5063e05 | hardware-verification | velev | unsat | empty | yes | 4pipe_4_ooo.cnf.xz | anni_2022,mus_2011 |
| 0e5ffe8651c6d9c3cccc3f6cb72be39a | bebbc5c1a33ef454a9533fec2e521885 | bitvector | manthey | unsat | empty | no | g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4.cnf.xz | anni_2022,main_2017,main_2024 |
| 0e775873f4c4bbc81ff92b87dd3e15e8 | 66c476ee4e252b0af937d3d3581391e0 | planning | rintanen | sat | empty | no | grid-strips-grid-y-3.045-NOTKNOWN.cnf.xz | anni_2022,application_2012,application_2013,main_2022,portfolio_2012 |
| 0e78e16264efc451d89678ca7728ef09 | 66839c2fcfb82ff4b93891fd0f925980 | hardware-bmc | unknown | unsat | empty | yes | shuffling-1-s1722048485-of-bench-sat04-437.used-as.sat04-576.cnf.xz | anni_2022,industrial_2004 |
| 0e820229802d400529e31e5d6d01f283 | fa8b1a9911c6317a4d5f3e483adccf1d | fpga-routing | goldberg | sat | empty | yes | too_large_gr_rcs_w9.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 0e95945de777e522ea509512bb49b4d4 | 19d69b8e041f87c99a048983d14c4065 | coloring | pehoushek | sat | empty | no | 4col240_9_2.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 0e9f0315dd6f93a2613812dfbfcfffa9 | 0a1055cd0cdec84e7b502bd75f4b722b | random-modularity | giraldez | sat | empty | no | modgen-n200-m90860q08c40-18788.cnf.xz | anni_2022,application_2016 |
| 0ea326438968cc2d842332621db90b31 | 2e8580755b04439280016cc713d02938 | scheduling | manthey | sat | empty | yes | traffic_r_sat.cnf.xz | anni_2022,application_2011,application_2012,portfolio_2012 |
| 0ebaafc398c713a7ba8f8a231843fade | bf2e60547884495c7f9a255c4d78386a | phnf | unknown | unsat | empty | no | phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009,crafted_2013 |
| 0ede0472f02605ec291fd09b161a99bb | 3ce7177da3047836972664028e87469d | cril-misc | frioux | sat | empty | no | g2-T169.1.0.cnf.xz | anni_2022,main_2017 |
| 0ee4def0195e56978cdeb908942096ba | 115cbeaeeaa45992e1554d86af929caf | matrix-multiplication | markstrom | unsat | empty | no | mm-2x3-6-6-s.1.shuffled-as.sat03-1501.cnf.xz | anni_2022,handmade_2003 |
| 0ef68fc7aa6f2bc7fb74ada9d865da06 | 5f241ac0dd9d1e02ec805fbbd94c09c1 | planning | maris | sat | empty | yes | depots1_v01a.shuffled-as.sat05-4013.cnf.xz | anni_2022,industrial_2005 |
| 0efa07e7b6206471a0c15605edab6faf | 7300c4521783dcb2fb1b7d5a55ebac68 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_40_30_20_2-log.shuffled-as.sat03-105.cnf.xz,SGI_30_40_30_20_2-log.shuffled-as.sat03-105.used-as.sat04-769.cnf.xz | anni_2022,handmade_2003,handmade_2004 |
| 0f2485d8cdb1178561229aac4b7d9c7a | cee49ba7362f236bf6139f3a77c178c8 | prime-testing | unknown | sat | empty | yes | prime2209-90.cnf.xz | anni_2022,crafted_2012 |
| 0f27eae382e7dcd8fd956ab914083a29 | 845b9dc6803fb0fe7f941d4bd1f007de | termination-analysis | fuhs | sat | empty | yes | AProVE11-12.cnf.xz | anni_2022,application_2011 |
| 0f371692924016392c7035ec4dd58ffc | 52c7844ba24e6fa07f5203342ceb4200 | hardware-bmc | unknown | unsat | empty | no | shuffling-1-s147121172-of-bench-sat04-433.used-as.sat04-572.cnf.xz | anni_2022,industrial_2004 |
| 0f4576a6e7399336e11f0828d32263dd | 10fff6a1ef0e27f016d3f20d498da087 | coloring | pehoushek | sat | empty | yes | 3col100_5_1.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 0f46a676eab0d62b0b59356cb39e22ae | b6c130f97e3dacc606c7af8da1a23e67 | cryptography | shaw | unsat | http://hdl.handle.net/10138/318754 | no | grain-55-80-0s0-seed-125-45-init-40.cnf.xz | anni_2022,main_2020 |
| 0f4911e1180b80b45e9db7ec5e73eb66 | 2b7a554494871b15ca44d21ba317f984 | knights-problem | unknown | sat | empty | no | hcp_CP16_16.cnf.xz | anni_2022,main_2019,main_2020 |
| 0f58a7071d2f55a22c5aa62c42e26675 | 220225f2bf7e8a4899020b0464b0f76c | cryptography | liang | sat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=45 | yes | mp1-21.3.cnf.xz | anni_2022,main_2017 |
| 0f5921fb01e9157f405741b6d0a276d2 | 4d470bc3467e1ccd2f3d6d3b8ad69297 | miter | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 | no | g2-hwmcc15deep-bobpcihm-k33.cnf.xz | anni_2022,main_2017 |
| 0f720de29e385918ebecb8847ace5947 | 3015062eef702c0c6f13ffbdb0a72b2c | rbsat | huang | unknown | empty | no | rbsat-v2640c305320g6.cnf.xz | anni_2022,crafted_2009 |
| 0f756b788718d677f0fc3f0fa0989498 | 45edf34e780268ba593456422156663e | quasigroup-completion | sorge | sat | empty | yes | iso-brn008.shuffled-as.sat05-2702.cnf.xz | anni_2022,crafted_2005 |
| 0f7bae0c7c3563946e2a132509677b01 | f2cae2592b3db9a6717f861a80896b5e | hardware-verification | ibm | unsat | empty | no | ibm-2002-24r3-k100.cnf.xz | anni_2022,main_2008 |
| 0f877a1f984f35fdfdce011cb7152123 | 56983cfc44aa212a8fa5997e2fe1cdb5 | bitvector | preiner | unsat | empty | no | bvurem_20.smt2.cnf.xz | anni_2022,main_2021 |
| 0fa28db92de1b06953c018451455d746 | e1e2d2663bfc5bd855906aa7a33fcd72 | pebbling | sabharwal | unsat | empty | yes | unsat-pbl-00150.sat05-1328.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2012 |
| 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 |
| 0ff0fc8ef80d32742d38231869d5d244 | ff93679ea1771e5b5db0f25790f5f8f5 | station-repacking | newman | sat | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | no | 59-131147.cnf.xz | anni_2022,main_2020 |
| 0ff3de964d342de828b09a544fb51f55 | 43f4d059e57a58a5c950d751633c08f9 | bitvector | unknown | unsat | empty | yes | minand128.cnf.xz | anni_2022,application_2009 |
| 10006cfd243f7851022bc69250862357 | 28b3cea3e4b0cffb67f18be689ca5837 | planning | jarvisalo | sat | empty | no | aaai10-planning-ipc5-pipesworld-18-step16.cnf.xz | anni_2022,application_2011,application_2012,portfolio_2012 |
| 1001a2a87617b59d50cc24f324533090 | 354cac19b94872bad16609437e2edcd2 | miter | biere | unsat | empty | yes | ca016.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 1002bdd7ae2f89a9b5ad92580438d1ab | 9ca80e85f21349e2e4c6575ca45e2b91 | coloring | heule | unsat | empty | no | Schur_161_5_d39.cnf.xz | anni_2022,crafted_2016 |
| 1005eec69abcc300e1c0d22bd08ad143 | 3fbd0d8247434287819d090a68f84423 | diagnosis | anbulagan | unsat | empty | no | total-10-13-u.cnf.xz | anni_2022,application_2009,application_2012,application_2014,application_2016,industrial_2007,portfolio_2012 |
| 101c1853d834751cb1abda03f4477f9e | 504f699548b0d30c7714bc9ca6afc87b | hardware-verification | unknown | unsat | empty | no | eqbpwtrc10spctbk10.cnf.xz | anni_2022,main_2019 |
| 10253f0a4b37654146aaf73a9fbbd929 | 8c43b0c1c958fd1f91f7b3d9a012d7be | argumentation | wallner | sat | http://hdl.handle.net/10138/135571 | yes | complete-500-0.1-15-98765432150015.cnf.xz | anni_2022,application_2014,main_2015 |
| 102ddb414ef5a0f8cf06f168df8f271a | c7db518426ef58882763a40b6a22f017 | scheduling | djamegni | unknown | http://hdl.handle.net/10138/318754 | no | Timetable_C_151_E_34_Cl_10_S_4.cnf.xz | anni_2022,main_2020 |
| 106e3f289d291c78860ae6485a0ce2c0 | 6b17171f84680b20bcd418e9b3787406 | crafted-cec | klieber | unsat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 | no | mp1-klieber2017s-1200-024-eq.cnf.xz | anni_2022,main_2017 |
| 106e5cdfbb722dda0d795c087a13d9c6 | ea7d95cb620cf35547750d5d70a3752a | bitvector | kovasznai | sat | empty | yes | ndist.b.20499.cnf.xz | anni_2022,crafted_2013,crafted_2014 |
| 107deb612f9f837acc53383e522196ae | 81c2e1b957f55ec413fc1ee7ed4688d5 | random-csp | kexu | sat | empty | no | frb56-25-1.used-as.sat04-889.cnf.xz | anni_2022,handmade_2004 |
| 107e43f3e7616bc80201d3694a7fba14 | ab6fc6f9df7eb88051527da9954f7c38 | sgen | spence | unsat | empty | no | sgen1-unsat-85-100.cnf.xz | anni_2022,crafted_2009,crafted_2012 |
| 10917fe3e9a9bf09dde447549df769a2 | 1fb372341ff9966569a204db3e178e70 | scheduling | mayer-eichberger | unsat | empty | no | pb_300_04_lb_05.cnf.xz | anni_2022,application_2013 |
| 1094358cc79c387e172b2a82559faf65 | 8704d0f6ec95550dd9272616eb80557b | coloring | manthey | unsat | http://hdl.handle.net/10138/135571 | no | ccp-s5-facto2.cnf.xz | anni_2022,crafted_2014 |
| 10a553afab3c4406968b1f6b3abfcfcd | e897f05f143c90d1518df843bff85ea5 | quasigroup-completion | heule | sat | empty | yes | gensys-brn100.shuffled-as.sat05-3765.cnf.xz | anni_2022,crafted_2005 |
| 10aca82b7b9798a9a088f4df2c324d1d | 31e7dc224d3bd95ec5ef2bc2770800a1 | miter | unknown | unsat | empty | no | cruxmiter29seed9.cnf.xz | anni_2022,main_2019 |
| 10b036e863831522bb13cd88398a1b48 | e104448a05fa7a1f81402990fafb60cc | quasigroup-completion | heule | unsat | empty | yes | gensys-icl003.shuffled-as.sat05-3129.cnf.xz | anni_2022,crafted_2005 |
| 10b246af85ac9f0a525e5d50fab31d2a | 259c601b9c980225783077d231787188 | planning | maris | sat | empty | yes | satellite3_v01a.shuffled-as.sat05-4056.cnf.xz | anni_2022,industrial_2005 |
| 10b350de2bd98589f455af8ae8f7d398 | ccc1d11b2501e1a051ce53cb21db7c5f | hardware-verification | velev | sat | empty | yes | 12pipe_bug4_q0.cnf.xz,12pipe_bug4_q0.used-as.sat04-723.cnf.xz | anni_2022,application_2011,application_2012,industrial_2004 |
| 10b460a4da6a4e199e946788a374032b | 3f73a630f29b7a67fa5101f0c57b5d5a | hamiltonian-cycle | heule | sat | http://hdl.handle.net/10138/333647 | no | HCP-470-60.cnf.xz | anni_2022,main_2021 |
| 10b717c427c2a09999ed71c8762892a7 | 759549055b3e7baf005e06c7a5054d01 | cryptography | fuhs | unsat | empty | no | slp-synthesis-aes-bottom13-sc2011.cnf.xz | anni_2022,main_2019 |
| 10ba9784d4f44ff18d81b0bf41becd5f | 85c62504bc4bc969130dccee5b2f9b83 | cryptography | zhang-lintao | unknown | empty | no | sha1.shuffled.cnf.xz,sha1.used-as.sat04-366.cnf.xz | anni_2022,handmade_2002,industrial_2004 |
| 10c4c8bce4651cd5ae01eb7a62c69b95 | 6583da6eb9cc34d09a459d6cc859b213 | tree-decomposition | ehlers | sat | empty | empty | ex175_18-sc2018.cnf.xz | anni_2022,main_2019 |
| 10eac59a20ab8b94d22d75557b22c364 | 089ffb69e2b3e1fc2e50e224ac00a9aa | battleship | skvortsov | sat | empty | yes | battleship-24-57-sat.cnf.xz | anni_2022,crafted_2011,crafted_2012 |
| 10f58658725d26a71262cd04f3088a1d | d8371de1df2ce4bb370972bcac4b54cc | fpga-routing | goldberg | unsat | empty | yes | too_large_gr_rcs_w6.shuffled.cnf.xz | anni_2022,industrial_2002,mus_2011 |
| 10faafc5aaf72ba900b723ba97500c74 | 8d6fffeaabe2f69541b2e34f99720f28 | cryptography | nossum | sat | empty | no | 001.cnf.xz | anni_2022,application_2013 |
| 1113541da043983ac674e70d62f3aab6 | 47626b640740799d7068fd54e2431160 | cryptography | nossum | sat | empty | no | 008.cnf.xz | anni_2022,application_2013 |
| 1120bee8e16a37c21c4a7aed604514ae | d1fb22b1092c985c3c395fbeb0f8b61a | social-golfer | lynce | sat | empty | no | sgp_5-6-8.shuffled-as.sat05-2669.cnf.xz | anni_2022,crafted_2005,crafted_2011 |
| 115fa7f61704bc12b2373aa471bc434f | d91f7a636ae4bfdcdee525f9125586c3 | circuit-multiplier | shunyang | sat | http://hdl.handle.net/10138/333647 | no | Circuit_multiplier24.cnf.xz | anni_2022,main_2021 |
| 11620a549d04bb04d5c9e4f7f24ebbf9 | 5c2f625bf5b5d461e004cc7ff9f90335 | tseitin-formulas | elffers | unsat | empty | no | tseitingrid6x180_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 1165e12b6addad01b491c4616306186c | ef376dd3bb2227f85a1cfe50e6c91ae5 | bitvector | brummayer | unsat | empty | no | mulhs016-sc2009.cnf.xz | anni_2022,main_2019,main_2024 |
| 1167631ff8146da4f3f29b2a4615e5e2 | c0fbd6e6db14d21c7c78f97232aedb05 | mosoi-289 | mosoi | sat | empty | yes | 289-sat-6x20.cnf.xz | anni_2022,crafted_2011 |
| 1169b7c01112d97a6835d259052284ba | 5ce4f951b4ab21e253fa94d46c58e3d1 | planning | maris | sat | empty | yes | driverlog3_v01a.shuffled-as.sat05-4030.cnf.xz | anni_2022,industrial_2005 |
| 116bae11adddfa555f2e21f8ee678de5 | cbb051a818970478076ab31fb9922993 | perfect-matching | reeves | unsat | http://hdl.handle.net/10138/333647 | no | randomG-n17-d05.cnf.xz | anni_2022,main_2021 |
| 116bb79175195fb4f9440086fb9bd61c | 1758c8d1a3717965b7680a60be89bc76 | cryptography | nossum | sat | empty | no | mp1-22.1.cnf.xz | anni_2022,main_2017 |
| 116ec46e0e46aa01f5234ab402cd90d2 | 13a6f0c68ac0c67d7e0232b58b1f0756 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_70_30_60_2-dir.shuffled-as.sat03-185.cnf.xz | anni_2022,handmade_2003 |
| 117d518680560927b156f4603dc6bbed | 7cad666d5d8745b71bb5d571a2b2a331 | hardware-verification | dellacherie | sat | empty | yes | cache_10.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 117e5ce2f2189661c2d693df1593969e | 85784bf697f788d098f45077b4b74122 | software-verification | liang | unsat | empty | no | dist6.c-sc2018.cnf.xz | anni_2022,main_2019 |
| 118415e2696075a8a1c5720c1838f1a7 | 2357a2427b0f5e6a5fdb0183db04fa8f | subgraph-isomorphism | anton | sat | empty | no | srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf.xz | anni_2022,crafted_2011,crafted_2012 |
| 119fbc4bf0a3d1b60b24bc1bf7e24920 | d9b8154c9dd2ebcc0e3d848f649e7053 | miter | biere | unsat | empty | yes | ca064.shuffled.cnf.xz | anni_2022,industrial_2002,mus_2011 |
| 11a42df04104fd8d295bad95caa0066b | 3b78368b448d75b6906ba119a186ad44 | modcircuits | unknown | unsat | empty | empty | mod3block_4vars_12gates_b2_restricted.cnf.xz | anni_2022,crafted_2009 |
| 11a71cd35c99b9798df956b47ae602dd | 211610b4e6c7bb7ec26b1c29b74a02c2 | miter | goldberg | unsat | empty | no | alu4mul.miter.used-as.sat04-326.cnf.xz,goldberg03:hard_eq_check:alu4mul.miter.used-as.sat04-326.cnf.xz | anni_2022,application_2012,industrial_2004 |
| 11ba9953b9ae8475f05de36bfd6ec21f | 14c33b12e15e135ba8bb97c20a41cfa7 | coloring | pehoushek | sat | empty | yes | 3col80_5_4.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 11bcf7c66059e936eb972ef712c13d99 | c74a02e44c8371d38c25b8991055343a | scheduling | strichman | unknown | empty | no | course_flat_0.12_2018_3_5.cnf.xz | anni_2022,main_2018 |
| 11c893b7c37aeb53cdaf5f677dda0b7d | 52fc78882976a28ec6d7b7fca512145b | tseitin-formulas | bevan | unsat | empty | yes | marg3x3add4d1.shuffled-as.sat03-1447.cnf.xz | anni_2022,handmade_2003 |
| 11cc29a1a68a2c47dcf1dce5bf214af2 | d8694cabe1c470b43b20e6e98b46cc8a | prime-factoring | unknown | sat | empty | no | 64bits_11.dimacs.cnf.xz | anni_2022,main_2015,parallel_2015 |
| 11cda83ca0d5328422f779158aa5f795 | e08bc449b869da70393f6d9451cffb18 | bitvector | manthey | unsat | empty | empty | newton.2.3.i.smt2-stp212.cnf.xz | anni_2022,application_2016 |
| 11d707af1f8831a041a036f1aa3c8d2c | 98177832c3bc19eeb0f405540f602170 | hardware-verification | velev | unsat | empty | no | 9pipe_q0_k.cnf.xz | anni_2022,application_2012,portfolio_2012 |
| 11d97071b666335ff8d4e1aee76dd70a | e86d51ef2b2cf4850680dc76780bf58b | coloring | sabharwal | unsat | empty | no | unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf.xz | anni_2022,crafted_2007 |
| 11dc105c21aea0a301762c45217add17 | 93fb16a90e6f7245f9000ab3c0866baf | misc-satex | simon | sat | empty | yes | simon-s02b-r4b1k1.1.cnf.xz | anni_2022,main_2006 |
| 11dcd55f9d6ce8873cd8150ce5ca6c4e | 5df9a5b71dbcb373161302d7234e5720 | planning | sabharwal | sat | empty | yes | logistics-rotate-09t6.shuffled-as.sat05-1133.cnf.xz | anni_2022,crafted_2005 |
| 11e63064d1f1f5a4873ea47ea971494a | f7d07de5a7426c702c176034f3cbd18c | matrix-multiplication | markstrom | unknown | empty | no | mm-2x3-8-8-s.1.shuffled-as.sat03-1503.cnf.xz,mm-2x3-8-8-s.1.shuffled-as.sat03-1503.used-as.sat04-830.cnf.xz | anni_2022,handmade_2003,handmade_2004 |
| 11ef5907b3eae3c89e10c65ea370c1f1 | 25e411ad893287e315ff165cca772c43 | random-modularity | giraldez | sat | empty | yes | modgen-n200-m90860q08c40-1585.cnf.xz | anni_2022,application_2016 |
| 11f170863952f2f95ebb1398d43c20a7 | 473fba140862fffcab09fe39278d1ee9 | dining-philosophers | biere | sat | empty | yes | dp09s09.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 11f42e0d5ec5000614a12daeb322ba49 | 9e2eedd7d331fae95c88a963e768f002 | planning | maris | sat | empty | yes | driverlog6_v01a.renamed-as.sat05-3968.cnf.xz | anni_2022,industrial_2005 |
| 11f7856b53db9263e48e81a61b0573fd | 5d9239384e01f38abfe24320b66101ed | stedman-triples | johnson | sat | http://hdl.handle.net/10138/318754 | no | sted5_0x0-157.cnf.xz | anni_2022,main_2020 |
| 1210821a9e623899534c02b53b189504 | f8184095cf3a29e47a35d9ab65206d7a | coloring | pehoushek | unsat | empty | no | 4col120_9_2.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 1221395292eae12cbc0acd35aaa5c0f7 | ac0caf0a723addbc3915fe0691c97b4a | sorting-networks | ehlers | unsat | empty | yes | snw_13_8_CCSpreOptpre.cnf.xz | anni_2022,application_2016 |
| 1222285fc41b2fa6ee3aa3cbca6d09b9 | d5f2c9c8f53481189f8942c67d955098 | circuit-minimization | unknown | unknown | empty | no | li-exam-64.used-as.sat04-302.cnf.xz | anni_2022,industrial_2004 |
| 1226ff1c8dc34360b183aa2fe75b0ef7 | 428acf8db9e75f0f3fb4d6a57a33c9a9 | hardware-verification | manolios | unsat | empty | no | c8bidw.cnf.xz | anni_2022,application_2012 |
| 123c397f55eeae78c45e8d973b8e9dce | b25181ae33f318f3374db277a5a41950 | bioinformatics | bonet | unsat | empty | no | rpoc_xits_09_UNSAT.cnf.xz | anni_2022,application_2009,application_2011,application_2016 |
| 1257f3a4242cc2439eeea548b387c9f5 | 5c8e2c3928b1d1f371a0e9652bfd8f4a | planning | palacios | unsat | empty | no | sortnet-7-ipc5-h15-unsat.cnf.xz | anni_2022,application_2009,application_2011,application_2016,industrial_2007 |
| 125b1b687d66d1b60ac2356117fef571 | 8397e749403d5e35f6b20a341e086e64 | hardware-verification | velev | sat | empty | no | 9vliw_m_9stages_iq3_C1_bug8.cnf.xz | anni_2022,application_2009,application_2012,application_2013,application_2014,industrial_2005,industrial_2007,portfolio_2012 |
| 125fe063849a753f60f98a174fb6af9f | 314519d642fde958132c6aaae6316c0f | scheduling | manthey | sat | empty | no | traffic_r_uc_sat.cnf.xz | anni_2022,application_2011,application_2012 |
| 126c4744d487fa4d3fe280ff2105e9ea | 9c26b15e09daf55508c6ce03b41ee916 | tseitin-formulas | jarvisalo | sat | empty | no | mod2-rand3bip-sat-230-1.shuffled-as.sat05-2188.cnf.xz | anni_2022,crafted_2005 |
| 12849382ca195b9de16f98b7435c8a39 | b22dce1a7fc55b8a88e35dfbac17d235 | prime-testing | unknown | sat | empty | yes | prime2209-65.cnf.xz | anni_2022,crafted_2012 |
| 128a20596924fe6ceb5a61144dcf4253 | 73e1a431259cc2a6014d1da79aa009b8 | unknown | unknown | unsat | http://hdl.handle.net/10138/135571 | no | Robertson-k8.cnf.xz | anni_2022,crafted_2014 |
| 128b659f4f3d2a59a8186e3b2cfc83cf | b325faa5c31ae4272df4ced2b6e2c1ad | planning | surynek | sat | empty | no | mrpp_8x8#22_16.cnf.xz | anni_2022,crafted_2013 |
| 128fdc03329b57efb97c3cdf6ed7e35d | 5286003d84ca41f07c5643911b9940a9 | hardware-verification | velev | unsat | empty | no | 10pipe_k.cnf.xz | anni_2022,application_2012,application_2013,application_2016,main_2021 |
| 1294a03d87af23b2a11086b92d87cc22 | 25bb27857d2ece2804d4f02e28229dcd | coloring | pehoushek | unknown | empty | no | 4col180_9_1.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 12aa3ed1a79232f2a381751f1161ca1f | 2f3d17b7cc330f9fa9568dee689847a9 | miter | goldberg | unsat | empty | yes | rand_net50-25-1.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 12bb20e3ad925897977f85af71db7c94 | 7be10082af8ee73407beb338dc6110e6 | cryptography | soos | sat | http://hdl.handle.net/10138/318754 | no | combined-crypto1-wff-seed-121-wffvars-500-cryptocplx-31-overlap-2.cnf.xz | anni_2022,main_2020 |
| 12d79233413fe38d99a604487d2c3515 | 6979b38531b586a4e046de7b7702cb14 | hgen | guanfeng | sat | http://hdl.handle.net/10138/318754 | no | 170058143.cnf.xz | anni_2022,main_2020 |
| 12d8567ccb0e051cd35cb6a1cd21cd5d | 7f1998fd49e70b36588ccad34840499a | erdos-discrepancy | heule | sat | http://hdl.handle.net/10138/135571 | no | EDP3-13000.cnf.xz | anni_2022,crafted_2014 |
| 12ebd70c1846efa7337844610e3b209f | 7f00a0804f6a277fb1f054fe3d44351b | planning | rintanen | sat | empty | no | openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.075-NOTKNOWN.cnf.xz | anni_2022,application_2012,portfolio_2012 |
| 12ec49b173727f63de149f9bbed384b9 | 41a38d058dd61498c144fe4665007d33 | hardware-verification | unknown | unsat | empty | yes | c9b_i.cnf.xz | anni_2022,main_2010 |
| 12fd01409b8fc6ae93ea63612eb5ab18 | a9120100936dff91670210d659fca243 | hardware-bmc | unknown | unsat | empty | no | shuffling-2-s961664232-of-bench-sat04-430.used-as.sat04-707.cnf.xz | anni_2022,industrial_2004 |
| 13002f51482d0b78e9f98fae1672d99a | 733d33db5fae8e963b0fb53c7d3d2109 | cryptography | kullmann | unknown | empty | no | aes_64_2_keyfind_1.cnf.xz | anni_2022,application_2011,application_2016,crypto_2021 |
| 132c5c5610be000f972bd4d56fd5b812 | 80981d55f310e7b6da2b4c3ee88503d1 | coloring | manthey | unsat | http://hdl.handle.net/10138/135571 | no | ccp-s6-facto2.cnf.xz | anni_2022,crafted_2014 |
| 1334869a4de372d47c958611390a93a5 | 63fe9fc47e88cca794f16525e7f5c2b6 | prime-factoring | unknown | sat | empty | no | 58bits_13.dimacs.cnf.xz | anni_2022,main_2015,parallel_2015 |
| 1335cf5a529c51c86733b20450a41ac1 | 7adad2f1a318978c7ef776875db22bca | scheduling | mayer | unsat | empty | no | p01_lb_05.cnf.xz | anni_2022,application_2013,main_2021 |
| 1349981bf0b0025492ab5dae1d8647df | 25d4066cebc4477fdab2a66ac117c43e | sgen | spence | unsat | http://hdl.handle.net/10138/135571 | no | edges-072-3-7902777-18.cnf.xz | anni_2022,crafted_2014 |
| 13538df69c3bc26707750ba55d90c9b0 | baded380223bf6933bb4d68df2a29b90 | planning | rintanen | unsat | empty | no | blocks-blocks-37-1.130-NOTKNOWN.cnf.xz | anni_2022,application_2011,application_2014,main_2021 |
| 135eb593af65aa579aede02fd289a6f9 | 932f810d095b9bbf523a682a07fb3d5e | mycielski-graph | yolcu | unsat | http://hdl.handle.net/10138/333647 | no | Mycielski-10-hints-8.cnf.xz | anni_2022,main_2021 |
| 1364901fb87afe648b513e945ddeed91 | 1f727bd5109db17f97ed09449385b8aa | edge-matching | holten | unknown | https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=53 | no | b1904P3-8x8c11h0SAT.cnf.xz | anni_2022,main_2019,main_2020 |
| 136c05323315a2cda8344717913a9a32 | f1f2769acc1af4b42ddb0f5afbf3e6c8 | graph-isomorphism | mugrauer | unsat | http://hdl.handle.net/10138/135571 | no | crafted_n10_d6_c4_num3.cnf.xz | anni_2022,crafted_2014 |
| 137850d8a2886b3cdd1684b23384c9ad | 4e12748566d401e4555da7427ce26358 | miter | unknown | unsat | empty | yes | shuffling-1-s1735667200-of-bench-sat04-332.used-as.sat04-445.cnf.xz | anni_2022,industrial_2004 |
| 137ce786edc85a0dfb57bb979faed4bf | ca7fbfb10e5b6af5dee24bd0af13d400 | dining-philosophers | biere | sat | empty | yes | dp02s02.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 139c1262e5901a684005ffad897aa7eb | ca8e0bcf9acf716ca936f6c96073bbcc | maximum-constraint-partition | riveros | sat | http://hdl.handle.net/10138/333647 | no | maximum_constrained_partition_18_bits_n200.cnf.xz | anni_2022,main_2021 |
| 13a3389f542910702052bc765d5828bb | a121218c6ade9a260ed7ce7ecb64fb40 | quasigroup-completion | heule | sat | empty | yes | gensys-brn003.shuffled-as.sat05-2680.cnf.xz | anni_2022,crafted_2005 |
| 13a4db7331b370f0e4d8df55dc2a7098 | e66117c236b3a63df335f06ce83f0f19 | tseitin-formulas | elffers | unsat | empty | no | tseitingrid7x135_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 13a72d8a4bb5a6414fdc8ae989fee92d | 6276f323918362bddb9f939bdb01a169 | planning | unknown | sat | empty | yes | ferry10.shuffled-as.sat03-378.cnf.xz | anni_2022,industrial_2003 |
| 13ad8e4f8453f77760e0f3da0a3b941f | ffbb6c0bc8c636ed2e5ed4bdcded9000 | ordering-principle | sabharwal | unsat | empty | yes | gt-016.shuffled-as.sat05-1291.cnf.xz | anni_2022,crafted_2005 |
| 13bd62a9f5834464df4d2df5d071a3ac | a2fd19ad6f0f111a6dc667d90dd6d9bb | clustered-random | anton | sat | empty | no | lksat-n1100-m7545-k4-l4-s420878730.used-as.sat04-926.cnf.xz | anni_2022,handmade_2004 |
| 13c6c5d376f59a6a2ad2a3bddd308011 | 542b2a19cda7cdf642803f12fcb23b10 | miter | goldberg | unsat | empty | yes | rand_net40-40-5.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 13d22302e47f3db018541183f5214785 | 4d99736709ab7609ca13990e3d06c420 | coloring | manthey | unsat | http://hdl.handle.net/10138/135571 | yes | ccp-s8-facto1.cnf.xz | anni_2022,crafted_2014 |
| 13e816eedfe63394f2f4e76fa1c6f5b0 | 187dc8c79a4e8a1d8381d914a5d598ba | coloring | elffers | unsat | empty | no | ecgrid6x210_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 13f68a9b7623c96105f8a3ebf8366943 | ecf8777f6949ded6e0b8f2d0c0703aac | quasigroup-completion | sorge | unsat | empty | yes | iso-ukn007.shuffled-as.sat05-3388.cnf.xz | anni_2022,crafted_2005 |
| 13fb8738ace496c668131aaa70d26613 | 414e945abf6484130317f13c0d919cae | ensemble-computation | jarvisalo | sat | empty | no | jkkk-random-132906006427000-10-10-36-SUM-sat.cnf.xz | anni_2022,crafted_2012,crafted_2013,crafted_2014 |
| 13fe4d700bdbec733be548e0ec21b544 | c0ea2cb91009c5d659188304e0894d95 | pigeon-hole | unknown | unsat | empty | no | fphp-012-010.shuffled-as.sat05-1214.cnf.xz | anni_2022,crafted_2005 |
| 1401185fe7e0a5f1139ff4755d65a089 | c41900227d8545ba004d363e853b22c4 | tensors | savicky | unsat | empty | no | size_4_4_4_i4096_r8.cnf.xz | anni_2022,main_2019,main_2020 |
| 140aa37221467a66d5711b760a19ee0f | 4933ce0b4332813225f5915526f1ab69 | ktf | lagniez | unknown | http://hdl.handle.net/10138/333647 | no | ktf_TF-8.tf_4_0.02_37.cnf.xz | anni_2022,main_2021 |
| 140f56ae75d27f8f64392ddbea8fdf20 | b44c2372b85fbe9ee5698b75dbcbe011 | cryptography | sesum | sat | empty | no | gss-20-s100.cnf.xz | anni_2022,application_2009,application_2012,application_2013,application_2014,application_2016,crypto_2021,main_2010,portfolio_2012 |
| 140f7253372168258f9a7ad838de7075 | 63e5cfffb7ad091b9e8db574cc1798a0 | bitvector | manthey | unknown | empty | no | qurt.c.20.smt2-cvc4.cnf.xz | anni_2022,application_2016 |
| 141919813972d24c105018164e96cb1e | 5c210a6deb953d1faabdf862f2f9cadd | edit-distance | mengel | sat | http://hdl.handle.net/10138/333647 | no | edit_distance023_281.cnf.xz | anni_2022,main_2021 |
| 1419e4ee2ad74d456f94797c307dfe4b | 8ec94e3f5b3666188d96076464dad743 | subgraph-isomorphism | anton | sat | empty | no | srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf.xz | anni_2022,crafted_2011 |
| 14216e0f4c89982abcf5ad2cc1a23fd8 | 6aa0e6f1934e4a30876c609727ac1c3a | quasigroup-completion | heule | unsat | empty | no | gensys-ukn006.shuffled-as.sat05-3846.cnf.xz | anni_2022,crafted_2005,crafted_2011,crafted_2012 |
| 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 |
| 142aad09e92ae1db4a93942feb9fb929 | 53fff25cfe74eebc5be37de4e2f7cf41 | phnf | unknown | unknown | empty | no | phnf-size10-exclusive-equilarge_m1.used-as.sat04-898.shuffled-as.sat05-4191.cnf.xz | anni_2022,crafted_2005 |
| 143eb1d5010dc720785d002ef8a9df72 | 7433a4bc0e1192e278b8a44b161294f0 | coloring | pehoushek | unknown | empty | no | 5col160_15_6.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 1446548d272c0b28fb40225c50d743a5 | 06cffde9dcefe44821dfd181777e5066 | tensors | savicky | sat | empty | no | size_5_5_5_i041_r12.cnf.xz | anni_2022,main_2020 |
| 144799298ab4d0bb0506753fc4783b76 | 86f6a7203c20279a63c879911674e3b3 | tseitin-formulas | jarvisalo | unsat | empty | no | mod2-rand3bip-unsat-150-1.shuffled-as.sat05-2654.cnf.xz | anni_2022,crafted_2005 |
| 144889e68fb25ec33f1d81cab4c26581 | 1cccd3d8a7dc941f811ef694e33404bd | dimacs-sorter | manthey | sat | empty | yes | manthey_DimacsSorter_31_6.cnf.xz | anni_2022,main_2015 |
| 1449a115a5f2378e73dcbda3fa0c0425 | 61fe6b0c5ecedf61fd7773f67d50403e | pigeon-hole | sabharwal | unsat | empty | no | php-014-012.shuffled-as.sat05-1173.cnf.xz | anni_2022,crafted_2005 |
| 144ea08141644f262848c91e74653725 | 11f4d2c02e1ab4f7d5b44bee813e5b8e | product-configuration | marques-silva | unsat | empty | yes | C202_FW_SZ_61.cnf.xz | anni_2022,mus_2011 |
| 144ff2831056bafda1124d98fceec5c7 | a2c121641c24ddb5552ca81c4036fef3 | cryptography | nossum | sat | http://hdl.handle.net/10138/135571 | no | 002-80-4.cnf.xz | anni_2022,application_2014,main_2015 |
| 14586ca8c72a92b53755c036c38c2cef | 6533ac60afc11611301af0ade66af6e4 | diagnosis | anbulagan | sat | empty | yes | UCG-10-10p1.cnf.xz | anni_2022,application_2012,portfolio_2012 |
| 146359b7765e5adff618d3cd77e0dcc8 | 9f6309271d7249164babd76fef3bde6d | diagnosis | anbulagan | unsat | empty | no | dated-5-19-u.cnf.xz | anni_2022,application_2009,application_2013,industrial_2007 |
| 146de7a718e7e7403ab7acc2d412cf66 | 54ec46cdfa4cb7453b347ab758214339 | tseitin-formulas | elffers | unsat | empty | no | tseitingrid6x165_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 1482c70e79304f719835696bed633da5 | 7175d3cf9d1dec7c5bbeef55b7fae522 | pigeon-hole | sabharwal | sat | empty | yes | php-040-040.shuffled-as.sat05-1166.cnf.xz | anni_2022,crafted_2005 |
| 1485a125a0f21831361c2fb65ce79a40 | ca1e2b47cb161e6fe75e275ed7c79553 | quasigroup-completion | heule | unsat | empty | yes | gensys-icl008.shuffled-as.sat05-2720.cnf.xz | anni_2022,crafted_2005 |
| 1485f3e0788a75cdd9cb29767a1a4998 | b55b9809dd521a6f8f1fb2ef55360c08 | miter | goldberg | unsat | empty | yes | rand_net40-60-10.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 149295422d7a647d48da377e0a4caea2 | 1c92d7d8b8b69f91601248d6f318f39a | pigeon-hole | sabharwal | sat | empty | yes | fphp-025-025.shuffled-as.sat05-1205.cnf.xz | anni_2022,crafted_2005 |
| 14970e78625100605d22c9916dd0a476 | 063c593d759e6598a0b151320c2cae9d | edge-matching | holten | unknown | http://hdl.handle.net/10138/318754 | no | b2005-p5-14x14c17h9-Ser3-0.cnf.xz | anni_2022,main_2020 |
| 149c1d84fb49b95aa9e603f60dca73d4 | e52668c0ae91fcde5714b50080d84129 | 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.60_6.cnf.xz | anni_2022,main_2017 |
| 14a298150751628c4fb956a5dce195e4 | 4544f6c0ca0855e3823a09f94ef12fe6 | pigeon-hole | biere | unsat | empty | no | tph14.cnf.xz | anni_2022,crafted_2013 |
| 14a9fe8122df422aad76a2546250c66f | a4f48252b591a93c9b70ae1929848c85 | pigeon-hole | jingchao | unsat | empty | no | e_rphp065_04.cnf.xz | anni_2022,main_2018 |
| 14c0a1f3a82f87b72950ad4825651764 | 663d558b30fb7b508d289a7df1f68502 | hardware-verification | unknown | unsat | empty | no | eqsparrc12bpdtlf12.cnf.xz | anni_2022,main_2019 |
| 14c33d4be35ed33f2c67498f8334993f | 73c27636082031377275411b187a432a | stedman-triples | johnson | sat | empty | no | sted5_0x24204-70.cnf.xz | anni_2022,main_2018,main_2021 |
| 14d50d670d9ce9f8f4d7bf3b684059b2 | b4ef412fcc5f766ffd32970362ffb6be | social-golfer | lynce | sat | empty | no | sgp_6-6-10.shuffled-as.sat05-2670.cnf.xz | anni_2022,crafted_2005 |
| 14ddd0d10d662feeb6fc411df57c9b5f | 4a2f42701a2e3fc278bedc3207d5c596 | mosoi-289 | mosoi | sat | empty | yes | 289-sat-5x8.cnf.xz | anni_2022,crafted_2011 |
| 14e1b7f728682aed19489d87774a5090 | 38919da0a3110a0a7c96fdb3c51b666a | hardware-verification | unknown | unsat | empty | no | shuffling-1-s765004498-of-bench-sat04-365.used-as.sat04-504.cnf.xz | anni_2022,industrial_2004 |
| 14e21c70a36bbf25a525d835ceab52da | f62986b1057b9094bf7ebc25068343d7 | pigeon-hole | sabharwal | sat | empty | yes | fphp-045-045.shuffled-as.sat05-1209.cnf.xz | anni_2022,crafted_2005 |
| 14e979e1360191196b871ec8c53fe8bc | 536bb2870948061ccdbcd45db159bdc6 | hardware-verification | dellacherie | sat | empty | yes | cache_05.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 14e97f5bdd4ba3f941b73daa1e5ebf7d | 3a77526b7657f14748016e52915a72b2 | cryptography | scheel | sat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=68 | no | cms-scheel-md5-families-r24-c6-p1-4-6-13-14-18.cnf.xz | anni_2022,main_2018 |
| 14eac5c467a48e54fb5b286b8bf447b2 | f719ba1bf7f719471e487bcf9ba1f879 | rubikcube | jingchao | unknown | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=46 | no | mp1-rubikcube820.cnf.xz | anni_2022,main_2017 |
| 14eea0fa5d80a494354f587d31897c64 | 283f272de2c2e76f5c2eee4307c1c856 | miter | biere | unsat | empty | no | 6s126.cnf.xz | anni_2022,application_2013 |
| 14f630622696acf0317df1ff5e20b1e9 | 4f1c37cc47c9cff9adfce6a0cb110138 | fpga-routing | aloul | sat | empty | yes | bart22.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 1508ae612fe86a14fe9ce950694f7b71 | 012b5861402d03f7de2eaa6bb9d1ae98 | termination-analysis | fuhs | sat | empty | yes | AProVE09-25.cnf.xz | anni_2022,application_2009 |
| 150b48da1f16ceb124f18882bcfe4c96 | 5e4bdcaa4ce3452dcd6f987abfe2d9b9 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_70_18_80_10-log.shuffled-as.sat03-141.cnf.xz | anni_2022,handmade_2003 |
| 150d5db53b79cad35248536274c2662a | aaa2fc8dcb9e6d2c3f74a68cdf66fed2 | cryptography | sesum | unknown | empty | no | g2-gss-36-s100.cnf.xz | anni_2022,main_2017 |
| 15190f252ac286e5d8c479ce342272f3 | 4d5f3851bc68e168185b74aeb481f311 | hardware-verification | manolios | unsat | empty | no | f10bi.cnf.xz | anni_2022,application_2012,portfolio_2012 |
| 151a12771ab52c3b85df72a3d1f7f32d | 2ad4233886777f785d8ee074b1a60b25 | planning | maris | sat | empty | yes | ferry7_v01i.renamed-as.sat05-4003.cnf.xz | anni_2022,industrial_2005 |
| 151f658131c8e7b7a46d3a27d281e161 | e60f6b269757fee2a76c754c7e518a8a | hardware-verification | velev | unsat | empty | no | 7pipe.shuffled-as.sat03-415.cnf.xz | anni_2022,industrial_2003 |
| 1521bf4c6531b57b4052f24f8a1ea7d9 | 9e88e2ee8c047eac6b44018a00c1f18d | miter | unknown | unsat | empty | no | shuffling-2-s356209203-of-bench-sat04-338.used-as.sat04-616.cnf.xz | anni_2022,industrial_2004 |
| 1527378fc216e0506bf8b63d0fad56be | dc809d53f467b96d77ef9c261f7b0c3f | perfect-matching | reeves | unsat | http://hdl.handle.net/10138/333647 | no | randomG-Mix-n18-d05.cnf.xz | anni_2022,main_2021 |
| 15300be1a87777f0110722557a86bf7a | e7541f8f4c717f7d39a72c1b179465ab | hgen | chen | sat | http://hdl.handle.net/10138/318754 | no | 170055892.cnf.xz | anni_2022,main_2020 |
| 153ae9caeac33a9b65982713f54d4387 | cec0f6b5571d70c16ce5c35ca4265afd | rbsat | huang | unknown | empty | no | rbsat-v2100c215164g4-sc2011.cnf.xz | anni_2022,main_2019 |
| 154c5b530d82f66ea4129abeac37ea67 | 210bfb3b62b47ef2c61c56e7a755dd1e | ordering-principle | elffers | unsat | empty | no | pop99_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 1567f5d6c1cbef6de37f8acbc54fb171 | d12d790e53a8419e21546e81464b18e7 | tseitin-formulas | jarvisalo | sat | empty | yes | mod2-rand3bip-sat-240-3.shuffled-as.sat05-2205.cnf.xz | anni_2022,crafted_2005 |
| 1573c39070c77802219d0b3e2562615e | a7dd24a55a64190d5705cd62ce25b8ea | grandtour-puzzle | chowdhury | unknown | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=59 | no | gto_p60c343.cnf.xz | anni_2022,main_2018 |
| 15749785b7435c5c3aa4d99022a90aed | 013d66b63383a8e03f2eff899952313f | hardware-verification | ibm | unknown | empty | no | SAT_dat.k100.debugged.cnf.xz | anni_2022,application_2012,portfolio_2012 |
| 1575dcf4547f5854850b971013683c37 | 9d66f31bf3fd4d9da81bdca8d3b0bcce | edit-distance | mengel | unsat | http://hdl.handle.net/10138/333647 | no | edit_distance007_85.cnf.xz | anni_2022,main_2021 |
| 1579a7daa06a82cb38610c06d20cb69b | 8fe11abaa9195745465a21020e2f0c80 | sorting-networks | ehlers | unsat | empty | no | snw_16_8_nopre-sc2016.cnf.xz | anni_2022,main_2019 |
| 1585509d20e96dca337559f71da9d9f1 | 7b30ebe3a04a56441917b23a531bd269 | tseitin-formulas | simon | unsat | empty | no | Urquhart-s4-b4.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 1591e8fcf2c06b0e72390027c2ae11ef | d96b86cbb035828960bd0bb3a6c74932 | hardware-verification | manolios | unsat | empty | no | f9b.cnf.xz | anni_2022,application_2012 |
| 15a0ff858513e4db318ca72151aaac93 | 79a20ed8fd8d408a312b5e8ff263f802 | graph-based | bevan | unsat | empty | no | hypercube7.shuffled-as.sat03-1437.cnf.xz | anni_2022,handmade_2003 |
| 15a83459f3d2ee86944bf12f96e0002c | 8e89905b367caa57650d8539867ba8bf | hardware-verification | ibm | unsat | empty | yes | 2004_rb10Sd.k85.cnf.xz | anni_2022,main_2010 |
| 15a96101f9621bd5ed5edf9540c54f55 | c4440b91bb75459976689b0240f42ef3 | fpga-routing | goldberg | unsat | empty | yes | example2_gr_rcs_w5.shuffled.cnf.xz | anni_2022,industrial_2002,mus_2011 |
| 15aa76147c3bf733a63f020f917df935 | 2a4a1db04ac743163550b4208d817c8b | bioinformatics | unknown | unsat | empty | yes | q_query_3_L80_coli.sat.cnf.xz | anni_2022,application_2009,application_2012,application_2014,main_2015,portfolio_2012 |
| 15b21ad2edfb8de81db7bf2481b0424c | 7e9c7be48ca28656957dda3041857782 | miter | unknown | unknown | empty | no | am_8_8.used-as.sat04-341.cnf.xz | anni_2022,industrial_2004 |
| 15ba9eb4b0035fb6ed11a03c7df21870 | f26ed588e7931be691272859dc11a9bc | ktf | lagniez | unknown | http://hdl.handle.net/10138/333647 | empty | ktf_TF-6.tf_4_0.04_51.cnf.xz | anni_2022,main_2021 |
| 15c1183fe607c7aa1f87d06857ad0cc6 | fcf545109fb410123ca1aa2515ccfc21 | crafted-cec | klieber | sat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 | no | mp1-klieber2017s-0300-035-t12.cnf.xz | anni_2022,main_2017 |
| 15ce63c18bf6645abcd55327a2bf0dcf | 0b0a491d74e1830d4c90bf1db8ce168e | bitvector | unknown | unsat | empty | yes | countbitsrotate016.cnf.xz | anni_2022,application_2009 |
| 15cee83ee0a81237829a90803d8af228 | d8aeb9e2f81d02bd6aba7f7f10909e18 | edge-matching | heule | sat | empty | no | em_7_3_6_fbc.cnf.xz | anni_2022,crafted_2009,crafted_2012 |
| 15d6010045b28b74e7e797c752e35897 | 2ec6636d915962aa861c1ff2e3646778 | coloring | pehoushek | sat | empty | yes | 3col220_5_9.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 15dcca42e7bcad285627a9eaae45d860 | 501916621f172a6c213f01c0b7ada093 | long-learned-clauses | markstrom | unknown | empty | no | pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf.mis-111.debugged.cnf.xz | anni_2022,crafted_2012,portfolio_2012 |
| 15fd8d06de40488c0ab4c167785111a6 | 1d956f3b5f136a2f42b318d463c68a54 | miter | goldberg | unsat | empty | no | term1mul.miter.shuffled-as.sat03-357.cnf.xz | anni_2022,industrial_2003 |
| 16115c24655745d544b200948f2066a6 | d9657e717224518608bd2f6bc4f58253 | erdos-discrepancy | heule | unknown | http://hdl.handle.net/10138/135571 | no | EDP3-30000.cnf.xz | anni_2022,crafted_2014 |
| 163de421b5b9f3542987eba8d34ead83 | 63420255677daa0365b83d56928f5392 | hardware-verification | goldberg | sat | empty | yes | cnt10.shuffled-as.sat03-418.cnf.xz | anni_2022,industrial_2003 |
| 1647fbd9ca6e5fb8ab052e79734636a9 | f9d69dc767ee8935b5896eca71f07940 | auto-correlation | mugrauer | sat | empty | no | LABS_n074_goal006.cnf.xz | anni_2022,crafted_2013 |
| 164c93c34c4d38cebf4d75e55a161056 | 2c3b6479115a506291bd9a9a3e3f80db | coloring | lardeux | sat | empty | no | color-15-4.shuffled-as.sat03-1485.cnf.xz | anni_2022,handmade_2003 |
| 1651f84d3891b29f3125d69f4356c763 | b9773bd8088b6a9027db3f76ce0a1823 | hardware-verification | unknown | unsat | empty | no | shuffling-2-s340247357-of-bench-sat04-361.used-as.sat04-638.cnf.xz | anni_2022,industrial_2004 |
| 166a6b3d34c99e539a4f1e431d2181eb | 9984c90f07aa61275f93bac0c4350c9f | fpga-routing | goldberg | sat | empty | yes | term1_gr_rcs_w4.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 166e1e5a9f63fcf94ddae8533fa2a090 | 79d9710ca788de0238cabb0a348e0c66 | cardinality-constraints | wynn | unsat | empty | no | mp1-squ_any_s09x07_c27_abix_UNS.cnf.xz | anni_2022,main_2017,main_2021 |
| 167b736959aa8c9e5d38409755277a53 | a8d056070ec4b86902d89bb21f5188a1 | petrinet-concurrency | bouvier | unsat | http://hdl.handle.net/10138/333647 | no | vlsat2_56_1042.cnf.xz | anni_2022,main_2021 |
| 1684a7d84536cd0ef2996f81d962fa1e | d312cacc98e53d945c6ab793ae9e59d9 | prime-testing | unknown | sat | empty | yes | prime2209-93.cnf.xz | anni_2022,crafted_2012,portfolio_2012 |
| 168b4cf4e6b8318086edf8fce8ed760e | d3f99f9d0be7626ea9e1164c06e224fe | prime-factoring | zha | sat | empty | no | factoring94418953x321534781.cnf.xz | anni_2022,main_2018 |
| 168c37b28d0f412b9e903e9aa6783df7 | efbed814504ff7dd519671d1c01b9d48 | hardware-verification | dellacherie | unsat | empty | yes | comb2.shuffled.cnf.xz | anni_2022,industrial_2002,mus_2011 |
| 1698bc45adbd800076d24e622a227436 | b3f4868da322ea162c59d92ae2af79ec | bitvector | jarvisalo | sat | empty | yes | smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf.xz | anni_2022,application_2011,application_2012 |
| 169b832e8ad5102801bc5390663b0a81 | 08fdb3b6d8fb054732dc2172f6cfd433 | random-modularity | giraldez | unsat | empty | no | modgen-n200-m90860q08c40-13845.cnf.xz | anni_2022,application_2016 |
| 169e8bcebaebcbb9ff2ba8233fea0dd3 | 9edb5769892be05beca451471625925d | planning | maris | unsat | empty | no | gripper14u.shuffled-as.sat03-397.cnf.xz | anni_2022,industrial_2003 |
| 16b0810ba492f30a39fbd46ece608cf2 | fc380407b9a0730afd244aa6eade0e65 | tseitin-formulas | jarvisalo | unsat | empty | yes | mod2-rand3bip-unsat-105-1.shuffled-as.sat05-2609.cnf.xz | anni_2022,crafted_2005 |
| 16b5ccee102406efd1924d8f1c7a1cc6 | eb14790f89889b112dc558809cac5a02 | parity-games | friedmann | unsat | empty | no | instance_n7_i8_pp_ci_ce.cnf.xz | anni_2022,crafted_2009 |
| 16b9e9e007133b818ec1f0868613d534 | e04a8503263b9a553fcf1cafecbe7c60 | lam-discrete-geometry | nejati | unsat | http://hdl.handle.net/10138/318754 | no | w19-8.0.cnf.xz | anni_2022,main_2020 |
| 16c27d738cb45b766b8823ca4f428cf0 | 52071ce4403925a200aa0fd1e951b4ae | rbsat | huang | sat | empty | no | rbsat-v760c43649gyes7.cnf.xz | anni_2022,crafted_2012,main_2024,portfolio_2012 |
| 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,portfolio_2012 |
| 16ca7cd1af0f7102faf95131822ace7e | 4d3e556c29e42dac1e2fb3b9efe32c10 | scheduling | konan | sat | empty | no | TimetableCNFEncoding_3_UNKNOWN.cnf.xz | anni_2022,main_2018 |
| 16d792afbb01388f5e2e544632908581 | c5bc6bed12b90da3ec745d69c261cffb | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_80_26_70_4-dir.shuffled-as.sat03-207.cnf.xz | anni_2022,handmade_2003 |
| 16d83e40878ebec355597e0edb0e0c72 | 721b43c4fab6bceefa81c2ba9e5f496f | lam-discrete-geometry | nejati | unsat | http://hdl.handle.net/10138/318754 | no | w19-5.1.cnf.xz | anni_2022,main_2020 |
| 16d99da4c23739000f28cc664d9794e6 | 4c0cf582fb841d71f3188eedb99fbe67 | hardware-verification | unknown | sat | empty | empty | shuffling-1-s37489193-of-bench-sat04-720.used-as.sat04-733.cnf.xz | anni_2022,industrial_2004 |
| 16de92335666e9714a3add7f604f3714 | 342539b3f0e86e4a5c84c9e44b469873 | scheduling | kummling | unsat | empty | no | ctl_4291_567_10_unsat.cnf.xz | anni_2022,application_2013 |
| 16e5939e61e823ea250858edd0fb8d44 | 9b0730647e8ff12fe7a8778e1fcfea4e | tseitin-formulas | simon | unsat | empty | yes | Urquhart-s3-b10.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 16efa5e34999ddabcc56590af09841c4 | 767f041836a176e07577633dc5211076 | clique-width | heule | unsat | empty | no | rnd-v25-e80-k10.cnf.xz | anni_2022,crafted_2013 |
| 16f7933053ea6437ac271393e6b04856 | 90647032d30576952ce8229fb1285afd | quasigroup-completion | sorge | unsat | empty | yes | iso-icl008.shuffled-as.sat05-3242.cnf.xz | anni_2022,crafted_2005 |
| 17039a3ed02ea12653ec5389e56dab50 | 1fbeb8a1d102d125ccb43f6579e0d4d8 | pebbling | sabharwal | unsat | empty | yes | pbl-00070.shuffled-as.sat05-1324.shuffled-as.sat05-1324.cnf.xz | anni_2022,crafted_2005,main_2023 |
| 17101a56ae0a5e77b17589fadedd685c | 065f211171bfdae4b1fffd562fa90db7 | hardware-verification | velev | sat | empty | yes | 9vliw_m_9stages_iq3_C1_bug2.cnf.xz | anni_2022,application_2012,industrial_2005,industrial_2007 |
| 17127821f541755ba13937dcab5958ac | 548d89a46d79e2f4051fc667e9de6cfd | scheduling | stojadinovic | unsat | http://hdl.handle.net/10138/135571 | no | atco_enc3_opt2_10_12.cnf.xz | anni_2022,application_2014,main_2015 |
| 1717ecb490563208071b191dd0b1775c | 88cb11e33bb1073d3ae0694ba9b88850 | coloring | sabharwal | unknown | empty | no | fclqcolor-16-11-14.shuffled-as.sat05-1285.cnf.xz | anni_2022,crafted_2005 |
| 172ecb98a80b859e62612ff192a53729 | 5b39aa808c233505ca4a63010e5c3baa | clique-width | heule | unsat | https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=66 | no | Kittell-k7.cnf.xz | anni_2022,crafted_2013,main_2020 |
| 173a34a4397f1e0bc6411426ae62acaf | de39a7fee1d0ce17a5458d8e9355b760 | rbsat | huang | sat | empty | no | rbsat-v1375c111739gyes5.cnf.xz | anni_2022,crafted_2013 |
| 17532fb8bed9cc868745b408054e41c3 | 19adae99efbcd196ec1d9d64977f4e16 | coloring | pehoushek | sat | empty | yes | 3col200_5_5.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 1777f9cbd29a37169aee9fa7fe2611af | ad281217ebe22bfe23d2163c2e60cb25 | bitvector | kovasznai | unsat | http://hdl.handle.net/10138/135571 | yes | shift1add.21964.cnf.xz | anni_2022,crafted_2014 |
| 178544c3e6f5ad707caf8940e30470c5 | c2f4b58280b4db0989c40f9cc888f8eb | xor-chain | zhang-lintao | unsat | empty | no | x2_80.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 17984e46b3a82eec5fc5954f434f5b55 | f0a1eb8f5bc747828535846330089c26 | planning | maris | sat | empty | yes | driverlog3_ks99i.renamed-as.sat05-3953.cnf.xz | anni_2022,industrial_2005 |
| 17af580f88aa4043b86ce1960c0ae7eb | 1c647b043eb68334a624827bbd697e19 | misc-satex | simon | sat | empty | yes | 3bitadd_31.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 17b54dc4971c1a5f907b5b9de801c1c6 | bd1d5695e77671de255b41ae42c3a882 | hardware-verification | velev | unsat | empty | no | velev-dlx-uns-1.0-05.cnf.xz | anni_2022,main_2020 |
| 17d01710d82e86967d43abc639f6476b | 33feedac7cbad75599faf6ed44c3c679 | rooks | manthey | unsat | http://hdl.handle.net/10138/135571 | no | rook-42-1-1.cnf.xz | anni_2022,crafted_2014 |
| 17d73071f8e0b710abbcfb506a54dec9 | 3466c780df12d1784369552846ae551e | cryptography | scheel | sat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=68 | no | cms-scheel-md4-families-r24-c5-p0-5-11-13-18.cnf.xz | anni_2022,main_2018 |
| 17e185a418231679210ed46269fd9155 | d5904789d5c9903c6cf9284b7ba29efb | graph-isomorphism | mugrauer | unsat | http://hdl.handle.net/10138/135571 | no | crafted_n12_d6_c3_num10.cnf.xz | anni_2022,crafted_2014 |
| 17eaed68dbdd4c7458eead7ae07364c4 | 675f8de5349ca8eb1742e5520d084ead | sgen | spence | sat | empty | no | sgen3-n240-s78945233-sat.cnf.xz | anni_2022,crafted_2011,crafted_2012,crafted_2013,crafted_2014 |
| 17ef99c61659c974ae00f1b9bf092cdf | 0d3747a5bccb89a110872a89f565f48e | coloring | heule | sat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=66 | no | CNP-5-1700.cnf.xz | anni_2022,main_2018 |
| 1805f0d293e36cf62f6d1ff73ab2ed6b | 223d7f86ba1217d30e5363d3e32a70e4 | random-clustered | andrew | unknown | empty | no | Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009 |
| 180d76bceb59ef99fdceef095becd8a2 | 31c46cc7451cab7bb9c82cb74e50e59d | hardware-verification | velev | sat | empty | yes | velev-vliw-sat-4.0-b1.cnf.xz | anni_2022,main_2006 |
| 180e6d8b61fe6bab26126b78591e324e | fdbcc286cb60a162b54145bba0a47cc3 | baseball-lineup | hickey | sat | http://hdl.handle.net/10138/318754 | no | baseballcover11with22_and2positions.cnf.xz | anni_2022,main_2020 |
| 18150bbe0ee97b8a971c9a2dca69bc9f | 8107a4619b70abee91ad03e801e371ce | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_70_23_50_1-log.shuffled-as.sat03-157.cnf.xz | anni_2022,handmade_2003 |
| 18206ac7c3066f7d7f5eb614ede7ea96 | c26e91f0c8fd21623f91a4353e710785 | quasigroup-completion | gomes | sat | empty | yes | qwh.35.405.shuffled-as.sat03-1651.cnf.xz | anni_2022,handmade_2003 |
| 182c5a778acfc4512d833b76dce2b621 | 889d66abc1601f0d2ae50fa84ca0eed5 | coloring | pehoushek | unsat | empty | yes | 3col40_5_3.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 182e9fe8ef2a85945f0c9f87b669f572 | e4d4fd4edbbebeb913bf5fee1969fffc | pebbling | unknown | unsat | empty | yes | grid-pbl-0080.shuffled-as.sat05-1344.shuffled-as.sat05-1344.cnf.xz | anni_2022,crafted_2005 |
| 18327e9a1de2f0d294c0c20e754c58aa | d44cb247bfae0e84d32b27fdbedbae56 | pigeon-hole | sabharwal | unknown | empty | no | harder-fphp-070-069.sat05-1240.reshuffled-07.cnf.xz | anni_2022,crafted_2007 |
| 183d151693172be95f047880198a586a | f50901f7ecde724081b6c8a55961ccf0 | pigeon-hole | jingchao | unsat | empty | no | a_rphp098_04.cnf.xz | anni_2022,main_2018 |
| 1874a7dc05a2c2bbb28241515ea32323 | f83496a8f3af54c4f70999193b795f7e | planning | unknown | sat | empty | no | gripper10.shuffled-as.sat03-388.cnf.xz | anni_2022,industrial_2003 |
| 187b187f12f17112e727eb5d4948d6a2 | bca887c001306876ca8f2fefd7444f91 | clique-width | heule | unsat | http://hdl.handle.net/10138/135571 | no | rnd-v25-e212-k9.cnf.xz | anni_2022,crafted_2014 |
| 1890f49a43a94b97828528b68c32b78e | 9108c03884869c20344bca9cfeeb0784 | fpga-routing | aloul | unsat | empty | no | homer11.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 1892950840d43132a2dabe49db696d15 | 895d145516c9935cf2e6be1c260454dd | xor-chain | zhang-lintao | unknown | empty | no | x1.1_64.shuffled-as.sat03-1585.cnf.mis-125.debugged.cnf.xz | anni_2022,crafted_2012 |
| 1893dc6e673071eae8b5c03ca724ae35 | f313dae054dd6aa6837f78fe7d966200 | testpattern-generation | marques-silva | unsat | empty | yes | ssa2670-133.cnf.xz | anni_2022,mus_2011 |
| 18a8fe99d35fd98a968a2cf53d7f235c | 16ddffb150d512eda981840e64baefae | coloring | elffers | unsat | empty | no | ecgrid6x175_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 18ae95ad7071b0d086ef6d840d551720 | f4bdfc078738ef668cebeafdedf62bcd | sgen | spence | unsat | empty | no | sgen3-n170-s56409011-unsat.cnf.xz | anni_2022,crafted_2011 |
| 18c346e5b75068df5773eded64b8a44e | 238a7706b4ac7ae0ed98009ee9d3fcb0 | crafted-cec | klieber | unsat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 | no | mp1-klieber2017s-1600-023-eq.cnf.xz | anni_2022,main_2017 |
| 18c8ebb6caa830bbb3a5ac3ba7c5bd90 | f707733f2770e725be5a9f0cb0b4e1ae | diagnosis | anbulagan | unsat | empty | no | UCG-20-10p0.cnf.xz | anni_2022,application_2012,application_2014,main_2015 |
| 18d2bfd6b4360d5e1140134a5420da0b | 69ca574493a69a0f220a7c616f0e17e3 | rbsat | huang | sat | empty | yes | rbsat-v760c43649gyes6.cnf.xz | anni_2022,crafted_2011,crafted_2012 |
| 18d4124324b56e434118f9ef72198d84 | 8f48367ecb89760cfb3c2cdad36eb3b8 | cellular-automata | chowdhury | unsat | http://hdl.handle.net/10138/333647 | no | spg_300_300.cnf.xz | anni_2022,main_2021 |
| 18db7016dd150fc1d41ddb8db44a6229 | 86a3083a73b9173fe25299e04ad0b148 | sgen | spence | unknown | empty | no | sgen1-unsat-121-100.cnf.mis-90.debugged.cnf.xz | anni_2022,crafted_2012 |
| 18e86b73af9b6adadc355a281387348b | 0d2e7594df970cb5648f838e4be1277a | software-verification | unknown | unsat | empty | yes | zfcp.cnf.xz | anni_2022,main_2010 |
| 18f54820956791d3028868b56a09c6cd | b8d73755d4ca586f42d97a72c72b1496 | bounded-model-checking | marques-silva | unsat | empty | yes | barrel2.cnf.xz | anni_2022,mus_2011 |
| 18f8842032dfeb6008ab00e7ea0c7eb0 | 6466b015717281fefdebe37e23e5a9b5 | fdmus | unknown | unsat | empty | yes | fdmus_b22_662.cnf.xz | anni_2022,mus_2011 |
| 18faad09a2e931cdfb4c8d7b1f2ef35f | 3c8730ddebf3b103f61c6fa568b8c961 | miter | unknown | unsat | empty | yes | rotmul.miter.used-as.sat04-336.cnf.xz | anni_2022,industrial_2004 |
| 19004c7d629f7e6e83c6e1d7a9a768a9 | 04f9a4ee384419eed87bbb3358130483 | miter | biere | unsat | empty | no | 6s166.cnf.xz | anni_2022,application_2013,main_2023 |
| 190c646aa93f0fe89d9850a9b4260835 | b45c15ccd3dbb7f22dcf58857049ba29 | software-verification | manthey | sat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=73 | no | Problem11_label51_false-unreach-call.c.cnf.xz | anni_2022,main_2018 |
| 190ed532bb8185719e8cc62db0784ac2 | 4242af611dc682905a4916e408e14cbb | xor-chain | zhang-lintao | unknown | empty | no | x2_56.shuffled-as.sat03-1602.cnf.mis-110.debugged.cnf.xz | anni_2022,crafted_2012,portfolio_2012 |
| 1911bb724b626d44649cdd27bf727098 | 662c08a76fc4266c7d4c16cf7c5f2bdd | quasigroup-completion | sorge | sat | empty | yes | iso-brn006.shuffled-as.sat05-3506.cnf.xz | anni_2022,crafted_2005 |
| 1914236889c5f7eacedf39faee124135 | 845e30a24b21c3ccba298d80488b5fb7 | auto-correlation | arunachalam | unknown | http://hdl.handle.net/10138/135571 | no | SAT_instance_N=93.cnf.xz | anni_2022,crafted_2014 |
| 193056422a264b6951428ede578b93eb | d139fa321c58d687918150f9ebd95d21 | tseitin-formulas | jarvisalo | sat | empty | no | mod2-rand3bip-sat-280-1.shuffled-as.sat05-2263.cnf.xz | anni_2022,crafted_2005 |
| 193060ecba8e768744195ef72f9751fd | f4a268bf0bafc34065dd56ecb8a2fa54 | hardware-verification | marques-silva | unsat | empty | yes | c8bidw_s.cnf.xz | anni_2022,mus_2011 |
| 19411327b5cd25df49f7b91c3f86dcf2 | ff4938b9e248ae06990de24b78b36fe4 | dining-philosophers | biere | unsat | empty | no | dp12u11.shuffled-as.sat03-423.cnf.xz | anni_2022,industrial_2003 |
| 194fef6e1fc703b81d4ab650c8ecb2da | 3622caeb77f11cb80b785ad9ae6c20d1 | quasigroup-completion | sorge | sat | empty | yes | iso-brn005.shuffled-as.sat05-2699.cnf.xz | anni_2022,crafted_2005 |
| 1959e881d4c05176d92d1511330f924e | 83d4c8e8a06f848e22075cc5450abf21 | bitvector | unknown | unsat | empty | no | minandmaxor064.cnf.xz | anni_2022,application_2012 |
| 195a008f3434898f8af7a966230ca760 | e348361e57d1c70b072645a5f588752c | bioinformatics | unknown | sat | empty | yes | q_query_3_L60_coli.sat.cnf.xz | anni_2022,application_2009,application_2012 |
| 195c4ca639cc5b1f16aa319d94bd6989 | 62a0a6daf72f61ab86aeb31184137b88 | parity-games | friedmann | sat | empty | no | instance_n9_i9_pp.cnf.xz | anni_2022,crafted_2009,crafted_2011,crafted_2012,portfolio_2012 |
| 19751d30322bca91858b2df1b29d04ca | 7a2f483a9dd8dc5cd2cf8a5319f1f849 | quasigroup-completion | unknown | sat | empty | no | bqwh.40.1.520.shuffled-as.sat05-432.cnf.xz | anni_2022,crafted_2005 |
| 1977f99f10f85aad3721a4c9651964ce | 57478afeebb77f141cc5a5eb65e3d5f4 | clique-width | heule | unsat | empty | no | rnd-v25-e157-k12.cnf.xz | anni_2022,crafted_2013 |
| 19821901aff6ef7b8b739c32eebe20de | f1b37d153a3cdd47604b0d4c515a5066 | software-verification | jarvisalo | unsat | empty | no | smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf.xz | anni_2022,application_2011,application_2016 |
| 198f94ece5fdc9536a28afc3063bdcf6 | ab75a4ffaf1217144977253bd59745a1 | prime-testing | jingchao | unknown | http://hdl.handle.net/10138/333647 | no | quad_res_r29_m32.cnf.xz | anni_2022,main_2021 |
| 199eaa204dc8609b2537f0966566c3e1 | 9627baf1139ac99357d7097b141fff9d | xor-chain | zhang-lintao | unsat | empty | no | x1_36.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 19a1b125613fa7e1de828967cd93573a | 28c0f3bb690ee9422dbb08758732c65f | tseitin-formulas | jarvisalo | sat | empty | no | mod2-rand3bip-sat-210-3.shuffled-as.sat05-2160.cnf.xz | anni_2022,crafted_2005 |
| 19a72fc66cf0e46348b0f17aa5550225 | 7eea43ff2942bd6348c04b48f21a1164 | dimacs-sorter | manthey | sat | empty | no | manthey_DimacsSorterHalf_37_3.cnf.xz,manthey_DimacsSorter_37_3.cnf.xz | anni_2022,main_2015,parallel_2015 |
| 19aaf9e28feee1af8e2cc182e7b96e4e | b34dd30f03b8bee5c9664ee7bf529c0a | hardware-verification | marques-silva | unsat | empty | yes | ooo.tag10.ucl.sat.chaff.4.1.bryant.cnf.xz | anni_2022,mus_2011 |
| 19b53b597955dd41aa4d12a87d127daf | 6857deefaeebd6dbe72a2cb9ccd7a563 | software-verification | babic | unsat | empty | yes | hsat_vc12016.cnf.xz | anni_2022,mus_2011 |
| 19c3796341c9361f30fc4d03d1914fb6 | f80e8cb351b4c0fea797542afc033a0d | cryptography | soos | unsat | empty | no | hitag2-10-60-0-0xdf7fa6426edec07-17.cnf.xz | anni_2022,application_2013,crypto_2021 |
| 19d28dbff9188a8bd38bcf78a6a3f4aa | e05f90673ca365e03e4caa7061736cd9 | diagnosis | anbulagan | unsat | empty | yes | total-5-11-u.cnf.xz | anni_2022,application_2009,industrial_2007,mus_2011 |
| 19dc8e4bf621cbc8a762c35525f883d6 | 6ecfc8ccccb24ba94de37c2427a61862 | prime-factoring | unknown | sat | empty | no | 50bits_13.dimacs.cnf.xz | anni_2022,main_2015,parallel_2015 |
| 19f63977cd3dca75b4efac7ed6b840c3 | bd13c208bdc08974cfd7acaaac1a8cc0 | planning | balyo | unsat | empty | empty | barman-pfile08-032.sas.ex.7.cnf.xz | anni_2022,application_2016 |
| 1a021f3c7bcb621aee1559634d052c0e | 63d6bce6775e33d64e02449a13785072 | sgen | spence | unsat | empty | no | s77-100.cnf.xz | anni_2022,crafted_2007,crafted_2012 |
| 1a117af89d52aafda3c07baed2ddef01 | 139a6a39351547520ed5ed3f7edbf35f | pigeon-hole | biere | unsat | empty | no | tph18.cnf.xz | anni_2022,crafted_2013 |
| 1a2a0537c8abab1738f3f3f8a3c06299 | ffd0612fc401d8fb9bd73492f9dd1fa1 | hardware-verification | manolios | unsat | empty | yes | manol-pipe-g6bi.cnf.xz | anni_2022,application_2009,main_2006 |
| 1a2b050423f028ab26b163bfa3601aba | 7b10d6ab1b0d92c99ff9e8a796ffd67f | miter | biere | unknown | empty | empty | g2-ak128astepmodasaig.cnf.xz | anni_2022,main_2017 |
| 1a3254cb7b54789fdd4d56bfaaa38df7 | e02c8863ebc50265e32ff9dd21a18745 | test-configuration | biere | unknown | http://hdl.handle.net/10138/333647 | no | satch2ways18wu.cnf.xz | anni_2022,main_2021 |
| 1a3320d3cf32f211b3e7b875745713e2 | 09fbc66c1e87eaaa8544a2070bd33094 | planning | balyo | unsat | empty | no | sokoban-p20.sas.cr.21.cnf.xz | anni_2022,application_2016,main_2021 |
| 1a3400dc32a3859afb20566a4ded9606 | 4e981bff51c4b310e906a5a3388f70aa | diagnosis | anbulagan | sat | empty | no | ACG-15-10p1.cnf.xz,g2-ACG-15-10p1.cnf.xz | anni_2022,application_2009,application_2012,application_2013,application_2014,main_2017,main_2020,main_2021,portfolio_2012 |
| 1a3bef9e03bab1ed4e9e34506d72a451 | fa13c2a03e2de11cd662f91eed4345bf | coloring | devriendt | unknown | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=65 | no | le450_25b.col.25.cnf.xz | anni_2022,main_2018 |
| 1a3f3a5b235c087c41ba255cbe0c7521 | 526aa8394337a3f4219b0319a36b2d37 | subgraph-isomorphism | anton | sat | empty | no | srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf.xz | anni_2022,crafted_2011,crafted_2012 |
| 1a418d6c8aad501ecb7b47310a3b80ea | 906d06b6da773c9e2c3f35f8f7508001 | pigeon-hole | sabharwal | unknown | empty | no | php-050-040.shuffled-as.sat05-1182.cnf.xz | anni_2022,crafted_2005 |
| 1a44872b002813b5afeda13c3dfeaa09 | 696983868a65ed64ca0e8579da9d6a0b | software-verification | post | unsat | empty | no | post-cbmc-aes-d-r2-noholes.cnf.xz | anni_2022,application_2009,application_2012,application_2014,main_2015,portfolio_2012 |
| 1a54d40df8c785978f943b19a073f498 | c70282a2a7530f05278f67c22706a32e | hardware-verification | manolios | unsat | empty | no | c10ni_i.cnf.xz | anni_2022,application_2012 |
| 1a5c0e7d9b8b53adec4cb83a17b24619 | 8f97ded59ab3014299da1e9cec448602 | quasigroup-completion | heule | sat | empty | yes | gensys-brn008.shuffled-as.sat05-3427.cnf.xz | anni_2022,crafted_2005 |
| 1a6a635f5b959e191ec705b2f236568a | 6fc37630b163e1a5ef129d7ad8a2aabf | bitvector | manthey | unsat | empty | yes | square.2.0.i.smt2-cvc4.cnf.xz | anni_2022,application_2016,main_2023 |
| 1a7a8aa061e82b717e9016a4f924e105 | b549c1b1f99695b563574a0dd039f6d1 | automata-synchronization | skvortsov | sat | empty | no | crn_11_100_s.cnf.xz | anni_2022,crafted_2011,crafted_2012 |
| 1a828f3b11399d2e9c0709e5b322891a | 46dd3294411501218fcdbfb017a0d0c4 | diagnosis | anbulagan | unsat | empty | yes | UR-10-5p0.cnf.xz | anni_2022,application_2009,mus_2011 |
| 1a831026c50d7f5ed5a696a99d57e365 | b1f214324f15ffc337f668d8b6432b2f | termination-analysis | fuhs | sat | empty | yes | AProVE11-16.cnf.xz | anni_2022,application_2011,application_2012,portfolio_2012 |
| 1aa1fac1ce123fd825c7846e075c03a1 | 41f8e02fc7d6860750f3d7a2c53a2a00 | software-bmc | manthey | sat | empty | yes | safe029_power.opt_false-unreach-call.i-cbmc-u2.cnf.xz | anni_2022,application_2016 |
| 1aa7cd96ab1f7bf58984deccf8362ab4 | c20b89cec4db67897bf0bf2ee59088d1 | miter | goldberg | unsat | empty | yes | rand_net50-60-10.shuffled.cnf.xz | anni_2022,industrial_2002,main_2023 |
| 1aa8a801f9c01f07c52e19d7a005233d | 9e1f19cfb7d657f633b723fce2684cd1 | core-based-generator | hartung | unsat | http://hdl.handle.net/10138/318754 | empty | ncc_none_12477_5_3_3_0_0_435991723.cnf.xz | anni_2022,main_2020 |
| 1aba9cd620303cf69e509ab9cc9a0c03 | 04f20f40667ae8c7f06b6e461011940c | bitvector | unknown | unsat | empty | no | maxxor128.cnf.xz | anni_2022,application_2009,application_2011,main_2010 |
| 1ac3aaccb392d349f2982f2bda21fb5a | 5e32286c9da2e6c5d13eec2470fa54db | fpga-routing | aloul | sat | empty | yes | bart15.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 1ad0c3475bd75896993d45245e3a81eb | fab844ba4d3f410d24cc80cfa7253e9c | rubikcube | jingchao | unsat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=46 | no | mp1-rubikcube212.cnf.xz | anni_2022,main_2017 |
| 1ad99ff22d30e7bb3de9005826eb8b74 | 399b4e167aaa179c15ffa20a0993acc2 | cril-misc | frioux | unsat | empty | no | g2-T135.1.1.cnf.xz | anni_2022,main_2017 |
| 1b03ec4f0dbdfc0ad208c315f08197ea | 476517fd1a5bdefc597543a9c1854bdf | hardware-verification | velev | unsat | empty | no | 12pipe_q0_k.cnf.xz | anni_2022,application_2012,application_2014,main_2010,portfolio_2012 |
| 1b059d3ebcb30574b7ec5c7ec7d7ea5b | 90ef85f639d5b4bc00f933e31e6e4bd6 | quasigroup-completion | heule | unsat | empty | no | gensys-icl007.shuffled-as.sat05-3133.cnf.xz | anni_2022,crafted_2005,crafted_2011,crafted_2012,portfolio_2012 |
| 1b0780e82e41f6ca9c6c2f37b5350789 | 97f918a0703f017cabb6ff707fc45b63 | tseitin-formulas | jarvisalo | sat | empty | yes | mod2c-rand3bip-sat-220-1.shuffled-as.sat05-2488.cnf.xz | anni_2022,crafted_2005 |
| 1b0fa370f2dc3156bcb0e0e800712792 | 24a3b217d0a903dc0f849e683e9619cf | miter | biere | unsat | empty | yes | ca128.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 1b14628a6605fc607c6d99d3d783251a | f3656a6ffd953e4808a5cb0fe343c6e3 | termination-analysis | yolcu | sat | empty | no | full-bf-ga-7-ce.cnf.xz | anni_2022,main_2020 |
| 1b17ca443cb77aa4f884a231d038bb7e | f136fb8e1e1306b01e5d3bfa93bb9e3f | bitvector | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=56 | no | sdiv20prop.cnf.xz | anni_2022,main_2018 |
| 1b2ca34573bf15e7e287eec79fa3bfea | cd07a79664c2bd5522d28cc3339bfd34 | generic-csp | connamacher | unsat | empty | no | connm-ue-csp-sat-n600-d0.00-s573116943.shuffled-as.sat05-527.cnf.xz | anni_2022,crafted_2005 |
| 1b3c7ac17705be94daaddb5f5ae4816b | 6fceac6a4707051d4602c9a6129a250a | rooks | manthey | unsat | http://hdl.handle.net/10138/135571 | no | rook-56-0-0.cnf.xz | anni_2022,crafted_2014,main_2024 |
| 1b3dc499f2d33d5b2caefdf0f7f5b092 | 2363f1555d32edd92cc131cc31cc1fa1 | coloring | vangelder | sat | empty | yes | inithx.i.1-cn-54.used-as.sat04-324.cnf.xz | anni_2022,industrial_2004 |
| 1b5b70b44ef517a92a8d97904d66c7ca | 94690e9dfa402629cdc2d7193912528f | scheduling | stojadinovic | unsat | http://hdl.handle.net/10138/135571 | no | atco_enc1_opt2_10_14.cnf.xz | anni_2022,application_2014,main_2015 |
| 1b67c3f80f6630fb9a3a3bef71492412 | ef78bfd30391bce9e75512874c8ee499 | mosoi-289 | mosoi | sat | empty | yes | 289-sat-12x15.cnf.xz | anni_2022,crafted_2011 |
| 1b6ad52b2db90aa6123a64b4f6a5e201 | 120233865960d9c05f64250612358a2b | miter | biere | unsat | http://hdl.handle.net/10138/135571 | no | 6s11-opt.cnf.xz | anni_2022,application_2014,main_2015 |
| 1b6fd1141ad7e0b18c6b69fa7a092f96 | 4cdb5534a029fedab1541ff1d84e1341 | purdom-instances | purdom | unsat | empty | no | 999999000001nc.shuffled-as.sat03-1675.cnf.xz,999999000001nc.shuffled-as.sat03-1675.used-as.sat04-782.cnf.xz | anni_2022,handmade_2003,handmade_2004 |
| 1b72d2cd3e978b7ad976b6f1d2174dd4 | eb2f02e3795177ff09d87d2c59936c85 | sgen | spence | unsat | http://hdl.handle.net/10138/135571 | no | edges-070-3-10062999-36.cnf.xz | anni_2022,crafted_2014 |
| 1b7ace91c2783cc58a4c3bba7f95d122 | 00f46a0eb209ea29c8250ddf8221eeb7 | coloring | vangelder | unsat | empty | yes | rope_0007.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 1b8c45c42a818db8f62bcbfd6f52c881 | 609c59e6c09262aed0ad226722590361 | minimal-superpermutation | lester | sat | http://hdl.handle.net/10138/333647 | no | sp5-21-15-bin-stri-tree-noid.cnf.xz | anni_2022,main_2021 |
| 1b8d4c52a9e18659d8912ee6aaf785ff | 8eced06c3af892345c9bd77b3d101725 | miter | goldberg | unsat | empty | yes | rand_net50-25-10.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 1b8e995452d94c2db70cedf14a3f26da | 35e713b9182240d7851364f468685dac | bitvector | unknown | unsat | empty | no | countbitswegner128-sc2011.cnf.xz | anni_2022,main_2019 |
| 1b9e21b3efa0a59383777bb62781841e | 2f1aa0f4b88a0a27c14d1022f902bebf | 2d-strip-packing | leberre | unsat | empty | yes | korf-15.cnf.xz | anni_2022,application_2011 |
| 1ba98bb55acf6b42e5ddf03d48ee73ef | 681b5f1ae29304421c11602c3e980039 | xor-chain | zhang-lintao | unsat | empty | no | x2_56.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 1bb9929010e0c209f1e59dedba54d9ad | 55558970a869828129789f7e570bcb49 | edit-distance | mengel | sat | http://hdl.handle.net/10138/333647 | no | edit_distance023_282.cnf.xz | anni_2022,main_2021 |
| 1bb9fe12b4fb50e98903ee87a51d6472 | fe59a4053ee685c47d184e96b2694b22 | miter | goldberg | unsat | empty | no | goldb-heqc-k2mul.cnf.xz | anni_2022,main_2020 |
| 1bbfa338869ad186ccd345c316a8bed5 | 66cc8d973f8e0003553e196917debf17 | miter | unknown | unsat | empty | no | hwb-n32-03-S717522696.shuffled-as.sat05-499.cnf.xz | anni_2022,crafted_2005 |
| 1bc4ef8b58f3ba19bf1f32ba4ff92e20 | 105f1cde63bbe6ec2c127b4b0e91105b | popularity-similarity | levy | unknown | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=49 | no | mp1-ps_5000_21250_3_0_0.8_0_1.60_0.cnf.xz | anni_2022,main_2017 |
| 1bc64571a2d63584f376db792e8d4acb | b3a021d3d495544d0f630e350677ce4c | pigeon-hole | jingchao | unsat | empty | no | ae_rphp045_05.cnf.xz | anni_2022,main_2018 |
| 1bd9d36816a8b56557a2fe470a8cbf1c | 646c2559d8c92b048ec79f390ea67e58 | miter | stanion | unsat | empty | no | hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2012 |
| 1bda13dc3f81e34d66e3987011d23edf | 54902204cf43a450927d524fc155b33f | hardware-verification | manolios | unsat | empty | yes | c10i_i.cnf.xz | anni_2022,application_2012,portfolio_2012 |
| 1bda6f076bbed75ed4250946919446a6 | dd5be59ab30bfb09f9713ec67f7d8b54 | cardinality-constraints | wynn | unsat | empty | no | mp1-squ_any_s09x07_c27_sinx_UNS.cnf.xz | anni_2022,main_2017 |
| 1be2fc96e9c10ceb11491d884141c581 | b3f5230d787901427530922938e09ba0 | hardware-verification | ibm | sat | empty | yes | ibm-2002-20r-k75.cnf.xz | anni_2022,main_2008 |
| 1bfeb2be948a57e0c04e0e6ff8cfde96 | bd1d3579e1a1fae9cf235e6b3be4711e | miter | goldberg | unsat | empty | yes | rand_net40-60-5.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 1c003fbf30233b05b807d87ecb68dfdb | 2d8badbd48d5ae825a6a2ce3c661cfa7 | cryptography | unknown | unknown | empty | no | aes_id.cnf.xz | anni_2022,main_2015,parallel_2015 |
| 1c1d04b20da61c0bc2328cdca8b8aa3a | 0e3dc2c11bfd2d95687ca0492cb3104b | scheduling | djamegni | unknown | http://hdl.handle.net/10138/318754 | no | Timetable_C_241_E_45_Cl_16_S_14.cnf.xz | anni_2022,main_2020 |
| 1c208d3e82f5a8398aa048db7a2d7c25 | 9fcc30206a32cdfa228626bbfdc66420 | subgraph-isomorphism | anton | sat | empty | yes | satsgi-n24himBHm27-p0-q257.cnf.xz | anni_2022,crafted_2012,portfolio_2012 |
| 1c2bd05b935d6c3239907159f13f2a1d | 0723bb846a9b526ae3dad75cc2608679 | stedman-triples | johnson | sat | empty | yes | sted5_0x0-40.cnf.xz | anni_2022,main_2018 |
| 1c35c510ad106bfcdbc76ff49e710ce6 | e7a4305252d7bdbd6899123421f03dd0 | argumentation | xindi | unsat | http://hdl.handle.net/10138/333647 | no | ER_500_40_2.apx_0.cnf.xz | anni_2022,main_2021 |
| 1c3abce44050ac9e289c84b42f29e62b | 3fe81663f6732960ca03a2165b25e9ad | dimacs-sorter | manthey | sat | empty | yes | manthey_DimacsSorterHalf_29_2.cnf.xz | anni_2022,main_2015 |
| 1c3ead67cae5d59d980d770049594c12 | 736a8076dced75ec68ce4d6be1bc412f | fixed-shape-random | belov | sat | empty | no | fsf-300-354-2-2-3-2.23.opt.cnf.xz | anni_2022,crafted_2012,main_2020,portfolio_2012 |
| 1c4954b4113ddc4413612977b85818af | add9829c1f1540e7d8eafba199f958c0 | hardware-verification | marques-silva | unsat | empty | yes | g6b.cnf.xz | anni_2022,mus_2011 |
| 1c5402f2cdb730ec6545392312d582b2 | 67b2075d327136bd9373b158afaadb1f | planning | balyo | unsat | empty | no | sokoban-p16.sas.cr.39.cnf.xz | anni_2022,application_2016 |
| 1c5a8f591b12518ccb1f8d442b3cfc3b | 12424f4481b64a7447168127537a4463 | rbsat | huang | unknown | empty | no | rbsat-v2400c266431g10.cnf.xz | anni_2022,crafted_2011 |
| 1c5db14105658d929d0dbe0c4128e87b | 0b802b49647921555ff7f2b3441957f6 | pebbling | elffers | unsat | empty | no | peb-pyrofpyr-15-neq-3_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 1c6281c3cc5c502b64a644ed644a8ab7 | 6cbe55515c777e3a786daf6f8c78a728 | tseitin-formulas | jarvisalo | unsat | empty | no | mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2012 |
| 1c75c324c67bd3d1017b9445047fac73 | ff8b755a6639c374dfc94b22f467b975 | hardware-verification | manolios | unsat | empty | no | f10n.cnf.xz | anni_2022,application_2012,portfolio_2012 |
| 1c7b5b34e3382e001cda8534cd375694 | 0ea13120a7283330d6a08b434cbf52d1 | modcircuits | unknown | sat | empty | no | mod5block_2vars_12gates.cnf.xz | anni_2022,crafted_2009,crafted_2012 |
| 1c891fbaddf0ed1ca3e0db38e80f2a54 | f6c78d35d7913d47c84ea516f4fc9b1d | diagnosis | anbulagan | unsat | empty | yes | UR-20-5t0.cnf.xz | anni_2022,mus_2011 |
| 1c97ff3fbc3231853da88d0aeb540635 | f0bb42137a930ec5ba2c7ecf1fca9121 | quasigroup-completion | sorge | sat | empty | yes | iso-brn007.shuffled-as.sat05-2701.cnf.xz | anni_2022,crafted_2005 |
| 1cb6c63a28babfdcb9d25c404cc64f1e | e34e231583160093203374ba4ecc9776 | testpattern-generation | marques-silva | unsat | empty | yes | bf1355-446.cnf.xz | anni_2022,mus_2011 |
| 1cb7af4ec9d0a7363076dfe80227ce09 | 3576a00f511cacafe67543421ff00f63 | tseitin-formulas | elffers | unsat | empty | no | tseitingrid7x155_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 1ce81dbba1292bf791e194b17aa2a219 | b012253e9399c4f41d77d37aaa992ab0 | test-configuration | biere | unsat | http://hdl.handle.net/10138/333647 | no | satch2ways15u.cnf.xz | anni_2022,main_2021,main_2023 |
| 1ceaa7ab8e959e87cf46811a47c48451 | 171762bb6ded260a73a998b5010b22b4 | hgen | heule | unsat | empty | no | hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf.xz | anni_2022,crafted_2007 |
| 1cf2f33805e820586e30124fa003e6bb | c73b76feb6565458fef34f05954d4228 | pebbling | sabharwal | sat | empty | yes | pbl-00300.shuffled-as.sat05-1321.shuffled-as.sat05-1321.cnf.xz | anni_2022,crafted_2005 |
| 1cf811db8e82dba1be564213ab97d57e | 9a03c3705b98e5c383e42a74efcf040d | cryptography | nossum | sat | empty | no | 007.cnf.xz | anni_2022,application_2013 |
| 1d0694a99426e486c1ee157dfe19c8f7 | 397061046af7f13648b890a944b91892 | coloring | sabharwal | unknown | empty | no | clqcolor-20-15-18.shuffled-as.sat05-1262.cnf.xz | anni_2022,crafted_2005 |
| 1d1f0c0cba7ce875a20ecc8ac8a069d8 | aae89c61b87a68cc4a1d9f8a496ee385 | coloring | manthey | unknown | http://hdl.handle.net/10138/135571 | no | ccp-s7-facto4.cnf.xz | anni_2022,crafted_2014 |
| 1d485cd178c4f2d8b6838b85e7905522 | a55fad7dc12b23f5838a3c806d6e2cbd | bitvector | kovasznai | unsat | empty | yes | shift1add.22961.cnf.xz | anni_2022,crafted_2013 |
| 1d49cc104b84dae244a7b535ff59d7aa | 1507f9314c858fbf58ca9d1ea7806f54 | sorting-networks | ehlers | unsat | empty | yes | snw_13_8_CCSpreOptnopre.cnf.xz | anni_2022,application_2016 |
| 1d4a6342116b787bc5de11c523df8456 | d9f5df5f01c86d807db711302e735d27 | miter | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 | no | g2-hwmcc15deep-bob12s02-k17.cnf.xz | anni_2022,main_2017 |
| 1d4daeeddbdeb9ad48c15e96469d1a3f | 9ce459138eb4a4c6ef5bd9f5593d01b0 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_50_30_20_1-dir.shuffled-as.sat05-439.cnf.xz | anni_2022,crafted_2005 |
| 1d4ff0a38cdd4f8fb424b4fb0c7574e7 | 83f1a783c23ed799c42eb8a847942c97 | coloring | sabharwal | unknown | empty | no | clqcolor-16-11-14.shuffled-as.sat05-1261.cnf.xz | anni_2022,crafted_2005 |
| 1d567dd1fccbe35405eeda280c4ca15d | 14643fc655acdde96295700972e67c16 | quasigroup-completion | gomes | unknown | empty | no | bqwh.60.1080.shuffled-as.sat03-1649.cnf.xz,bqwh.60.1080.shuffled-as.sat03-1649.used-as.sat04-761.cnf.xz | anni_2022,handmade_2003,handmade_2004 |
| 1d6457d39153524c91ddada7eaee8ce7 | 0515917d4b1854af9c59e8eeeea74319 | cryptography | soos | sat | empty | no | hitag2-7-60-0-0xc048b9ebae66e9d-32-SAT.cnf.xz | anni_2022,application_2013 |
| 1d652e9c0385c36e53c007928c1e21a0 | 7bdd4670f75c54488230f65a0b41d75e | testpattern-generation | marques-silva | unsat | empty | yes | bf1355-530.cnf.xz | anni_2022,mus_2011 |
| 1d6609213826bec81693f2f6987b4c16 | d01278e06c5f002ba098aea2c29b4a7b | grandtour-puzzle | chowdhury | unknown | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=59 | no | gto_p50c291.cnf.xz | anni_2022,main_2018 |
| 1d82cc80a18de76c0afb927e1beec38e | e0f99a5c972cc4de37e312c7d29ca10e | hgen | heule | unknown | empty | no | hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf.xz | anni_2022,crafted_2007 |
| 1d8ba32a4ced58e32e4e5458b58dfc72 | 748dcb4dc81e9c6be6bed479e2d6f4db | coloring | pehoushek | sat | empty | no | 4col260_9_6.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 1d8fb889c3238adca875fafb61a9e2c6 | 74741a83f37d6534a9a6310113bcb9bd | polynomial-multiplication | xiao | unsat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=61 | no | Nb39T6.cnf.xz | anni_2022,main_2018 |
| 1d911c0131e34279e2f77f321c7cec9e | 78401209fca3d40dea6de8893c5777ba | pigeon-hole | biere | unsat | empty | no | tph16.cnf.xz | anni_2022,crafted_2013 |
| 1d9355bd9a5c79a38de703033aae1d02 | 5e04a7c43facef074debbed51cd4d039 | quasigroup-completion | sorge | sat | empty | yes | iso-brn001.shuffled-as.sat05-3624.cnf.xz | anni_2022,crafted_2005 |
| 1da295e464b0f17a9f39961d13b25773 | 82ef5119fc4e9927c5268066deb43b6a | clustered-random | anton | unsat | empty | no | contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009,crafted_2012 |
| 1da3e5e6478334828066edfc397b061c | 07d3802762e170490dbb44885fd926ab | matrix-multiplication | heule | unknown | empty | no | MM-23-2-2-2-2-M.cnf.xz | anni_2022,main_2019 |
| 1daf64a049000c839dc207f32f896795 | c42b2abee227013d985f9b46275fbf2a | coloring | heule | unknown | empty | no | Schur_161_5_d24.cnf.xz | anni_2022,crafted_2016 |
| 1db1c0c68b0081e470d397723d1c5ac4 | 738035aaca4ea19699a081baf2a6df27 | relativized-pigeon-hole | elffers | unsat | empty | no | rphp4_110_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 1dbc2bee1b923ba11a0e6cc542b1a090 | 8ca61446b9c1dbb319feed306e33b984 | hardware-verification | ibm | unsat | http://hdl.handle.net/10138/135571 | no | SAT_dat.k95-24_1_rule_2.cnf.xz | anni_2022,application_2014 |
| 1dc8ac7be7b58d0ffa0005f003b00ad8 | 3c87524b9de5faeab2212cf6552f2ed3 | scheduling | kummling | unsat | empty | no | ctl_4291_567_2_unsat_pre-sc2013.cnf.xz | anni_2022,main_2019 |
| 1dce69ee6685597d6c56e5fd7a47f8e0 | 947c20ea701fe29694005a7b33e6d778 | scheduling | djamegni | unknown | http://hdl.handle.net/10138/333647 | no | SC21_Timetable_C_136_E_41_Cl_9_S_15.cnf.xz | anni_2022,main_2021 |
| 1dcf6e6230a551af0cbc5fa0d6be0654 | b53ce111947ee7486a143a313f6abd6b | purdom-instances | purdom | unsat | empty | yes | 2000009987nc.shuffled-as.sat03-1665.cnf.xz | anni_2022,handmade_2003 |
| 1dd33090e99dcd0508563727cc2712a1 | 0510bcfdf86cb738fb44aea449ca3f04 | popularity-similarity | levy | unknown | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=49 | no | mp1-ps_5000_21250_3_0_0.7_0_1.50_4.cnf.xz | anni_2022,main_2017 |
| 1dd5ffcc6c443948656e5c5d9a982098 | 59e66a5afa8c74017b6822c03012ecd4 | software-verification | unknown | unsat | empty | yes | hard-10-U-9007.cnf.xz | anni_2022,main_2010 |
| 1de013d98cc407c5bbb1c08d05e03ab6 | 21c8951200ce767f081061f24ea12861 | parity-games | friedmann | sat | empty | no | instance_n8_i9_pp.cnf.xz | anni_2022,crafted_2009,crafted_2012,crafted_2014,portfolio_2012 |
| 1de591491247dababc5ce9e9fded9a85 | eec6180542cd4ab5a84f6455a87d0b75 | coloring | heule | sat | empty | no | Schur_160_5_d31.cnf.xz | anni_2022,crafted_2016 |
| 1de5dab21b0f1be4617ca5e0422a769a | 60bbf8aef152f18da440227cac4566df | planning | surynek | sat | http://hdl.handle.net/10138/135571 | yes | mrpp_4x4#6_12.cnf.xz | anni_2022,crafted_2014 |
| 1e0796ada9950ce80117102eb7913a85 | 58aaf8200b4a18c19aec8bf92d9f1490 | miter | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=49 | no | 6s169-opt-sc2014.cnf.xz | anni_2022,main_2019 |
| 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 |
| 1e12e63cdf1605022ab71a9669e1efdf | 1e3f905412d6fbf2a3ec406ae3d4a31f | cryptography | liang | unknown | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=45 | no | mp1-23.7.cnf.xz | anni_2022,main_2017 |
| 1e205d128706e276813704e50bc49863 | 446e3584c250ac04bd0fe0b7dc52f610 | quasigroup-completion | sorge | sat | empty | yes | iso-ukn003.shuffled-as.sat05-3384.cnf.xz | anni_2022,crafted_2005 |
| 1e27f848701d670edefb2a9c698b2776 | 3b761c319f90d880b2c7865e977203f9 | miter | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 | no | g2-hwmcc15deep-intel066-k10.cnf.xz | anni_2022,main_2017 |
| 1e35d939af7897ca53f87757754adec9 | 8a81b633d93d26aa605220adaf702cf2 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf.xz | anni_2022,crafted_2011,crafted_2012,handmade_2003,main_2020,portfolio_2012 |
| 1e3a230c767270048f4ec3f31b1b2ada | 431c67d106e49ecb598191ff7dd25053 | cryptography | sesum | sat | empty | no | g2-gss-24-s100.cnf.xz,gss-24-s100.cnf.xz | anni_2022,application_2009,application_2012,application_2013,application_2014,application_2016,main_2017 |
| 1e3bc16711797a3757873f6768a50bf9 | 417cecacc9cb717cec13dc398b2ebe18 | hardware-verification | dellacherie | sat | empty | yes | simon03:sat02:w08_14.used-as.sat04-359.cnf.xz,w08_14.shuffled.cnf.xz,w08_14.used-as.sat04-359.cnf.xz | anni_2022,application_2012,industrial_2002,industrial_2004,portfolio_2012 |
| 1e3c3e8d349759b8b482a6f2721762c4 | a9951c86d41d4511a1caf1889e7164c6 | cryptography | soos | sat | empty | no | apn-sbox5-cut3-symmbreak.cnf.xz | anni_2022,main_2018,main_2024 |
| 1e3f808581534a79cbb7dbd0e111837b | f284fa52b23e33602a0e8116e7d84f06 | software-verification | marques-silva | unsat | empty | yes | dspam_dump_vc973.cnf.xz | anni_2022,mus_2011 |
| 1e42a3eadf23a720b9905e58a364101e | 168b03e3784224eaf97aca691700aa71 | tseitin-formulas | jarvisalo | sat | empty | no | mod2-rand3bip-sat-290-2.shuffled-as.sat05-2279.cnf.xz | anni_2022,crafted_2005 |
| 1e43089090db421e981fe62b3f3dbce7 | d00e2b8d5293f0d893ec8610fb8b072f | miter | wedler | unsat | empty | no | custmulsb2x32o.cnf.xz | anni_2022,application_2016 |
| 1e5c9f60c9cefd8b094ba5287e7acd8c | c94571aaceade9f9768216ca3d10410e | bitvector | kovasznai | unsat | empty | yes | shift1add.12991.cnf.xz | anni_2022,crafted_2013 |
| 1e62a8b371d5a7de99faffc52d915e26 | af70f4beea9af21ee5ac65b7d038cd0b | diagnosis | anbulagan | sat | empty | no | ACG-10-10p1.cnf.xz | anni_2022,application_2012,portfolio_2012 |
| 1e668068c26b223b9f0482fe5d1f82f2 | 797e388e084e58c10e38611b72821d42 | polynomial-multiplication | xiao | sat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=43 | no | mp1-Nb5T14.cnf.xz | anni_2022,main_2017 |
| 1e7029fdd34b04119ba191f7c67956a1 | 5f36fc77f8efb1f9abf296fd9f6b326a | scheduling | strichman | sat | empty | no | course_flat_0.2_2018_3.cnf.xz | anni_2022,main_2018 |
| 1e8af331b822f6b7bc1754be9d64499f | fd571ff097f19f38b07cd7a71ec75739 | hypertree-decomposition | schidler | unsat | http://hdl.handle.net/10138/318754 | no | Kakuro-easy-065-ext.xml.hg_3.cnf.xz | anni_2022,main_2020 |
| 1e91b465bc8ea51467272b44487428f8 | c98deebdd67aa57745a1f539e30930c8 | planning | rintanen | sat | empty | yes | openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.085-SAT.cnf.xz | anni_2022,application_2012 |
| 1ea3303c1afa65b98320e4383de5db00 | 45b62c76a10d999e0c4c22c6c97fe04c | tseitin-formulas | jarvisalo | sat | empty | yes | mod2c-rand3bip-sat-150-2.shuffled-as.sat05-2384.cnf.xz | anni_2022,crafted_2005 |
| 1eaa50c1a65464ef6a3f65f46f6d1a44 | fb519a78e387f5bb5bb014e9f748c86a | diagnosis | anbulagan | sat | empty | no | UCG-20-5p1.cnf.xz,g2-UCG-20-5p1.cnf.xz | anni_2022,application_2009,application_2011,application_2012,application_2014,application_2016,main_2015,main_2017 |
| 1eabc0df9be862042637dbb555212a21 | 35305ab4a8ff09524d812bad276e80dd | waerden | kullmann | sat | empty | yes | VanDerWaerden_pd_2-3-18_311.cnf.xz | anni_2022,crafted_2012,portfolio_2012 |
| 1eaf726460f8391351498eb122e19619 | 241273ea85654dd3ef7b2a6d7d81ae7d | pebbling | sabharwal | sat | empty | yes | grid-pbl-0100.shuffled-as.sat05-1337.shuffled-as.sat05-1337.cnf.xz | anni_2022,crafted_2005 |
| 1eb3ccb3f88643710a3f6e860b6e44d9 | 0cb553a0fcdb7a67bb51bef7225c667b | software-verification | post | unsat | empty | no | post-c32s-gcdm16-23.cnf.xz | anni_2022,application_2009,application_2011,application_2012,main_2008 |
| 1ec3608016d7eefc69d214efae4f2830 | e881a616f4b2a56fa414aceb0c255a38 | fdmus | unknown | unsat | empty | yes | fdmus_b15_421.cnf.xz | anni_2022,mus_2011 |
| 1ec59670e3e922b77223dfb0bd049174 | 06ed819e19ff4689f89c7deae8ac8dee | bitvector | kovasznai | sat | empty | yes | ndist.b.29481.cnf.xz | anni_2022,crafted_2013,crafted_2014 |
| 1ed4590c1a44678115ccb2e049d22888 | dddc2256e0c2f2b5502689000960b18c | pigeon-hole | sabharwal | unsat | empty | no | harder-fphp-018-017.sat05-1231.reshuffled-07.cnf.xz | anni_2022,crafted_2007 |
| 1ee2f05c4c77daa720f71a90358d5b2c | 9b75cd500ed60ff37b0a675c36fa4714 | rbsat | huang | unknown | empty | no | rbsat-v2640c305320gyes2.cnf.xz | anni_2022,crafted_2011 |
| 1ee3caea6793a2b3580e86b16e13bcf0 | 91ab990db038378c33587608976876a9 | sgen | spence | unknown | empty | no | sgen1-unsat-133-100.cnf.mis-99.debugged.cnf.xz | anni_2022,crafted_2012,portfolio_2012 |
| 1ee5d51d25659c5d87ad729580a8acdd | 32ea277e253830de7989c4753dd6cda6 | hardware-verification | marques-silva | unsat | empty | yes | dlx2_cc.cnf.xz | anni_2022,mus_2011 |
| 1eea3d913d346b900252d77fc0cb25c8 | c0c913442dcbb100ed1fb39cf075590f | minimal-disagreement-parity | simon | sat | empty | no | par32-4.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| 1eedb883641e84acef2241c86e5bfb34 | 046a8123be0445d9616e3b9966e4d0d6 | pigeon-hole | biere | unsat | empty | no | tph10.cnf.xz | anni_2022,crafted_2013 |
| 1efa5605501a8e26277b9a8a65bb1fa1 | 1b2375daa5925e785a493f5e83581047 | hardware-verification | unknown | unsat | empty | no | shuffling-1-s1322003189-of-bench-sat04-344.used-as.sat04-483.cnf.xz | anni_2022,industrial_2004 |
| 1efff2f19436cee8ee776c96ffd72f9c | d9e71c9be9428212d11544870c9ddf31 | rbsat | huang | unknown | empty | no | rbsat-v2400c266431g6.cnf.xz | anni_2022,crafted_2011 |
| 1f1ab8bc58bb4bc09d309418bbf474da | 505d8f4dd5da9ec5080dec4bfd89191e | bitvector | unknown | unsat | http://hdl.handle.net/10138/135571 | no | bvult_16967.cnf.xz | anni_2022,crafted_2014 |
| 1f27039fb6e13b96064e9037feb09a6b | d0b9481548a3e0373ce5ac7fb4e97a11 | quasigroup-completion | sorge | sat | empty | yes | iso-brn004.shuffled-as.sat05-3504.cnf.xz | anni_2022,crafted_2005 |
| 1f39844e4b9a6fc619e485cdbe2c5b5f | 9acafcedd9bff89e76ccc1ee47008e09 | cryptography | md5gen | unsat | empty | yes | gus-md5-07.cnf.xz | anni_2022,application_2009,application_2012,main_2010,portfolio_2012 |
| 1f3b251666b7b9aa4bfad28d5ecfecc2 | 9724cfa454dbcbaa868e5b4f6bbff686 | polynomial-multiplication | xiao | unsat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=61 | empty | Nb45T6.cnf.xz | anni_2022,main_2018 |
| 1f413718bf393d43d31a1e498fc4d123 | d8f64bb8f381d18abde255f51bd72c6a | social-golfer | zhou | unsat | empty | no | SocialGolfers-6-6-6-cp_c18.cnf.xz | anni_2022,main_2019,main_2020 |
| 1f49f37f051af218337c654f120cf4d0 | d2e39b5989a42442b07def62d0b2e449 | tree-decomposition | ehlers | sat | empty | yes | ex039_33.cnf.xz | anni_2022,main_2018 |
| 1f679d620f0051c9d9855375a9f0e11a | e7d2d6c6f41cdfdf3b1ee71565c9f982 | testpattern-generation | marques-silva | unsat | empty | yes | bf1355-598.cnf.xz | anni_2022,mus_2011 |
| 1f693da03f63d7fe318e511fe32fd09d | 2b649b62c8d0ea9c093de4e3f905b877 | fpga-routing | goldberg | unsat | empty | yes | c880_gr_rcs_w5.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 1f77a8cda544f1bd1e305cae526d864e | ba0d4d8ad4ec0c4f80248a38bf7cd98d | testpattern-generation | marques-silva | unsat | empty | yes | bf1355-227.cnf.xz | anni_2022,mus_2011 |
| 1f7d2a5f671c717bdaa409492ac3ab3d | 77908852390e210b30836f074e04c6c1 | cryptography | soos | unknown | empty | no | apn-sbox6-cut4-helpbox23.cnf.xz | anni_2022,crypto_2021,main_2018 |
| 1f7e236253031580d95de12d3c92dc13 | 1cde41eea955651a545dd2da177d3d6b | planning | maris | sat | empty | yes | ferry6_ks99a.shuffled-as.sat05-4063.cnf.xz | anni_2022,industrial_2005 |
| 1f81f7e009f501014cb23a8c2d41836f | 3ec02a4d537f8354d1cfd79b2a0172b5 | diagnosis | anbulagan | sat | empty | no | ACG-20-10p1.cnf.xz,g2-ACG-20-10p1.cnf.xz | anni_2022,application_2009,application_2012,application_2014,main_2010,main_2015,main_2017,parallel_2015 |
| 1fc49d87bca58158ec5dd79f89934cac | 079a3c38d33b4f3ac259a2ef800cc66f | coloring | pehoushek | unsat | empty | no | 5col140_15_6.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 1fdc28d676358b7e66bdf072dbbdba0b | 9f1b8059b58558cdc68a330cf0b42967 | sgen | spence | unsat | empty | yes | sgen1-unsat-73-100.cnf.xz | anni_2022,crafted_2009,crafted_2012 |
| 1fec79b65c5b3d10b6a2328c1a304d67 | da2d887f2b143090e8318a4e9322b813 | hardware-verification | unknown | sat | empty | empty | shuffling-1-s1704429820-of-bench-sat04-721.used-as.sat04-734.cnf.xz | anni_2022,industrial_2004 |
| 1ff076565e0d5898c7a659ca79752a88 | dbff3a6d93c78b48f1d5190063bee74a | bitvector | jarvisalo | unsat | empty | no | smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf.xz | anni_2022,application_2011,application_2012,application_2013,application_2014,portfolio_2012 |
| 1fffafc9143815f74ec6628a983afe75 | 7c14ce7e71d7feb6c4a4bc0b57a3b4eb | quasigroup-completion | heule | sat | empty | yes | gensys-brn003.shuffled-as.sat05-2747.cnf.xz | anni_2022,crafted_2005 |
| 200023103e35069382ed4b62bf1ac984 | b01fb7d3db65ac92867d1ad6998fe915 | edge-matching | heule | sat | empty | yes | em_11_3_4_all.cnf.xz | anni_2022,crafted_2009,crafted_2012 |
| 20132fb2ea02d8606840eb1d63f9f5c5 | c5eefe30113d5c18186466d468cb932c | bitvector | unknown | unsat | empty | no | maxor064.cnf.xz | anni_2022,application_2012,application_2013 |
| 20262e9643d524e66cd542e9ba1a4a20 | 12172b2274b84e603671801d2efb221b | software-verification | post | sat | empty | no | zfcp_sat_bench_2_8.debugged.cnf.xz | anni_2022,application_2012 |
| 2035c51968baa1217ec6dafa13d012b1 | e597389191d78f1f3d4f8d294f340fd0 | minimal-disagreement-parity | simon | sat | empty | no | par32-1-c.shuffled-as.sat03-1531-sc2002.cnf.xz | anni_2022,main_2019 |
| 204e7d9bbcc53a46ffd754645096f361 | c2dad98edb652e9e3d46d75251f69151 | rbsat | huang | sat | empty | no | rbsat-v760c43649gyes8.cnf.xz | anni_2022,crafted_2012,portfolio_2012 |
| 20591b26327456307f9df4a314566d9b | 44fc183b2ce8d374046d7ce0cb28b1c0 | planning | maris | sat | empty | yes | ferry9_v01a.renamed-as.sat05-4009.cnf.xz | anni_2022,industrial_2005 |
| 2067ba1b7fa867b3fc29566df6841d15 | 6a1a01b52191cc0d4fe412897a5e4acf | diagnosis | anbulagan | unsat | empty | no | dated-10-13-u.cnf.xz | anni_2022,application_2012,application_2013,application_2014,industrial_2007,main_2010,main_2015 |
| 2079b4f15cf2d4a2e6b5ebfa58de5a27 | afd8df3334621d36ca820be4b356e593 | miter | biere | unsat | http://hdl.handle.net/10138/135571 | no | 6s13-opt.cnf.xz | anni_2022,application_2014,main_2015,parallel_2015 |
| 208493ac024b007607863a6c851a0b6f | f9eece5b86040299b7d0e857c192f742 | hardware-verification | unknown | unsat | empty | empty | shuffling-1-s580450786-of-bench-sat04-719.used-as.sat04-732.cnf.xz | anni_2022,industrial_2004 |
| 2085dbded42cdd34fa468e06b8fc6e24 | 0a6228ea692f9be19624cf943401b048 | dining-philosophers | biere | unsat | empty | yes | dp08u07.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 208ce3add563b1e398668ec07a73950d | b46c0ec1581c6cdfdfbd0d05a397b456 | rbsat | huang | sat | empty | no | rbsat-v1150c84314gyes2.cnf.xz | anni_2022,crafted_2012,portfolio_2012 |
| 2094741e84d03f957cd3a627f3a289e2 | 0535d49be0380e91746e8bc1ac20b424 | hardware-verification | dellacherie | unsat | empty | yes | w10_45.shuffled.cnf.xz | anni_2022,industrial_2002,mus_2011 |
| 209480dd08c8f9afbfea2e539be823d4 | acadfdce49e9a86878233b27666276b5 | prime-factoring | bebel | sat | https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=47 | no | toughsat_24bits_2.cnf.xz | anni_2022,main_2019 |
| 20af7a90131ea05e1ef53ea3705088c9 | 7ac649c9eec88e6c17a116042eb062c8 | bitvector | jarvisalo | sat | empty | yes | smtlib-qfbv-aigs-bin_libsmbclient_vc1225238-tseitin.cnf.xz | anni_2022,application_2012 |
| 20b1b9f69fa22ad64883cbf85cacf071 | 2fb16d780654e935ba5ec2c8bee5b21e | miter | jarvisalo | unsat | empty | no | hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin-sc2011.cnf.xz | anni_2022,main_2019 |
| 20b86c7c07f87b5da3c24ae2db492c5b | 88e4b43ece9d7489ff67e928b8366f54 | pythagorean-triples | heule | sat | empty | no | Ptn-7824-b17.cnf.xz | anni_2022,crafted_2016 |
| 20d8c1d58d1043a6737db9457666a0fc | ca8d32680f9363308d82ea0e443e35a9 | cril-misc | frioux | unsat | empty | no | g2-T102.2.1.cnf.xz | anni_2022,main_2017 |
| 20eae925c1db6bed538317390f0f5896 | 0f7f42b574159c05b360eb351a3b3b60 | popularity-similarity | levy | unknown | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=49 | no | mp1-ps_5000_21250_3_0_0.7_0_1.45_0.cnf.xz | anni_2022,main_2017 |
| 20fa992483c3ec47a3ac7aa9228f2a97 | 844ec6066c7dfad08617286fbfac0e80 | hardware-verification | ibm | unsat | empty | no | ibm-2002-22r-k60.cnf.xz | anni_2022,main_2008 |
| 2114e419e9abd01591b787345e782b08 | 76fad282856907cd39ac4381f733da45 | hardware-verification | marques-silva | unsat | empty | yes | f7.cnf.xz | anni_2022,mus_2011 |
| 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 |
| 211938776d92f11870a687abd11d55a4 | a79f40c2566dfd14d2414ad27515c54d | quasigroup-completion | sorge | unsat | empty | yes | iso-icl004.shuffled-as.sat05-3238.cnf.xz | anni_2022,crafted_2005,main_2023 |
| 21251489e056446a241fccf3e97a50f6 | 5a3f476ed141891a8d508bb53cc9384b | mosoi-289 | mosoi | unknown | empty | no | 289-unsat-17x30.cnf.xz | anni_2022,crafted_2011 |
| 213c4eabd02f12ff075c751edb6dbff9 | e4601a8de7dd19fd5ece4455cb229290 | cryptography | heusser | sat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 | no | satcoin-genesis-SAT-4096.cnf.xz | anni_2022,main_2018 |
| 214a609d6a70d397010c27e42a2463fe | 44017badb0cd598736f7ae19c15ec7ea | hardware-verification | velev | sat | empty | yes | sss-sat-1.shuffled.cnf.xz | anni_2022 |
| 2160a6c887f1466a336795792346621e | 23c9ef5250882ce1361774358fdd9f57 | subgraph-isomorphism | anton | sat | empty | yes | satsgi-n18himBHm21-p0-q167.cnf.xz | anni_2022,crafted_2009 |
| 21634cd1f513b4aa7907cb8364d76e17 | dd08265cee5be6b38353a1ed8381162b | hardware-verification | marques-silva | unsat | empty | yes | g6n.cnf.xz | anni_2022,mus_2011 |
| 216649d54f3531537c6b01227b992b5e | 7dac60320ae642e30182e161513744bf | hardware-verification | manolios | unsat | empty | no | f8nidw.cnf.xz | anni_2022,application_2012 |
| 217256b141ade2c4d06120f01360f63a | 5c130cfaf079db6f766e3605c89979c2 | pigeon-hole | jingchao | unsat | empty | no | a_rphp035_05.cnf.xz | anni_2022,main_2018 |
| 21740843d60acdfd70276cdfd634bebe | 8c56033f8d571a782c3c5dafed39bcdf | hardware-verification | marques-silva | unsat | empty | yes | edn_2948_14.cnf_0.97000000.unsat.cnf.xz | anni_2022,mus_2011 |
| 217ecdc44b66b8f0330e80df7f7acabe | 62e67c16ded6f33772074c3c222f8246 | social-golfer | lynce | unknown | empty | no | sgp_9-8-8.sat05-2674.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009 |
| 21a16f532f37b506ba9b59952a40a2b6 | 9212df1cad2ef3ad37e1d8415f9b0122 | hypertree-decomposition | schidler | sat | http://hdl.handle.net/10138/318754 | no | Kakuro-easy-120-ext.xml.hg_6.cnf.xz | anni_2022,main_2020 |
| 21b173943af57eefaac5e88bfa2662ad | e60586dc23d0c4f7f459e24f81ef3200 | planning | unknown | unsat | empty | no | shuffling-1-s1769330284-of-bench-sat04-422.used-as.sat04-561.cnf.xz | anni_2022,industrial_2004 |
| 21c8393ab167357d0ae8040c61338bc0 | 64589c004dc078ea0feef81b31a523a0 | argumentation | wallner | sat | http://hdl.handle.net/10138/135571 | yes | complete-300-0.1-18-98765432130018.cnf.xz | anni_2022,application_2014 |
| 21df67ed55311eec689fea8c1be9d266 | b81182bf04227aa161073023ad7c0431 | knights-problem | unknown | sat | empty | no | hcp_d12_12.cnf.xz | anni_2022,main_2019 |
| 21e6e2a12564427cb2820bef20cb2bf4 | 4b092551cf5bb928fef921f1f9272976 | hardware-verification | velev | unsat | empty | yes | velev-eng-uns-1.0-04a.cnf.xz,velev-engi-uns-1.0-4nd.cnf.xz | anni_2022,application_2009,main_2006,main_2008 |
| 21f17c144185a505bb4a918e61d1e3bd | ed546dec0332b12c8daeafec3cec1d16 | bitvector | kovasznai | unsat | http://hdl.handle.net/10138/135571 | no | shift1add.29940.cnf.xz | anni_2022,crafted_2014 |
| 21f623f7f53093ddaf792ddadf405a91 | 32b09d880a2c9c3f6853ddb02df7408c | planning | maris | sat | empty | yes | satellite4_v01a.renamed-as.sat05-3991.cnf.xz | anni_2022,industrial_2005 |
| 21f9d175cd8af806b94a04c5de768ef5 | acf1e3c8c57df24ef98a48f7477a6c2d | unknown | unknown | unsat | empty | yes | gigamax.used-as.sat04-984.cnf.xz | anni_2022,industrial_2004 |
| 21fa658d6db005c959b0c95a9d6ca0e1 | fd1d0d3dc0f1163403fb971713b74934 | hardware-verification | ibm | sat | empty | yes | ibm-2002-27r-k95.cnf.xz | anni_2022,main_2006 |
| 21fbe69cf7c0b41e205b52d970f9a43a | c80b74e57e964a3a97486fd096390740 | software-verification | osama | unsat | http://hdl.handle.net/10138/333647 | no | string_compare_safety_cbmc_unwinding_870.cnf.xz | anni_2022,main_2021 |
| 21fc09c6badfc60aaa85cae664023cc6 | bc8b45f290dacccea094dc94fb314c5a | petrinet-concurrency | bouvier | unknown | http://hdl.handle.net/10138/318754 | no | vlsat2_30195_3855554.dimacs.cnf.xz | anni_2022,main_2020 |
| 2202872ca3566b20d48fdfe34d526219 | 17c738c851a82f0d7981d47d1eea604a | scheduling | kummling | unknown | empty | no | ctl_3791_556_unsat.cnf.xz | anni_2022,application_2013,application_2016 |
| 220a0543b7253ed85a7b1e74741c2e23 | b7895102dd82060953298bd04d997fa1 | hidoku | manthey | unsat | empty | no | hid-uns-enc-6-1-0-0-0-0-28258.cnf.xz | anni_2022,crafted_2013 |
| 220bb8aa093e502c47afcdac3140d67c | bd86eed3c49101c2c1a1b541dac8fa34 | cryptography | grieu | sat | empty | yes | vmpc_24.cnf.xz,vmpc_24.renamed-as.sat05-1912.cnf.xz | anni_2022,application_2009,industrial_2005,industrial_2007,main_2023 |
| 2211772ecda419756f82d595c9bb758d | cefaee25d8df1395607a418b910a9f9d | crafted-cec | klieber | sat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 | yes | mp1-klieber2017s-0490-022-t12.cnf.xz | anni_2022,main_2017 |
| 2226a27a174c7ddb3f2d48840b0f8b7a | a54a5b9ed6248e3f56acc90b59deeca3 | matrix-multiplication | heule | unknown | empty | no | MM-23-2-4-B.cnf.xz | anni_2022,main_2019 |
| 22462684680b2896485afd88cb818304 | e05db997be49fd541556d5fb64824452 | hardware-verification | manolios | unsat | empty | yes | manol-pipe-c6nidw_i.cnf.xz | anni_2022,application_2009,industrial_2007,main_2006 |
| 2248eb27346a57992746a10b75dda990 | 68c4f5e2aa16f86dd9c40216eaf7711b | miter | kojevnikov | unsat | empty | no | ak032modbtsimpbisc.cnf.xz | anni_2022,application_2016 |
| 2249bedd5355b9652a5cc46b47b011c4 | 79844700551051c47383f7977e2b7874 | hgen | heule | unknown | empty | no | hgen6-4-24-n650-03-S528656311.shuffled-as.sat03-847.cnf.xz,hgen6-4-24-n650-03-S528656311.shuffled-as.sat03-847.used-as.sat04-835.cnf.xz | anni_2022,handmade_2004,random_2003 |
| 22505280326ec66ba807b8b4edc48e1a | 5ac7ed293d1808b890ce62cb3a7bdddc | circuit-multiplier | shunyang | sat | http://hdl.handle.net/10138/333647 | no | Circuit_multiplier18.cnf.xz | anni_2022,main_2021 |
| 2260d28ec773357e73e5ee60aeac0f43 | 50fba6a841f793dc6b9d7442d189e6e4 | edge-matching | holten | unknown | http://hdl.handle.net/10138/318754 | no | b2005-p1-12x12c10h7-Ser3-0.cnf.xz | anni_2022,main_2021 |
| 226997c047218abf49500ef77facfe9a | 6140aa9a4e5a97d7eaa422cdbad8664f | hardware-verification | unknown | unsat | empty | yes | shuffling-1-s1771355652-of-bench-sat04-989.used-as.sat04-997.cnf.xz | anni_2022,industrial_2004 |
| 2285ff99f985f8f926d5159299cc8787 | a074e486a37197cf13b00d88582502f8 | bitvector | preiner | unsat | empty | no | 73.smt2.cnf.xz | anni_2022,main_2021 |
| 228b368e2e8a292ce787df9b4302de41 | 3b4741a94ee4c79d3dd9376950a00e1f | rbsat | huang | unknown | empty | no | rbsat-v2400c266431g5-sc2009.cnf.xz | anni_2022,main_2019 |
| 228ed6346fd41809b7a013849a1941e5 | 76a30e066cc44d592131c5f0f2fda05a | subgraph-isomorphism | anton | sat | empty | no | srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf.xz | anni_2022,crafted_2011 |
| 228ef00b38f04099bececbae99a1bd50 | fad17efc026dae24bf581be7987a70ec | planning | balyo | sat | empty | no | sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf.xz | anni_2022,application_2011,application_2016 |
| 229108125d69a62534637e0241cb8f43 | b01d391ba2e554eaf78fe821e69b715f | rooks | manthey | unsat | http://hdl.handle.net/10138/135571 | no | rook-59-1-1.cnf.xz | anni_2022,crafted_2014 |
| 22922a96c4bdac643b69069355c5db28 | e99f286934c335ae01327317c7e999bb | software-verification | liang | unsat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=58 | no | assoc_mult_err_3.c.cnf.xz | anni_2022,main_2018,main_2021 |
| 229289df92a0bbf2af12f6996351eb3f | 6c2de5560379a27e06549bc475b02190 | clique-width | heule | unsat | empty | no | rnd-v25-e233-k8.cnf.xz | anni_2022,crafted_2013 |
| 2295b35f6bc78b67ebdbe42e53806e6b | 9f033e821e0dbf9d98ea699217479e85 | prime-factoring | aloul | sat | empty | yes | lisa21_2_a.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 22b997f718828183fbb4aae44cd7da28 | ba315031cf7ba8ee6de27c58b78219dd | erdos-discrepancy | heule | unknown | http://hdl.handle.net/10138/135571 | no | EDP3-18000.cnf.xz | anni_2022,crafted_2014 |
| 22db60babd4b54fb86dee87ead8e14ca | 3d4bf554e9365df9799b3eed324c26d0 | hardware-verification | velev | sat | empty | yes | 9vliw_m_9stages_iq3_C1_bug3.cnf.xz | anni_2022,application_2012,application_2014,industrial_2005,industrial_2007 |
| 22eb13d4157efb76bf6b308d83618a7e | 4ae37c66185d90f96cbd8da78e2d214e | quasigroup-completion | sorge | unsat | empty | no | dead-dnd009.shuffled-as.sat05-3115.cnf.xz | anni_2022,crafted_2005 |
| 22ede342b1973bf82c2c2106616cc8d9 | b6d23f6185f30c0efca546ac55e89f4f | at-least-two-sol | manthey | unsat | http://hdl.handle.net/10138/333647 | no | at-least-two-aaai10-planning-ipc5-pipesworld-12-step15.cnf.xz | anni_2022,main_2021 |
| 22f1e4a68bb52721c186234ccd27c13c | 297944e56a6b14d3d7ed3f38107b43ca | generic-csp | connamacher | sat | empty | no | connm-ue-csp-sat-n800-d-0.04-s433006629.used-as.sat04-967.cnf.xz | anni_2022,handmade_2004 |
| 22f72da90dd7db6243c938dd5f5c6cbe | 036443efe841cc662c37cbac8d149c3c | prime-factoring | unknown | unknown | empty | no | 62bits_14.dimacs.cnf.xz | anni_2022,main_2015,parallel_2015 |
| 22fdbcb094a1c1b513b8fd90e9b50f65 | 38dcaf64f0b5ac7e84db9139c2ee0540 | cardinality-constraints | wynn | unsat | empty | no | mp1-squ_any_s09x07_c27_sinz_UNS.cnf.xz | anni_2022,main_2017 |
| 2314dcec1bce868092465602b71b5825 | 7730fddee4f67301af0ed3e1fb198168 | quasigroup-completion | heule | sat | empty | yes | gensys-ukn005.shuffled-as.sat05-3845.cnf.xz | anni_2022,crafted_2005 |
| 231be1a0ebcd7547804271515a257e93 | 84f1b36b2fc2fc14c4dddc6e3e67dfb6 | hardware-verification | unknown | unsat | empty | no | g9bidw.cnf.xz | anni_2022,main_2010 |
| 2322f9b6d3bbe605ef2afbe0536b9307 | c0c0f002c370ce5fadb003dd591412f0 | relativized-pigeon-hole | elffers | unsat | empty | no | rphp5_080_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 2324f0e956d4290b49d7cd01e8305be0 | 9c9702332f440162a2bd753d11f3ef46 | ordering-principle | sabharwal | unsat | empty | no | gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2012 |
| 23286d57fa7ecfe2cf31141cfc11e238 | 79f059b74c566d3830b526cf2bc722a3 | crafted-cec | klieber | unsat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 | no | mp1-klieber2017s-1200-023-eq.cnf.xz | anni_2022,main_2017 |
| 23440a591245328b42455fa0b8714ffd | 14e4f666c8e439b5453352fca48af816 | miter | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 | no | g2-hwmcc15deep-oski15a10b06s-k24.cnf.xz | anni_2022,main_2017 |
| 236316907366f4bdf1528297f457779d | 35dfd3c45ead2ce8968894f44358a49b | fpga-routing | goldberg | unsat | empty | yes | apex7_gr_2pin_w4.shuffled.cnf.xz | anni_2022,industrial_2002,mus_2011 |
| 238697ec61a48ea10bed888265da8b4d | 937b6349c3bc4e0bd329bc9e4cd6be30 | cryptography | sesum | unknown | empty | no | g2-gss-40-s100.cnf.xz | anni_2022,main_2017 |
| 238ac19e2323131e3e64e24de08edda6 | 836f8b5e96b0b5a0f12d843bad7d7c0e | hardware-verification | velev | unsat | empty | no | velev-pipe-uns-1.1-07.cnf.xz,velev-pipe-uns-1.1-7.cnf.xz | anni_2022,main_2006 |
| 23a92c04ee9248308a18d6a44e5d15f0 | d165bd3d99eaa263488bcb74f5bd9f3b | battleship | skvortsov | sat | empty | yes | battleship-3-5-sat.cnf.xz | anni_2022,crafted_2012 |
| 23b15b56a6dc5c41c2e47a349765107d | 287a2ba8b65d1f4e50aff1cfe92603dc | bioinformatics | bonet | sat | empty | yes | ndhf_xits_21_SAT.cnf.xz | anni_2022,application_2009,application_2012,application_2013 |
| 23b2ab4604ca96454bb46d71df14d7fd | ca616571414e5afd72efa42460d6a775 | pythagorean-triples | heule | sat | empty | no | Ptn-7824-b05.cnf.xz | anni_2022,crafted_2016 |
| 23b67ce9686dc0b79edd7e0e61b06867 | 4b5ebe3d3e72d3a59e9a63de4a2b3bfd | graph-isomorphism | mugrauer | unsat | empty | no | crafted_n11_d6_c3_num18.cnf.xz | anni_2022,crafted_2013 |
| 23b8cfd9fde410f79db4e8ef6b62f396 | de1e20943cfd8106f26fe1482697cc42 | pigeon-hole | unknown | sat | empty | yes | php-020-020.shuffled-as.sat05-1162.cnf.xz | anni_2022,crafted_2005 |
| 23d7a7af88d26be6fcbe7e139271bdc0 | 9e5a0e84106aff896f05832ae63d92b1 | battleship | skvortsov | unsat | empty | no | battleship-11-11-unsat.cnf.xz | anni_2022,crafted_2011,crafted_2012 |
| 23ddc17bdbd97b96fcc0393f51bcfe13 | 47afecd7e6073b35f479dcabf38efddd | bitvector | preiner | unsat | empty | no | 22930-0601-11.smt2.cnf.xz | anni_2022,main_2020 |
| 23e52c853bd7a5258bc5f470f6854104 | 785492eb3c8e6f490a2af8e5f842553c | popularity-similarity | levy | unknown | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=49 | no | mp1-ps_5000_21250_3_0_0.6_0_1.50_0.cnf.xz | anni_2022,main_2017 |
| 23f834ff0b38f1ba21443c38e32c77d8 | cb2663ac3c0d8083159776c6c9504278 | hardware-verification | unknown | unsat | empty | yes | c7n.cnf.xz | anni_2022,main_2010 |
| 2400575245d49d556427d38ca5c38047 | ff9864638d3d4f4f8a4e61b2b171425e | hgen | heule | unknown | empty | no | hgen3-v400-s344840348.shuffled-as.sat05-470.cnf.xz | anni_2022,crafted_2005 |
| 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 |
| 24085934701c1459db776550a3584376 | b8f22966935014ff351a58c2f7e8b94c | hardware-verification | unknown | sat | empty | empty | shuffling-1-s57793011-of-bench-sat04-724.used-as.sat04-737.cnf.xz | anni_2022,industrial_2004 |
| 241cae32aeae264c2014b4ed0e149cdd | d93c79c1b59dd78928bfdeceab99ce20 | unknown | mayer-eichberger | sat | empty | no | 10-3-13.cnf.xz | anni_2022,main_2018 |
| 24316c19acf3abc5f301bc4dc534122b | 6f6bfc8b7bbb1d9567000761825e43bb | planning | rintanen | unsat | empty | yes | transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.010-NOTKNOWN.cnf.xz | anni_2022,mus_2011 |
| 2437badfe105b7ad33867755254a5ac3 | 0b898d91d85026ed2fc9969da40a8859 | miter | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 | no | g2-hwmcc15deep-6s33-k33.cnf.xz | anni_2022,main_2017 |
| 243f435dba26be37cedf28d94708b7e6 | 2c57b217c2dc83429c92a5b0343c4fd4 | relativized-pigeon-hole | elffers | unsat | empty | no | rphp4_070_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 2447517075bed78fd855f495484275c8 | d4fef72257b49b9d931b6dd341a4b46f | pebbling | sabharwal | unsat | empty | yes | grid-pbl-0060.shuffled-as.sat05-1342.shuffled-as.sat05-1342.cnf.xz | anni_2022,crafted_2005 |
| 245af97c72f3fee23a11cc8c6b6eb4a0 | 6d73a78aa46681b7b940f016cb3f8382 | polynomial-multiplication | xiao | unsat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=61 | empty | Nb29T6.cnf.xz | anni_2022,main_2018 |
| 245e9b5cdf197b523d57f35ac2fcb303 | 15b189be757150c855e11bb0248546e1 | sgen | spence | unsat | empty | no | sgen4-unsat-89-1.cnf.xz | anni_2022,crafted_2012,main_2020 |
| 246f2303c53dd29c983a5a1046639f8d | 63081179fb56d3ee59a8d9e3e8d16b72 | rbsat | huang | sat | http://hdl.handle.net/10138/135571 | no | rbsat-v1150c84314gyes5.cnf.xz | anni_2022,crafted_2014 |
| 24706f6663f0524f28b62e0c8b6abf1e | 0e020e6d60491beb699809b252d23bd7 | planning | unknown | sat | empty | yes | ferry9.shuffled-as.sat03-386.cnf.xz | anni_2022,industrial_2003 |
| 2470895824dbab7f80aba329bded081b | def25d762e8e5e3b80b1106deffa94fe | random-csp | kexu | sat | empty | no | frb70-13-2.used-as.sat04-876.cnf.xz | anni_2022,handmade_2004 |
| 24b93d0bf941e4b050c9109e4cb7faf4 | 87132653ddbe53218e1a57ec4b620b1d | generic-csp | connamacher | sat | empty | yes | connm-ue-csp-sat-n600-d-0.02-s1022905465.used-as.sat04-951.cnf.xz | anni_2022,handmade_2004,main_2023 |
| 24b9e9a09d0879eaeee53b1e2f23134a | 916472a56c1e5dd6de9e3d3a578a5fed | polynomial-multiplication | xiao | sat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=43 | no | mp1-Nb6T25.cnf.xz | anni_2022,main_2017 |
| 24bf910d2b9da558fb3e71a4dbe79ba3 | 3f6a71aae576e9d60239e959d16f0e2f | prime-factoring | aloul | sat | empty | yes | lisa19_99_a.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| 24c24a0c32a51ffcbc027ea07f8a086f | ba1c0ec6e79401b0f4915803c1818030 | hardware-verification | marques-silva | unsat | empty | yes | c10bidw_s.cnf.xz | anni_2022,application_2012,portfolio_2012 |
| 24d16b0798f2f4cabb6d4661d847c2eb | e482f995fb2f1ec2cd8f3fee486b98b8 | prime-factoring | unknown | sat | empty | no | 58bits_11.dimacs.cnf.xz | anni_2022,main_2015,parallel_2015 |
| 24ea04bb401629158b0972463c61eed4 | 0305958e900773aaa740b186b30d8164 | hgen | chen | sat | http://hdl.handle.net/10138/318754 | no | 170104584.cnf.xz | anni_2022,main_2020 |
| 24f8d86e491149b4a759c0402eb705d4 | 21e3e4c839f07efffabfc3cb784c2fa3 | quasigroup-completion | sorge | sat | empty | yes | iso-brn008.shuffled-as.sat05-3508.cnf.xz | anni_2022,crafted_2005 |
| 24fcc1462994e20faf43c84584f765bb | be489c069566e2aecf527844f09f8489 | cril-misc | frioux | unsat | empty | no | T56.2.0.cnf.xz | anni_2022,main_2018 |
| 250e49fc3bc150bac9f5bc50f5ef09b7 | f3fd325b3bf65a26789ae956d7586391 | long-learned-clauses | markstrom | unknown | empty | no | eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009,crafted_2012,crafted_2013,portfolio_2012 |
| 25197bd2b8fe3a3310665ce9a6f6cd2f | a3895ad2fc1feda2ba8b1b61d49ef592 | fdmus | unknown | unsat | empty | yes | fdmus_b22_172.cnf.xz | anni_2022,mus_2011 |
| 2534e0c4691a8807de2342ef98636ce6 | 5b211353b9f694f466d46e89244de73f | coloring | heule | sat | empty | no | Schur_160_5_d41.cnf.xz | anni_2022,crafted_2016 |
| 253659a1701826795f4fb8a3b5cb7513 | bc93a407130a4d80c034d881a99246c3 | software-verification | manthey | sat | https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=55 | empty | sv-comp19_prop-reachsafety.race-4_2-thread_local_vars_false-unreach-call.i-witness.cnf.xz | anni_2022,main_2019 |
| 254379ba985f92132932ecfbeffc9b54 | be441a705630f46083a9bfcc59d6217b | coloring | devriendt | unsat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=65 | no | queen13_13.col.13.cnf.xz | anni_2022,main_2018 |
| 25491202cf33a8655c45ccb22a2135f1 | 8670118f169c08aab5c105eb2233b11a | quasigroup-completion | manthey | unknown | empty | no | sudoku_81x81_unknown.cnf.xz | anni_2022,crafted_2011 |
| 254b88de91fa4e3e0bff1df62eb7f4dc | cf03489247f1c9d354670ef6e0346e8f | pythagorean-triples | heule | sat | empty | no | Ptn-7824-b14.cnf.xz | anni_2022,crafted_2016 |
| 2563a9a0463e58e8a5823bc612cacbc9 | 794e34b5b4cee13bb668df36497fce52 | tseitin-formulas | jarvisalo | sat | empty | no | mod2-rand3bip-sat-270-3.shuffled-as.sat05-2250.cnf.xz | anni_2022,crafted_2005 |
| 2565059c258a9e1a45f61df4e0112010 | ff9596090bbe27a9f3f2a17f700b9ff7 | pigeon-hole | sabharwal | unsat | empty | no | php-030-025.shuffled-as.sat05-1178.cnf.xz | anni_2022,crafted_2005 |
| 257220373426d7a2d8d4e7d1b21db6a6 | adc369efae72f52a7e5e0753bb3c0cb8 | hardware-verification | marques-silva | unsat | empty | yes | c7n_s.cnf.xz | anni_2022,mus_2011 |
| 257b1331c202be554abdec123a86213b | 22a773e4d7fdcb6b9b299b09a4f70b15 | ramsey | zhou | sat | empty | yes | ramsey-30-4.cnf.xz | anni_2022,main_2018 |
| 2593ce669baab42240c2fb85e807452c | 5c0c5d53677a71fdcf78423415af0c1a | argumentation | wallner | sat | http://hdl.handle.net/10138/135571 | yes | complete-400-0.1-3-9876543214003.cnf.xz | anni_2022,application_2014,main_2015 |
| 2599aea8d99ad36471ee4dcc649993ac | bba784051ceb6169fc76084731065631 | miter | kojevnikov | sat | empty | no | ak064simpbbg2btaig.cnf.xz | anni_2022,application_2016 |
| 25a654a029421baed232de5e6e19c72e | 271b74873d9b3daebb1613a91551c8f2 | software-bmc | iser | sat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=41 | no | mp1-qpr-bmp280-driver-14.cnf.xz,qpr-bmp280-driver-14.cnf.xz | anni_2022,main_2017 |
| 25acde4087516290b9931ef7ba93306c | 5025d478d8345f8dc6c4ad91aecad8f3 | quasigroup-completion | sorge | unsat | empty | yes | iso-ukn005.shuffled-as.sat05-3386.cnf.xz | anni_2022,crafted_2005 |
| 25b4eff0c424fc1b760cf52562ec9a47 | 6893ac47f8d30e7cee304e07252bb971 | pigeon-hole | sabharwal | sat | empty | yes | php-025-025.shuffled-as.sat05-1163.cnf.xz | anni_2022,crafted_2005 |
| 25ba6d2b7503d699ee95bf4bcd0864c5 | e11540a86859868f852ae83efc670025 | prime-testing | jingchao | unknown | http://hdl.handle.net/10138/333647 | no | quad_res_r37_m39.cnf.xz | anni_2022,main_2021 |
| 25bd6c4f6f2fff8fdabbcc9402125283 | fa426f7acc1d4872c49bd4876e119ea5 | scheduling | stojadinovic | sat | empty | no | atco_enc2_opt2_10_21-sc2014.cnf.xz | anni_2022,main_2019 |
| 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 |
| 25cfa39c61494e9e793f6c6a9ec44be3 | acc2d26b1c2db1893166ed910d471378 | sliding-puzzle | kaiser | unknown | http://hdl.handle.net/10138/333647 | no | puzzle51_unsat.cnf.xz | anni_2022,main_2021 |
| 25d6ed813eedc68cd84750ce67463f62 | ed016254e04a9086e3ec95c2c4f08a8e | greentao | kullmann | sat | empty | no | GreenTao_2-4-4_511.cnf.xz | anni_2022,crafted_2011,crafted_2012,crafted_2013,crafted_2014 |
| 25fb7464ca6edd09189582fedaf5dba6 | 0aad66044ab406c275de2dabeacfa9e3 | cryptography | soos | unsat | empty | no | bivium-39-200-0s0-0x163b785faa4bfb1b3b894a9206768a6c3d5d6f038b3797c4c2-99.cnf.xz | anni_2022,application_2013 |
| 25fb8046ef33cb552eb45c2e006c5f32 | b752d55edaa4ee7f02c30aae9828b2c2 | popularity-similarity | levy | unknown | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=49 | no | mp1-ps_5000_21250_3_0_0.8_0_1.70_8.cnf.xz | anni_2022,main_2017 |
| 2602a408af148cd920698aeff90dd853 | 15701b6803adf40c166c7777aa1ee667 | bitvector | unknown | unsat | empty | no | maxxor064.cnf.xz | anni_2022,application_2009,application_2011,application_2012,application_2013 |
| 2604532388bbb5b79e8e467dcfb13005 | 35e9d5d427f932cad6063e610fe7682a | planning | surynek | sat | http://hdl.handle.net/10138/135571 | yes | mrpp_6x6#10_20.cnf.xz | anni_2022,crafted_2014 |
| 2609d5f1772bd52e16159b51a986b74d | 1ee72f9cb6f67059aac595fa83f70c09 | planning | rintanen | sat | empty | no | blocks-blocks-36-0.140-NOTKNOWN.cnf.xz | anni_2022,application_2012 |
| 26114429758a203d651f4df87c94de4c | 4b9000fa10e4d1b27480eecce38ea234 | sgen | spence | unsat | empty | no | sgen1-unsat-97-100.cnf.mis-72.debugged.cnf.xz | anni_2022,crafted_2012,main_2023 |
| 261227751e41065551cbeebe9b11ee40 | 86eab5ab7d07810e954e45eb9d9f7ee8 | planning | surynek | sat | http://hdl.handle.net/10138/135571 | no | mrpp_8x8#24_12.cnf.xz | anni_2022,crafted_2014 |
| 2614ee6079947c1133fec90459de0a27 | f101b17ef7c7da69366389159840a018 | hardware-verification | marques-silva | unsat | empty | yes | dlx2_ca.cnf.xz | anni_2022,mus_2011 |
| 2615e8390d8d47c5384bce1d2f49cb07 | dc44a186abc683d8bc2ccf31bc667686 | hardware-verification | unknown | unsat | empty | no | eqbpdtlf12bparrc12.cnf.xz | anni_2022,main_2019 |
| 261e338938f4757e91f0cf753484d662 | a184306397cd0c5c6e0e704243d1e585 | generic-csp | connamacher | unsat | empty | no | connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009 |
| 26254890fa7107f85242ec9190da2a7a | 85791fe1279ea523e3f9e21418a2f191 | cryptography | nossum | sat | empty | no | 002.cnf.xz | anni_2022,application_2013,main_2024 |
| 262a226a47330987f038128579967405 | 9f42e4010b6535c7f2bb778270a84b49 | unknown | unknown | unsat | empty | no | ais8.cnf.mis-97.debugged.cnf.xz | anni_2022,crafted_2012 |
| 263457bc6aafa3b1f5999bc2ddfe3caf | 5a90aa0803f7cb047c923d14b5226e1e | ktf | lagniez | unsat | http://hdl.handle.net/10138/333647 | yes | ktf_TF-4.tf_2_0.02_18.cnf.xz | anni_2022,main_2021 |
| 263dafb261a9d65aed2285d65a42a4eb | 6e544df20ce20f1bf52290d9a3e6f47f | coloring | unknown | sat | empty | empty | shuffling-1-s1530771508-of-bench-sat04-323.used-as.sat04-454.cnf.xz | anni_2022,industrial_2004 |
| 2667cef018702b772f5f79a9dfc88cf0 | 9be698c20291e5d9c2aa6760f2c81d2e | hardware-verification | unknown | unsat | empty | yes | shuffling-2-s644021767-of-bench-sat04-362.used-as.sat04-639.cnf.xz | anni_2022,industrial_2004 |
| 266eb88975be72196f5bc82f371464c1 | d1b1f975080239891f50749e0a95a235 | hardware-verification | manolios | unsat | empty | yes | c9idw_i.cnf.xz | anni_2022,application_2012 |
| 26752db2c153b9e98f81192227205539 | 70d88dbee3e72bbf4b84519751913fd1 | pigeon-hole | sabharwal | unknown | empty | no | harder-fphp-050-049.sat05-1238.reshuffled-07.cnf.xz | anni_2022,crafted_2007 |
| 267af66281a78674c63e3b745b1ece66 | a83ef04644218b44280c49c659811114 | planning | maris | sat | empty | yes | driverlog8_ks99i.shuffled-as.sat05-4025.cnf.xz | anni_2022,industrial_2005 |
| 267b5d6528c2afb5bc9ccc4d2151f110 | 00aa4f1abe85fba29e6a2f734d3092b3 | hardware-verification | dellacherie | unsat | empty | yes | w10_60.shuffled.cnf.xz | anni_2022,industrial_2002 |
| 268786234185b8a93051bee4efaad466 | 874380c3e814413d08c4503681d47ffe | rbsat | huang | unknown | empty | no | rbsat-v2640c305320g4.cnf.xz | anni_2022,crafted_2009,main_2020 |
| 269d92aef52c2d8c729f4212bd29a8e8 | cc57fadecdcb603e17df1658a8a8642e | pigeon-hole | sabharwal | sat | empty | yes | php-030-030.shuffled-as.sat05-1164.cnf.xz | anni_2022,crafted_2005 |
| 26a56e52e4c8f4b6840cbcc6caa4cb21 | 95f79fb18e085953ae639523df4027fc | coloring | pehoushek | unsat | empty | no | 4col160_9_8.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 26b2991ea06cd96439285f58962e0e19 | 4c53de2940340938887d7c505cecb7bf | mosoi-289 | mosoi | sat | empty | yes | 289-sat-6x19.cnf.xz | anni_2022,crafted_2011 |
| 26b2edbaa9ca66c575b64ee0920f7d6a | 7f7f147e01d478669110158a680ce4d0 | genurq | ostrowski | sat | empty | yes | genurq30Sat.shuffled-as.sat03-1508.cnf.xz | anni_2022,handmade_2003 |
| 26d1a43c2e8064faffd54bb81484926e | 7c1e9683c4b27a19f12ec82dafae282d | bitvector | unknown | unsat | empty | no | countbitssrl032-sc2009.cnf.xz | anni_2022,main_2019 |
| 26e9e6f76821074fec971ba27aae0bea | ebe28509863adc21d27bbbc6de933a29 | cryptography | skladanivskyy | sat | https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=51 | no | sha1r17m149ABCD_p.cnf.xz | anni_2022,crypto_2021,main_2019 |
| 26f3cb325c18149f1c67665c5dc60305 | 0b9a5e79d588a712d47312b1aa29db38 | planning | sabharwal | sat | empty | yes | strips-gripper-16t31.shuffled-as.sat05-1146.cnf.xz | anni_2022,crafted_2005 |
| 26f6f04b35d4c04710ef22df7922ea04 | 5e46a134f81bdb4ba0224407ee184033 | subgraph-isomorphism | anton | unsat | empty | no | SGI_30_80_25_80_5-log.shuffled-as.sat03-206.cnf.xz | anni_2022,handmade_2003 |
| 2709fc2279d361c2b19e36522c239965 | ca4f41ecf9cd046abaf772a30fe5474e | cryptography | unknown | unsat | http://hdl.handle.net/10138/135571 | no | hitag2-10-60-0-0x0ffdbe60727f161-57.cnf.xz | anni_2022,application_2014 |
| 273d42b3d97294b660745c7bc632474e | f619bca1bae2a8736899b79d39b30e71 | edit-distance | mengel | sat | http://hdl.handle.net/10138/333647 | no | edit_distance025_450.cnf.xz | anni_2022,main_2021 |
| 2761d889f00813bfe3a5f826c49158cf | ed79d184d64fedd2d89a0b23f853ed5b | cryptography | soos | unsat | empty | no | hitag2-10-60-0-0xbc15b17d0353413-10.cnf.xz | anni_2022,application_2013 |
| 276fe9730ff09cafd8c59f44c9c61b4d | 91b021be7e51ab164a2da55c7d06cadc | termination-analysis | yolcu | sat | empty | no | full-bf-ga-9-ce.cnf.xz | anni_2022,main_2020 |
| 278262ca3ecb108c9c17bf6b6b99c217 | 86319c851bad8768259889d85269dc62 | bitvector | manthey | unsat | empty | no | test_v7_r12_vr10_c1_s18160.smt2-cvc4.cnf.xz | anni_2022,application_2016 |
| 278b9675cbaff7baeeb3e519746eec8d | a6187cb6a629869b2e8925533a6c9a05 | xor-chain | zhang-lintao | unsat | empty | no | x1_48.shuffled-as.sat03-1592.cnf.xz | anni_2022,handmade_2003 |
| 27b42edd231cb71988feaf904ee09793 | c807437ef238e55d40216f0cbb17df13 | subgraph-isomorphism | anton | sat | empty | no | srhd-sgi-m42-q585-n40-p15-s54275047.cnf.xz | anni_2022,crafted_2011,crafted_2012 |
| 27b4fe4cb0b4e2fd8327209ca5ff352c | 6f2a04073e16e32a28c0e618b812829f | theorem-proving | vangelder | unsat | empty | yes | grid_10_20.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| 27cd4c29d15be5fdf90c23571f403c11 | 8e2bb5b54150bcafe70924574ce0fb25 | hardware-verification | unknown | unsat | empty | yes | shuffling-1-s1029132062-of-bench-sat04-990.used-as.sat04-998.cnf.xz | anni_2022,industrial_2004 |
| 27d45205f506344ebbde9181f7250ab9 | 21e81ea8969f8af10b258b799b385760 | subgraph-isomorphism | anton | sat | empty | yes | sgi-difficult7.cnf.xz | anni_2022,crafted_2009 |
| 27dc3c79959d8054bf0d6f24a6da3795 | 3df26d987d34fe84effe7f11fa755eba | unknown | unknown | unsat | http://hdl.handle.net/10138/135571 | no | reg_s_2_unknown.cnf.xz | anni_2022,application_2014 |
| 27df6005a982cffe13509c5b445eba77 | 49f2a2d2bfefbf310d246822bfd408c1 | quasigroup-completion | sorge | unsat | empty | yes | iso-icl007.shuffled-as.sat05-2732.cnf.xz | anni_2022,crafted_2005 |
| 27ebd53e3afdad974c51aed6f7ccf513 | c2dd7c466d7659679101dae527136b8f | quasigroup-completion | sorge | sat | empty | yes | iso-ukn006.shuffled-as.sat05-3629.cnf.xz | anni_2022,crafted_2005 |
