Benchmarks run by Dominik on thread-modular + sleep sets encoding, in preparation for possible POPL'24 submission.
Because the toolchain does not yet output the proper results, "unknown" may mean success (SAT), failure (UNSAT), or actually unknown (check log to see which one).