Name | csp/fapp/fapp19/ normalized-fapp19-0350-5.xml |
MD5SUM | 0e6d4c6cfe45c7fb1ed8c7d48e56685a |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 4 |
Best CPU time to get the best result obtained on this benchmark | 3600.04 |
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 | 1114055 | MSAT (TO) | 4 | 3600.04 | 3628.92 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114056 | MSAT (TO) | 66 | 3600.08 | 3614.82 |
AbsconMax 112 pc-w | 1114057 | ? | 479.804 | 482.553 | |
AbsconMax 112 pc-d | 1114058 | ? | 515.052 | 520.011 | |
Sugar v1.13+minisat | 1114060 | ? (MO) | 284.115 | 295.315 | |
Sugar++ v1.13+minisat-inc | 1114059 | ? (MO) | 303.19 | 319.298 |
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: 42640 -2640 2604 -2172 -2174 2376 -2920 -2312 2120 -2564 -2568 2736 -2164 2680 2180 2428 -2616 2640 2520 -2340 -2146 -2368 2368 2220 -2368 -2552 -2680 -2408 2604 2368 2658 2802 -2642 2564 2564 2440 -2800 -2564 2408 2564 2220 -2220 2230 -2578 2260 2568 -2374 2368 2408 -2172 -2408 2434 -2646 2408 2368 2432 2164 2658 2582 -2132 -2164 -2866 -2562 -2528 2680 -2646 2220 -2888 -2414 -2916 -2604 -2584 2544 2780 2408 2260 2368 2220 2408 2220 -2604 2692 2564 -2472 -2124 -2260 2604 2640 -2682 -2576 2326 2220 2582 -2408 2166 -2680 2640 2220 2640 2220 -2124 2368 2604 -2214 -2548 2640 -2220 -2314 2604 -2472 -2710 -2564 -2260 2368 2368 -2802 2680 -2604 2436 2354 -2260 -2692 2740 -2272 -2224 2640 2538 2510 2368 2580 -2906 2680 -2732 2172 2706 -2476 2564 2680 -2730 2408 2604 -2540 -2408 -2564 -2260 -2388 2220 -2698 -2408 2368 2260 -2920 2616 -2206 2880 2370 2260 2876 -2564 -2524 -2286 2762 -2184 2564 2762 -2550 -2368 2604 2732 2880 -2408 -2606 2746 2260 2260 2604 2694 2640 2510 -2840 -2410 2260 -2220 -2376 2670 2124 -2698 -2174 -2184 -2132 -2604 2680 -2640 -2484 -2410 2286 2640 -2920 -2408 2334 2604 2220 -2588 2220 2468 -2848 -2260 2326 -2368 2606 -2282 -2400 2640 -2408 2186 -2284 -2640 -2270 2270 2680 2680 2446 2368 -2124 2680 2680 2680 2368 2588 2498 -2242 -2368 -2670 -2220 2604 -2582 2132 -2260 -2126 2850 -2710 -2368 -2890 -2548 -2224 -2916 -2680 2696 2404 2680 2220 -2622 -2214 2876 2408 -2564 -2380 2260 2564 2622 -2230 2680 2528 2694 -2408 -2244 -2920 -2408 -2408 2640 2368 2348 2482 2512 -2522 2680 2374 2564 2220 2640 2258 -2840 -2214 2172 2770 -2260 -2458 2218 2374 -2560 -2522 -2760 -2562 2640 2914 -2576 2444 2408 2680 2880 2578 -2734 -2220 -2164 -2166 2542 2336 2132 2880 -2124 2564 2734 2680 2368 -2604 2320 -2640 -2360 2746 -2880 -2522 -2260 2604 -2406 -2640 -2550 2880 -2874 2640 -2408 2408 2408 2432 -2640 -2706 2474 -2680 2538 2260 -2160 2800 2450 -2564 2368 2174 2368 -2164 -2920 2336 -2334