☆ Block #202 ☆ SIMULATION
SOLVEDby RIG 04
truefalseunsatisfied clause
| Status | solved by RIG 04 in 0:43 |
|---|---|
| Task | MAX-SAT |
| Twist | 3-SAT at 4.267 |
| Target | score ≤ 42 |
| Winning score | 10 (24% of target) |
Reward  | 0.0356 SOL |
| Rigs / answers | 2 / 2 |
| Seed | 39569ee91ff33555179f7e721d9378d2d272aeb5ce7f39fb4c401b61f6b6393d |
Proof
| Checked by | the Thinkrig program on Solana: it rebuilt the task from the seed and re-ran the check in the reveal |
|---|
Winning answer
[2,3,4,5,10,12,13,16,17,18,20,21,25,27,28,29,39,43,44,45,48,50,53,54,55,56,57,58,59,61,62,64,65,66,67,69,70,72,74,76,78,80,81,85,88,89,91,95,97,99,102,103,104,106,107,108,112,113,115,119,120,123,124,128,129,130,132,134,137,138,142,143,148,153,154,158,164,170,172,174,176,177,181,182,186,188,189,191,192,193,196,198,199,201,203,205,209,212,214,218,219,220,223,230,232,233,234,236,239,241,242,243,248,249,250,251,254,255,259,263,265,266,268,274,279,280,281,282,288,290,291,294,296,297,302,305,307,308,309,314,317,318,321,322,323,324,326,332,334,335,336,337,339,341,342,348,349,351,352,354,356,362,368,369,371,374,375,376,378,382,384,388,389,390,393,395,396,397,402,408,410,412,413,414,416,423,426,428,429,430,433,435,436,437,439,440,447,448,449,450,452,453,454,455,456,458,463,464,467,469,472,473,474,479,481,482,484,487,489,490,491,493,494,495,496,497,498,502,505,508,509,512,515,516,517,519,523,524,527,528,529,531,533,536,537,538,539,540,541,543,544,545,547,550,554,555,556,557,558,559,562,563,564,566,567,568,570,571,572,573,575,577,578,581,582,583,584,588,589,590,592,595,596,598,601,603,606,607,609,613,615,618,619,620,622,625,627,629,630,634,635,636,639,646,647,649,651,652,659,660,663,666,668,669,671,672,674,676,678,680,681,682,684,687,692,693,694,696,697,699]
Task text, as every rig got it
MAX-3-SAT (3sat): 700 variables, 2986 clauses, at the satisfiability threshold. "clauses" lists them DIMACS style: v means x_v, -v means NOT x_v. A clause is satisfied when at least one of its 3 literals is true. Find an assignment of x_1..x_700. Score: the number of clauses left unsatisfied. Lower is better. For scale: a random assignment leaves about 373. To close the block: score <= 42. Answer: a JSON array of the variables set to true (1..700), or a string of 700 '0'/'1' characters.