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.063989 | 0.0708791 | 278043 |
MaxCSP/cnf/3-80-100-1000/ cnf-3-80-100-735541_ext.xml | SAT | 100 | 0.070988 | 0.0843379 | 277926 |
MaxCSP/cnf/3-80-100-1000/ cnf-3-80-200-461241_ext.xml | SAT | 200 | 0.077987 | 0.0894511 | 277917 |
MaxCSP/cnf/3-80-100-1000/ cnf-3-80-300-186941_ext.xml | SAT | 300 | 0.142977 | 0.158856 | 277971 |
Benchmark Name | Answer | Number of satisfied constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
MaxCSP/pedigree/ pedck1000_ext.xml | ? (TO) | 2400 | 2400.83 | 280617 | |
MaxCSP/cnf/3-80-1100-2000/ cnf-3-80-1900-798141_ext.xml | ? (TO) | 2400.06 | 2407.78 | 278241 | |
dimacs/ssa/ ssa-2670-130_ext.xml | ? (TO) | 2400.08 | 2402.69 | 277593 | |
MaxCSP/spot5/ spot5-414_ext.xml | ? (TO) | 2400.13 | 2408.92 | 282912 |
Benchmark Name | Answer | Number of satisfied constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
MaxCSP/pedigree/ sheep4r-4-3_ext.xml | ? (MO) | 37.75 | 37.9784 | 280626 | |
MaxCSP/pedigree/ sheep4nr_ext.xml | ? (MO) | 116.77 | 117.287 | 280563 | |
MaxCSP/ pedigree/sheep4r_ext.xml | ? (MO) | 121.05 | 122.239 | 280572 |