Datasetpublic

curie3170/sat_cnf_autobatch_assumptions_topk_0.005_4SAT

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes49downloads

dir04ded94454830d4ea960327e8b91f5a3-mdp-28-14-sat/

dir04e219c640ed59dc68ea2d50493de5b5-mp1-Nb5T15/

dir05c8e94aaee86390eaf6e68dd3ec3570-noL-11-2.sanitized/

dir0876c518e5653369e20fb1ee0bb8db40-mp1-klieber2017s-0500-023-t12/

dir089f909e37b3ef0c4d90687f7e22b68f-simon-r18-0.sanitized/

dir08ccc34df5d8eb9e9d45278af3dc093d-simon-r16-1.sanitized/

dir09b61bbf19748094a7d896aac314ab36-x9-12063.sat.sanitized/

dir09c1b79b1cfe3522364fe60aef780703-x9-12092.sat.sanitized/

dir0a27eb7c16c1e69ff4d087d217ac89cb-noL-11-0.sanitized/

dir0bad2ce307bf5b68db26fa34e252c9d4-af-synthesis_stb_50_100_4_sat/

dir0cfe9c90d3a51435a5e4dba7634b882f-g2-ak128boothbg2msisc/

dir0d3fcbb89bfb8e821058ba3ea4284de1-j3045_10_gmto_b/

dir0d81711a3d73c828e8c6e12607eda82d-noL-11-20.sanitized/

dir0fa9521ff633b27be11525a7b0f7d8b6-jgiraldezlevy.2200.9086.08.40.41/

dir1009c791cee542cdf19651fe25e6881a-summle_X4053_steps8_I1-2-2-4-4-8-25-100/

dir11cc532ecddfb10a47e0a869b4867c1b-Break_triple_20_36.xml/

dir12b4a08e412a3bffb513ca65639c7c69-Folkman-175-7416734.sanitized/

dir13ae2628d8e113db1786dba41a65fe38-x9-10027.sat.sanitized/

dir1427381a809c64c721838894ece6756d-shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753/

dir14e4cfcf0d83b2185fad41684d00d4dc-x9-12035.sat.sanitized/

dir1507d9812624b3e0eaf15e40100be020-x9-12014.sat.sanitized/

dir16c27d738cb45b766b8823ca4f428cf0-rbsat-v760c43649gyes7/

dir16c5482d8e658b54e20d59cfd4b1d588-two-trees-511v.sanitized/

dir170b13af977e962321c493544b2bd0a9-circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized/

dir195852083a05edee1902233698eec14a-x9-11077.sat.sanitized/

dir1afa2d7a3d817c3149da432eece66da8-worker_550_550_550_0.3/

dir1e3c3e8d349759b8b482a6f2721762c4-apn-sbox5-cut3-symmbreak/

dir207b28c3cefc55b143259222cbfd4962-pcmax-scheduling-m37-28831-324346-SAT.sanitized/

dir22b4cf412c811872d6ba5078106aeb6c-j3037_10_rggt_b/

dir26254890fa7107f85242ec9190da2a7a-002/

dir2a15a30186afdad41a49c5c5366d01be-Timetable_C_392_E_62_Cl_26_S_28/

dir2b032f8a8976a302ad125eb50a3e8445-1-ZC-512-K-60.sanitized/

dir2b043efb4bde6d83f7c95a8e8e2d7bf8-simon-r21-0.sanitized/

dir2fcd8533eba981967292f1b6e41f7433-simon-r20-0.sanitized/

dir303480ca7e8322d771c94caf4ebd4e95-circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized/

dir30f0db845937bbda3ffde60e5ed4cb3f-Folkman-190-66337703.sanitized/

dir3129198788f182ce6955b18aa3c7e61e-simon-r24-1.sanitized/

dir31e788a12ddc8b43ec20e77d53abaa23-pcmax-scheduling-m40-26287-324155-SAT.sanitized/

dir334aa882de28856fc8c75885285d2a3c-HCP-446-105/

dir3593875d75d6e836a3ac328c5426c1b5-Break_18_32.xml/

