Name | csp/fapp/fapp10/ normalized-fapp10-0900-9.xml |
MD5SUM | bb8fed9f370e164b93c37276047ba0d0 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 64.8031 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 900 |
Number of constraints | 11381 |
Maximum constraint arity | 2 |
Maximum domain size | 362 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 11381 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2097766 | SAT | 64.8031 | 65.1572 |
Abscon 112v4 AC (complete) | 2097765 | SAT | 70.1003 | 70.7958 |
Concrete 2009-07-14 (complete) | 2083134 | SAT | 112.744 | 113.881 |
Mistral 1.545 (complete) | 2083140 | SAT | 759.188 | 764.221 |
SAT4J CSP 2.1.1 (complete) | 2083131 | ? | 794.443 | 800.917 |
Concrete DC 2009-07-14 (complete) | 2083135 | ? | 1601.97 | 1607.12 |
bpsolver 09 (complete) | 2083141 | ? (exit code) | 67.5287 | 68.1868 |
Sugar v1.14.6+minisat (complete) | 2083138 | ? (MO) | 111.71 | 113.548 |
Sugar v1.14.6+picosat (complete) | 2083137 | ? (MO) | 294.08 | 296.341 |
pcs-restart 0.3.2 (complete) | 2083133 | ? (TO) | 1800.07 | 1807.34 |
pcs 0.3.2 (complete) | 2083132 | ? (TO) | 1800.08 | 1806.55 |
Choco2.1.1b 2009-07-16 (complete) | 2116794 | ? (TO) | 1800.12 | 1816.31 |
Choco2.1.1 2009-06-10 (complete) | 2083136 | ? (TO) | 1800.19 | 1804 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2588 2664 2184 -2324 2484 2276 -2256 2672 -2460 2540 -2284 2440 -2528 -2388 -2400 -2424 -2608 2316 -2040 -2672 -2504 -2692 2728 -2436 -2676 -2136 2672 -2428 -2636 2560 -2364 -2220 -2436 -2252 2696 2396 2488 2544 -2576 2136 -2144 2384 -2516 2656 -2544 -2068 -2176 -2432 -2276 2652 -2120 -2620 -2152 -2140 2028 -2420 2484 -2664 -2740 -2292 -2640 2684 -2064 -2692 -2312 -2528 2692 2140 -2420 -2720 -2596 2248 2324 -2188 -2688 2652 -2316 2472 2028 -2532 -2696 -2608 2740 2104 2260 -2220 -2532 2344 -2740 -2592 -2740 2700 -2656 2572 2028 -2584 2604 -2620 -2556 -2608 2628 -2692 2236 2540 -2324 -2708 2644 2556 2448 2340 -2516 -2572 -2720 -2508 2276 -2144 2020 2584 -2712 -2060 -2300 -2324 -2680 -2148 -2284 2620 2672 -2072 2516 -2412 2192 2544 2476 2488 -2332 -2592 2100 -2316 2712 -2504 -2536 -2292 -2292 2260 -2364 -2632 -2716 -2468 -2700 2632 2660 2316 -2432 -2148 -2064 2692 -2696 2180 -2588 -2128 -2328 2424 2664 -2476 -2652 -2256 -2044 -2060 -2556 -2064 -2620 -2476 -2048 2108 -2284 -2428 -2740 2108 -2436 -2264 2344 -2344 -2700 2628 -2484 2548 -2020 -2304 -2500 -2540 -2060 2480 -2364 -2112 -2660 -2460 -2316 -2344 -2332 -2668 2116 -2172 2020 2672 2600 -2568 2148 2024 -2068 -2496 2184 -2152 2380 2440 2528 -2396 -2024 -2680 2372 -2428 -2384 -2336 -2396 2640 -2060 -2156 -2224 2252 -2572 2240 -2556 -2584 2060 2460 2176 2172 -2404 2396 -2324 2444 -2372 -2624 2516 -2216 -2640 -2588 2476 2516 -2372 2644 2288 -2480 -2076 -2532 -2244 -2580 -2328 -2620 2576 -2512 -2300 -2468 2224 -2420 2656 -2020 -2564 2552 -2432 -2256 2496 2680 -2344 -2476 2620 -2400 2568 2656 -2180 2268 -2700 -2288 2596 -2624 2276 -2680 2564 -2332 -2204 2172 2616 -2504 2604 -2064 -2292 -2432 -2740 2600 2168 -2080 2352 -2084 -2532 -2460 -2580 2224 2392 2500 2028 2208 -2380 -2740 -2708 -2740 2456 2020 2668 2720 -2680 -2216 2672 2660 2500 2572 2676 -2444 -2360 2664 2656 -2580 -2164 2672 2684 -2024 -2216 2096 2700 2644 -2380 2324 2132 -2432 2564 2424 -2584 2596 2440 -2060 -2420 -2432 2700 -2584 -2104 -2532 2696 -2132 2192 -2176 -2176 2540 2324 -2344 2192 2448 -2032 2516 -2216 -2060 -2180 -2292 2020 -2740 -2700 2500 -2040 -2500 -2412 -2696 -2700 -2072 2324 -2712 -2452 2708 -2596 2020 -2060 2212 -2740 -2584 -2656 2068 -2544 2020 2544 -2032 2060 2704 2456 2020 -2220 -2604 2484 2276 -2676 2736 -2024 -2712 -2700 -2496 2660 -2440 -2640 -2700 -2624 -2284 2452 -2180 2536 -2700 -2316 -2312 2456 -2492 -2060 -2640 2544 2352 -2092 -2664 -2428 -2184 -2352 -2300 2700 2080 -2572 -2228 2556 -2684 -2464 -2564 2124 2616 -2712 2496 2456 -2580 -2600 -2520 -2508 2640 -2216 2412 2472 2060 -2068 2624 -2572 -2304 -2736 -2020 2480 2276 -2692 -2068 2104 -2644 -2628 2664 -2276 -2236 -2496 -2020 2524 2256 -2436 2364 -2216 2484 -2720 -2060 -2208 2032 2340 -2740 -2656 2436 2552 2648 -2400 2284 2532 -2356 2700 -2712 -2524 2284 -2696 -2528 2284 -2688 -2060 -2672 -2284 2616 -2032 -2436 -2284 2656 -2700 2568 -2260 -2468 -2468 2648 -2672 2684 -2220 2736 2616 2168 2068 2204 2072 2364 -2496 2516 2420 2456 -2020 -2608 -2436 -2256 -2700 2324 -2296 -2516 -2384 -2392 2688 -2340 2076 -2108 2676 -2368 2412 -2588 2516 -2524 -2172 -2384 -2120 2036 2080 -2476 2536 -2716 -2108 -2216 -2592 -2740 2564 2284 2740 2672 2648 -2584 2556 2672 -2528 -2444 -2256 2428 -2332 -2072 -2452 2252 2364 -2392 2216 -2468 -2324 2628 -2720 2064 -2136 -2572 -2740 2548 2696 2132 2524 2448 2476 2020 2568 -2028 2500 -2060 2572 -2280 2528 -2680 -2712 -2024 -2060 -2556 2600 -2636 -2160 -2364 -2616 -2020 -2644 2564 2292 -2548 2584 2184 2696 2028 -2360 2556 -2224 -2088 -2476 -2160 2644 -2104 2468 -2208 -2576 -2424 -2076 -2176 2020 2724 -2668 -2740 -2532 2608 -2420 2172 -2548 -2700 -2412 -2524 -2348 2732 2548 -2020 2580 -2396 2740 2408 -2392 2168 2512 2044 -2200 2704 -2244 -2696 2144 -2548 -2656 -2684 -2400 2652 -2712 2612 2740 -2464 -2484 2352 -2656 2396 2660 2644 2652 -2340 2544 -2364 -2084 2420 -2148 -2572 -2740 2352 -2372 -2708 -2380 -2692 -2272 2628 -2560 -2524 -2424 -2552 -2660 2716 2604 -2232 -2668 -2596 -2164 -2552 -2496 -2024 -2120 -2480 -2264 -2608 -2484 -2488 -2372 -2204 2136 -2624 -2228 2068 -2444 -2064 2500 -2168 2564 2508 -2544 2624 -2276 -2668 2372 -2364 -2276 2480 2172 -2060 2272 -2488 -2456 2672 -2736 -2532 2520 2636 -2516 2064 -2244 -2668 -2356 2300 -2460 2116 -2220 -2328 -2488 -2060 -2256 -2680 2708 -2740 -2684 -2732 2060 -2092 -2524 2232 2244 2208 -2192 -2700 -2608 -2524 -2468 -2712 -2232 -2472 -2188 -2324 -2532 2132 -2224 2020 -2580 -2684 2568 -2692 -2224 -2072 2324 -2436 2684 -2264 2644 2680 -2216 2700 2580 -2636 -2180 -2372 -2548 -2384 2440 2436 -2216 -2052 -2564 -2332 -2684 -2700 2712 -2648 -2344 -2700 -2540 2460 -2464 -2720 2480 2020 2256 2100 2460 2108 -2244 -2220 2536 -2148 -2620 -2028 2572 2164 2712 -2116 -2488 -2132 -2464 2132 -2316 -2060 2508 2728 -2688 2644 -2508 -2680 -2532 -2588 -2496 -2060 2572 2472 2236 2540 -2396 -2488 2632 2492 -2732 2660 -2624 -2608 2668 -2696 2700 2384 2324 -2700 2664 2556 2620 -2032 -2440 2700 -2684 -2232 2644 -2324 -2320 2484 2356 -2604 -2332 -2072 2440 2312 -2568 2020 2672 2668 -2068 2464 -2384 -2668 -2400 -2596 2440 -2648