Benchmark Name | Answer | Number of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
maxcsp/maxclique/ normalized-p-hat1000-2_ext.xml | ? (TO) | 3600.03 | 3626.12 | 1126408 | |
maxcsp/maxclique/ normalized-brock-800-4_ext.xml | ? (TO) | 3600.05 | 3610.23 | 1126240 | |
maxcsp/maxclique/ normalized-c-fat500-5_ext.xml | ? (TO) | 3600.05 | 3625.12 | 1126176 | |
maxcsp/maxclique/ normalized-brock-800-1_ext.xml | ? (TO) | 3600.08 | 3618.32 | 1126048 | |
maxcsp/maxclique/ normalized-c-fat500-2_ext.xml | ? (TO) | 3600.09 | 3618.32 | 1126256 |
Benchmark Name | Answer | Number of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
csp/fapp/fapp37/ normalized-fapp37-2250-2.xml | ? (TO) | 641.7 | 4000.02 | 1112868 | |
csp/fapp/fapp40/ normalized-fapp40-3000-2.xml | ? (TO) | 822.63 | 4000.02 | 1112784 | |
csp/fapp/fapp23/ normalized-fapp23-1800-4.xml | ? (TO) | 938.59 | 4000.02 | 1112988 | |
csp/fapp/fapp29/ normalized-fapp29-2900-3.xml | ? (TO) | 945.94 | 4000.02 | 1113036 | |
csp/fapp/fapp30/ normalized-fapp30-3000-1.xml | ? (TO) | 1093.14 | 4000.02 | 1112904 | |
csp/fapp/fapp22/ normalized-fapp22-1750-6.xml | ? (TO) | 3600.01 | 3615.63 | 1112772 | |
csp/pseudo/mps/ normalized-mps-diamond.xml | ? (TO) | 3600.03 | 3603.02 | 1110050 |
Benchmark Name | Answer | Number of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
maxcsp/cnf/3-40-100-1000/ normalized-cnf-3-40-100-730623_ext.xml | OPTIMUM | 0 | 0.356944 | 0.389432 | 1127792 |
maxcsp/cnf/3-40-100-1000/ normalized-cnf-3-40-100-730629_ext.xml | OPTIMUM | 0 | 0.363943 | 0.42586 | 1127784 |
maxcsp/cnf/3-80-100-1000/ normalized-cnf-3-80-100-735548_ext.xml | OPTIMUM | 0 | 0.369943 | 0.37592 | 1127608 |
maxcsp/cnf/3-80-100-1000/ normalized-cnf-3-80-200-461248_ext.xml | OPTIMUM | 0 | 0.437933 | 0.448917 | 1127592 |
Benchmark Name | Answer | Number of falsified constraints | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
csp/pseudo/mpsReduced/ normalized-mps-red-blend.xml | ? (problem) | 0.672897 | 0.687563 | 1109896 | |
csp/pseudo/mpsReduced/ normalized-mps-red-bandm.xml | ? (problem) | 0.695893 | 0.744872 | 1109920 | |
csp/pseudo/ssa/ normalized-ssa-6288-047.xml | ? (problem) | 345.784 | 346.141 | 1109890 | |
csp/pseudo/uclid/ normalized-cache-ibm-q-unbounded-Icl2arity-ucl.xml | ? (problem) | 1147.57 | 1151.32 | 1110014 |