dir37ca184832fc6fa43a22ae900f1756a2-circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized/

dir396fd56f3fd7b85afbba4254ea6e746c-circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized/

dir3988a60c6e93167763c6fd2a347d5859-Break_08_24.xml/

dir3a75ad246dbc750a7391ad887c5b0835-x9-11093.sat.sanitized/

dir3bf8ba6bb4e4ea9ad08b1b058661ba2e-summle_X4044_steps7_I1-2-2-4-4-8-25-100/

dir3ed56242f55e3653dbceeb4a70221787-rbsat-v945c61409gyes9-sc2009/

dir4073757aae06fc2b50c043f088b132b4-simon-r19-1.sanitized/

dir41f4cb4992a481c9d43e2e1a4e2349ac-sgen1-sat-180-100/

dir43e492bccfd57029b758897b17d7f04f-pb_300_09_lb_07/

dir44c25de7963c45e92a2407ad839f6e8b-Break_20_72.xml/

dir45a09efb026036ff4b8d19024a7563a9-fermat-931960058139995587/

dir461df1a7056560279d532bc2743022b6-Folkman-185-75415683.sanitized/

dir47e1ada0070708c2953d322c06aea00d-noL-11-8.sanitized/

dir50019e4419d48196bb4b95933a8b5030-noL-11-14.sanitized/

dir511a2d81661a185c2115daec42270dec-circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized/

dir52aaf653a79ca14fa1127cda32aa94ce-noL-11-10.sanitized/

dir5432e4dd44480fadbd66647db1750c80-pcmax-scheduling-m24-24102-255206-SAT.sanitized/

dir543e67dd5abc272c37775b1b742a1d9a-qwh.60.1728.shuffled-as.sat03-1659/

dir54c2da6d387a6f5ad6e014ae4d4decfc-x9-10038.sat.sanitized/

dir5690b9b0380aa9508699e56cae5918b5-170058440/

dir576ebc1333f2c466c2dec98792721e1f-j3037_9_rggt_b/

dir5865fb9a6575d2ae6542c36ab96646a9-x9-11088.sat.sanitized/

dir59825ed96dc3bbdbd8789a4870b323ec-hcp_CP18_18/

dir5b5dfab02ce5c12a50be3bc7d7cc42c7-pcmax-scheduling-m15-2352-13561-SAT.sanitized/

dir5e1c11b77cdf3717b81b957120f0f477-x9-12001.sat.sanitized/

dir5e5fe73a2e0ffc8e19873298566919fb-rbsat-v760c43649gyes3/

dir5ea72bcdccc86bd1a924029f7b81aec5-atco_enc1_opt1_10_15/

dir5ee7de2bd112aa39485e79c9d487bf8f-simon-r23-1.sanitized/

dir634a271f5fe339007a186539d615e92f-noL-11-4.sanitized/

dir695e287a447fcdd924985a6e73057a38-rbsat-v1150c84314gyes1/

dir6969c86fbc5814332ab8615031334fa8-asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c/

dir697c96ac45534726c7dbd96faa11a86a-x9-11094.sat.sanitized/

dir6f7a0e1cf94b6b26eafc08a827a692ce-circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized/

dir6fc528fc3d0fd5a2c50992feb8bf0357-pcmax-scheduling-m24-17855-226744-SAT.sanitized/

dir7083b70c1976162e2693d7a493717ffd-battleship-14-26-sat/

dir70bfbd054dc9ffd394fab32845b492d3-circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized/

dir70ef2b6bdc4101a0e35cf3d165571fe3-qwh.50.1250.shuffled-as.sat03-1655/

dir71a3dd6156463c0c55c4b38394faa753-af-synthesis_stb_50_120_4_sat/

dir71ec94c233016219e12d671594dc88e5-circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized/

dir72c0d81e16d91bcaed808efcde2e5069-Folkman-175-1251868.sanitized/

dir7429e380834066c206394139c9e1e17d-af-synthesis_stb_50_100_9_sat/

dir74f145bb935650f5c982d7eec6967945-pcmax-scheduling-m43-38782-385402-SAT.sanitized/

