Name | csp/fapp/fapp09/ normalized-fapp09-0800-10.xml |
MD5SUM | 0c9bd9627ff304e4b5c8ec56755ce638 |
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 | 10.0325 |
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 |
---|---|---|---|---|
Mistral 1.545 (complete) | 2084086 | SAT | 10.0325 | 10.1817 |
Abscon 112v4 AC (complete) | 2097937 | SAT | 32.1601 | 32.3386 |
Abscon 112v4 ESAC (complete) | 2097938 | SAT | 32.2261 | 32.4173 |
Concrete 2009-07-14 (complete) | 2084080 | SAT | 64.2242 | 64.2846 |
Sugar v1.14.6+picosat (complete) | 2084083 | SAT | 331.167 | 332.35 |
Choco2.1.1b 2009-07-16 (complete) | 2116880 | SAT | 398.479 | 402.408 |
Choco2.1.1 2009-06-10 (complete) | 2084082 | SAT | 1798.61 | 1800.54 |
Concrete DC 2009-07-14 (complete) | 2084081 | ? | 539.36 | 541.971 |
SAT4J CSP 2.1.1 (complete) | 2084077 | ? | 658.967 | 661.683 |
bpsolver 09 (complete) | 2084087 | ? (exit code) | 60.6978 | 60.7512 |
Sugar v1.14.6+minisat (complete) | 2084084 | ? (TO) | 1554.58 | 2000.53 |
pcs 0.3.2 (complete) | 2084078 | ? (TO) | 1800.12 | 1804.15 |
pcs-restart 0.3.2 (complete) | 2084079 | ? (TO) | 1800.15 | 1807.64 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2596 2596 2292 -2536 -2620 -2624 2504 2200 -2624 -2676 2084 2652 -2192 -2340 -2640 -2124 2612 -2264 2136 -2640 2556 -2488 -2600 -2260 2420 -2600 -2088 -2616 -2528 2660 -2584 2120 -2136 -2620 -2320 2332 -2076 2616 -2684 -2460 2252 -2644 -2308 -2676 -2656 2348 -2364 2500 2620 2496 -2020 -2584 -2512 2088 -2596 2272 -2176 -2600 2316 2212 2352 -2264 2396 2176 2620 -2252 -2080 2496 -2500 -2696 2516 -2380 2236 2300 -2400 -2176 -2096 -2084 2572 2268 -2488 2648 2020 2212 -2480 -2576 2060 -2640 2152 -2356 2608 2496 2420 -2600 2104 -2644 2656 2468 2204 2584 -2072 -2656 2644 2212 -2704 2616 2656 -2252 2420 -2644 2464 2436 2224 -2704 -2624 -2036 2592 2204 2236 2368 -2644 -2208 -2224 -2664 -2396 2660 -2664 -2284 -2260 -2552 -2540 2232 -2540 -2604 2148 -2536 -2584 2396 -2684 2216 2308 -2172 2084 -2604 2048 -2612 2500 2332 -2500 2072 2584 2116 -2704 -2148 2484 2400 2660 -2652 -2704 -2648 -2648 2308 -2640 -2640 -2664 -2616 2324 -2696 2348 -2088 -2316 2656 -2060 2208 2416 -2464 -2460 -2620 2344 2508 2552 2068 -2704 2608 2564 -2184 2260 -2552 2460 -2204 -2440 2220 -2600 2664 -2212 -2412 -2684 -2200 -2524 2284 2604 -2704 -2436 2384 -2540 2236 -2156 2244 -2612 2336 -2140 -2444 -2200 -2628 2356 2488 -2488 -2220 2648 -2056 -2272 2128 -2580 -2288 -2084 2296 -2296 2608 2360 2624 2316 -2312 2620 2636 2652 2424 -2264 2312 -2264 2576 -2484 -2224 -2580 2348 -2236 -2540 -2200 2476 2300 -2656 -2196 -2704 -2644 2556 -2660 -2224 2548 2540 -2464 -2120 2284 2676 -2060 2592 -2672 2600 -2616 2100 2048 -2660 -2704 2656 2608 -2020 2640 2584 2228 -2540 -2584 2192 2572 -2500 -2032 2664 -2384 2196 -2684 -2576 -2444 2424 -2624 -2696 2616 -2208 2524 -2684 -2548 -2640 -2620 -2640 -2460 2316 -2328 -2360 -2616 2556 2704 -2540 2544 2320 -2264 -2560 -2144 2564 -2520 2344 2340 2628 2308 -2408 -2476 -2440 -2640 -2248 2648 2652 -2160 2688 2624 2236 -2304 -2600 2212 -2704 2460 -2040 -2112 -2648 2628 -2400 2364 -2392 -2684 -2560 2204 2480 2136 2516 -2124 -2508 -2684 -2696 -2688 2648 2348 -2716 -2164 -2112 2020 2320 -2580 -2384 -2680 2036 -2196 2468 -2632 -2580 -2524 2452 -2288 -2460 2420 -2484 -2716 2160 -2524 2244 -2604 2576 -2328 -2448 -2500 -2620 -2256 -2656 2296 -2484 2204 2548 2420 -2656 2424 2624 2336 -2556 -2196 -2648 2416 -2308 -2336 2060 2088 -2280 -2108 2528 2680 2524 -2320 -2540 -2716 2256 -2664 -2640 -2584 -2560 2112 -2484 -2452 2604 2656 -2676 -2620 2600 -2640 -2164 -2540 2032 -2688 2600 -2640 -2168 2132 2400 2548 -2640 -2220 -2280 -2344 2576 -2220 -2528 2232 2240 2456 -2476 -2216 -2664 -2680 -2540 -2056 -2536 -2684 -2620 -2224 2464 -2580 2636 -2292 -2576 2596 -2400 2128 2180 -2640 -2660 -2256 -2460 -2644 -2700 2684 -2440 2488 -2664 2476 2536 -2528 -2324 -2164 -2620 2240 2152 -2568 2212 -2484 -2180 2604 -2176 2612 -2220 -2616 -2628 -2568 -2636 2296 -2500 2388 -2664 -2688 -2340 -2264 -2360 -2520 -2548 -2508 -2076 -2248 -2640 2520 -2660 -2064 -2376 2216 -2600 2196 -2520 -2304 2340 2444 2308 2252 2100 -2520 2252 2580 2456 -2652 -2424 -2524 2584 2496 2372 -2564 2060 2656 -2648 2700 2596 -2500 -2476 -2600 -2288 2616 -2516 -2332 2660 -2028 2604 2044 -2628 2168 2096 2484 -2660 -2248 -2676 -2272 -2584 2272 2528 2224 -2608 -2376 2564 2376 2456 -2264 2268 -2508 2436 -2440 2236 2180 -2164 2588 2060 -2268 -2264 -2592 2332 -2044 2176 2336 -2616 -2220 -2500 -2224 2432 -2488 -2596 -2044 2508 -2648 2368 2576 2708 -2512 -2580 -2408 2312 -2276 2668 -2644 2160 2360 2568 -2520 2276 -2560 -2680 2328 2624 -2688 2524 -2648 -2152 2396 2116 -2360 -2544 2484 2564 -2612 2112 2616 -2704 2696 -2500 -2588 2484 2604 2656 -2600 2540 2496 -2580 -2328 2632 2080 2608 2564 -2580 2092 2188 2276 2600 -2588 2176 -2580 -2280 2640 -2492 -2688 2588 2260 2668 -2400 -2380 -2636 2132 2352 -2320 -2540 2152 2172 -2364 -2356 2024 -2360 2408 2424 2064 2616 2152 -2600 2420 2236 -2644 2508 2328 -2508 -2148 2400 -2680 2248 -2108 2556 2276 2192 -2428 -2620 -2088 -2544 2160 -2640 2176 2648 -2360 2548 -2244 2264 -2684 -2460 -2640 2376 2448 -2360 2080 -2400 2380 -2244 -2524 -2696 -2624 2400 2164 2096 -2664 -2392 -2664 2320 2556 2336 2528 -2688 -2224 -2316 2048 2276 -2440 -2128 -2072 2040 2632 2348 -2044 -2404 -2580 -2356 2596 2640 2608 2540 -2360 2132 -2644 -2644 -2716 -2600 2136 2324 2216 -2640 -2696 2160 -2436 -2560 -2368 -2612 -2620 -2260 -2076 2076 -2584 2036 2516 2324 -2644 -2544 -2536 -2620 2468 -2660 -2300 2668 2692 -2660 -2600 2292 2460 -2124 -2660 2632 2516 -2412 -2576 2532 2460 2288 -2580 -2232 2288 2484 2592 2576 -2664 -2564 2136 2172 -2688