Benchmark Name | Answer | Number of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
maxcsp/maxclique/ normalized-brock-800-1_ext.xml | ? (TO) | 3600.03 | 3619.32 | 1126047 | |
maxcsp/maxclique/ normalized-brock-800-4_ext.xml | ? (TO) | 3600.06 | 3604.12 | 1126239 | |
maxcsp/maxclique/ normalized-c-fat500-5_ext.xml | ? (TO) | 3600.07 | 3634.62 | 1126175 | |
maxcsp/maxclique/ normalized-p-hat1000-2_ext.xml | ? (TO) | 3600.07 | 3627.12 | 1126407 | |
maxcsp/maxclique/ normalized-c-fat500-2_ext.xml | ? (TO) | 3600.08 | 3621.23 | 1126255 |
Benchmark Name | Answer | Number of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
csp/fapp/fapp37/ normalized-fapp37-2250-2.xml | ? (TO) | 633.91 | 4000.02 | 1112867 | |
csp/fapp/fapp40/ normalized-fapp40-3000-2.xml | ? (TO) | 865.67 | 4000.02 | 1112783 | |
csp/fapp/fapp23/ normalized-fapp23-1800-4.xml | ? (TO) | 892.56 | 4000.02 | 1112987 | |
csp/fapp/fapp29/ normalized-fapp29-2900-3.xml | ? (TO) | 963.04 | 4000.02 | 1113035 | |
csp/fapp/fapp30/ normalized-fapp30-3000-1.xml | ? (TO) | 1096.55 | 4000.02 | 1112903 | |
csp/pseudo/mps/ normalized-mps-diamond.xml | ? (TO) | 3600.02 | 3614.72 | 1110049 |
Benchmark Name | Answer | Number of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
maxcsp/cnf/3-80-100-1000/ normalized-cnf-3-80-100-735548_ext.xml | OPTIMUM | 0 | 0.341947 | 0.849819 | 1127607 |
maxcsp/cnf/3-40-100-1000/ normalized-cnf-3-40-100-730623_ext.xml | OPTIMUM | 0 | 0.343946 | 0.387568 | 1127791 |
maxcsp/cnf/3-40-100-1000/ normalized-cnf-3-40-100-730629_ext.xml | OPTIMUM | 0 | 0.348946 | 0.394017 | 1127783 |
maxcsp/cnf/3-80-100-1000/ normalized-cnf-3-80-200-461248_ext.xml | OPTIMUM | 0 | 0.545916 | 0.600088 | 1127591 |
Benchmark Name | Answer | Number of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
csp/pseudo/mpsReduced/ normalized-mps-red-blend.xml | ? (problem) | 0.669897 | 0.742497 | 1109895 | |
csp/pseudo/mpsReduced/ normalized-mps-red-bandm.xml | ? (problem) | 0.723889 | 0.805133 | 1109919 | |
csp/pseudo/ssa/ normalized-ssa-6288-047.xml | ? (problem) | 344.321 | 344.938 | 1109889 | |
csp/pseudo/uclid/ normalized-cache-ibm-q-unbounded-Icl2arity-ucl.xml | ? (problem) | 1178.57 | 1184.48 | 1110013 |