dir773f3bd29e202ff700d8b5b459857a2c-Folkman-175-9054056.sanitized/

dir77b7f7bbf75faaee28f473b9941de103-Folkman-185-19924337.sanitized/

dir79b9e24dd9af185dbec18c9b0a32b1e2-g2-slp-synthesis-aes-top30/

dir7ac7fabd8c078aea420087a0c80e5563-circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized/

dir7cbc3ce2052ba7c5b501f75af58ab3c4-simon-r22-1.sanitized/

dir7e1d279559b202016e5797901e731a39-simon-r25-0.sanitized/

dir83b330c934d6dd35d56e1b1ca3638b3c-j3037_1_mdd_b/

dir8942dca5dc0876fc3f723f738d72de1c-circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized/

dir897acc1858ce0887f286aba5c0d56d71-Nb13T165/

dir8b18bb75459a4161633ba2a3c8ee183e-x9-11062.sat.sanitized/

dir8b31606e10656ff7eb2936262b647443-stable-300-0.1-20-98765432130020/

dir8e720686372c5037f30b4fc7b1c71d48-constraints_17_0.4_1.sanitized/

dir8ffd718f763ed7a3f691cf46e57f8d98-mdp-32-10-sat/

dir91e0db01b254eb78f6643328045bfeb9-sted5_0x1e3-20/

dir9276ce38c625b2d00de247f8588f1542-combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2/

dir994783ef4ed3a0366842e1b6f9128a6f-noL-11-6.sanitized/

dir9d9c4fa425282759eb9e98b82fb5f56e-x9-12087.sat.sanitized/

dir9dcbf221b8d2bb01f30bcca283f3608d-EDP3-11000/

dir9e6c2e7b0d6f58e449716deb9305525a-circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized/

dir9e85aad5707405fb349c6c5548040cf4-pcmax-scheduling-m35-32274-371389-SAT.sanitized/

dira08e66296d00f480e9ccadd79fa8b904-j3045_4_gmto_b/

dira38affaa741c958fc32769d5fe89b06c-frb65-12-2.used-as.sat04-874/

dira45a0358685867bd4f1c7f7c0b0e379c-x9-10014.sat.sanitized/

dira5dc6226e4c0bebb06926efe55640995-mdp-36-10-sat/

dira9cb77454c6cfdf4092fb304d3aae8b7-mdp-32-16-sat/

dirab3438b504b296fcee78ec9e71969863-mdp-36-14-sat/

diradf6dacdd64c93f9de1aa0eadf427faa-circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized/

dirae9522ea003ea9f75891b2d37a5e264b-srhd-sgi-m37-q446.25-n35-p30-s33692332/

diraf05a6b68a1cff165b684d9ff0ae3b3b-x9-12098.sat.sanitized/

diraf750c18578d52e60472315692ad83c0-si2-b03m-m800-03/

dirb3167d999edd81291f33636464f2f8e6-Folkman-190-104806020.sanitized/

dirb44ea915362c3a140269003d45b1d053-x9-11034.sat.sanitized/

dirb68ae7866df5e852c3acb97a46da2faf-circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized/

dirb8c7c777e76995e5bf7b517f2db234ba-noL-11-16.sanitized/

dirbbfed8974655bca520259deb10d2347b-x9-09054.sat.sanitized/

dirbd12a2b66110451b050bd5d2943b1854-ITC2021_Early_10.xml/

dirbe18894105e006399cc018abc14b204f-af-synthesis_stb_50_40_9_sat/

dirbe6411f4784a3c879886dda807cdc607-j3037_10_mdd_b/

dirc0293283432a9b15cd743702163f5184-mp1-Nb7T42/

dirc2bfe541b7cff948fa3193e9ca0eddee-frb45-21-2.used-as.sat04-884/

dirc5a98231dd54cbca06135293bb7e1985-x9-11053.sat.sanitized/

dirc5ae0ec49de0959cd14431ce851c14f8-Circuit_multiplier22/

