Boolean system solving
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
15.058Median Solving Time (s)
4
Apr 21, 2026
14.662Median Solving Time (s)
4
Apr 21, 2026
24.552Median Solving Time (s)
4
Apr 21, 2026
0.109Median Solving Time (s)
4
Apr 21, 2026
0.415Median Solving Time (s)
4
Apr 21, 2026
5.485Median Solving Time (s)
4
Apr 21, 2026
9.549Median Solving Time (s)
4
Apr 21, 2026
203.507Median Solving Time (s)
3
Apr 21, 2026
83.566Median Solving Time (s)
3
Apr 21, 2026
1,046.066Median Solving Time (s)
2
Apr 21, 2026