CMC Solve some NPC for n=10000 popularity-contest Notice that 3-SAT with first n^0.01 rules is an answer, so this is not pure code-golf

@RydwolfPrograms even after reading this, i did the same thing

@RydwolfPrograms yeah thats why i dont do this stuff (as in i have feelings towards people but i prefer not acting upon them)

(for now at least)

Round towards negative is ⌊⌋, is there symbol round towards 0?

@l4m2 modern SAT solvers are really fast. benchmarks from SAT competition include testcases with 10000+ variables and 10^6+ clauses

@Bubbler Fast for average input, slow for constructed ones

well sure, there is adversary input for any solver

but the testcases are from real world scenarios and being fast on them is practically important