dirc73edc350cfa8e07af58db50054aea45-noL-11-12.sanitized/

dirc801a020a6c8bc3c287fea495203b114-worker_20_40_20_0.95/

dirc82eee3badbc8432dad72d1d575a0ea6-preimage_80r_495m_160h_seed_379/

dirc8e64404361f2426490d39459832c66a-64_25.sanitized/

dirca14adcb9296a7b31d7815c2ed16d0f1-ITC2021_Early_3.xml/

dircccee4b0d4c70a5d5422663e2d8887da-1-ET-512-K-96.sanitized/

dircd33a862b81ba7b887845d3510c41c62-MASG0_72_keystream76_0/

dircd361d33986dccd7f2d86016d6c35241-ecarev-110-4099-22-30-7/

dircdce6277b01ae06ddb95468c5f05de71-simon-r17-0.sanitized/

dircdd131110acc861a5a01fae6c4936c91-6g_6color_366_050_04/

dird02fae1e84cfbe799c792ba237f08f66-exam_flat_0.04_2018_3/

dird11944fbca2dd6540f18bd05b6ccda0c-mdp-32-14-sat/

dird1940d3d830eb16a7d2270ca4af4acba-mdp-28-11-sat/

dird3893e43819a907055a84e48a6ee97ba-g2-ak128boothbg2msaig/

dird40a68825bdbcdd7642b249325a7b6a2-Folkman-180-5383714.sanitized/

dirda929c2aefde5e59878ad87c4323e581-pcmax-scheduling-m12-8049-55035-SAT.sanitized/

dirdb15a85651e0d941a11bf8640625edd8-mdp-32-11-sat/

dirde7a6b03999e2bc5bd750831c2662a4d-noL-11-18.sanitized/

dirdf1bd67978b9b0ec1d326ba174bc273c-x9-12021.sat.sanitized/

dire067414e153ee98a7842bd6d6dafeee5-af-synthesis_stb_50_200_0_sat/

dire0bf26a7527cd162c7d3016d4b2ab9fb-md5_48_1/

dire2deb375e56da2360ecd08fc1179fb7d-circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized/

dire481a97a93fd6b4303f39024d19c2867-j3037_1_gmto_b/

dire6cdc2687fa53506021f05b60ad0c6a2-GracefulGraph-K05-P02_c18/

dire7248b57a310ad461924eb17956cdf3a-Folkman-190-358004741.sanitized/

dire99e266b422513a2898c13898a1de501-rbsat-v760c43649gyes9/

direcca77b5350eca6a4323edd5b38208c6-004/

direda4aa84aeeb306468396fa82a6bba5a-pb_300_05_lb_17/

direddd68e14d69cce7190b99f4e7abdafb-x9-10098.sat.sanitized/

direed5189b73738270ae3fdb8b33bf31c8-Folkman-180-11710376.sanitized/

diref16970ab9da31165d3c401ff9b29168-Folkman-185-152478531.sanitized/

dirf054205a7cef98e5021016f864c69816-summle_X11112_steps6_I1-2-2-4-4-8-25-100/

dirf32bb347996c351bc3e9a91c58e8601d-DLTM_twitter774_83_17/

dirf48735588e3515135f039e8bc8efaee5-asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c/

dirf50eaf02a8041510b64104998cc81d2f-sted5_0x24204-50/

dirf561c52b987bdb9031a477864070b759-Ptn-7824-b18/

dirf746dae2050dd4aa48bcd53e8bd897b4-ex065_25/

dirf7e855b18105170b0718086d3f5b5923-j3045_10_rggt_b/

dirf86dad4ba35369eb720a0c9ddc45037a-combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2/

dirfa50d69adc71fe4daf7f9088cd02864a-circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized/

dirff9e9b01d50d01ecb6740472d7dd36cd-1-ZC-512-K-61.sanitized/

file.gitattributes634 KBdownload

curie3170/sat_cnf_autobatch_assumptions_topk_0.005_4SAT · main · files are served by the source, never re-hosted here

curie3170/sat_cnf_autobatch_assumptions_topk_0.005_4SAT · CoolFace