Random Boolean system
Benchmarks
Task NameDataset NameSOTA ResultTrendResults
Random Boolean system n = 25, m = 25 (Square system)
9.549Median Solving Time (s)
4
Random Boolean system n = 28, m = 56 (Overdefined)
203.507Median Solving Time (s)
3
Random Boolean system n = 28 m = 28 Square system
83.566Median Solving Time (s)
3
Random Boolean system n = 32, m = 32 (Square system)
1,046.066Median Solving Time (s)
2