Robuta

https://www.qbflib.org/benchmark_detail.php?idBench=33804 Detail page for benchmark oski3ub3i_c0to31.sat detail page benchmark sat https://www.qbflib.org/benchmark_detail.php?idBench=33836 Detail page for benchmark oski3ub1i_c0to31.unsat detail page benchmark