Name | csp/fapp/fapp12/ normalized-fapp12-1500-10.xml |
MD5SUM | 029bcf31114915c1681378a4f18ed14e |
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 | 1240.34 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1500 |
Number of constraints | 25409 |
Maximum constraint arity | 2 |
Maximum domain size | 310 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 25409 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097779 | SAT | 1240.34 | 1246.54 |
Abscon 112v4 ESAC (complete) | 2097780 | SAT | 1248.61 | 1256.07 |
Sugar v1.14.6+picosat (complete) | 2083214 | ? | 298.742 | 305.946 |
Sugar v1.14.6+minisat (complete) | 2083215 | ? | 305.762 | 313.728 |
Concrete DC 2009-07-14 (complete) | 2083212 | ? | 383.548 | 386.288 |
SAT4J CSP 2.1.1 (complete) | 2083208 | ? | 400.556 | 401.917 |
bpsolver 09 (complete) | 2083218 | ? (exit code) | 11.7872 | 11.8974 |
Concrete 2009-07-14 (complete) | 2083211 | ? (exit code) | 310.349 | 313.386 |
Mistral 1.545 (complete) | 2083217 | ? (TO) | 1800.06 | 1810.61 |
Choco2.1.1 2009-06-10 (complete) | 2083213 | ? (TO) | 1800.13 | 1810.04 |
pcs 0.3.2 (complete) | 2083209 | ? (TO) | 1800.13 | 1808.64 |
pcs-restart 0.3.2 (complete) | 2083210 | ? (TO) | 1800.13 | 1812.44 |
Choco2.1.1b 2009-07-16 (complete) | 2116801 | ? (TO) | 1800.15 | 1808.39 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2160 2532 -2280 -2696 2400 -2624 2380 2628 -2408 -2696 -2356 -2132 -2548 2260 -2604 -2592 -2692 2344 2736 -2160 -2384 -2684 -2268 -2152 -2648 2400 -2736 -2296 2424 2160 -2492 -2736 -2420 -2340 -2696 -2616 -2184 2160 2440 2568 -2692 -2720 -2236 -2456 2140 -2300 -2328 -2608 2120 -2480 2400 -2444 -2664 2336 2440 2180 -2208 2592 -2736 2588 2572 2620 -2468 -2616 2676 -2456 -2696 -2352 -2380 2224 -2660 -2680 2728 -2612 -2120 -2692 -2512 -2664 -2320 2148 -2316 -2352 -2176 2632 -2508 2260 -2724 -2368 -2160 2680 2664 -2472 -2200 2600 2688 2528 2544 2300 2236 -2120 2732 -2260 2368 -2684 -2120 2316 -2540 2600 -2268 -2680 2256 -2256 2600 -2532 -2172 -2600 2696 -2332 -2576 2376 2488 -2696 2580 -2152 2256 2600 2444 -2644 -2640 -2548 2256 -2160 -2512 -2484 2168 -2304 -2344 2496 2508 -2316 -2416 -2736 2244 -2192 -2144 2552 2716 2508 -2428 -2252 2304 -2136 -2400 -2160 -2452 -2412 -2292 -2508 -2588 -2736 -2412 -2608 -2168 2120 -2424 -2672 2636 2548 2684 -2160 2640 -2512 -2144 -2436 2736 -2560 -2600 2592 -2632 -2264 -2392 -2524 -2184 -2368 2672 -2464 -2476 -2696 -2124 -2264 -2524 -2120 -2548 -2160 -2736 2568 2432 2120 -2716 -2248 2652 -2228 2640 -2708 -2736 -2324 -2736 -2144 2396 -2372 -2228 2572 -2696 -2652 -2408 -2488 -2220 -2696 2516 2368 2720 -2300 2544 -2552 2320 -2284 2168 2692 2368 -2700 -2380 -2628 -2340 2336 -2176 -2376 2680 -2388 2400 2276 2368 -2672 -2368 -2660 -2472 -2216 2120 2460 -2612 2644 2408 -2688 2120 2324 2640 -2412 -2472 2696 -2404 -2388 2180 -2160 2348 -2412 -2284 2220 -2244 -2196 -2416 -2668 2236 2324 -2368 2404 2160 2164 -2668 -2560 2300 2480 2160 -2188 -2464 -2668 2552 2144 -2392 2592 2308 2728 -2352 -2160 2460 -2240 2632 2628 -2736 -2488 2504 -2724 2448 -2556 -2160 -2688 2516 -2696 2484 -2616 2244 2660 2120 -2240 2608 2172 -2208 2624 2368 -2652 -2696 -2236 -2712 -2380 2568 -2276 -2244 -2384 -2564 2532 2272 -2732 -2220 -2428 -2340 -2168 2384 2328 -2156 2316 2120 -2704 2620 -2404 -2260 -2400 -2280 -2660 2248 -2640 -2628 2424 -2684 -2296 -2500 -2588 -2232 -2160 2352 -2472 2736 2120 2640 2676 2308 2396 -2736 -2276 2668 -2452 2120 2244 2216 -2252 -2312 -2120 -2680 2680 2508 2128 2664 2520 2136 2488 -2696 2728 -2324 2272 -2464 -2268 2228 -2556 2296 2368 2172 -2160 -2176 -2296 2632 2172 -2432 -2380 2164 -2704 -2160 -2324 -2364 2120 -2396 2696 -2496 -2736 -2348 -2496 2640 -2340 -2664 -2224 -2292 -2696 2252 2496 -2556 -2468 -2456 -2300 -2284 2584 -2640 -2560 2720 -2136 -2468 2552 2604 2696 2556 -2532 2352 2440 -2212 2572 -2396 -2696 -2120 -2328 -2160 2120 2532 -2372 2680 -2692 2176 2408 2580 2432 -2580 -2428 2636 2292 -2284 -2596 2672 -2564 2240 2224 -2736 -2344 2176 2572 -2712 2696 -2700 -2220 2300 2592 -2300 2492 2392 -2316 2188 -2676 -2512 2240 -2400 -2440 -2260 -2320 2296 -2160 2228 -2132 -2608 2660 -2512 -2220 -2164 2696 -2272 -2212 -2696 2564 2120 -2292 -2344 -2168 2444 2724 -2652 -2360 -2388 2240 -2696 -2720 2684 2508 2628 2236 -2400 -2708 -2220 -2492 -2148 2592 -2268 2584 -2732 -2372 -2528 2160 -2572 2512 2600 -2584 2216 -2648 -2296 -2720 -2508 -2680 2628 2348 -2356 -2592 2356 2164 -2652 2300 2124 -2340 2524 2624 -2348 -2612 -2680 -2572 -2240 -2636 -2480 -2576 -2196 2148 2420 -2576 2728 -2212 2120 2660 2220 2208 2204 -2736 2256 -2160 -2240 2652 -2212 -2736 2404 -2468 -2308 2148 2292 -2160 -2696 -2160 2516 2728 -2376 2264 2608 -2448 -2696 2576 -2616 -2140 -2736 2312 -2688 2440 2364 2284 2164 -2200 2572 2160 -2536 -2168 -2200 2644 -2460 -2688 -2492 -2184 -2700 2396 2456 2248 -2624 2716 -2428 -2188 2408 2628 -2292 2584 -2552 2256 -2736 2208 2136 -2344 2324 -2268 -2628 2708 -2640 -2456 -2196 -2640 2336 2496 2140 -2696 2356 2332 -2684 2696 2308 -2396 -2648 2304 2120 -2652 2524 -2372 -2612 -2348 -2736 -2692 -2404 -2276 2136 2496 2144 -2632 -2736 -2500 2676 -2188 -2660 -2440 -2716 -2440 2260 2164 2676 2408 2688 -2256 2284 -2240 -2636 2128 2688 -2696 2736 -2332 2668 2424 -2616 2316 -2524 -2248 2128 -2704 2284 -2520 -2736 2552 2736 2212 -2676 -2220 2312 -2196 -2576 2636 -2696 2596 -2724 2540 2552 2332 -2624 2660 2292 2172 -2300 -2680 -2596 2120 2120 -2204 -2132 2396 2360 -2272 -2532 2584 -2216 -2192 -2712 -2360 -2276 2340 -2120 2688 2248 2312 -2300 -2688 -2608 2264 2244 2212 -2196 2708 -2276 -2672 2316 -2228 2680 -2732 -2692 -2248 2352 2508 -2468 -2196 -2404 -2652 -2484 -2624 -2240 -2428 -2608 2120 2176 -2356 2120 -2696 -2304 2352 -2528 -2328 2644 -2696 2696 2736 2452 -2216 -2160 2124 2736 -2696 2212 -2452 -2696 -2432 2364 -2628 -2380 -2500 2548 2132 -2736 -2440 2304 -2136 -2260 2668 -2296 -2692 -2360 -2260 2356 -2548 -2260 2120 2252 -2640 2292 -2204 -2160 -2328 -2172 -2496 -2176 2228 2400 -2148 -2660 2160 -2404 -2224 2164 -2736 -2212 -2736 -2184 2120 -2120 -2220 2148 2484 2500 2656 -2440 2212 -2600 -2656 -2560 2536 -2492 2164 2468 -2160 -2360 -2424 -2712 2664 -2684 -2200 -2604 2468 2648 2200 -2492 -2612 -2536 2188 2392 2612 -2340 -2536 -2172 -2664 2696 -2736 -2444 -2340 -2504 2364 -2612 2244 -2176 2236 -2280 -2552 2164 -2524 2736 2336 -2124 2528 -2672 2184 2544 2736 -2312 2188 -2120 2284 2628 2340 -2160 2168 2696 2628 -2160 -2124 -2736 2416 2444 2312 2560 -2696 -2120 2312 2288 2192 2596 -2296 -2624 -2196 -2136 -2160 2668 2328 -2432 -2156 -2188 2120 2708 -2216 -2696 2296 2680 2256 -2560 2332 2560 -2736 2184 2256 2672 2664 -2204 -2204 2352 2128 -2316 2600 -2588 -2708 -2668 2692 -2304 2704 -2424 2388 2676 2476 -2720 -2352 2700 2636 -2200 -2668 2120 2264 2120 2728 2276 -2552 -2696 2488 -2420 2480 2148 2264 -2160 -2160 -2228 2176 2696 2540 -2584 -2420 -2512 2188 -2316 2556 -2684 2372 2592 -2552 -2520 2172 -2268 2324 2176 -2608 -2736 2256 2332 -2604 2120 -2620 -2416 -2224 -2292 -2584 2252 -2732 -2676 -2552 -2360 2120 -2624 2580 -2160 2620 -2276 -2320 2360 -2228 -2176 -2688 2592 -2160 2460 -2288 -2160 2588 2668 -2188 2648 2684 -2692 2356 2632 2720 -2176 2412 -2344 2588 2320 -2460 -2732 -2620 2392 2160 -2384 -2668 2144 -2696 -2160 2664 2392 2120 2176 -2468 2468 2628 -2160 2716 2444 2204 -2736 2208 2336 -2728 -2688 -2352 2328 -2572 -2476 2120 2456 -2160 -2516 -2592 2240 -2160 -2640 -2160 2696 -2716 2344 2340 -2252 2356 -2652 -2120 2288 -2736 2732 2604 2260 2448 -2460 2360 2624 -2532 -2120 -2160 -2568 -2392 -2184 -2120 -2224 2680 -2276 2600 -2736 -2232 2260 -2164 2568 -2708 -2664 -2120 -2292 2264 -2504 2672 -2464 -2332 -2576 2724 -2516 2288 -2632 2312 2296 2620 2340 -2508 2336 -2500 -2248 -2464 -2628 -2228 -2132 2256 -2392 -2696 2560 2720 -2160 -2128 -2604 2696 -2736 2616 -2696 2400 -2252 2384 -2492 -2312 -2568 -2584 2676 -2364 -2204 -2252 2668 2592 -2536 -2448 2180 -2696 -2188 2460 -2484 -2640 -2668 2504 -2368 -2704 -2724 -2340 2252 2736 -2660 -2244 -2148 2500 -2440 -2208 2224 2164 2688 2612 2436 -2328 -2480 -2208 -2256 2624 -2404 -2304 2272 2268 -2168 -2708 2120 -2708 -2300 -2428 2248 -2516 2716 -2644 -2304 -2464 -2736 -2144 -2328 -2552 -2568 -2136 -2372 -2560 -2640 -2460 -2352 -2188 -2584 -2184 2380 2444 -2512 2692 2696 -2176 -2212 2160 2688 -2536 2440 2708 -2696 -2632 -2280 2680 2572 2408 2308 2188 2548 -2624 -2544 2536 2700 2428 2464 2260 2736 -2736 2516 2120 -2668 2156 -2692 2188 2264 2660 -2296 -2596 -2208 -2216 2544 -2156 -2216 2180 -2668 -2284 2132 -2420 2556 -2736 2660 -2120 -2540 -2280 2244 2160 2252 -2288 2444 -2600 -2452 2368 2572 -2160 -2188 -2644 2252 -2120 -2656 -2640 -2228 -2268 -2668 -2160 2528 2132 2680 -2204 -2280 -2696 2736 -2160 2724 2600 -2736 -2400 2124 2384 2420 2540 2172 2652 2652 2228 2588 -2532 2600 2424 2600 -2448 2140 2496 -2384 -2664 -2176 -2476 2572 2664 -2172 -2728 2120 2164 2160 2728 2700 2384 2272 -2520 2296 -2184 -2400 2232 2356 2124 2728 -2364 2676 2620 -2624 2252 -2436 -2736 -2136 2388 -2500 -2668 -2396 2632 -2132 -2120 -2328 -2384 2676 -2736 -2704 -2432 -2472 -2504 -2120 2356 2576 -2508 -2712 2664 2460 -2612 2172 2360 -2280 -2396 -2160 2588 -2288 2380 -2556 -2200 -2596 -2632 -2340 2148 2324 2344 -2736 -2484 -2564 2600 -2260 -2668 2204 2200 -2300 -2160 -2680 2120 -2704 2436 -2612 2716 -2696 2700 -2696 -2452 2508 -2720 -2468 -2616 2120 -2500 -2480 -2376 -2620 -2568 -2160 -2692 -2520 -2532 -2372 2124 -2172 -2544 -2160 -2176 -2300 -2512 2648 -2132 -2364 -2216 -2676 -2696 -2612 -2560 -2348 2736 -2584 2564 -2160 2472 -2504 -2420 2720 -2664 -2228 -2668 -2432 -2164 -2696 2180 2716 2220 -2696 2124 2356 2120 -2188 2236 2120 -2272 -2420 -2312 2120 2252 -2696 2484 2672 -2184 2396 2572 -2160 2424 2232 -2736 2468 -2384 -2736 -2320 -2624 -2260 2148 -2200 -2708 -2172 2216 2140 2260 -2504