Name | csp/fapp/fapp19/ normalized-fapp19-0350-2.xml |
MD5SUM | 1825ea13215fc44c945afffc7e468e56 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 14 |
Best CPU time to get the best result obtained on this benchmark | 3600.06 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 350 |
Number of constraints | 5873 |
Maximum constraint arity | 2 |
Maximum domain size | 802 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 5873 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1114061 | MSAT (TO) | 14 | 3600.06 | 3603.32 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114062 | MSAT (TO) | 40 | 3600.04 | 3624.63 |
AbsconMax 112 pc-d | 1114064 | ? | 399.739 | 400.235 | |
AbsconMax 112 pc-w | 1114063 | ? | 429.188 | 433.479 | |
Sugar++ v1.13+minisat-inc | 1114065 | ? (MO) | 285.65 | 302.216 | |
Sugar v1.13+minisat | 1114066 | ? (MO) | 301.224 | 318.77 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 142640 -2640 -2604 2178 -2870 -2670 -2920 2312 -2120 2564 2510 2684 2162 2680 2198 -2428 2454 2640 2520 2340 2146 2368 2368 2220 -2368 2524 2680 2638 -2604 2368 -2400 -2242 -2752 -2564 2564 2440 -2918 2564 2408 -2564 -2220 2826 -2814 -2578 2260 -2510 2374 -2368 -2408 -2174 2408 2434 -2424 2408 -2368 -2432 -2880 2412 -2488 -2910 2130 -2866 -2562 -2550 -2680 -2424 2220 2152 2414 -2920 -2604 2584 -2544 -2790 2408 -2260 2368 -2220 -2408 2220 2604 -2366 -2564 -2472 2920 -2260 2604 -2640 2792 2494 -2720 -2220 -2582 -2408 2172 -2680 2640 2220 2640 -2220 2122 2368 2604 2830 -2530 2640 -2220 2314 2604 2472 -2710 -2564 -2260 -2368 2368 2242 -2680 2604 -2614 -2354 -2260 -2352 -2750 2272 -2820 2640 -2538 -2566 2368 2498 -2906 -2680 -2312 2870 2338 2574 -2564 -2680 -2722 2408 2604 2538 2408 2564 2786 2388 -2220 -2372 2408 2368 -2260 -2846 -2454 2126 2880 2678 2260 2878 2564 2524 -2760 -2282 -2860 -2564 2202 -2526 2368 2604 -2326 -2160 -2408 2464 2298 -2260 2260 -2604 -2362 -2640 -2566 -2840 2410 2260 2238 2670 2670 2170 2360 2872 -2860 -2134 2604 -2680 2640 2484 -2638 -2760 2640 -2920 2408 2712 2604 2220 2490 2220 -2468 -2192 -2260 -2720 2368 2464 2762 2400 -2640 2408 2186 -2762 -2640 2774 2774 -2680 2680 2446 -2368 2124 2680 -2680 2680 -2368 -2488 -2574 2802 -2678 -2670 -2220 2604 -2488 -2138 -2260 2132 -2192 2710 -2368 -2152 2528 -2820 -2918 2680 -2644 -2404 -2680 -2220 -2448 -2196 2880 2408 2564 -2380 -2260 -2564 2448 2814 2680 2550 -2350 2408 -2802 -2120 2408 -2408 -2640 -2368 2348 -2564 -2564 -2522 -2680 2672 2564 -2220 -2640 2786 2878 2832 -2872 2762 -2260 -2614 2826 -2672 -2560 2522 -2754 -2562 -2640 -2898 2494 2444 -2408 -2680 2886 2498 2310 -2220 -2164 2166 -2542 -2710 2912 -2160 2920 2564 2322 -2680 -2368 -2604 -2320 2640 -2360 2298 2880 2524 2260 -2604 2406 2640 -2526 -2880 -2858 -2640 2408 2408 2408 2432 -2640 2338 -2474 2680 2538 -2260 2160 -2794 -2450 -2564 2368 2156 2368 -2880 -2120 -2710 2712