Benchmark Name | Answer | Number of satisfied constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
MaxCSP/cnf/3-40-100-1000/ cnf-3-40-100-730621_ext.xml | SAT | 99 | 0.068988 | 0.130199 | 278040 |
MaxCSP/cnf/3-80-100-1000/ cnf-3-80-100-735541_ext.xml | SAT | 100 | 0.071988 | 0.186179 | 277923 |
MaxCSP/cnf/3-80-100-1000/ cnf-3-80-200-461241_ext.xml | SAT | 200 | 0.077987 | 0.095131 | 277914 |
MaxCSP/cnf/3-80-100-1000/ cnf-3-80-300-186941_ext.xml | SAT | 300 | 0.146977 | 0.173079 | 277968 |