Name | csp/fapp/fapp08/ normalized-fapp08-0700-9.xml |
MD5SUM | fc14afa27a31c1de216ea0ec7153d796 |
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 | 13.8769 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 7122 |
Maximum constraint arity | 2 |
Maximum domain size | 282 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 7122 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2083129 | SAT | 13.8769 | 14.0069 |
Abscon 112v4 AC (complete) | 2097763 | SAT | 32.4971 | 32.656 |
Abscon 112v4 ESAC (complete) | 2097764 | SAT | 33.141 | 33.5076 |
Concrete 2009-07-14 (complete) | 2083123 | SAT | 51.4642 | 51.6848 |
Sugar v1.14.6+picosat (complete) | 2083126 | SAT | 628.188 | 739.835 |
SAT4J CSP 2.1.1 (complete) | 2083120 | ? | 654.38 | 658.353 |
Concrete DC 2009-07-14 (complete) | 2083124 | ? | 941.47 | 948.205 |
bpsolver 09 (complete) | 2083130 | ? (exit code) | 61.7186 | 62.0155 |
Choco2.1.1 2009-06-10 (complete) | 2083125 | ? (TO) | 1800.1 | 1810.05 |
pcs 0.3.2 (complete) | 2083121 | ? (TO) | 1800.12 | 1806.04 |
pcs-restart 0.3.2 (complete) | 2083122 | ? (TO) | 1800.12 | 1807.95 |
Choco2.1.1b 2009-07-16 (complete) | 2116793 | ? (TO) | 1800.17 | 1809.09 |
Sugar v1.14.6+minisat (complete) | 2083127 | ? (TO) | 1800.3 | 1817.49 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2628 2536 -2420 -2720 -2620 2356 -2664 2464 -2324 2328 -2608 -2624 -2264 2316 -2300 -2384 -2300 2532 -2608 -2552 2680 2596 -2720 2360 2676 -2572 -2320 2440 2572 -2696 2408 -2632 2308 -2704 -2316 2180 -2176 -2212 2356 2252 -2628 -2428 -2472 -2228 2444 2432 2424 2532 -2472 2164 2380 2504 2624 2164 -2228 -2616 -2308 2236 2444 -2492 2204 -2556 2292 -2488 2720 -2700 2400 2208 2564 2584 -2636 -2264 -2472 -2292 -2284 -2660 -2408 2428 2532 2344 2592 -2252 -2320 -2560 2160 2268 -2340 2564 2272 2404 2612 2616 2708 -2720 -2720 2284 -2308 2360 2568 -2640 2260 2712 -2572 -2424 2224 2636 -2200 -2700 2184 -2664 2268 2636 -2172 -2300 2580 2384 2444 2364 -2696 2224 2672 -2284 2484 -2680 2276 -2344 2480 -2508 2272 -2304 -2520 -2556 -2668 2348 -2720 -2364 2440 -2584 -2720 -2208 2712 2200 -2280 -2216 -2204 -2424 -2428 2668 -2332 2636 -2664 -2468 -2660 2236 2380 -2332 -2344 -2616 2652 -2480 -2572 -2708 -2628 -2584 -2400 2592 2520 -2372 -2624 2388 -2180 -2680 -2476 -2160 2572 -2636 2164 2592 -2672 2652 2704 -2576 -2396 -2392 2468 2656 -2680 2436 2196 -2200 -2228 2352 -2372 -2504 2608 -2528 -2484 -2576 2280 -2552 2572 -2348 2436 -2208 2684 -2452 2508 -2696 -2548 2596 2276 2296 -2664 2384 -2528 -2680 2160 -2320 -2524 2584 2228 2404 2324 2336 -2720 -2568 2412 -2336 -2528 -2212 -2376 -2664 -2256 2464 2240 -2636 2416 2656 -2236 -2416 2544 -2324 2680 -2624 -2616 2320 -2384 -2628 -2184 -2400 2292 -2220 -2576 2228 -2700 -2296 2596 2356 2544 2440 -2632 -2488 -2164 2528 -2284 2692 -2172 -2492 -2168 2548 2384 -2316 -2600 2556 -2256 2408 -2572 2380 -2208 -2612 -2488 -2540 2536 2568 -2312 -2320 -2400 2204 -2560 2456 -2588 2296 2680 2320 2532 2600 2356 2592 -2600 -2188 -2664 2444 -2680 2620 -2560 -2204 -2696 2540 -2512 2524 -2560 2580 -2476 -2376 -2412 -2680 -2336 2444 2680 -2360 -2668 2160 2268 2308 -2672 -2200 2284 2424 2356 2624 2412 2584 -2720 2412 2336 -2508 -2552 2680 2464 2432 -2320 -2280 -2372 -2604 2308 -2168 2360 2592 2372 -2628 -2276 -2624 2464 -2456 2188 2180 2644 2640 -2676 -2548 -2204 -2452 2576 -2680 2452 -2584 -2516 2572 2464 2280 -2628 -2216 2268 2572 -2564 -2680 -2544 -2220 2256 2640 -2452 2500 -2628 -2568 -2432 -2252 -2596 -2316 -2344 2612 -2576 -2268 2404 -2164 -2668 -2644 2640 2640 -2476 -2348 2456 -2588 2640 2580 2692 -2424 2160 -2412 2504 2620 2448 -2488 2660 2372 -2212 2680 -2452 2572 2516 -2560 2556 -2452 2204 2544 2404 -2664 2524 2544 2460 -2396 -2240 -2224 -2628 -2200 -2400 -2584 2464 -2480 -2200 2368 -2700 2360 2596 -2376 2668 -2332 -2360 2440 -2512 2416 2364 2576 -2584 2264 2224 2452 -2584 -2460 2568 2660 -2412 2552 -2532 2504 -2208 -2400 -2368 2208 -2656 2276 2660 2312 2680 2564 2232 2376 2168 2408 -2488 -2492 2520 -2288 -2680 2704 2608 -2656 2552 2552 -2320 2376 2200 2160 -2220 -2628 -2512 -2624 2388 -2160 2188 2336 -2352 -2548 2496 -2480 -2176 -2216 2372 2172 -2480 2376 -2472 2708 2340 2636 -2392 2612 2380 2332 2332 2548 -2532 2160 -2568 -2248 -2692 -2588 2652 -2296 2220 -2324 2576 2228 2376 -2720 -2500 2588 2348 2232 2612 2536 -2656 2328 -2676 2596 -2416 2448 -2392 -2588 -2372 -2696 2608 2604 -2620 -2652 2548 -2476 -2632 -2420 2524 -2532 -2720 -2592 2200 -2328 -2168 -2244 2300 2180 2204 -2624 -2604 -2624 2484 -2200 -2340 -2448 2580 -2248 2596 -2172 -2624 2416 -2308 -2588 2372 2552 -2628 -2420 2620 2520 2656 -2588 -2200 2396 2336 2504 2332 2384 2236 2212 2508 -2680 2176 -2624 -2288 2612 -2508 -2188 -2664 -2280 2504 -2492 2676 -2436 2448 -2320 -2324 -2720 2332 -2720 2600 -2276 -2304 -2432 2680 -2440 2692 -2216 2448 -2652 2160 -2164 2420 2340 2568 -2536 2484 2352 -2388 2672 2360 2568 2528 -2444 2316 2312 -2352 2340 -2324 -2452 -2532 -2412 2380 -2348 -2212 2660 -2308 2368 -2372 2544 -2720 2256 -2264 2600 -2632 -2572 -2332 -2404 -2476 -2328 -2416 -2608 2164 2268 2572 2664 2216 2324 2592 2588 2520 2504 -2316 -2624 2588 -2436 2352 2196 2364 -2352 -2612 -2260 2360 2296 -2220 -2652 2552 -2296 -2256 -2624