1n,num_vars,num_clauses,solve_seconds,proof_lines,check_seconds,verified,cnf_sha256,proof_sha256224,1583,3193,46.406,1693061,40.459,True,c589565e9c413934,a0aa2a2c6c333a40326,1779,3589,20.84,1528402,18.121,True,8b2b39c3769f94b2,3d1a3b3652f8e732427,1877,3787,21.435,1512870,17.696,True,be3be6b94f4bc2d2,5c4a33b6886eeaff528,1975,3985,19.324,1435122,15.946,True,2ddfc09991a390bc,f95994615c6778a5629,2073,4183,18.041,1326308,13.275,True,d788f902e45ba4dd,50463b5fe88b70e1730,2171,4381,20.54,1440157,16.42,True,c526d49854f86414,e2656fd1b6e21c20831,2269,4579,17.428,1226691,13.961,True,270c8ae09d1a658b,cc7b931f951fc48e932,2367,4777,19.582,1321470,15.852,True,878ddb32df3fcc23,65a5f2e1b40c39831033,2465,4975,20.762,1342302,16.831,True,fe9febc878d0b1ba,4de297bf86435db71134,2563,5173,19.845,1286188,16.207,True,834e526614ff203e,69198d4e5815ea041235,2661,5371,21.845,1482152,18.32,True,b7935a949680563c,eea01118bb3f26401336,2759,5569,20.292,1307572,17.534,True,83a34ef63a448d71,0e8129f63a78950d1437,2857,5767,19.395,1268103,16.039,True,eb94c6693a08008a,47e44277d85e881b1538,2955,5965,21.641,1389447,18.141,True,351c1f76ba6665e7,26d9775945e4bb2b1639,3053,6163,19.686,1281272,16.229,True,deedf56566f383e7,32362c16181fb6f01740,3151,6361,23.17,1438038,18.967,True,108bc245d1983d35,5f3a371fc8fb20c31841,3249,6559,18.69,1214641,16.133,True,223b85ac80c5d966,440eadd32e8de5531942,3347,6757,23.953,1380568,23.841,True,be346e418a3fbb91,e8974ae72d6165e12043,3445,6955,24.641,1457733,26.54,True,98bb05b93900c58d,aa7719a4286514eb2144,3543,7153,24.079,1422025,26.45,True,fdce0256c0d31e5f,a233606c7fa9b3952245,3641,7351,20.936,1273632,22.898,True,67a99b408ad641a4,18b30e9ea03c109b2346,3739,7549,22.951,1340332,23.498,True,0bfdf76169d5d2a3,d83095a490ed25a52447,3837,7747,25.065,1389708,27.34,True,524e3c7eb1c28bec,b9c2f27ef7c00b852548,3935,7945,29.265,1501313,30.615,True,f24fc84a3e660fbb,d2ceacdd749c49fe2649,4033,8143,26.325,1375387,28.563,True,5c995f48e661f388,27023cd88a978c0d2750,4131,8341,27.297,1367546,28.853,True,925b74a12023475f,cf91a7b47240bf412851,4229,8539,32.726,1344433,22.248,True,f982cfc103c3fd4a,70547372cb1e59702952,4327,8737,33.533,1457388,30.364,True,6c970e87e6ada26c,77b4f2e1a46cfb1d3053,4425,8935,33.777,1558302,34.794,True,a23d313a8e39bda5,6771d097df254ad13154,4523,9133,32.252,1441764,31.902,True,11e43244d926b1ca,d9347464c880c2073255,4621,9331,32.74,1487304,35.283,True,375017f8c1b201f0,d1ea9833b94bdfd93356,4719,9529,34.661,1568480,39.247,True,9f227d2e8692c615,2f0452b89f933e073457,4817,9727,33.322,1517050,40.775,True,71c27467b4300ca8,164b3cf1ef4a0ecf3558,4915,9925,33.219,1535731,43.152,True,21a6d9f66e89ac76,e975bb262e4902a53659,5013,10123,35.484,1629447,44.498,True,35bdf4aac11aa49f,d863b9ac880cfb503760,5111,10321,31.65,1437601,40.42,True,7f5d6d4cc0c34a73,a2ff4fe669cd7e2b3861,5209,10519,45.19,1528090,35.522,True,980957e4ccbef2c2,a97714253e342ef13962,5307,10717,47.889,1671007,35.485,True,666df04868164053,394bdbbd7397be474063,5405,10915,43.451,1508151,34.482,True,b60755cb52525dcb,faa0e28562a9e0f04164,5503,11113,43.156,1541611,32.029,True,80785660c3272e13,c8ec4c150d58d9e24265,5601,11311,46.166,1616154,36.278,True,9d6dc5b6c83f1d42,275a65f10cc7af3b4366,5699,11509,44.5,1611829,35.61,True,39f110f210368f3e,e3efb1ed122ea6f44467,5797,11707,46.127,1659444,36.597,True,9d380011a2cd3062,b34ff7a4d25edcc24568,5895,11905,45.242,1720035,34.449,True,b0717afff8dd75d1,f7ba38823bd618534669,5993,12103,42.49,1598198,33.964,True,a406b842e5fe4a75,1e78189d5513053a4770,6091,12301,49.079,1751245,42.398,True,41cbe28199c05b53,01aebd7b76c4e3794871,6189,12499,44.947,1783054,40.294,True,4eea2af6dafd8421,699ff85106577eb74972,6287,12697,49.415,1869809,41.057,True,c1076f6eacac499e,86dfba95f43c94d55073,6385,12895,46.145,1804018,41.416,True,762c0959d8d497db,cd02e4afb4e38d515174,6483,13093,49.078,1852719,42.393,True,1c44f8983a22178f,cb2efbaf5fbfbcab5275,6581,13291,48.135,1785047,44.273,True,ba6883cb6c1f021b,094fb816a96b40885376,6679,13489,57.64,2213786,54.423,True,cfead17b8d5ddaf7,d403b35cd411d6df5477,6777,13687,56.928,2091522,65.579,True,fc6cea341cb610d0,83bd6accae7883d65578,6875,13885,53.507,2005045,48.465,True,76461256e1d4106d,707e1535ea918bf55679,6973,14083,53.255,1971400,54.706,True,37b597ce228cef39,35f94cd1e4601ab45780,7071,14281,45.386,1780669,50.886,True,6ef97ab92c165054,a52be3cb21ad3a595881,7169,14479,47.195,1955290,73.171,True,935a2a7c26f74fd0,9a8a5e4999e81da15982,7267,14677,81.953,2201433,82.327,True,f3841cbe4df9b9b0,8096a6513cdcb1c26083,7365,14875,59.253,1856445,68.929,True,6a49995eff7b50a2,b6682c09f31db56a6184,7463,15073,81.35,2105926,74.755,True,3cac08ca7d159b7f,be4ec0e1c1489ecf6285,7561,15271,75.365,1936989,69.128,True,2b675be9b53f4c0e,06dce8143a7d08ec6386,7659,15469,89.148,2159023,72.966,True,0d30add9156774ac,a9ae225d4fe789296487,7757,15667,111.698,2629146,95.065,True,618efeb60ffb28dd,974703631cfd09936588,7855,15865,94.241,2181106,75.6,True,4d97c8603a4f0741,7d430f641e694c6e6689,7953,16063,93.439,2224070,80.029,True,af32c03324eedff5,1e5c6bf0009c54016790,8051,16261,115.188,2796452,103.043,True,217a9f570f340a2d,1ac406abdd73beee6891,8149,16459,111.222,2851367,95.064,True,60c7475db4bccf8f,0c54f204e6caf2f06992,8247,16657,96.218,2775583,74.983,True,440622739ec75945,c8057884d6f8343d7093,8345,16855,98.517,2756386,82.638,True,a1441509b6df44b5,e019f5aa5c7d7b9e7194,8443,17053,97.917,2848580,84.273,True,b0a4beb8eb717aa5,13cb6fe7185913ad7295,8541,17251,87.258,2327314,80.59,True,e4cb63086e94428c,7ca64f6381a9014e7396,8639,17449,85.515,2375326,81.947,True,cc739606918309cb,6c868acf937302a37497,8737,17647,94.81,2769059,90.791,True,ab615b3d0b750a9d,9b9906efc4886c757598,8835,17845,99.278,2925532,90.925,True,b8dde623f34c59ac,5eb5b116c93d6c387699,8933,18043,117.28,3214631,111.657,True,d3bb98ab801d83ac,3e39496404157a3777100,9031,18241,107.678,3132080,95.007,True,9716f6fe9658d889,defbfdb12994c8dc78101,9129,18439,113.407,3271562,101.735,True,d3953b4284736896,c49cea12d697c79079102,9227,18637,96.251,2887642,93.806,True,2711de1fc484beae,2caed06fd9152f9480103,9325,18835,115.221,3174141,108.226,True,aa75705c932156be,82e86b41fecdd5b081104,9423,19033,100.717,2995592,79.004,True,736bdbad5a0035bf,1f779ace20995bb782105,9521,19231,108.145,3222392,98.571,True,5ebfdb98a8eda8f2,089d24028465661b83106,9619,19429,95.517,2866649,89.667,True,c95c544a05ddb7a2,4bba02f9f66c66c084107,9717,19627,113.059,3285968,104.165,True,8fc31df528e1a65e,6dab1eb515990ac685108,9815,19825,97.574,2994695,93.279,True,c4fcbccf0a09788c,8d822ed9fecd079486109,9913,20023,107.029,3119269,89.589,True,a1106affae9c8061,def9bd8c640e63f587110,10011,20221,110.08,3281673,104.899,True,90cc4aceefceca54,85b0a09a20712e6e88111,10109,20419,111.225,3361256,95.508,True,49a3d9bb9c1ff3df,1839bedcfb63103889112,10207,20617,101.134,3035530,95.214,True,a3adfde69d95e331,6786c82e7cb9217f90113,10305,20815,108.859,3248507,106.65,True,4f82a0442309856f,66d8598f1dc322f191114,10403,21013,119.148,3520959,110.689,True,9a47ea49ddb02618,9a8c08c24fbcd97292115,10501,21211,136.249,3793115,114.163,True,9925cb6684a5d3ff,cbd1fdc91ab9280493116,10599,21409,141.392,3872165,112.553,True,198f24482b78e58e,67cb55bf31b1918694117,10697,21607,119.732,3456622,136.006,True,83204a2f106de004,56b3cb293b7fa19295118,10795,21805,130.699,3686262,145.44,True,39b5788dd3fd6b45,e44ea98529b03fba96119,10893,22003,151.273,3932596,182.81,True,a8f8707a76203c0d,300df96841fece2697120,10991,22201,143.583,3669833,153.889,True,0a5576422e6c22f1,4ef95714eacd70ae98121,11089,22399,160.339,3829328,180.307,True,62287c42833150a4,a2a53ad6d370c12799122,11187,22597,156.87,3825737,175.716,True,5c08dbb05c9cb31b,418a3b9fead10f82100123,11285,22795,141.716,3741472,163.143,True,61e9cf3383cd13a4,b7665f12c2dcd64e101124,11383,22993,160.267,3503634,147.072,True,216e8f8a73bf11a2,4b68c7eb6d19b8a2102125,11481,23191,194.983,4012906,163.328,True,d7100e26b90674d6,ff2819bd0c7e3d2f103126,11579,23389,167.149,3613886,144.436,True,4a7805464f71334c,d4592a2bae53e542104127,11677,23587,188.164,3937222,143.001,True,6e8e9a755dedaf82,3bb3e9cdef21b378105128,11775,23785,195.573,4030488,149.797,True,27eb5f198fb6e0a7,1e785b5457a683f6106129,11873,23983,180.742,4059117,147.548,True,eaaae1f6d65d54ce,26940acc2779d631107130,11971,24181,179.074,4107598,151.308,True,705fda01008e9e47,3259fd182fabf86c108131,12069,24379,183.734,4320901,183.865,True,e5d93f37ae5e6125,7ed03945cf4cf3f1109132,12167,24577,185.394,4375438,179.138,True,7846fa3ebb232412,2a180db5b019a6c6110133,12265,24775,176.892,4117323,187.187,True,fd701ec97a72b444,73e02ab9977804fd111134,12363,24973,158.543,4013113,179.728,True,bd4e06db979ecd50,c55d71af4f7677fe112135,12461,25171,197.758,4396213,231.346,True,18d297d58b83055a,232c5567f9442e7f113136,12559,25369,190.0,4164233,207.522,True,68eeb453ec8eb792,9b9de99f30e26674114137,12657,25567,214.13,4484922,226.44,True,83b9302288a1bdf0,2aa62014021bc001115138,12755,25765,218.114,4307403,230.271,True,c77f6df346d474e0,e77f61bc507d7cf6116139,12853,25963,259.493,4480429,195.193,True,dc8a0201085eb63c,2767e648df4a0687117140,12951,26161,231.901,4137876,177.257,True,8d53e0c5734cb054,5058e939dc808016118141,13049,26359,248.92,4345784,192.979,True,c33fd225c600d7a3,bae2c88f654fea2d119142,13147,26557,266.811,4462315,168.425,True,0cb3f655f3fe6ba7,d3dda0e5432e7b29120143,13245,26755,246.795,4297198,188.09,True,4bc69aa13a5b42cb,d1537483c4066d2d121144,13343,26953,255.49,4396611,175.266,True,242284e2b2147830,d4def75bc03cb364122145,13441,27151,234.018,4463333,174.378,True,1bf0723c8d41c3f6,533c93604179dd83123146,13539,27349,244.722,4539419,180.423,True,71d5fe2850ac28ed,7170df0e13ff502c124147,13637,27547,236.209,4641333,176.542,True,38fa439a0a4bf011,b28d0b9839ea9b2b125148,13735,27745,217.107,4505060,186.304,True,f4d2ef0212d4428c,b74e3014c9d28196126149,13833,27943,217.692,4729517,191.721,True,bf2509204be0f69d,74290087e78d66f5127150,13931,28141,204.456,4545857,168.558,True,c44db207409a5796,4d9c5a910260bbe2128151,14029,28339,225.957,4923281,195.497,True,3b967b627e91cfa2,f798d5da3235486e129152,14127,28537,191.19,4424607,171.072,True,9235179d965498ad,1f75a5752e1740fe130153,14225,28735,212.469,4758857,164.643,True,92e592f8fac0d15c,63d5a830eb7def40131154,14323,28933,226.538,4662907,197.166,True,fa15c4c63db1c686,41ea487bdc464bf0132