Name | csp/fapp/fapp09/ normalized-fapp09-0800-3.xml |
MD5SUM | cf1d24903f4691458c5fef6fc63c431f |
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 | 32.945 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 8975 |
Maximum constraint arity | 2 |
Maximum domain size | 350 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 8975 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097933 | SAT | 32.945 | 33.2154 |
Abscon 112v4 ESAC (complete) | 2097934 | SAT | 33.9538 | 34.3434 |
Concrete 2009-07-14 (complete) | 2084058 | SAT | 69.8334 | 70.1645 |
Sugar v1.14.6+picosat (complete) | 2084061 | SAT | 944.91 | 950.827 |
Concrete DC 2009-07-14 (complete) | 2084059 | ? | 533.99 | 539.183 |
SAT4J CSP 2.1.1 (complete) | 2084055 | ? | 922.084 | 927.013 |
bpsolver 09 (complete) | 2084065 | ? (exit code) | 60.9647 | 61.2387 |
pcs-restart 0.3.2 (complete) | 2084057 | ? (TO) | 1800.07 | 1801.14 |
Sugar v1.14.6+minisat (complete) | 2084062 | ? (TO) | 1800.08 | 1803.08 |
Mistral 1.545 (complete) | 2084064 | ? (TO) | 1800.1 | 1814.91 |
pcs 0.3.2 (complete) | 2084056 | ? (TO) | 1800.15 | 1805.45 |
Choco2.1.1b 2009-07-16 (complete) | 2116878 | ? (TO) | 1800.18 | 1805.4 |
Choco2.1.1 2009-06-10 (complete) | 2084060 | ? (TO) | 1800.19 | 1806 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2656 -2552 -2108 2476 -2704 2584 2532 -2112 2604 -2716 2452 2620 -2216 -2224 -2640 2588 -2696 2224 -2360 -2612 2520 -2496 -2600 -2272 -2536 2600 -2080 2512 -2472 -2544 2564 -2120 2148 -2660 -2356 -2240 -2020 -2660 -2684 -2432 2212 -2628 2316 -2436 2636 -2360 2368 2492 -2580 2512 -2032 -2560 -2528 -2020 -2596 -2232 2216 -2556 2312 2100 -2308 -2160 -2416 -2148 2656 -2340 2036 2488 -2528 2656 2536 -2268 -2160 -2264 -2400 -2120 2272 -2716 2616 -2680 -2576 -2596 2716 2240 -2520 2576 -2020 -2628 2128 -2380 -2584 -2624 -2432 -2436 -2092 2632 2620 2616 2160 2584 2036 -2656 -2576 -2256 -2704 -2576 2608 2296 -2324 2684 -2640 2384 -2200 -2696 -2624 2112 2620 -2024 -2248 -2364 2620 2496 -2280 2664 2424 -2644 2656 -2232 -2224 2488 2564 -2228 -2580 2616 -2140 2280 2576 -2576 -2668 2256 -2404 -2140 -2088 2604 2040 -2576 -2524 2248 -2504 -2244 2584 -2124 -2704 -2164 -2560 -2264 -2616 -2644 -2704 -2648 2684 -2640 2628 -2640 -2668 -2616 2312 -2568 -2360 -2180 -2152 -2580 -2676 2200 -2212 -2480 -2496 -2660 -2308 -2528 2480 -2032 2696 2496 -2588 -2316 2208 -2656 -2392 2020 -2400 -2252 2600 2664 -2208 -2448 -2684 2248 -2496 -2316 -2552 -2704 -2308 -2400 2548 -2236 2164 2064 -2620 -2364 2180 2400 -2060 -2628 2148 -2472 -2496 2168 2624 -2024 -2412 2112 -2508 2264 2076 -2364 -2304 -2584 -2304 -2632 -2120 -2372 -2680 2628 -2580 -2680 -2160 2160 -2264 -2552 2484 2184 -2548 2312 2248 -2532 -2160 2520 -2304 -2680 -2160 -2704 -2488 -2520 -2700 2236 2548 2488 -2424 2076 2352 2668 -2060 -2604 2664 -2592 -2464 2088 -2020 2620 -2704 2704 2508 -2060 -2632 -2528 -2348 2564 2640 -2168 2488 2412 2284 2716 2432 -2208 -2684 -2504 -2324 2476 -2624 2640 2620 -2160 -2520 2672 -2508 2604 -2660 -2592 -2452 2340 2324 2316 2544 -2584 2676 2476 -2656 -2312 -2196 -2552 2276 2564 -2520 2440 2264 -2524 -2320 -2224 -2588 -2440 -2620 -2200 -2548 -2580 -2160 -2632 2488 -2120 -2300 -2552 -2380 2628 -2372 2112 2076 -2548 2592 2380 -2076 -2416 -2640 2476 2020 -2480 -2108 -2480 -2216 -2656 2684 -2544 -2644 -2648 -2280 2396 2084 2220 2020 -2304 -2508 -2364 2660 -2060 -2284 2364 -2704 -2540 2540 2680 2216 -2524 -2412 -2456 2676 -2020 2496 2192 2656 -2516 -2260 -2540 2472 -2620 -2176 2616 -2208 -2536 -2044 -2488 -2264 -2696 -2404 -2600 2324 2616 -2288 -2648 -2376 -2320 -2324 2020 -2060 -2264 -2180 -2456 -2672 -2556 -2312 2468 -2676 2252 -2664 -2680 -2624 -2520 2020 -2484 2488 -2660 -2584 2716 -2684 2464 -2424 -2628 2456 -2076 -2688 2640 -2640 2152 -2120 2440 2488 2596 2112 2224 2472 2540 -2356 -2512 2176 -2248 -2336 -2496 2160 2664 2640 -2540 2048 -2584 2644 -2660 2224 -2436 -2580 2636 2416 -2424 -2624 -2344 2020 -2140 -2596 -2620 -2248 -2364 2644 2660 -2528 -2356 -2512 2664 2468 -2580 2536 -2328 2176 2656 2264 -2116 -2624 -2252 -2364 -2072 2512 2108 -2528 -2184 -2616 2628 -2548 2580 -2212 -2484 -2400 2664 -2688 -2308 2240 2424 -2520 -2548 -2528 -2060 2256 2640 2560 2600 2412 -2324 -2216 2588 2200 -2512 -2268 2356 -2460 2352 -2248 -2060 2560 -2280 -2696 -2268 2656 2384 -2524 2528 -2320 2280 -2592 -2072 2584 2648 2504 -2592 -2604 -2348 -2572 2320 2616 -2628 -2148 2664 -2072 2628 2676 2516 2456 -2088 -2440 -2588 -2224 -2584 2120 -2672 2268 -2520 -2224 -2588 -2364 -2568 -2400 2448 -2260 2276 2492 -2428 -2420 -2248 -2316 -2628 -2588 -2048 -2388 -2264 2616 -2456 2128 -2200 -2440 -2592 -2368 -2436 -2220 -2456 2480 -2432 2412 2528 2672 2220 -2472 2648 2520 2416 2240 2268 -2208 2476 2680 -2072 -2360 -2548 2516 2276 2560 -2656 -2304 2632 -2636 -2412 2648 -2180 2220 2020 -2352 -2488 2452 2552 2684 2084 2656 -2704 2664 -2444 -2588 2500 2608 2692 2600 2508 2308 -2580 -2308 2648 2100 2588 -2596 -2580 2080 2304 -2160 -2600 2588 -2320 2640 -2288 2600 -2528 -2688 -2552 -2212 -2564 2384 2316 2632 2300 2488 -2144 2540 2152 2160 -2364 2376 2372 -2280 -2580 -2440 -2132 2596 2124 2636 -2560 2324 -2644 -2508 2280 2548 2264 -2296 2668 -2160 2124 2392 -2112 -2192 -2324 -2592 2060 -2680 -2208 2640 -2184 -2456 -2304 2452 2060 -2340 2624 2396 2596 -2252 2264 -2184 2152 -2240 -2224 -2060 -2524 2652 2536 -2396 2120 -2064 2592 2528 2656 -2320 2592 -2264 -2616 -2688 -2200 -2188 -2060 -2272 -2336 2220 -2060 2060 -2644 2364 -2036 -2036 2620 -2260 2620 -2616 2588 -2544 2352 -2120 2644 2584 2544 -2564 -2160 2324 -2224 2552 -2544 -2200 -2536 2556 -2200 2620 2628 -2408 -2152 -2676 -2696 2716 -2480 2276 2644 -2572 -2552 2640 -2488 2620 -2232 2688 2660 2632 -2556 2208 -2520 -2588 2620 2660 -2480 -2640 2576 -2488 2404 2344 -2516 -2272 -2268 -2500 2608 -2616 2664 -2696 -2312 2340 -2688