Name | csp/fapp/fapp18/ normalized-fapp18-0350-6.xml |
MD5SUM | 78f33be6cc0faf5bde59c1fce35f8c02 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 15 |
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 | 3812 |
Maximum constraint arity | 2 |
Maximum domain size | 302 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3812 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114080 | MSAT (TO) | 15 | 3600.06 | 3603.53 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1114079 | MSAT (TO) | 15 | 3600.09 | 3624.32 |
AbsconMax 112 pc-d | 1114082 | ? (problem) | 103.779 | 104.353 | |
AbsconMax 112 pc-w | 1114081 | ? (problem) | 104.492 | 105.066 | |
Sugar v1.13+minisat | 1114084 | ? (MO) | 91.5847 | 108.887 | |
Sugar++ v1.13+minisat-inc | 1114083 | ? (MO) | 97.8471 | 99.5083 |
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: 15-2480 -2264 -2756 -2604 -2460 -2560 -2684 -2788 -2436 2508 -2704 -2420 2668 -2420 2464 -2436 -2744 2436 -2756 -2604 -2620 -2780 -2272 -2220 2464 2600 -2724 -2584 -2748 -2788 -2360 2684 -2288 -2228 -2576 2320 -2396 -2684 -2736 -2260 -2376 -2756 -2564 -2532 -2820 -2440 2768 2712 -2520 2236 -2508 -2384 -2368 -2788 2788 2772 -2468 -2592 -2560 2596 2716 -2612 2812 2748 -2428 -2788 2436 2684 -2660 2772 -2628 -2420 -2556 -2660 -2788 -2480 2788 -2748 -2424 -2560 2748 2820 -2596 -2520 2588 -2424 2748 -2660 -2588 -2684 -2520 -2500 -2268 -2420 -2520 -2288 -2748 -2588 2472 2820 2572 -2468 -2620 2620 -2752 2700 -2260 -2748 -2744 -2500 -2788 -2644 -2480 -2660 -2320 -2816 -2788 -2380 -2652 -2572 -2684 2628 -2224 -2560 -2460 -2756 2424 2684 -2520 2444 -2788 2456 2812 -2716 2776 -2516 -2564 2700 -2724 -2572 2620 -2756 2696 -2480 -2556 -2572 2780 -2748 -2604 2592 -2748 -2428 -2776 2596 2512 -2408 -2264 -2380 -2816 -2788 -2716 -2560 -2748 -2372 2264 2320 -2512 -2532 -2264 -2328 2248 2520 -2632 -2564 2376 -2620 -2748 2660 -2748 -2740 -2268 -2260 -2500 -2460 -2276 -2620 -2540 -2756 -2248 2628 -2460 -2548 2244 -2632 2544 -2744 -2260 -2520 -2780 -2372 -2724 -2500 -2660 -2620 2788 -2620 2496 -2620 2740 -2716 2592 -2660 -2520 -2440 -2336 -2788 -2404 -2472 2724 2412 -2304 2736 2708 -2724 -2264 2660 -2780 2748 -2464 -2480 -2380 -2788 -2732 -2268 -2820 2748 -2632 2804 -2520 -2572 2696 -2764 -2660 -2372 2284 -2524 2628 -2604 2704 -2660 -2444 -2660 -2756 -2700 -2620 -2228 2284 -2276 -2520 -2660 2476 -2280 -2556 -2692 2636 -2724 -2560 -2532 -2716 -2776 2220 -2480 -2808 2788 -2564 -2468 -2748 2476 -2788 -2228 2780 -2260 2512 -2716 -2724 -2636 -2424 -2724 -2468 2628 -2724 2288 2496 2676 2244 -2660 2380 -2684 -2264 -2620 -2472 2416 2476 2736 -2684 -2744 -2404 -2712 -2508 -2572 -2684 -2748 -2716 -2224 -2616 -2632 -2660 -2224 2268 -2224 -2592 -2752 -2532 -2576 -2456 2316 -2620 -2232 -2724 -2520 2220 2588 -2772 -2220 2704 -2280 2224 -2616 -2228 -2456 -2500 2220 -2784 -2412 -2412 -2480 2416 -2560 -2748 -2532