GBD-Logo
Select Context
Select 'cnf' Database

Query for Instances

Found 400 Benchmark Instances
Quickstart
  • Query for Instances:
    Constraints are of the form "featurename operator value" and can be combined with "and" and "or".
    Query Example: track=main_2023
  • Download Instances:
    The file track_main_2022.uri contains the download links for the selected instances.
    Usage Example: wget --content-disposition -i track_main_2022.uri
  • Download Selected Database:
    Download meta
hash isohash family author result proceedings minisat1m filename track
002a0330958a14deb23dcc84b5489e8a 227779ac538cd3a2c78c6ff3d8cad235 scheduling manthey unsat empty no traffic_f_unknown.cnf.xz anni_2022,application_2011,application_2012,main_2022
004b0f451f7d96f6a572e9e76360f51a 8614f82909dc0eaab513724a4ecf9835 cellular-automata chowdhury unsat empty no spg_420_280.cnf.xz anni_2022,main_2021,main_2022,main_2023
00a62eb89afbf27e1addf8f5c437da9b 0d70f59e9d0fbac87d26088a5f9a8812 unknown zhou sat empty no ortholatin-7.cnf.xz anni_2022,main_2018,main_2022
00aefd1fc30c425075166ca051e57218 fdf55e1b02a137ed2884650e1b991092 planning balyo unsat empty empty barman-pfile10-038.sas.ex.15.cnf.xz anni_2022,application_2016,main_2022
0151bedac526ee195bc52e4134cd80e7 4d1f1aa702b578570dfed05afa42f82e cryptography paxian sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=79 no ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418.cnf.xz anni_2022,main_2020,main_2022
01813075a2ddb68ae1fc655ca003437e 78d905945e2d26be77045f66fe6eff2b cryptography gocht sat empty empty sha256__zeroOut_12__freeIn_16__seed_1.cnf.xz crypto_2021,main_2022
01d142c43f3ce9a8c5ef7a1ecdbb6cba 5375781cee9171c29fe1cc5adfcf63a6 tseitin chu-min-li unsat empty yes urquhart3_25bis.shuffled.cnf.xz anni_2022,crafted_2011,crafted_2012,handmade_2002,main_2022,portfolio_2012
0205e0724a8a912dde9ad7dfba2aee0b f7d23a28efe988b74ef9be20931d23ff cryptography nossum sat empty no 003-23-80.cnf.xz anni_2022,application_2014,main_2022
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
0240f5bddc39ad2f0a786c811fc434a8 0cd2aea85d4aaf9b304e97c60779d472 scheduling djamegni sat empty no SC21_Timetable_C_542_E_71_Cl_36_S_35.cnf.xz anni_2022,main_2021,main_2022
024af9416f8c1dad1b4f974757e38d51 24db3ea20dd1fd354161c3e144dd6288 unknown mayer-eichberger sat empty no 8-5-6.cnf.xz anni_2022,main_2018,main_2020,main_2022
02627689047d06fbb642eef14768d751 27b1edece5e3a30d93ad05a3a97abb60 cellular-automata chowdhury unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=75 no ps_200_300_70.cnf.xz anni_2022,main_2020,main_2022
0294158664d9ada36bd23fbb652cb823 2b56e70d6b1f775b02af386d921dfa8a bitvector jarvisalo unsat empty no smtlib-qfbv-aigs-countbits128-tseitin.cnf.xz anni_2022,application_2011,main_2022
02c6fe8483e4f4474b7ac9731772535d 669dec4994a317046dc50dc5dadac838 core-based-generator hartung unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=89 empty ncc_none_7047_6_3_3_0_0_420.cnf.xz anni_2022,main_2020,main_2022,main_2023
02f2343e32f9070f149708d77556b4aa 9c55e620f95945336a84c0319e5164f6 hypertree-decomposition schidler sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=91 no Kakuro-easy-117-ext.xml.hg_5.cnf.xz anni_2022,main_2020,main_2022
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
03ba29d5cb38d345357a74a7b5ccd759 0c58195f52c748a752bb242bd9b25bac maxsat-optimum cherif sat empty no 20-100-lambda100-49_sat.cnf.xz anni_2022,main_2021,main_2022
03bb7baaa45980753a0e7050ae44755d 2c44650528ec6da8a04b61114f944608 scheduling stojadinovic sat empty 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
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
04157f716c1e9606c6a530657bf8f957 4e00eb5cd670da17e963192207423345 hypertree-decomposition schidler unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=91 no Kakuro-easy-125-ext.xml.hg_4.cnf.xz anni_2022,main_2020,main_2022
0447371bb8a97e8fe5d3cee6de1db766 2e2bafca9e4d6801fc343b640ea43dec diagnosis anbulagan unsat empty no UTI-20-10p0-sc2009.cnf.xz anni_2022,main_2019,main_2022
047c92e7c0a36a23d8107f4313517719 34a5cadeda090504840e4ea2fa9f5c28 rubikcube jingchao unsat empty no rubikcube701-sc2017.cnf.xz anni_2022,main_2019,main_2022
047fbe00ecc60835f1ee9d458bbd7ee8 de647386c453805f3d41b67fbb0f06cb planning froleyks sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty SAT_H_instances_childsnack_p06.hddl_2.cnf.xz main_2022,planning_2020
048142b6048cb6c10415e08f68a2c3a3 02fcaa8dc28a890efd92e781f2d5467b graceful-production chowdhury sat empty empty GP_81_430_13.cnf.xz main_2022,submissions_2022
048a70da40ea4908c783b8314be2da97 d6a63a269b38c7b7bd6b5f6315972006 cryptography kullmann sat empty no aes_32_2_keyfind_1.cnf.xz anni_2022,application_2014,main_2015,main_2022,parallel_2015
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
064fe286277f695f42b556ef991036ff efa192ccbe43741b5fffc8bb8095c8fd circuit-equialence-checking junhua unsat empty empty sin_depth_miter_2.cnf.xz main_2022,submissions_2022
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
07b7859003d84402cbb1ebdc37655d55 5c9b1212413a65505b506f67f6b74a9f hardware-model-checking huawei unsat empty empty 6s186_Iter20.cnf.xz main_2022,submissions_2022
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
0823bc5f954c6366702877556f0d3680 7ad246fe39be3b3905e23bf0bf246d73 software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind66.cnf.xz main_2022,submissions_2022
0842eb01dc00232edc0b26ccb2f19f25 3afbc07bbb3658e702f2ee06456cce99 unknown mayer-eichberger sat empty no 6-4-6-sc2018.cnf.xz anni_2022,main_2019,main_2022
0855033e761d91ae367e867c5a569f9e 00aaf2d363ddd46bb841018777806cc0 scheduling stojadinovic unsat empty no atco_enc1_opt2_10_15.cnf.xz anni_2022,application_2014,main_2022
085b8ebc423dcbd70eceaa04229cf5cd 07301f9f9d86aad0028f1caf7413b0b3 summle manthey sat empty empty summle_X111102_steps8_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
089456508f74be2d96f4112cc495f80a 09f1c0d17b520bd90ee5af65014cd243 unknown zhou sat empty no Eternity-10-06_c18.cnf.xz anni_2022,main_2019,main_2022
08991fb6c7c45205df7f2bc2f51fb1d9 2ddbfdc36ab37886cb2249338ccee6a3 hardware-model-checking biere unsat empty empty bobsmdct_k500.cnf.xz main_2022,submissions_2022
08e151e72fe10402a49463171aa557e8 ae7fb1fd2a292d10e640c1f5e009537c antibandwidth biere sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=81 empty abw-V-nos6.mtx-w220.cnf.xz anni_2022,main_2020,main_2022
090585dc32a79f2bf6fb61a2c7079682 899fd0c4ac64ec9b568770d0c856576a minimum-disagreement-parity bryant sat empty empty mdp-28-16-sat.cnf.xz main_2022,submissions_2022
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
0a20cb72e5b005b8ed09d8a93184604a b078ed96d11b13f94785e0a63a0ac860 scheduling shuolinli unsat empty empty j3037_9_gmto_bm1.cnf.xz main_2022,submissions_2022
0a3cb69074519646b0f2933ba7ad2d30 4842cf57855feeb15df94201d7175417 software-verification aws unsat empty empty aws-encryption-sdk-c:aws_cryptosdk_hdr_write.cnf.xz,aws-encryption-sdk-c:aws_cryptosdk_hdr_write.dimacs.cnf.xz main_2022,submissions_2022
0a514edbeace21927e52d75f2d4a8efd d853de5d94870cc4f8fd6c4d82bee1a0 software-verification aws unsat empty empty ota-for-aws-iot-embedded-sdk:parseJSONbyModel.cnf.xz,ota-for-aws-iot-embedded-sdk:parseJSONbyModel.dimacs.cnf.xz main_2022,submissions_2022
0b4421f6aac81e2dbc87c5b5ddae6511 24c0658adc46957a579bf6372308f9bb prime-factoring unknown sat empty no 52bits_12.dimacs.cnf.xz anni_2022,main_2015,main_2022,parallel_2015
0b495cc867003b7ac112b7c47256228b 67a63156540e148e9809ed2078bff712 sat-x riveros unknown empty empty h31_large.cnf.xz main_2022,submissions_2022
0c0e6faa4abb622f5bea636ff04d341d 1ffa95019ee9b84130318c68ce1853d5 grid-coloring heule sat empty empty grid-color-12-14-2-cb.cnf.xz main_2022,submissions_2022
0c5d7e7aa3dd6024816078d2bdcfc4e3 082bcb15630a998f53f4723832805fd5 multiplier-circuits shunyang sat empty empty Carry_Bits_Fast_8.cnf.cnf.xz main_2022,submissions_2022
0c75119940f87f2bc1dc3f53aeedc02b a6d6d003370ac52f5102d89bd152beb6 maxsat-optimum cherif sat empty no 20-100-lambda100-89_sat.cnf.xz anni_2022,main_2021,main_2022
0d209cb420326994f9c4898eb10228ab df361e3ba5a517b9f15141436324c3fe cryptography nossum sat empty no 008-80-8.cnf.xz anni_2022,application_2014,main_2015,main_2022
0d4970edf84353e5a5798bca3f7f270e f7bd560e4c08fc1185ad66767d9f7018 planning froleyks sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty SAT_H_instances_childsnack_p10.hddl_2.cnf.xz main_2022,planning_2020
0dc468413b65339fad7e4f981bf2fb1e 43813889c3005c81692c7733a37974eb independent-set-reconfiguration froleyks unsat empty empty reconf20_61_myciel4_2.cnf.xz main_2022,submissions_2022
0dcd0ec81c5e8dc13b72d43a4940279b aac462e42d990a7966805079a2e4371c algebra gardam sat empty empty hantzsche_wendt_unit_147.cnf.xz main_2022,submissions_2022
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
0e89b0f96c99f1a6aaaf66c3ae805919 ada0c14115b14b11b0605f03e83590f9 set-covering zheng unsat empty empty SCPC-500-15.cnf.xz main_2022,submissions_2022
109aa0f5e177c1efb72f133a6f8c723b 3610ec02d97978ea7130e12c25cfba11 algebra gardam unsat empty empty hantzsche_wendt_unit_92.cnf.xz main_2022,submissions_2022
114f1b2ffd86e8a176bcbab664415520 c8546a327e540b82beebd0770368e061 hardware-model-checking biere unsat empty empty bobsmdct_k88.cnf.xz main_2022,submissions_2022
129162378e8ad29b5485a9c53feee4b7 8eda2752f413faeb338312ba814d9cc7 algebra gardam sat empty empty hantzsche_wendt_unit_93.cnf.xz main_2022,submissions_2022
13b13b34fe88f093aca06d6d035ee797 db52ff08d302a88f4690e2d31451235a software-verification aws unsat empty empty Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemovePrefix.cnf.xz,Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemovePrefix.dimacs.cnf.xz main_2022,submissions_2022
14f35ebcab936f66fc9292ff62cf39a7 38f5516693cedaf04e16f179669d8dc4 sat-x riveros unknown empty empty h31.cnf.xz main_2022,submissions_2022
157c7496c04d3fc63565cd7999dc45a5 acbbd0b1df9fbefba186caa5f32ad135 multiplier-circuits shunyang sat empty empty Carry_Save_Fast_1.cnf.cnf.xz main_2022,submissions_2022
161a73825fb50badeedbf8d12e1e043a 88f8dfa443aa76a594fd7232054068af graph-isomorphism yangli unsat empty empty cfi-rigid-z2-0088-03-or_2.cnf.xz main_2022,submissions_2022
16a0949c23ac67c57c5773403daaca60 d3b4b5df056206215b07eb2cce568d0b software-verification aws unsat empty empty coreMQTT:MQTT_Connect.cnf.xz,coreMQTT:MQTT_Connect.dimacs.cnf.xz main_2022,submissions_2022
1b78438db7da55c2b4c4b8ec6b6cd6c6 866c84410c06497ba5a6dd87f1a53764 algebra gardam unsat empty empty soelberg_unit_158.cnf.xz main_2022,submissions_2022
1ebab99edff4c0470c8aa753bb9d3353 07301f9f9d86aad0028f1caf7413b0b3 summle manthey sat empty empty summle_X8637_steps8_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
1fabadca67bfeada7086035761b88b33 20a80999026a3fc092e9473087c3255f sat-x riveros unknown empty empty sum_of_three_cubes_165_unknown_representation.cnf.xz main_2022,submissions_2022
1fee9f154615842029ec63d8520f4b4e 6e8af247b9bb2b22cfee2c8aceeb346a graceful-production chowdhury sat empty empty GP_300_250_15.cnf.xz main_2022,submissions_2022
20840b5020649385e3f8f4965de7a123 734667c83fae69d5833d4384812716e0 algebra gardam unsat empty empty hantzsche_wendt_unit_83.cnf.xz main_2022,submissions_2022
23e61c50ee2ac5cad1d337572abdebcf c78cba81c9d6e36a29e6e572fbf7b523 software-verification aws unsat empty empty aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_edks.cnf.xz,aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_edks.dimacs.cnf.xz main_2022,submissions_2022
24af39156d1daa122e5928d9aba11847 6ab6f56d7c1bfb4f4a078ddc7c7a20a6 graceful-production chowdhury sat empty empty GP_100_948_33.cnf.xz main_2022,submissions_2022
2551afad6b364a7225cdd1b9fa82f7c0 7beb88c3025c5b6f8d7af7ba22dbfb58 scheduling xindi sat empty empty worker_500_500_500_0.35.cnf.xz main_2022,submissions_2022
26342c62148962a09872831b7cef8aae 55fcdaf623842e6bd1e6c8fdf64d769f circuit-equivalence-checking xinyan unsat empty empty div-mitern165.cnf.xz main_2022,submissions_2022
26f8332e50a4ba5c371852e3737a3002 7b1b84fa2d4c5761be00e697be830ab4 minimum-disagreement-parity bryant unsat empty empty mdp-28-11-unsat.cnf.xz main_2022,submissions_2022
2748e075d4b636ef260271a35302049b 1bcac6afbcfa2395f75b94bc48d597c0 graph-isomorphism yangli sat empty empty cfi-rigid-t2-0048-01-or_3.cnf.xz main_2022,submissions_2022
27d9905476897885d29cea2744db9805 a76648120f0ec672c34bec8b5ae89789 software-verification aws sat empty empty coreJSON:skipCollection.cnf.xz,coreJSON:skipCollection.dimacs.cnf.xz main_2022,submissions_2022
285cb2c9735ac73cad999fba3d669382 07301f9f9d86aad0028f1caf7413b0b3 summle manthey sat empty empty summle_X8634_steps8_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
28b715dd946dba71ddd58a73d9f82c39 8b504140a0e569a5fc5cc5b6eb6d30a4 hardware-model-checking biere sat empty empty pj2005_k80.cnf.xz main_2022,submissions_2022
294924aff67e879595e55f15b10a79ef 94deb43b32d5e1fbaaa273ec8b365b57 grid-coloring heule sat empty empty grid-color-12-14-6-cb.cnf.xz main_2022,submissions_2022
2a43c3327fb817d82496449265d6630d b7777f025a67253d94b0cfa5f0370030 minimum-disagreement-parity bryant unknown empty empty mdp-36-16-unsat.cnf.xz main_2022,submissions_2022
2c0379771c5313567ea9e230438f203f 533ef1c222ec59fe0d474da039ddfc85 independent-set-reconfiguration froleyks unsat empty empty reconf20_320_hc-square-2_1.cnf.xz main_2022,submissions_2022
2c7cb0ff324a42a0699c23317c97a29a 3c3d9d755bfd16ba8af623d4c6e8c7e5 hardware-model-checking huawei unsat empty empty 6s320rb1_Iter8.cnf.xz main_2022,submissions_2022
2d01c7744a990469354a3c53cc2727fb 0a6b2d8db93b53492ebe7896e5d4165f relativized-pigeon-hole oertel unknown empty empty rphp_p95_r95.cnf.xz main_2022,submissions_2022
2f9cb22859718ab6c201726a91cfefe1 c600b5029520f4267b1658894fe82c44 software-verification aws unsat empty empty aws-encryption-sdk-c:aws_cryptosdk_priv_try_gen_key.cnf.xz,aws-encryption-sdk-c:aws_cryptosdk_priv_try_gen_key.dimacs.cnf.xz main_2022,submissions_2022
30ca21da9753263cc8cda020802b58ce 3424f05195f954270531cb30744ee423 graceful-production chowdhury sat empty empty GP_500_200_20.cnf.xz main_2022,submissions_2022
3159a02d096424aab6295c76360633a9 73185eea6d8944457f1dd16f1dd32c48 set-covering zheng unsat empty empty SCPC-500-10.cnf.xz main_2022,submissions_2022
3176c9024f756e99dbee852e5c0aa578 8e157028e6a196534d68745190861339 scheduling lester sat empty empty Break_triple_12_30.xml.cnf.xz main_2022,submissions_2022
31cc22a0f42ebaa109a5b807eb6178c2 671332c3af7b8882d94bbdb5f19cfc1c scheduling lester sat empty empty Break_20_54.xml.cnf.xz main_2022,submissions_2022
324e19a2991a29d0765ad256fb7aee85 5bee949f2220db1c9df25864d43073f5 scheduling shuolinli sat empty empty j3037_9_gmto_b.cnf.xz main_2022,submissions_2022
34c2410669b8063d4b0a16a40b071536 b024043b97af7bb6cc6bbdd46477e3f4 sat-x riveros unknown empty empty sum_of_three_cubes_still_open_large.cnf.xz main_2022,submissions_2022
351746fa3de2464c903c85e726cfed55 c846a64e05e3da00020c55b7f1f5ecea software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind67.cnf.xz main_2022,submissions_2022
354936f86e55ab8d00e6e1f5f7c140a9 36d8580c997eb0049fb22be2a17a1531 ordering-principle-xor oertel unknown empty empty xor_op_n44_d3.cnf.xz main_2022,submissions_2022
354c2088ae7648e1dc51d12947c8043a a0f9876278c7dddcaf567eb66a6d2275 hardware-model-checking biere unsat empty empty bobsmdct_init_k88.cnf.xz main_2022,submissions_2022
35ad744923721e37a2f58443179c31a8 47c1ede0418e47a77192e1fd28d5b89e software-verification aws unsat empty empty coreMQTT:MQTT_SerializeConnect.cnf.xz,coreMQTT:MQTT_SerializeConnect.dimacs.cnf.xz main_2022,submissions_2022
3666617901c8500d78700dac959729d4 048b16bed66be8870054608b699c8a63 hardware-model-checking biere unsat empty empty pj2002_k9.cnf.xz main_2022,submissions_2022
367c25ad50259a685a25b86d6dd171b2 9a0e061df5123937d88f3f3cebbc73df graceful-production chowdhury sat empty empty GP_100_950_33.cnf.xz main_2022,submissions_2022
36ecf4ba0451f40e4ede9a1b2ab914f7 0709281722e154e1e3d2a4ca0f6c7f21 maxsat-optimum cherif sat empty empty af-synthesis_stb_50_200_4_sat.cnf.xz main_2022,submissions_2022
372021735d9e46002b862aa2a038a818 0c78aa3a8684090b0746df11432e024a scheduling shuolinli unsat empty empty j3045_4_rggt_bm1.cnf.xz main_2022,submissions_2022
39b3fde35939134f3b011ebb31842610 6f7ef6e6053181b123bab5122e6d82c8 algorithm-equivalence-checking kochemazov unsat empty empty PancakeVsInsertSort_9_4.cnf.xz main_2022,submissions_2022
3b97191d94abf3a5e97d6359d886d9df 295aa8fbedb5c4f7d9c7136b875e8f8a summle manthey sat empty empty summle_X111121_steps7_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
3cbd82017c4a304c014dd87a69f6028c cc2aa15b68fb07d2609d996574dac2ae hardware-model-checking xindi unsat empty empty bmc_QICE_req_sfl_30.cnf.xz main_2022,submissions_2022
3d2a6e5c2f8f58dee79fd50444009625 88f8dfa443aa76a594fd7232054068af graph-isomorphism yangli unsat empty empty cfi-rigid-z2-0088-03-or_2_shuffle_all.cnf.xz main_2022,submissions_2022
3d2b0088dccf11d1f82c89b7122c26e1 88f8dfa443aa76a594fd7232054068af graph-isomorphism yangli unsat empty empty cfi-rigid-z2-0088-01-or_2_shuffle_all.cnf.xz main_2022,submissions_2022
3d449de3d6e722c9ce4a38ec748ee3cf a7be624386d152820c3fa64a5830d587 sudoku zhenjiang unsat empty empty sudoku-N30-10.cnf.xz main_2022,submissions_2022
3d4beaebb3d87819ce9ff59e72047ef7 9f296460f9d7623f95b3a0a62535514b sudoku zhenjiang unsat empty empty sudoku-N30-20.cnf.xz main_2022,submissions_2022
3e2fe1556893706475f9dd19c1a7b8fe 07ff665cb4bf01534bed43bc536129c7 minimum-disagreement-parity bryant sat empty empty mdp-32-12-sat.cnf.xz main_2022,submissions_2022
3fb045f58aaf394165735c39c49fad92 1355de31c2417498f9804a4a27a8dcee software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind56.cnf.xz main_2022,submissions_2022
3fb297f59ad2dc32fd3f79d61951d8cb e3ac6dc9a7f3751ae1b268d143df5500 multiplier-circuits shunyang sat empty empty Carry_Bits_Fast_4.cnf.cnf.xz main_2022,submissions_2022
3ff263696219ca9e301b0a1b345eb9aa 85cf50ab8c6de2a2c12d24c57e3c76a2 set-covering zheng unsat empty empty SCPC-500-4.cnf.xz main_2022,submissions_2022
41423c03ef173a5b81d6e6776f316fa5 876f1d224ffa04375b95c4e995adc442 algorithm-equivalence-checking kochemazov unsat empty empty PancakeVsInsertSort_7_8.cnf.xz main_2022,submissions_2022
4348c6b9af237291558b154a9de82969 f35acf90f83232bde6dfd559106bdeab software-verification aws unsat empty empty aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_aad.cnf.xz,aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_aad.dimacs.cnf.xz main_2022,submissions_2022
43687a48fb119ca61b47c2fc69a71e7d cbb0fa22c873921506ded00e87ce3714 gray_codes manthey unsat empty no manthey_single-ordered-initialized-w42-b8.cnf.xz anni_2022,main_2015,main_2022
436d00b6d41912e800e9855d08c75139 038e251564a1c19535189cb84dfacb19 hardware-verification manolios unsat empty empty manol-pipe-f7nidw.cnf.xz application_2011,main_2008,main_2022
4408f3ebfc37275a23ef57cfcc8aba6d 021584cc07c83657f182047ebd0634e4 software-verification aws unsat empty empty aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_content_type.cnf.xz,aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_content_type.dimacs.cnf.xz main_2022,submissions_2022
44ed91b4ca5a5d8323cab4c268d81fd1 d8632e17440c9e08cb4218db24bf918f grid-coloring heule sat empty empty grid-color-12-14-12-cb.cnf.xz main_2022,submissions_2022
4501f9a0e9fab5d5cff7133022b1f780 13738f4932a0d1d64f6471277373c6e4 prime-factoring unknown sat empty no 50bits_11.dimacs.cnf.xz anni_2022,main_2015,main_2022
4513c58c16e72a34f9f8518db7baeb9e d5621dc291317a0dacdf177869cb57af ktf lagniez unsat empty no ktf_TF-3.tf_3_0.02_24.cnf.xz anni_2022,main_2021,main_2022
4551c996fc6f5fbe62b43076abb25077 3959c4989e919ab04838de80f42dc4fb knights-problem zhou sat empty no knight_18.cnf.xz anni_2022,main_2019,main_2022
45784477d3143f470c0bd0137a1c01ed 9b9138cb81aeb6427341021f746397db sat-x riveros unknown empty empty sum_of_three_cubes_still_open.cnf.xz main_2022,submissions_2022
45ec40c74fdbf2fe41122ac1e31e6c8e cbf7892e64bd1c012c4252556e59c652 scheduling xindi unsat empty empty worker_30_120_30_0.8.cnf.xz main_2022,submissions_2022
47135a1fd4c86afbfec0c7879c45268b 27587226c76c06a416acda2d57c568a5 scheduling konan sat empty empty SC22_Timetable_C_451_E_46_Cl_30_S_27.cnf.xz main_2022,submissions_2022
47a1a6f5687ed19c5c0f77c2c81f3f81 946d5ac6542f2d2404648fa2a5d2168c tseitin-formulas oertel unsat empty empty tseitin_grid_n14_m14.cnf.xz main_2022,submissions_2022
488b147304549670f31653c932684e2c d48335c22818feb5e94dd74e57e87478 circuit-equivalence-checking xinyan unsat empty empty sin-mitern28.cnf.xz main_2022,submissions_2022
48e9f29a92930f1b367efc5754cb679b 238ff7d8b53b6380f592f4f31f5a4f77 maxsat-optimum cherif sat empty empty af-synthesis_stb_50_80_7_sat.cnf.xz main_2022,submissions_2022
48eacbc152c7710dfd6fe17a8a17199e 83b651e484e9082d924f1113cc7b8db8 set-covering zheng unsat empty empty SCPC-500-7.cnf.xz main_2022,submissions_2022
49f5d904bb2e762219287d33f5621971 341f4ebd2c3ce218f843a45ec6a06300 scheduling lester sat empty empty ITC2021_Late_1.xml.cnf.xz main_2022,submissions_2022
4a85e090bda23cef9bf2aed55d489ab6 cfd8df312ab120e01af7db99f3c40596 circuit-equialence-checking junhua unsat empty empty sin_depth_miter_5.cnf.xz main_2022,submissions_2022
4af0fbe3087b6e3ad54177e16b85ed06 ca08f2c35f638e8951977a37334e736e grid-coloring heule unknown empty empty grid-color-14-14-6-cb.cnf.xz main_2022,submissions_2022
4b45bebcc3f810b25cca2d16a1ff2084 3ad77bcfc9052913c195c4c15a2506af circuit-equialence-checking junhua unknown empty empty hyp_cec_multi_3.cnf.xz main_2022,submissions_2022
4b537d3c18082eb884bf9429b8146214 d91cb046f28a1936a9161b116922b70c bitvector manthey sat empty no gaussian.c.75.smt2-cvc4.cnf.xz anni_2022,application_2016,main_2022
4db2404ba78dda6f3bc89a2b03057fd2 6f392a617a3e5bb4c34d04964dff7b38 hardware-model-checking huawei sat empty empty intel036_Iter109.cnf.xz main_2022,submissions_2022
4f888358cd62fe7bc602ea6882cdfc6d 027a05e9c3224c9da4b33a3224f7d7ea cryptography soos unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=83 no bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19.cnf.xz anni_2022,application_2013,main_2020,main_2022
5099718e4b5b8fe2ba7f8b919fdfde2d 039223f3ea5163f320c4091169211793 cryptography heusser sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 empty satcoin-genesis-SAT-5.cnf.xz main_2018,main_2022
51dd2c14736f2d9164f749d6a633ccb5 067fd71d9f6131cfa49e5b2d3069b6ee scheduling shuolinli unsat empty empty j3045_10_mdd_bm1.cnf.xz main_2022,submissions_2022
51e4929accfa3a0e68bff09974c7f0f4 063edef3481f9a6c8e06133b4eb398fa planning froleyks sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty SAT_MS_sat_nurikabe_p16.pddl_166.cnf.xz main_2022,planning_2020
5237a944490aeead04c7a4539e6b44d2 2427dda213c0fc7cbcbeb624c3e73759 scheduling konan unknown empty empty SC22_Timetable_C_451_E_43_Cl_30_S_27.cnf.xz main_2022,submissions_2022
5457c05649be6f3bc4f743c5e6086a18 d7826902dcaf30b4731a66ac7b441f92 minimum-disagreement-parity bryant sat empty empty mdp-28-10-sat.cnf.xz main_2022,submissions_2022
54d4838f065e6ca3579b357bc70ea566 fc8358f112cf8afecede41e1aa04c99a circuit-equialence-checking junhua unknown empty empty div_miter_lec_4.cnf.xz main_2022,submissions_2022
5573681b2f40d5d8b30267ac59987e40 e672c092cfa04e8d4eec4658b0849b11 multiplier-circuits shunyang sat empty empty Carry_Bits_Fast_16.cnf.cnf.xz main_2022,submissions_2022
55add9c1c8ad002a0faa34ecf47919a1 498de0f3a44162a3f47e27bb43ad1db9 scheduling konan unknown empty empty SC22_Timetable_C_451_E_45_Cl_30_S_27.cnf.xz main_2022,submissions_2022
5601a7e094f61f3c5af461300c25243f 07301f9f9d86aad0028f1caf7413b0b3 summle manthey sat empty empty summle_X111107_steps8_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
567964f034c8ffa65952897ce4927c6c 01c33594ff6650ad563d5ea049233fb0 miter wedler unsat empty no ablmulub16x4o.cnf.xz anni_2022,application_2016,main_2022
56e7489da32260e1bdd085a418592ec2 85dd0926c30a3526f04b196c3870252f clique-coloring oertel unsat empty empty cliquecoloring_n18_k6_c5.cnf.xz main_2022,submissions_2022
5796ee4ac65929640e1b67ae2bfb9e8e aa54df8edcab4c2a97ce94cc737aa4e8 circuit-equialence-checking junhua unknown empty empty div_miter_lec_3.cnf.xz main_2022,submissions_2022
59047491e4828ed2bb79572330df6f77 ff5201f7a39900b411a18d69a74382dc minimum-disagreement-parity bryant unsat empty empty mdp-32-16-unsat.cnf.xz main_2022,submissions_2022
594b07c07aee036a7aca35d44e2316da 3d91e33e4c56f944bd4d60e1e8c3adb8 circuit-equivalence-checking xinyan unsat empty empty div-mitern168.cnf.xz main_2022,submissions_2022
59e596f5f845a2487370950b37ec3db2 dd81265327a6e6a9e6a796a2a3184ad3 software-verification aws unsat empty empty aws-encryption-sdk-c:aws_cryptosdk_enc_ctx_size.cnf.xz,aws-encryption-sdk-c:aws_cryptosdk_enc_ctx_size.dimacs.cnf.xz main_2022,submissions_2022
5ac44f542fd2cd4492067deb7791629a e3ac6dc9a7f3751ae1b268d143df5500 multiplier-circuits shunyang sat empty empty Carry_Bits_Fast_18.cnf.cnf.xz main_2022,submissions_2022
5c54a96de5bbfbfe9152afbc8822588d ef3c38c2e60d77816b84c48d79f0905b clique-coloring oertel unknown empty empty cliquecoloring_n60_k5_c4.cnf.xz main_2022,submissions_2022
5c5fa629c2c62723eb2d3388db264521 de7f57382c4a2ed99ea5e7b95d2d09cd multiplier-circuits shunyang sat empty empty Wallace_Bits_Fast_3.cnf.cnf.xz main_2022,submissions_2022
5c6495ff589cbbcb550e1655dadbd143 9afa5938d7eb3f86eec893d9398bbc10 scheduling xindi unsat empty empty worker_40_80_35_0.85.cnf.xz main_2022,submissions_2022
5cc5e3d24402696ed4ec03edfa42d663 f6e74479cd67e369bf2639a0e58074c2 sudoku zhenjiang unsat empty empty sudoku-N30-24.cnf.xz main_2022,submissions_2022
5d357f1e4b5abc96c90d305f629edd5c ffce2eafc2f64acd6ceef648d7bceaf4 cellular-automata chowdhury unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=75 no ps_200_323_70.cnf.xz anni_2022,main_2020,main_2022
5e04f38ff11cee5d75fb98e12f6a14fc 43274344f0889be5ff42b71251183161 circuit-equivalence-checking xinyan unsat empty empty sqrt-mitern172.cnf.xz main_2022,submissions_2022
5e25f9f0d4ef05401fd9ab45a2538c1c 07301f9f9d86aad0028f1caf7413b0b3 summle manthey sat empty empty summle_X111117_steps8_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
5e66b728b2445ec69f27e0f1a49f4b29 8e8a4abc379685882b8d63097aa3d63a cryptography nossum sat empty empty 006.cnf.xz application_2013,crypto_2021,main_2022
5e933a625099cc1ec6a8299a7848a2ae 61ecdbc8c9ffea46aad2b0156bc6a93c hypertree-decomposition schidler sat empty no Kakuro-easy-112-ext.xml.hg_7.cnf.xz anni_2022,main_2021,main_2022
5f24ae73bb2a0ec3bef68d8a9680f04f 4a59b9b45fb78b2301a6bbea4f01a108 maxsat-optimum cherif unsat empty empty af-synthesis_stb_50_80_7_unsat.cnf.xz main_2022,submissions_2022
5ff92b9fa31963608674761e0d71fce8 7d6a2a4cb530506e1e1e305ebd0aaf92 software-verification manthey sat https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=55 no sv-comp19_prop-reachsafety.triangular-longer_false-unreach-call.i-witness.cnf.xz anni_2022,main_2019,main_2022
608941b989227d93c62b3a9b4280011b 07301f9f9d86aad0028f1caf7413b0b3 summle manthey sat empty empty summle_X8639_steps8_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
60a0ab2650e08f32c4fff6ff09369568 ab86ad38bb8570479c29b7f7618ad621 hardware-verification unknown unsat empty no eqsparcl12bpwtrc12.cnf.xz anni_2022,main_2019,main_2022
61175b10026fe42cadd5e2f0088684ea e818773762cf2ad5392e66f1eba86f5c hardware-model-checking huawei unknown empty empty 6s105_Iter99.cnf.xz main_2022,submissions_2022
622787535593269d5e9a1dc4fe01c4af fc5a57f292fed97d0428a8aedb9538ca scheduling stojadinovic sat empty empty atco_enc1_opt2_10_16-sc2014.cnf.xz main_2019,main_2022
65138afdf7eb054be5131f2b0de84369 6aa50bd19d0ab4acf3c022bb97a077fb test-configuration biere unsat empty no satch2ways12u.cnf.xz anni_2022,main_2021,main_2022
65514d6ff224df20ba8c1aeec1698ab6 1846245fdcd6e52e61b4ef0444162178 algorithm-equivalence-checking kochemazov unsat empty empty PancakeVsInsertSort_8_7.cnf.xz main_2022,submissions_2022
6901858f1edbe3b1d327902dab720326 a861725d8853d32bcb8a944269468ab6 independent-set-reconfiguration froleyks unsat empty empty reconf20_20_grid10_4_4957.cnf.xz main_2022,submissions_2022
6965d5369d3ab26daaf074303c3d1739 a97b79830d4fcf9729e7e240d3da4adc cardinality-constraints wynn sat empty empty mp1-squ_ali_s10x10_c39_abix_SAT.cnf.xz main_2017,main_2022
6a3e3d3a65a46608b44d81f9e4621087 e3d5662de1d7b9fae8109e7814a3b613 hardware-model-checking huawei unsat empty empty 6s105_Iter35.cnf.xz main_2022,submissions_2022
6b0dfcfa8cf0c0564f17ec0a5434b5b9 0426e0a539c90cbb046a1ee78edd8402 scheduling lester sat empty empty ITC2021_Early_4.xml.cnf.xz main_2022,submissions_2022
6b630aa05142274d965c8fc019db511e 62f8088535b0c73484e04d217842583d hardware-model-checking xindi unsat empty empty bmc_QICE_rxrsp_vld_30.cnf.xz main_2022,submissions_2022
6b7e3415d7bd20be605b1f9723c43d68 e672c092cfa04e8d4eec4658b0849b11 multiplier-circuits shunyang sat empty empty Carry_Bits_Fast_5.cnf.cnf.xz main_2022,submissions_2022
6c34b7032712e16b08d97a0449d610e2 019f45434d86826455225878c1cf5d59 sliding-puzzle kaiser sat empty no puzzle30_sat.cnf.xz anni_2022,main_2021,main_2022
6d815089fb4095208754622b4c44a8f7 a795e60f90956f3e335ae5c9c1f025f9 multiplier-circuits shunyang sat empty empty Carry_Bits_Fast_12.cnf.cnf.xz main_2022,submissions_2022
6dd57612dab7692b8c38225bb852ce36 283e78179e1cea9820d856f6167d376a hardware-bmc biere unsat empty no hwmcc15deep-6s516r-k18-sc2017.cnf.xz anni_2022,main_2019,main_2022
6e1b970d637fca70d08b251766edade3 c364b9532d637fcc5f39659c5ae88ad9 polynomial-multiplication xiao sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=61 no Nb8T61.cnf.xz anni_2022,main_2018,main_2022
6e3015f2ce1f17e4f2b81dae06d73eec c1235ae0e014bee1d3ab1d322075d62c cryptography md5gen unsat empty no gus-md5-11.cnf.xz anni_2022,application_2009,application_2011,application_2013,main_2022
6e3ba15d8b33f40738f7e7d7355799a5 7188db0e640f60379dbc11db1f21b699 scheduling konan unknown empty empty SC22_Timetable_C_436_E_41_Cl_29_S_27.cnf.xz main_2022,submissions_2022
6f956a3f95ccaf35a3de1fe72b9cf79e 14481a788d3ec2eb8728b1d5e4f10301 algebra gardam unsat empty empty soelberg_unit_109.cnf.xz main_2022,submissions_2022
6fa8b4b7f4b059bd46913dbe741c0b94 e2a889555935b4e55b7ae59ffc6df9f4 minimum-disagreement-parity bryant sat empty empty mdp-36-11-sat.cnf.xz main_2022,submissions_2022
6fb0757ee018642fedd0669aad3882fe 4ca7f48bb199b6adaebeb047df400d46 grid-coloring heule sat empty empty grid-color-12-14-10-cb.cnf.xz main_2022,submissions_2022
7016d1da3fdfe543de3b95f96a9ffe4c 07301f9f9d86aad0028f1caf7413b0b3 summle manthey sat empty empty summle_X8651_steps8_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
7018eff980d8183192d7a309e508b320 952c16da70d7fc346fbca41b779be874 grid-coloring heule unknown empty empty grid-color-14-14-10-cb.cnf.xz main_2022,submissions_2022
70289686a242c8380ca26bda45ad1278 5ab6fa6cd85da0a069abfd9480bc3813 summle manthey sat empty empty summle_X111104_steps6_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
7101289c67f4c4ba117ad06ebb7d18a0 462064e580b7f2de0e221c22b46b7787 miter biere unsat empty no 6s184.cnf.xz anni_2022,application_2014,main_2022
72329bc80f5f55dcc356a22f3f11ebec 028e2a95ee95961a462020e308a9b84b graceful-production chowdhury sat empty empty GP_200_313_5.cnf.xz main_2022,submissions_2022
73ef1e87dbb7965ecb558e62dedb3a0c 31304c9c87187f66738b2d43329eea9a set-covering zheng unsat empty empty SCPC-500-8.cnf.xz main_2022,submissions_2022
7703f7d1901ff09a0f177c52a1a7c107 00567adb3cee3cd75ef64bdab2c4cbdd software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind43.cnf.xz main_2022,submissions_2022
78a0e76b68b536e2ea7d801fc6061cd2 f7982ac588f7168cbe5107697ac007a5 grid-coloring heule sat empty empty grid-color-12-14-14-cb.cnf.xz main_2022,submissions_2022
78cdffdf5bbb89beb753f9ffab7fa45f ccb85605953a1a64eb5e09a0034167ae sudoku zhenjiang unsat empty empty sudoku-N30-6.cnf.xz main_2022,submissions_2022
7993005e2949524b293b216ed9c65126 2e52dec43eafa238d0d4690530674e8f graph-isomorphism yangli unsat empty empty cfi-rigid-s2-0064-03-or_2_shuffle_all.cnf.xz main_2022,submissions_2022
7a236bb9e1566b80fa7b593a7e973efa 347a552bc1a0f151b2b100bded14c42b set-covering zheng unsat empty empty SCPC-500-16.cnf.xz main_2022,submissions_2022
7a67847b81b414d659f005200cf56f6b 06cffde9dcefe44821dfd181777e5066 tensors savicky sat empty empty size_5_5_5_i198_r12.cnf.xz main_2019,main_2022
7ab6615515ffc5ceb8f6bd440d159c3d 43f07fd3bb82488ee397588d89d6da29 hardware-model-checking biere sat empty empty pj2016_k80.cnf.xz main_2022,submissions_2022
7acf6cf25ddaf2ab98106e0bb3b9ddb1 e89002955d4eb48530f6aeb5a2f55f0a maxsat-optimum cherif sat empty empty af-synthesis_stb_50_140_3_sat.cnf.xz main_2022,submissions_2022
7adc1ade3384505af00ff8f7be23f5bd 2d163bb3612d2f030b74bce0f69590fe tree-decomposition ehlers sat empty no ex175_20.cnf.xz anni_2022,main_2018,main_2021,main_2022
7af73f846548141cc97b8a149a20bfbf fd0857c3c95d23291b8b14b119ba8ca0 petrinet-concurrency bouvier sat empty no vlsat2_57038_10572502.dimacs.cnf.xz anni_2022,main_2020,main_2022
7b933d3e6b425772ed19eb0fec52bbf9 82144c4e78202814bd5b4d4decc525b8 scheduling shuolinli sat empty empty j3037_1_rggt_b.cnf.xz main_2022,submissions_2022
7c15baa29f2228703e5161bfabd91773 a3a1c1f7f2269c22bbf36ed2cb6683e0 independent-set-reconfiguration froleyks sat empty empty reconf10_140_queen6_1.cnf.xz main_2022,submissions_2022
7c6a06895899eab7cb83b658898ac327 7ef7abb7baca26cc37558ea11fa755de independent-set-reconfiguration froleyks sat empty empty reconf10_145_queen6_2.cnf.xz main_2022,submissions_2022
7d2199baf2526263b5f753d290d2790b 9da6238cf75f591b96f76faff932f973 cryptography gocht sat empty empty md4__zeroOut_19__freeIn_23__seed_2.cnf.xz crypto_2021,main_2022
7d9025b2f7e76f783a4ae5e8c9bf8e5c 1a4c2d34327360b28e0f10b2a5af3f2d sat-x riveros unknown empty empty 4d_euler_bricks.cnf.xz main_2022,submissions_2022
7e5396d6b00b82c2fc0ea1d7c6505afd a80b3994d62c6684439471fe09f5decc gray_codes manthey unsat empty no manthey_single-ordered-initialized-w50-b7.cnf.xz anni_2022,main_2015,main_2022,parallel_2015
7e9318578a6bdd7dfa9fc261be8a0839 f49b7e19e1560b0b5a3b500dfb71d7eb algorithm-equivalence-checking kochemazov unsat empty empty PancakeVsSelectionSort_7_7.cnf.xz main_2022,submissions_2022
7edaa759315f3762eee756c5bb843599 f7e7d871935cf5e1186bb188c3577704 scheduling konan unknown empty empty SC22_Timetable_C_436_E_42_Cl_29_S_27.cnf.xz main_2022,submissions_2022
7efdf72de31fa82aeceb7acbc29a59bf bd194790c49c06fb37378435636a24f7 petrinet-concurrency bouvier sat empty no vlsat2_113_1150.cnf.xz anni_2022,main_2021,main_2022
7f09f477d319cd79821c80504aa06a6e 3e7901aea6987bb6f796087ae3522943 scheduling lester sat empty empty Break_16_56.xml.cnf.xz main_2022,submissions_2022
7f4d55b70c61ffc611a58e01d52c19bb 0548efdd8fcb440acf49951e5d0e66c5 set-covering zheng unsat empty empty SCPC-500-11.cnf.xz main_2022,submissions_2022
7fe153ced2c966dcdeb42b6714b4d6b7 5960d7b50bfc04523c0d2dfb15fefa58 sudoku zhenjiang unsat empty empty sudoku-N30-11.cnf.xz main_2022,submissions_2022
7ff8c9781b3ada449ce489cdf444a760 284b7570f4f8a0f04c703d2c630d84a7 scheduling lester unsat empty empty Break_unsat_10_15.xml.cnf.xz main_2022,submissions_2022
80023e9fd0e627f71c2d953432613b5f 368b55472c30313704106eac988ab4cb circuit-equialence-checking junhua unknown empty empty hyp_cec_multi_4.cnf.xz main_2022,submissions_2022
807133f4461a11e39a390dfcf67a4fc6 07301f9f9d86aad0028f1caf7413b0b3 summle manthey sat empty empty summle_X11113_steps8_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
810ce4a78bc01ddc5a043d95f9584f2f c1ebeaac8c8b23f9e54da2b492906fdd cryptography nossum sat empty empty 005-80-12.cnf.xz application_2014,main_2015,main_2022,parallel_2015
81b674a2aa6fbda9b06cf8ea334ddc44 608d379acef056626e14999c464578e2 miter biere unsat empty no beempgsol2b1.cnf.xz anni_2022,application_2013,main_2022
81e73c41a76d7b432cf86c43ffe23986 66c1b0b4fa56e179a9e43a5407d9323b algorithm-equivalence-checking kochemazov unsat empty empty PancakeVsInsertSort_8_6.cnf.xz main_2022,submissions_2022
85aa1f0820da17412b8ee803b4a85207 677c2733aaf95635c173bfc823cdbb0d sudoku zhenjiang unsat empty empty sudoku-N30-4.cnf.xz main_2022,submissions_2022
885c0d25480fe4db3cd5d3b4bc044e76 b7758b6295b7044fd286c4a21f79c0fb set-covering zheng unsat empty empty SCPC-500-17.cnf.xz main_2022,submissions_2022
889b6d29998ade866e64c46f807a98bc bfb516aaab5723f76b83df272a00f3f2 hardware-model-checking huawei sat empty empty 6s320rb1_Iter9.cnf.xz main_2022,submissions_2022
88bfa72210baef40a2903d95044dc19d 7c40406fdd527107316dfc74f21636ec software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind40.cnf.xz main_2022,submissions_2022
8aee61ed27bf700a548ca9c097203749 35e68f7c2d08e081a6f8cff0a58e8a6e planning froleyks sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty SAT_MS_sat_snake_p01.pddl_39.cnf.xz main_2022,planning_2020
8bb5819a23a8f1dff851d608bec008ca 8fd4654fe697c643528efaf6be9a2864 scheduling lester sat empty empty ITC2021_Late_6.xml.cnf.xz main_2022,submissions_2022
8bfbffbfea9e5a5993bc024f39adff84 d7b9984edca94bb1788f6904db5f62c4 scheduling xindi unsat empty empty worker_40_80_40_0.85.cnf.xz main_2022,submissions_2022
8c0af30cc2a89e3fee97852633bed956 ac83852a5dc6e1e164e0642f814f4e87 circuit-equialence-checking junhua unknown empty empty div_miter_lec_1.cnf.xz main_2022,submissions_2022
8c8b72ac19c0f93813b614a18abaf512 c2cf801a60c7bd98b95a784808144123 software-verification aws unsat empty empty aws-encryption-sdk-c:aws_cryptosdk_keyring_trace_eq.cnf.xz,aws-encryption-sdk-c:aws_cryptosdk_keyring_trace_eq.dimacs.cnf.xz main_2022,submissions_2022
8e659f42dd85a193fccc9cbbcc4627ed 20a80999026a3fc092e9473087c3255f sat-x riveros unknown empty empty sum_of_three_cubes_3_unknown_representation.cnf.xz main_2022,submissions_2022
8efdd60faa21ddcace492bff0479408b 4799f6cf9ab9407666b443679c835d59 scheduling lester sat empty empty Break_triple_20_54.xml.cnf.xz main_2022,submissions_2022
8f3d4a4fedf4689ae0e6df362478d551 457b8ae56d9b86bd72e5c00c9661aaf8 algorithm-equivalence-checking kochemazov unsat empty empty PancakeVsSelectionSort_7_6.cnf.xz main_2022,submissions_2022
90add18e4ee4facb4f37737a9a2602cc 2bc4d77ef4674e6316057b654ac136dc scheduling konan unknown empty empty SC22_Timetable_C_436_E_40_Cl_29_S_27.cnf.xz main_2022,submissions_2022
90e839c4b05d4a7ac011435921551060 12fc2cc67f95344834d6a702a27e8fbe scheduling konan unknown empty empty SC22_Timetable_C_436_E_43_Cl_29_S_27.cnf.xz main_2022,submissions_2022
90ec6ff35305fed1d9a87a3ecd87238b 231819e27ef91354ae8a95af73501954 software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind48.cnf.xz main_2022,submissions_2022
918ca8da0cbca88dcd34b0a6dec2b770 13e2c6630620651f04e14332e5b53f82 graceful-production chowdhury sat empty empty GP_100_950_32.cnf.xz main_2022,submissions_2022
920bbe559da4ea37fd636605316a791c 9115895017e2394c2936e463d5cb88c1 set-covering zheng unsat empty empty SCPC-500-19.cnf.xz main_2022,submissions_2022
925c82e25f5391fc2f1f7a4a9e093cec afe6c11b2a81c08ca7e1d5abd343aa2e hardware-model-checking huawei unknown empty empty 6s186_Iter99.cnf.xz main_2022,submissions_2022
928436a6e8edbcde2d82504a85c88853 f6e11c76708d254ddbacfecdb387bf62 relativized-pigeon-hole oertel unknown empty empty rphp_p90_r90.cnf.xz main_2022,submissions_2022
93695f689b57cdb57c9b6d0d726e0f53 956d183ae6da4bca84b6b75e743659e1 scheduling lester sat empty empty Break_triple_18_48.xml.cnf.xz main_2022,submissions_2022
95c00d0ae51d5d0a2a931ce82b77701f 977a7869ea96ee28b6460ad57c8d6056 maxsat-optimum cherif sat empty empty af-synthesis_stb_50_140_0_sat.cnf.xz main_2022,submissions_2022
96f6aab24720f070a02e637f7252b482 155c5f496ac291ba1a1aa4286cea089d grid-coloring heule sat empty empty grid-color-12-14-8-cb.cnf.xz main_2022,submissions_2022
98dbd257808e551fd26cad78ba520955 ba6f1332c94c0ab1924220f13a13d160 scheduling lester sat empty empty ITC2021_Late_2.xml.cnf.xz main_2022,submissions_2022
9954ccd77da65ad003b73bf38de3bd78 be8c057257bf0cf2e9bf9a5ba6628ae1 sat-x riveros unknown empty empty 4d_perfect_euler_bricks.cnf.xz main_2022,submissions_2022
9cdf94203777c9f036f412bef1cc7c85 a250f86a820c8467a0d30445bd6a20f4 tseitin-formulas oertel unsat empty empty tseitin_n196_d3.cnf.xz main_2022,submissions_2022
9cea216ba8c5051e489af11150504ba6 a65de36ee5d9cb2f591925924154ae84 scheduling lester unknown empty empty Break_20_36.xml.cnf.xz main_2022,submissions_2022
9e35558ea8ffba630cd8c8f90e14af14 5c9685af86009b3d6ea21f758e8b572e software-verification osama unsat empty no string_compare_safety_cbmc_unwinding_730.cnf.xz anni_2022,main_2021,main_2022
9f7ec7ef3a908c2e93b5553670a207b1 9a4bdc5b061e338a584ed203ffbcdae7 relativized-pigeon-hole oertel unsat empty empty rphp_p14_r14.cnf.xz main_2022,submissions_2022
9f901378a6feabcc94019a018a70d42b 37b785cdcb4628a40ad3224d384911ab circuit-equivalence-checking xinyan unsat empty empty sin-mitern29.cnf.xz main_2022,submissions_2022
a09b0e7764666af044fa7e63dd7e7aef d794d81d2072f34760eee2aced014401 algorithm-equivalence-checking kochemazov unsat empty empty PancakeVsSelectionSort_8_3.cnf.xz main_2022,submissions_2022
a0e98fd44b74e6f255ca1e5a20bc01fd c3fe9ef39f14d4936b1058710e9a97f8 graph-isomorphism yangli unsat empty empty cfi-rigid-d3-0180-02-orig.cnf.xz main_2022,submissions_2022
a1158a2d8c8a1c6da02c2c4fcb32337f 9a40307f36566ba5121bfe5f86e9e200 hardware-model-checking huawei unsat empty empty 6s158_Iter2.cnf.xz main_2022,submissions_2022
a130a3f95891daed1bfd71c77bd2d8a1 d1fd8ddde8157e7851b9fc1ada654a25 hardware-verification ibm unsat empty no SAT_dat.k80.cnf.xz anni_2022,application_2011,main_2020,main_2022
a2609893b71f219f4635d33ef1ff6eca f655a6b5ce2a3199a4ddd35e68eb0099 scheduling shuolinli unsat empty empty j3045_4_gmto_bm1.cnf.xz main_2022,submissions_2022
a2bdae1f9d9695e8cf80cfbbd5f7d61f a36b0c121c0078b04538802e7f32866b algorithm-equivalence-checking kochemazov unsat empty empty PancakeVsSelectionSort_8_4.cnf.xz main_2022,submissions_2022
a33d32bb816c0da62c7d946c18286a0d 84dd7f3acaf30078fce6d6390341744b set-covering zheng unsat empty empty SCPC-500-2.cnf.xz main_2022,submissions_2022
a42230be4432b010789b6f97b090343c 549c52099d5ed1ab70699e613f5c3ddd algebra gardam sat empty empty soelberg_unit_223.cnf.xz main_2022,submissions_2022
a4451734e7f5f2ce7b481688a693c4e9 0e40dac6679ee7ed7ae68288c1b476e3 scheduling xindi unsat empty empty worker_20_20_16_0.9.cnf.xz main_2022,submissions_2022
a44fce1796383ea31df08af3b0f65db3 068ee78f67c1d84c19178ce4e03aee83 algebra gardam sat empty empty soelberg_unit_159.cnf.xz main_2022,submissions_2022
a4bffff28417d6b4d72f7b9122988ba5 bd268d5d22acb1dcd2cfa2eae3a3edd3 independent-set-reconfiguration froleyks sat empty empty reconf10_68_queen15_2.cnf.xz main_2022,submissions_2022
a58badecf3c901594f06d021f54c3a11 12d210d32b574124ded6015f59a2f50f software-verification aws unsat empty empty aws-c-common:aws_priority_queue_s_sift_either.cnf.xz,aws-c-common:aws_priority_queue_s_sift_either.dimacs.cnf.xz main_2022,submissions_2022
a5e0082efb1da4dabaa165c2bda5f85e 8f318d900ef4ad181d786317205c3c57 software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind41.cnf.xz main_2022,submissions_2022
a65dfd8b3468d202ff3ba8731018622e e49a8da81701473b060d9e48021026f4 scheduling shuolinli unsat empty empty j3037_10_gmto_bm1.cnf.xz main_2022,submissions_2022
a7aac5c83f236fd8b3de3275e3f5499d 102b06e4a6db94864144cd64ad9d35aa edit-distance mengel unsat empty no edit_distance041_183.cnf.xz anni_2022,main_2021,main_2022
a7b23445c21b27eb3c918c1e96ba25df ab0cd9dc6f25e866775cfdf9a6c3777e circuit-equialence-checking junhua unknown empty empty hyp_cec_multi_1.cnf.xz main_2022,submissions_2022
a7cb2567e1f5b7ec2f4ba09931e29b96 5ae4a98d2fec9eba811ca171e3d5e0b2 software-verification aws unsat empty empty s2n:s2n_stuffer_write_base64.cnf.xz,s2n:s2n_stuffer_write_base64.dimacs.cnf.xz main_2022,submissions_2022
aa4638ca3654f1a300c809125a3133ee 40b4c884f357c9151a15b912db221ad4 hardware-model-checking huawei unsat empty empty 6s22_Iter57.cnf.xz main_2022,submissions_2022
aad5bbe8920c5afc84068bb1da27ee8f 3cb15b0e96bb464aeaa3c4476711e6ef auto-correlation mugrauer sat empty no LABS_n041_goal003.cnf.xz anni_2022,crafted_2013,main_2021,main_2022
ab660e179140ea816eca23098fd50078 20a80999026a3fc092e9473087c3255f sat-x riveros unknown empty empty sum_of_three_cubes_33_unknown_representation.cnf.xz main_2022,submissions_2022
ac6256657058fe65dc7ddaf773ab83bf f7f37d8760f4c7e2913f0d3c91544038 scheduling djamegni sat empty no SC21_Timetable_C_527_E_71_Cl_35_S_35.cnf.xz anni_2022,main_2021,main_2022
ae5f6e83a289d226a353efd95b663717 3435467755e9fe7c496dd89c17c37a4a hardware-model-checking huawei unsat empty empty 6s22_Iter99.cnf.xz main_2022,submissions_2022
af63ce577d1fea121ba80b4b1d148f0c 8adf4422bd30cbe0be31814ff8e5e88c sudoku zhenjiang unsat empty empty sudoku-N30-22.cnf.xz main_2022,submissions_2022
af834fd3ce15078d2ab055c996758c00 86790fb178344b9a6b9add1edfda4df6 sat-x riveros sat empty empty sum_of_three_cubes_33_known_representation.cnf.xz main_2022,submissions_2022
b043968ec004b4ac19eb31926c24d22c 0026bdc23859a712dcfca0bf2780d150 minimum-disagreement-parity bryant unknown empty empty mdp-36-11-unsat.cnf.xz main_2022,submissions_2022
b1c44904cf06682f973b60c8282f45e8 64680f55198eb1665e489e7a724a2ce5 cardinality-constraints wynn sat empty no mp1-squ_ali_s10x10_c39_bail_SAT.cnf.xz anni_2022,main_2017,main_2022
b24684abee2e253a4aee233eed155a5b 0a1e31d284cec75fe562945c4ea379ff graceful-production chowdhury sat empty empty GP_100_948_34.cnf.xz main_2022,submissions_2022
b29cb3449d70126d186e1f6a4fccc419 7ee88dfc160743368e978c4e0693ad77 hardware-model-checking biere unsat empty empty pj2015_k9.cnf.xz main_2022,submissions_2022
b2bcdd97e7d0ca8858b412eb34b26ba9 7ac93b871866c3e9923b85e4730d09dd circuit-equialence-checking junhua unknown empty empty hyp_cec_multi_5.cnf.xz main_2022,submissions_2022
b344f80cef9889d952c76736d0ad92d9 9f76b8a272661f677166453f7083a65a hardware-verification velev unsat empty empty 9dlx_vliw_at_b_iq6.cnf.xz,9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf.xz application_2009,application_2011,application_2012,application_2014,industrial_2004,industrial_2005,industrial_2007,main_2022,portfolio_2012
b3828c92f2c77f8d7581570685679d76 ea4a4c8300f6f6dc63a6d9f7a78005cf circuit-equialence-checking junhua unknown empty empty sin_depth_miter_8.cnf.xz main_2022,submissions_2022
b3cf73d0383f781adf09a2192fa03a15 7e0ebafe6c4911875ae622f4e583753b software-verification osama unsat empty no string_compare_safety_cbmc_unwinding_670.cnf.xz anni_2022,main_2021,main_2022
b51583e32432c5778c7e3e996c3bfeba 43531e6ae17b51fc6667586439bd4db8 software-verification liang sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=58 no sqrt_ineq_3.c.cnf.xz anni_2022,main_2018,main_2020,main_2022
b88d206fb35ef87bd7ec5d4a1430ae0c 471c91f955583b3f8722be810b58b405 maxsat-optimum cherif sat empty no 20-100-p100-55_sat.cnf.xz anni_2022,main_2021,main_2022
b8d10f8c82a85c03c000fbd005e5a838 15534895f0549188fbd1377cc9be9f6d scheduling xindi unsat empty empty worker_50_150_40_0.85.cnf.xz main_2022,submissions_2022
b8e3b884886922343f5cb72d92c24b97 a8ab82302c586144b1130d00373a711b random-csp kexu sat empty no frb75-13-2.used-as.sat04-878.cnf.xz anni_2022,crafted_2011,crafted_2012,handmade_2004,main_2022,portfolio_2012
b8f9b018d16835c564dcd8395118c79f f14900f893592105726f06d830d78a87 software-verification aws unsat empty empty aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_alg_id.cnf.xz,aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_alg_id.dimacs.cnf.xz main_2022,submissions_2022
b913c17d26ac9f3ad15fa83dc98960c7 0ebba7014ef87dae6dd8d963295b2066 sudoku zhenjiang unsat empty empty sudoku-N30-27.cnf.xz main_2022,submissions_2022
b96071f89fa1b1670b8375010b1dd42b f1390fbf6b1e4fcb2af82330ca320e74 set-covering zheng unsat empty empty SCPC-500-9.cnf.xz main_2022,submissions_2022
b962abe508e5a677dbce14056111b48b ecc2320856d422e824f2adbe10a604e0 scheduling shuolinli unsat empty empty j3037_1_rggt_bm1.cnf.xz main_2022,submissions_2022
ba8621490e4e7212fffdb55fb6bd282d d17c26deb4e3aacc3749ffb05bd8dd89 cryptography soos sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=83 no combined-crypto1-wff-seed-108-wffvars-500-cryptocplx-31-overlap-2.cnf.xz anni_2022,main_2020,main_2022
bb0613595001749a0ada02f2da85bc89 e5b9b59d83d217572d6e0fbc804113eb algorithm-equivalence-checking kochemazov unsat empty empty PancakeVsInsertSort_7_7.cnf.xz main_2022,submissions_2022
bb80971144a5423532aea9424dade891 04a7535385e3e1d8f69eb0df68f2f7ef circuit-equivalence-checking xinyan unsat empty empty div-mitern174.cnf.xz main_2022,submissions_2022
bc16508e3f279bec0a072b939bbe6440 7340ff07ef4cbfcf9a07b83bfc02b60d maxsat-optimum cherif sat empty empty af-synthesis_stb_50_40_2_sat.cnf.xz main_2022,submissions_2022
bcb2104a3558d87ac3b2107c10d54648 44f851008a8d2d6540cb26ff4f8b067a puzzle grinten unsat empty no mp1-blockpuzzle_5x12_s6_free3.cnf.xz anni_2022,main_2017,main_2021,main_2022
bd5bc8b7711b75f3cd3ad935bf000659 449caa417c5ae6fcc8fac44341ac0d79 maxsat-optimum cherif unsat empty empty af-synthesis_stb_50_20_8_unsat.cnf.xz main_2022,submissions_2022
be2b20414899ed839ac14bf8b9365692 4b6463fa751f9d11c0d5ecad880b29b6 hardware-model-checking biere sat empty empty pj2016_k140.cnf.xz main_2022,submissions_2022
c0d927c372e355081aa1f537cc910843 81edfc93fd807fc55dd5da43d10b6cc4 graceful-production chowdhury sat empty empty GP_100_948_32.cnf.xz main_2022,submissions_2022
c0df94532b1ca8a705d3af05378f377d b1cc4bee1353f5e6bc043c3fce7e6d03 set-covering zheng unsat empty empty SCPC-500-20.cnf.xz main_2022,submissions_2022
c1b30b4e03c3024ad9d084e29e79aa46 dadc8ee6fa2e59e38259f4e6aca3ded6 algorithm-equivalence-checking kochemazov unsat empty empty BubbleVsPancakeSort_6_6.cnf.xz main_2022,submissions_2022
c1cb62f85f0c6a29c5d3c47d25fbc24a a795e60f90956f3e335ae5c9c1f025f9 multiplier-circuits shunyang sat empty empty Carry_Bits_Fast_23.cnf.cnf.xz,Wallace_Bits_Fast_1.cnf.cnf.xz main_2022,submissions_2022
c221c5dc006de79e561124dab52aae82 e6fed660ad0055d00c1a0713fa9cfd86 minimum-disagreement-parity bryant unsat empty empty mdp-28-12-unsat.cnf.xz main_2022,submissions_2022
c23aed727ae2d9cbb888d771991995aa 2d8c03b4142a6d87e2b0bae73c5525b2 tseitin-formulas oertel unsat empty empty tseitin_grid_n16_m16.cnf.xz main_2022,submissions_2022
c2596b3f0d779d532a667962b1e54b42 68a04d20a4ae4ccd3557b77dcaacdd13 hardware-model-checking biere sat empty empty pj2008_k300.cnf.xz main_2022,submissions_2022
c2828483a78420f9a90e3ed9728c06cc 3eb5e6539a1a4398c03f3f6c56f9044b graceful-production chowdhury sat empty empty GP_100_951_37.cnf.xz main_2022,submissions_2022
c2894b8d82492f03bb73bbc65896c016 7df8aef0523d8c606fbac24325e5e038 software-verification aws unsat empty empty aws-c-common:aws_priority_queue_s_remove_node.cnf.xz,aws-c-common:aws_priority_queue_s_remove_node.dimacs.cnf.xz main_2022,submissions_2022
c2f827691e524e272d21de55b3749877 5cf7a54310c9f4abf7accbae3faf3128 graceful-production chowdhury sat empty empty GP_100_951_35.cnf.xz main_2022,submissions_2022
c33dc89922f1ddea4e7eeddafe4143b3 d4ba2be21b333eae7243cc724251b855 independent-set-reconfiguration froleyks unsat empty empty reconf20_20_grid10_1_6141.cnf.xz main_2022,submissions_2022
c3b4a96d92da617218449abad4334d6d f27c85052010879a6464e8fd9b20fb2b circuit-equivalence-checking xinyan unsat empty empty div-mitern164.cnf.xz main_2022,submissions_2022
c3de1f05d136b8ec420732ca829f3217 4125397eaf2081b83c2e4ccfa5d42562 software-verification aws unsat empty empty corePKCS11:C_CreateObject.cnf.xz,corePKCS11:C_CreateObject.dimacs.cnf.xz main_2022,submissions_2022
c5be40965caf3abdba3994ff3d1f32b6 5d3e8babcc81dcdfc257fe68698bdc51 grid-coloring heule sat empty empty grid-color-12-14-4-cb.cnf.xz main_2022,submissions_2022
c846dfb21b50596aef8fbe5591d75eb0 45e8c4714e081a6be5c9cd5a355fb074 planning froleyks unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty UNSAT_MS_opt_snake_p20.pddl_29.cnf.xz main_2022,planning_2020
c98459d6a1763d809729e276b9c4cbbd 6104c74e1b7e611389cbca9527ac4a60 software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind74.cnf.xz main_2022,submissions_2022
c9886f58320a360adbc8db9470563bea 2c33a2a1ba433e740549ef57b9a560ae scheduling kummling unsat empty no ctl_4291_567_12_unsat.cnf.xz anni_2022,application_2013,main_2022
ca6db14aaa04027d2b8af47ec910bd68 73db45e89c736a307eaf6295170680bd graph-isomorphism yangli unsat empty empty cfi-rigid-s2-0064-04-or_2.cnf.xz main_2022,submissions_2022
cac1c09f968ef8654c499156d1292385 95360ac34a09534917c6436cc69abf65 set-covering zheng unsat empty empty SCPC-500-18.cnf.xz main_2022,submissions_2022
cb3c725fd30d50c6785b907054194260 45b86509dd8b11f3f9047b54da4e37bd scheduling xindi unsat empty empty worker_40_40_30_0.9.cnf.xz main_2022,submissions_2022
cb8f9ffb66d9b5ef663e6759be0b5e4e 2e7d93216b30641af7f302855e92aca5 bioinformatics corblin unsat empty no q_query_3_L200_coli.sat.cnf.xz anni_2022,application_2009,application_2012,application_2014,application_2016,main_2015,main_2022
cbd7e28e510e658abbbe312bdffc6407 bd62227eec97e5846a1960bb0dcfd1f8 scheduling xindi unsat empty empty worker_50_50_50_0.85.cnf.xz main_2022,submissions_2022
ccb55d1b802617fcb969e12859d66124 1025b613a6b2596d61f78d3188d3a4f0 cryptography zhang sat empty empty g2-mizh-md5-48-2.cnf.xz,md5_48_2.cnf.xz,mizh-md5-48-2.cnf.xz anni_2022,application_2012,application_2013,crypto_2021,industrial_2007,main_2006,main_2008,main_2017,main_2022,portfolio_2012
cd1585619fea2f2634525a3663873764 429976260129b9e174250b6507e03a87 software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind55.cnf.xz main_2022,submissions_2022
cd361d33986dccd7f2d86016d6c35241 d1b110ceb948ef954b44d7ee03cc081c cellular-automata harder sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=57 no ecarev-110-4099-22-30-7.cnf.xz anni_2022,main_2018,main_2022
cd36b290c27ed9bafedfb2ca88469f01 2c1fd732d33c98ac4848d341746acceb minimum-disagreement-parity bryant sat empty empty mdp-28-12-sat.cnf.xz main_2022,submissions_2022
cd72a64e1b857fd30b9ec831cf462bf1 220225f2bf7e8a4899020b0464b0f76c cryptography liang sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=45 empty mp1-21.7.cnf.xz crypto_2021,main_2017,main_2022
cd7c8f8aa9901293a9bc31839eafcc40 3b8fc7e8671c34b72389edd45eabdced independent-set-reconfiguration froleyks sat empty empty reconf10_42_queen20_4_0961.cnf.xz main_2022,submissions_2022
cda0871abcaa41bb403207731bd24fe5 a8fe4870f4567edafbb751463894d9bb maxsat-optimum cherif unsat empty empty af-synthesis_stb_50_100_4_unsat.cnf.xz main_2022,submissions_2022
cdcdc78497a72d622493b1bac4f0f28b f784151986d261abf1c46f5ca9556eb4 independent-set-reconfiguration froleyks unsat empty empty reconf20_26_3-FullIns_4_1.cnf.xz main_2022,submissions_2022
ce32731c73701c2ac2bed5341b6ae3ca 4b46d2caf4ccf185c22ca3eeaf01ec29 unknown moon sat empty empty mp1-9_27.cnf.xz main_2017,main_2022
ce4345ce697134021029c2686d5eb04c a898597911018f26366247a3aafb1e57 multiplier-circuits shunyang sat empty empty Carry_Save_Fast_3.cnf.cnf.xz main_2022,submissions_2022
cf194dbcba619ea53edb4170c056ac5b 18a56b8d7353c0042cc9433486eda016 grid-coloring heule unknown empty empty grid-color-14-14-14-cb.cnf.xz main_2022,submissions_2022
cfa14a7015b0f7fecd98e898f3c95896 8397e749403d5e35f6b20a341e086e64 hardware-verification velev sat empty empty velev-vliw-sat-4.0-b8.cnf.xz application_2012,main_2008,main_2022
d065d395159d19735706e0b5cb823f17 2c162c954e250bb0063c7cde24e5494e maxsat-optimum cherif sat empty empty af-synthesis_stb_50_20_8_sat.cnf.xz main_2022,submissions_2022
d0ee45ac97c6b5cc63a528f46a5797aa d411b83b2b780bd82ada09cc5f52dc39 software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind44.cnf.xz main_2022,submissions_2022
d1a4dc04e54d4fa58dfbbf61bd2415b4 2b797c5188e3ce38e4cf7653bb5bf4d9 scheduling konan sat empty empty SC22_Timetable_C_451_E_50_Cl_30_S_28.cnf.xz main_2022,submissions_2022
d1dbf88a58406c931fd696267ed8159e 4e2ff146712f4471656b6bb363dfe8ed software-verification aws unsat empty empty s2n:s2n_stuffer_private_key_from_pem.cnf.xz,s2n:s2n_stuffer_private_key_from_pem.dimacs.cnf.xz main_2022,submissions_2022
d1f5c3af78f13f39595288976115d7d3 c303340b78bd7523207e33a2effc8876 sat-x riveros unknown empty empty 3d_perfect_euler_bricks.cnf.xz main_2022,submissions_2022
d21199e73859ca35386912c5c475d6c7 35e0f03f17580e03c53cbbcd1bc02a98 tseitin-formulas oertel unsat empty empty tseitin_n192_d3.cnf.xz main_2022,submissions_2022
d32a1553afeebf44835370c9567b3598 1bcac6afbcfa2395f75b94bc48d597c0 graph-isomorphism yangli sat empty empty cfi-rigid-t2-0048-01-or_3_shuffle_all.cnf.xz main_2022,submissions_2022
d3c07914f3ebb42906b986aa431243af 07301f9f9d86aad0028f1caf7413b0b3 summle manthey sat empty empty summle_X8646_steps8_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
d3c22bb79a638adc35682226f35e3bc4 048b16bed66be8870054608b699c8a63 hardware-model-checking biere unsat empty empty pj2003_k9.cnf.xz main_2022,submissions_2022
d40af7b45bba9c64033c0dd47b07f4a4 11f55b728eef4f2ab995f69c8625e893 minimum-disagreement-parity bryant sat empty empty mdp-36-16-sat.cnf.xz main_2022,submissions_2022
d518d21a9d851741940749cb59f558af 41497f9f1c49aea0c3499e3982042479 relativized-pigeon-hole oertel unsat empty empty rphp_p6_r28.cnf.xz main_2022,submissions_2022
d60f78323b957025e55ca528d641b83b b07dff118a4a69bf02f580a076f2c20d scheduling konan sat empty empty SC22_Timetable_C_451_E_48_Cl_30_S_27.cnf.xz main_2022,submissions_2022
d6947217ad779e1175c716cca42525c6 295aa8fbedb5c4f7d9c7136b875e8f8a summle manthey sat empty empty summle_X111113_steps7_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
d6c845a5f92ebc059b3f0ab2f6d395ed 88f8dfa443aa76a594fd7232054068af graph-isomorphism yangli unsat empty empty cfi-rigid-z2-0088-02-or_2_shuffle_all.cnf.xz main_2022,submissions_2022
d702aa8568706efda8308ef8d24f907b d5924d36b0a7c94472419387ce41a433 circuit-equivalence-checking xinyan unsat empty empty div-mitern167.cnf.xz main_2022,submissions_2022
d7039acbd2f060fe1e32a273b07c2c77 3a33d0dd6ccf08c4755f5b6b165b5544 sudoku zhenjiang unsat empty empty sudoku-N30-29.cnf.xz main_2022,submissions_2022
d78819115db81dee343d7777fbc5844f 73db45e89c736a307eaf6295170680bd graph-isomorphism yangli unsat empty empty cfi-rigid-s2-0064-02-or_2.cnf.xz main_2022,submissions_2022
d79e09d2a1639a01528c0703df4d4946 1ace984d69d01203d0fa7629f0db99fa hardware-model-checking biere unknown empty empty pj2008_k400.cnf.xz main_2022,submissions_2022
d7f273dc6e97efe55c8b7f9cc547eb2d 4163da4db30bdc7cbc4431362e43056c circuit-equialence-checking junhua unknown empty empty sin_depth_miter_1.cnf.xz main_2022,submissions_2022
d8602e623f87dd33f4a1a69ee42d15be 52d97e81777b2db5e4c4b4d11ac239e5 independent-set-reconfiguration froleyks unsat empty empty reconf20_50_grid10_3_6844.cnf.xz main_2022,submissions_2022
d87714e099c66f0034fb95727fa47ccc e3ac6dc9a7f3751ae1b268d143df5500 multiplier-circuits shunyang sat empty empty Wallace_Bits_Fast_2.cnf.cnf.xz,Wallace_Bits_Fast_4.cnf.cnf.xz main_2022,submissions_2022
d892eb7b3b3a44192ee639e222eee058 8625644635e7ef26708e2d6331d84342 independent-set-reconfiguration froleyks sat empty empty reconf10_99_Ins_3_1.cnf.xz main_2022,submissions_2022
d8bb23406e76bf5a4b7a6edba8784a74 79c9def7eeee190038a813ed39180622 software-verification aws unsat empty empty Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemoveTrailingWhiteSpaces.cnf.xz,Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemoveTrailingWhiteSpaces.dimacs.cnf.xz main_2022,submissions_2022
d90c519010bfda89d1626c0321a55a64 8c731c7132ae516d46f9aba0301b9fcf scheduling shuolinli unsat empty empty j3045_10_gmto_bm1.cnf.xz main_2022,submissions_2022
d9e9100c382d44fb67af82f8d69814f1 f795c2769a72e4ff9577db6cd6e34b33 graph-isomorphism yangli sat empty empty cfi-rigid-t2-0048-03-or_3_shuffle_all.cnf.xz main_2022,submissions_2022
dcac26e190c906c61ac7222d6d4628c7 f4685484740bcd0821ff931490e0bdd9 grid-coloring heule sat empty empty grid-color-14-14-12-cb.cnf.xz main_2022,submissions_2022
dd0196aee30d0a83b6fe8bc7eba01806 7e4f414e706f24890d59c8f9eaea8dc6 software-verification aws unsat empty empty aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_iv.cnf.xz,aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_iv.dimacs.cnf.xz main_2022,submissions_2022
ddc7ca4c5dcb102a3ecc63721498f746 570dafa37118f413093a8d0ae397ca8f scheduling konan unknown empty empty SC22_Timetable_C_436_E_39_Cl_29_S_27.cnf.xz main_2022,submissions_2022
ddcb0cd9b7bca43c3a5189326ae88aab ce47ae434caa8205445d2d9d3c954ff6 software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind71.cnf.xz main_2022,submissions_2022
e011c703e4a2ff46069ec2af2997b580 80df37601c17525e8d7709f7e7518fad circuit-equialence-checking junhua unsat empty empty sin_depth_miter_6.cnf.xz main_2022,submissions_2022
e01c39b7b41c9ff1621579b747254fab 6d2cba2c25d857feaafb1c114673d5c7 core-based-generator hartung sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=89 empty ncc_none_3001_7_3_3_1_31_435991723.cnf.xz anni_2022,main_2020,main_2022
e02e21075d3bb8b0e64ea9b8122c75ff 5e36b8fae7229c5a5f385e356605e621 algorithm-equivalence-checking kochemazov unsat empty empty PancakeVsInsertSort_6_7.cnf.xz main_2022,submissions_2022
e0b938c32e36e2939d712dd4024f9ec6 0a139c0dd2fa849567201b1ad93bbaf0 scheduling shuolinli sat empty empty j3037_9_mdd_b.cnf.xz main_2022,submissions_2022
e28cf003c086c99f3a3d9a90aebf8ed1 ae41222968880bc54e0aad461adf2f99 hardware-model-checking huawei sat empty empty intel046_Iter124.cnf.xz main_2022,submissions_2022
e4128445a07bb86afca1f3590d9adfa9 ff9331ac4f52717d632be632e31c98ab scheduling xindi unsat empty empty worker_80_80_80_0.8.cnf.xz main_2022,submissions_2022
e436f6303d3f499969eafe05b0914a4b 60ccdf6a9cd7e636cf3c94b98388dbd9 hardware-model-checking xindi unsat empty empty bmc_QICE_snp_vld_50.cnf.xz main_2022,submissions_2022
e47567e16e4aeb4d8f3806dfbfdfd646 ccb85605953a1a64eb5e09a0034167ae sudoku zhenjiang unsat empty empty sudoku-N30-8.cnf.xz main_2022,submissions_2022
e4f345877ba5fa2b8fb26be06a123748 b2106bb799956ae0d8d62dc356f3676f relativized-pigeon-hole oertel unknown empty empty rphp_p105_r105.cnf.xz main_2022,submissions_2022
e55a49d8065d65650f24c0f3ecef30b6 36d1e273ee957e4f38149659679e32f5 maxsat-optimum cherif unsat empty empty af-synthesis_stb_50_120_4_unsat.cnf.xz main_2022,submissions_2022
e5f5dbace0183455d167a88100312c34 3e9ae6def4ee12586df69d4ef14830c0 polynomial-multiplication xiao unsat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=61 no Nb52T6.cnf.xz anni_2022,main_2018,main_2022
e6f793931983295561620a027d9b3e95 e2f0ec59cd63cea4235c0bacada7fc82 minimum-disagreement-parity bryant unknown empty empty mdp-36-14-unsat.cnf.xz main_2022,submissions_2022
e7c0d40392681b1a55d5d3c826a26766 70859cd0b8e20c858058425ca92750d0 independent-set-reconfiguration froleyks unsat empty empty reconf20_116_le450_25c_1.cnf.xz main_2022,submissions_2022
e7cd2c407974b35fa97f8e64a691bfa0 de12222b15a71794e348c477fa1d4007 scheduling shuolinli sat empty empty j3037_10_gmto_b.cnf.xz main_2022,submissions_2022
e85b6cb3e2751d5c80559433ba1adf06 8ddd76e289f5c29e2d015a16148d91fc petrinet-concurrency bouvier sat empty no vlsat2_24450_2770239.dimacs.cnf.xz anni_2022,main_2020,main_2022
e8d9e3a985463b8e4f45b6e09b77bf6c 8fc37d4e085e68b7315b12dc177e03c5 graph-isomorphism yangli sat empty empty cfi-rigid-t2-0048-02-or_3_shuffle_all.cnf.xz main_2022,submissions_2022
e97ebde59cb17ef6f7c4430224b21ed1 91e9a9035c91dcf97819585dbd6066c0 grid-coloring heule sat empty empty grid-color-14-14-8-cb.cnf.xz main_2022,submissions_2022
e992a45933d191dc4fbe8cc4836109f8 0a86281cc496a52ca15c849b1974c5ed sat-x riveros sat empty empty sum_of_three_cubes_165_known_representation.cnf.xz main_2022,submissions_2022
e99ce61fe251b404ec85f6246fd4bb19 58d2fadd38535c9f4b912cecb097deb6 multiplier-circuits shunyang sat empty empty Wallace_Bits_Fast_7.cnf.cnf.xz main_2022,submissions_2022
e9b4369f9a98e397ac69eb7740ffef49 03d2fe3efa90086955595f1fa9e68659 multiplier-circuits shunyang sat empty empty Carry_Save_Fast_2.cnf.cnf.xz main_2022,submissions_2022
ea8a79747c7ab142a897b7e8e638245f 57976e9cc7aa0f7bf06aa64fb9c422c7 scheduling shuolinli sat empty empty j3045_4_mdd_b.cnf.xz main_2022,submissions_2022
eb659cd21250abdc8c9cec49073c32c6 3e619c7db14018a85b81734855ce147f software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind59.cnf.xz main_2022,submissions_2022
eb8a25e0db5d0605e3e15670f7a07f27 f1fb5232fa5848b5487f391a99a4631d grid-coloring heule sat empty empty grid-color-14-14-2-cb.cnf.xz main_2022,submissions_2022
ed410c758e5025f1bb97922574d1c2ff 52032b54dc196f80fb5d70cc577d9248 independent-set-reconfiguration froleyks sat empty empty reconf10_86_sp003_1.cnf.xz main_2022,submissions_2022
ed6920e7126f57daabfb85415607fdb5 20a80999026a3fc092e9473087c3255f sat-x riveros unknown empty empty sum_of_three_cubes_906_unknown_representation.cnf.xz main_2022,submissions_2022
ee06244cc0ed073bd6abf147dc27eff6 e2d9d59b11656e284604c3d96378d831 hardware-model-checking biere sat empty empty pj2016_k120.cnf.xz main_2022,submissions_2022
eede03732955f620b5291f9dcf9f95df 7e8f5c50282ee942ffc8cd0421dda680 tseitin-formulas oertel unsat empty empty tseitin_n200_d3.cnf.xz main_2022,submissions_2022
efc1b836380d0f84e7512f7b2ccdbb60 f77f991217b124822d85afe645e522fb algorithm-equivalence-checking kochemazov unsat empty empty PancakeVsInsertSort_8_5.cnf.xz main_2022,submissions_2022
f0f279c7d5043e783f73237cf6bddf33 0a640f8b1401b3fca7013673d4b66f28 scheduling lester sat empty empty Break_triple_20_72.xml.cnf.xz main_2022,submissions_2022
f1afd5e8d4b842c15c6a2c420b2b2dba a056cb2df2b26fea18fb6f1c2b733922 hardware-model-checking biere sat empty empty pj2018_k10.cnf.xz main_2022,submissions_2022
f1b3d254596523910f3af07fc1942e64 8c2a1ed1e73984ffe16ef3c4bf82f589 scheduling lester unsat empty empty Break_unsat_12_19.xml.cnf.xz main_2022,submissions_2022
f2a73aa514c859c91db462e1e2a1315b 3e896240e964f80a87a193d4a320d6cc maxsat-optimum cherif sat empty empty af-synthesis_stb_50_140_1_sat.cnf.xz main_2022,submissions_2022
f5f1d6a47ed7449a18d872a3f93d8aa5 ca527e18a6741e8275a7d664b6835e42 graceful-production chowdhury sat empty empty GP_120_400_15.cnf.xz main_2022,submissions_2022
f64806fd4fe79f1efaefa7ce68d93ee1 afc90efc0bbd68eb41ac193841cbebd7 circuit-equialence-checking junhua unsat empty empty sin_depth_miter_4.cnf.xz main_2022,submissions_2022
f8a966a2ba189ad5fa45f870f3c5e200 626064b8b7cfe4f9fa4cda6b22d7232c sudoku zhenjiang unsat empty empty sudoku-N30-7.cnf.xz main_2022,submissions_2022
f8ad493b11bf0692c1f3919642cebdb1 7728ea25428dc88ce3fa2871f11c5781 algorithm-equivalence-checking kochemazov unsat empty empty PancakeVsInsertSort_9_3.cnf.xz main_2022,submissions_2022
f8b7241f662ab4d36337b74bb7984122 295aa8fbedb5c4f7d9c7136b875e8f8a summle manthey sat empty empty summle_X111119_steps7_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
f9dd957b2f5940a3e3adaa2eeaaba011 0d1ece09490c8935188c0b520db289bc minimum-disagreement-parity bryant sat empty empty mdp-36-12-sat.cnf.xz main_2022,submissions_2022
fa88b447f6b41b04686085480678affe 3ab1fbda25f062b4aa8fcf6d79c037a8 planning froleyks unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty UNSAT_H_instances_childsnack_p12.hddl_1.cnf.xz main_2022,planning_2020
fb5cf4ad3c46dd294eb8253218524ba6 c74a05ed34480a4aaccfd8a5d83ca767 graph-isomorphism yangli sat empty empty cfi-rigid-r2-0072-01-or_3.cnf.xz main_2022,submissions_2022
fbf3b9f8a03a1efedae3da04622fe96e 4e167c5e7c1a2198405451c6ac2a941e circuit-equivalence-checking xinyan unsat empty empty sqrt-mitern168.cnf.xz main_2022,submissions_2022
fca7a5a04aaed5f0eacccc4139dc894a ca2105d71932fb58d107e25269575dc2 cryptography heusser sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 empty satcoin-genesis-SAT-8192.cnf.xz crypto_2021,main_2018,main_2022
fdfd5975c57d7cd2264ef6aff6cb4815 0d9592d9417574b255c2338fb50c9b66 argumentation xindi sat empty no SE_PR_stb_588_138.apx_1.cnf.xz,stb_588_138.apx_1.cnf.xz anni_2022,main_2021,main_2022
fe800e62b55609cb152965c223e72280 bb4c905ce9df8d348364cc3ab194b863 circuit-equivalence-checking xinyan unsat empty empty div-mitern171.cnf.xz main_2022,submissions_2022
fe96b630b3e761821308b544368dd521 d328057ffa5bae945faf026ec8ddfb06 graceful-production chowdhury sat empty empty GP_100_950_34.cnf.xz main_2022,submissions_2022
fec4ba2cf2416933dcf7b8153be97344 d7d641363055ee1c1725bfcd5f5f6905 unknown collatz sat empty no bz-X-4-7-6.cnf.xz anni_2022,main_2018,main_2022
fee70cede2b5b55bfbdb6e48fbe7ce4f 787f942a17807b7a446b08537df882ba influence-maximization kochemazov sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=77 no DLTM_twitter690_74_16.cnf.xz anni_2022,main_2020,main_2022,main_2023
ff3be72b9f5f44036875aa48f5434456 7fbf55f980223ff552878f6addab8be9 scheduling xindi unsat empty empty worker_20_60_20_0.9.cnf.xz main_2022,submissions_2022
fff3f8c76467cdf9d92689969fd94281 1bfe9d8417c824eb2791544aa88a7bd1 tseitin jarvisalo sat empty no mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf.xz anni_2022,crafted_2005,crafted_2011,crafted_2012,crafted_2013,main_2022,portfolio_2012