Name | csp/fapp/fapp14/ normalized-fapp14-2500-2.xml |
MD5SUM | 3ec556ad251960bf7980f3107ef7856e |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 427 |
Best CPU time to get the best result obtained on this benchmark | 3600.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2500 |
Number of constraints | 40767 |
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 | 40767 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112975 | MSAT (TO) | 427 | 3600.02 | 3607.02 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112976 | MSAT (TO) | 652 | 3600.08 | 3617.42 |
Sugar v1.13+minisat | 1112980 | ? | 539.893 | 552.184 | |
Sugar++ v1.13+minisat-inc | 1112979 | ? | 579.797 | 591.582 | |
AbsconMax 112 pc-w | 1112977 | ? | 1469.26 | 1478.35 | |
AbsconMax 112 pc-d | 1112978 | ? | 1516.6 | 1528.5 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 427-2224 -2076 2588 2552 -2208 -2216 2128 2180 2732 -2024 -2700 2076 -2624 2136 -2540 2592 2620 2364 2060 -2020 -2192 2500 2316 -2060 -2384 2324 -2636 -2492 2736 2068 2392 -2636 -2096 2320 2584 2736 -2376 2060 2508 -2092 -2668 -2716 -2476 -2252 -2612 -2696 2056 -2032 -2464 -2024 2052 2476 -2580 2604 -2248 -2104 -2740 -2736 2684 2200 2256 -2592 -2568 2220 -2156 -2528 -2716 -2216 2124 -2700 2720 2620 -2252 -2048 -2412 -2664 -2084 -2044 2220 2576 2700 -2660 -2596 -2396 2632 -2352 2112 2460 2668 2524 -2024 -2600 -2548 -2656 -2584 2624 -2436 -2252 -2736 -2632 2332 2208 2196 -2728 -2144 -2560 -2636 -2480 -2592 -2704 -2384 -2740 -2104 -2184 -2260 2492 -2100 -2580 2724 2148 -2724 -2492 -2468 -2720 2284 -2532 2440 2544 2140 2612 2492 -2612 -2020 -2252 -2624 -2056 -2680 2700 -2440 2740 -2616 2696 2596 -2228 2084 -2628 -2728 -2064 -2552 -2192 -2064 2356 2280 -2368 -2348 2448 -2064 -2636 2500 2488 -2244 2632 -2592 2700 2724 2216 2444 -2364 2736 2436 -2732 -2212 -2068 2684 2160 -2460 -2500 -2440 2496 -2064 -2628 -2716 -2168 -2700 2420 2480 -2076 -2404 2264 2376 2020 2092 -2636 -2256 -2560 -2556 2196 2156 -2112 2176 -2740 -2664 -2248 -2032 2020 -2084 2652 2660 2112 2060 2572 2180 2680 2216 -2392 2500 2636 2336 -2208 2272 2288 -2740 2504 -2608 -2032 -2532 -2116 2104 2124 2536 -2528 2484 2360 -2520 -2616 -2052 2040 -2028 -2740 2736 2316 2692 2304 -2612 -2060 2704 -2428 -2424 -2688 2612 2600 -2380 2556 -2412 -2260 2700 2196 -2020 -2536 -2356 -2288 -2100 2436 -2328 2040 2620 -2740 -2528 -2296 -2260 2400 -2032 -2368 2732 -2244 2068 2516 -2120 -2740 2700 2740 2556 -2060 -2560 -2740 -2584 -2736 2740 -2456 -2572 2068 2680 2520 2496 2572 2504 2248 2372 2020 2340 -2596 -2120 2632 -2420 2124 -2344 2740 2264 2204 -2356 2108 -2592 2064 -2740 2700 2472 -2412 -2124 2312 2464 2508 2620 -2064 2112 2240 -2104 2352 -2512 -2700 2676 2420 2576 -2060 -2556 2068 -2512 2640 -2492 -2672 2552 2660 -2624 -2536 -2256 -2212 -2148 -2524 2064 2440 2332 2324 -2564 -2656 -2292 -2428 2644 2156 -2684 2660 -2200 2664 -2476 -2120 -2604 2420 2620 2544 -2212 2024 2068 2688 2700 -2576 -2616 -2740 2488 -2088 -2724 2112 -2384 -2108 2488 2284 -2268 -2460 -2068 -2128 2300 -2608 -2276 -2396 2624 2660 -2476 -2708 -2700 2448 -2572 2208 -2288 -2580 2740 2332 -2384 -2108 2504 2352 2620 -2208 -2644 -2064 2276 2488 2312 -2584 2096 2616 -2412 2216 2292 2728 -2460 -2036 -2736 2552 2444 -2636 -2704 -2308 2020 2592 -2188 2324 -2636 2524 -2168 2732 2724 2740 2696 -2020 2188 2680 2408 2668 2072 -2024 -2332 -2020 -2636 2200 2720 -2348 2728 -2256 2472 2356 2520 -2420 -2044 -2148 2680 2020 -2212 2064 -2668 -2404 -2076 -2696 2480 2332 2488 2728 -2344 2336 2536 2192 -2228 -2412 -2556 -2728 -2540 -2120 2740 -2076 2720 -2588 -2500 2524 -2400 2308 2160 -2548 -2064 2116 2020 -2072 2308 2636 -2192 -2188 2556 -2140 2140 2164 2532 -2060 -2356 2344 -2640 2432 -2280 -2632 -2020 2024 2168 2556 -2420 -2500 2480 2068 -2492 2316 -2216 -2460 2696 -2152 -2160 -2504 2700 2372 -2724 2676 2372 -2060 -2172 2552 -2452 -2716 2180 2024 2644 2672 -2660 -2376 2596 -2664 2248 -2200 -2140 2056 2404 2320 -2076 -2372 2388 -2488 2304 2668 2256 2728 2128 -2400 -2080 2740 2148 -2060 2368 2052 2384 -2392 -2544 2100 2512 2592 2644 -2608 -2200 2732 2188 -2232 -2360 2576 2460 2700 -2292 -2228 2344 2372 2104 -2448 2112 2700 -2212 2456 2020 -2628 2652 -2584 -2280 2568 2032 -2296 -2528 2024 2056 -2060 -2536 -2072 2400 -2488 2168 2412 -2200 -2352 -2736 -2084 -2688 -2452 -2364 -2696 2432 2676 2664 2604 2200 2340 2244 -2260 -2356 -2096 2404 -2080 2660 2320 -2548 -2504 2024 -2728 2620 2340 2248 -2140 2324 2728 -2704 2096 -2660 2500 2552 2572 -2716 -2740 2196 2456 -2480 2216 -2416 -2072 -2220 2652 -2632 2500 -2060 -2628 2192 2280 -2208 -2356 2108 -2740 -2260 2352 -2724 2372 -2588 -2028 -2740 -2504 -2020 2228 2484 -2560 2360 -2732 -2132 -2232 -2280 2292 -2316 2584 -2028 -2340 2716 2048 -2532 2632 -2020 -2664 2500 2740 2404 -2560 2600 -2456 -2220 2208 2728 -2556 2164 2400 2548 2652 2336 2228 2444 2208 -2732 -2416 2044 -2680 2480 2604 2128 -2732 2524 2460 2020 -2160 2504 -2444 -2608 2216 -2564 2688 -2596 2228 -2452 2716 -2688 -2668 -2484 -2704 2088 -2048 -2248 -2152 -2696 2364 -2700 -2132 -2596 -2396 2020 -2072 -2152 2176 -2532 -2256 -2584 2036 2064 -2200 2212 2216 2452 2024 2616 2720 -2740 2124 -2064 2392 2336 -2396 2380 -2428 -2736 2360 2116 -2264 2612 -2068 -2668 -2024 2024 2060 2084 2452 -2536 2712 -2684 2444 -2496 -2736 2384 2588 -2528 2440 -2740 -2316 2352 2172 2068 2736 -2616 2408 2320 -2060 -2252 -2192 -2100 2496 -2408 -2240 2024 -2376 -2700 2284 2060 2628 2488 2692 -2144 2392 -2564 2164 -2580 -2700 -2516 -2232 2516 -2716 -2336 -2232 2072 -2356 2400 -2288 2300 2580 -2624 2352 -2700 -2700 -2480 2452 -2564 2540 -2392 2108 2724 -2056 2664 2508 2192 -2368 2628 2516 2024 -2320 -2692 2060 -2596 2352 -2412 -2064 2240 2440 -2160 -2728 -2652 2400 -2376 -2288 2032 2148 -2068 -2596 -2508 -2652 -2588 -2088 2500 -2356 -2328 2740 -2704 2192 -2164 -2504 2216 2384 2068 2184 2336 2596 -2124 -2244 -2696 -2152 -2088 -2200 -2020 2084 -2540 2536 2064 -2024 2148 2452 2268 2528 -2672 2508 2608 2736 -2300 2024 2668 2212 -2524 2556 -2740 -2596 2684 2528 2336 2720 2504 -2504 -2296 -2548 -2136 -2268 2216 -2092 2528 2596 -2240 2028 2724 2228 -2624 -2024 -2668 2176 2472 2592 2204 2652 2100 -2724 2728 -2364 -2684 2084 -2240 -2212 -2144 -2580 -2024 2344 2724 2164 2348 -2072 -2356 -2384 -2652 -2332 -2700 -2220 2736 -2628 -2608 -2628 2124 -2492 2416 -2152 -2456 -2680 -2292 2032 2192 -2188 -2240 2444 2648 2652 2240 2084 -2740 2736 2700 -2512 2412 2736 2500 -2268 -2372 -2664 2624 2056 -2736 2420 -2656 -2564 2392 -2284 -2308 2640 -2552 2652 -2192 -2660 2192 2152 2740 -2360 2552 2080 2520 2272 2636 -2740 2220 -2484 -2376 2584 2676 2104 2684 -2696 2152 -2476 -2380 -2344 -2316 2740 -2344 -2020 -2176 -2740 -2664 2528 2708 -2648 -2496 2024 2032 2620 -2584 2416 2020 -2628 2648 -2068 2208 -2464 -2700 2392 -2700 2544 -2632 2704 2148 -2712 2464 2192 -2244 -2160 -2160 2676 2348 -2056 2100 -2192 2272 2612 -2128 -2656 -2684 2072 2696 -2376 2324 -2236 2668 2144 -2252 2648 2740 -2576 -2348 2692 2240 -2488 -2428 -2028 2264 -2328 2540 2416 -2112 2556 -2356 -2700 2072 2332 -2172 2560 2740 2068 2476 -2520 2296 2692 -2064 2548 -2636 -2572 2020 -2592 2676 -2032 -2060 -2616 -2484 2328 2336 2716 2736 -2648 -2320 2388 -2064 -2192 -2024 -2568 -2444 -2404 -2580 2460 -2060 2404 -2024 2064 -2652 -2184 2088 2280 -2592 2216 2700 -2024 2352 -2656 -2412 2444 -2144 2724 -2596 -2452 2504 -2376 2724 2516 -2384 2464 -2576 -2424 2032 2652 -2272 2436 2124 -2596 -2716 2576 2732 -2208 2620 2740 2568 -2740 2684 -2536 2688 -2700 -2556 2720 2276 -2404 2516 -2516 -2576 -2684 2020 -2216 -2568 2740 -2600 2464 2352 2100 2180 -2708 -2108 2416 2060 -2616 2104 -2220 -2356 -2244 2200 -2104 -2152 -2700 2740 -2688 -2520 -2684 -2104 2652 -2136 2688 -2628 2456 -2428 2108 -2632 2588 -2180 -2736 -2308 2740 2692 -2188 2724 -2428 2168 2508 -2696 -2740 -2196 2528 -2348 -2084 2584 2152 2332 -2060 2736 -2568 -2488 2032 2696 2572 2224 -2676 -2528 -2068 2600 2180 2660 -2152 2024 -2128 2396 -2356 -2404 -2308 -2304 2692 2388 -2480 -2080 -2020 2232 2316 2668 2292 2200 2372 -2340 2680 2692 2268 2700 2572 -2024 2456 2020 -2592 2740 -2380 -2368 -2104 -2568 2572 -2276 2268 -2020 -2680 -2060 2180 2696 2660 2600 2272 -2300 -2048 -2632 -2392 2092 2296 2180 2568 -2372 -2124 2592 -2116 -2192 -2564 2444 2164 -2100 2192 -2072 -2572 2340 2372 2396 2368 -2220 -2100 2040 2160 2576 -2596 -2240 -2440 -2024 -2476 -2368 -2200 2436 2304 -2404 2412 2584 2456 -2020 -2652 2064 2736 2376 -2684 -2428 2680 -2452 -2124 -2392 -2432 2656 -2596 2700 -2500 -2176 2576 -2208 2588 2204 -2332 -2660 -2416 2420 -2580 2020 -2048 2188 2624 2684 -2172 2372 2184 -2200 2384 -2364 -2648 2452 2308 -2220 -2300 -2148 -2736 -2436 2160 2036 2688 -2352 -2064 -2020 -2272 2704 2168 -2168 -2424 -2024 -2620 2044 -2516 2064 -2428 2736 -2616 2304 2724 2460 -2676 2700 -2376 -2024 2292 2688 2324 2460 2676 -2360 2616 -2064 -2392 -2656 -2164 2292 2332 2300 -2700 -2020 2140 -2280 2356 2328 -2520 2584 2156 2660 -2052 2700 -2428 2168 2192 -2736 2620 -2128 2592 2644 -2612 2040 2448 2176 -2252 -2376 -2084 -2060 -2648 -2328 -2568 -2600 2544 2540 2720 2720 2732 -2660 2696 -2164 -2492 2176 2544 2248 -2556 2604 2208 2724 2040 2020 2700 2304 -2732 2176 2660 -2064 2028 -2700 2524 -2596 -2676 2212 -2172 2476 2660 -2412 -2336 -2232 2604 2224 -2432 2136 -2728 2556 -2544 2616 2572 -2380 -2104 2496 2612 -2596 -2420 2188 -2612 -2412 2380 2380 -2700 2724 2044 2032 2108 -2576 2580 -2656 -2740 2620 2692 -2612 2572 2684 -2560 2176 -2308 2032 2616 2676 -2556 -2384 -2548 -2668 -2688 -2468 -2448 -2208 2436 2544 2052 -2036 -2584 -2140 -2392 -2040 -2412 -2160 2308 -2588 -2060 -2640 2560 -2740 2708 2196 -2388 -2664 -2516 2344 -2168 2728 -2496 -2268 -2020 -2476 -2572 2588 2460 2044 -2736 -2280 2688 -2576 2240 -2080 -2652 2300 2696 2740 2220 -2256 -2536 2536 -2452 2552 -2384 2680 2740 2392 2424 -2204 2228 2548 -2036 2684 2508 2200 -2460 2220 -2424 2576 2188 2024 2732 2108 2344 2276 -2716 -2184 2728 2116 -2388 2488 -2468 2700 -2372 -2316 2612 -2520 -2200 -2704 -2692 -2592 2284 2128 2292 2060 -2020 2120 2728 2396 -2232 2348 -2736 2024 2228 2460 2672 -2060 -2672 -2724 -2204 -2388 2684 2148 2076 -2444 -2416 2520 2172 -2436 -2688 2288 2324 2252 2596 -2120 2740 2632 -2564 2256 -2304 -2704 -2020 2316 2644 -2456 -2176 2724 2080 -2708 -2188 -2260 2060 -2596 -2636 -2556 2388 2424 -2048 -2132 -2488 -2740 2324 -2640 2320 2720 2728 -2508 2540 2524 -2424 2192 2452 -2304 2192 2456 -2724 -2128 -2064 -2024 2348 2740 2724 -2216 -2264 2072 2600 2024 2732 -2572 2288 -2676 2300 -2040 2424 2220 2580 2280 -2736 2132 -2740 -2312 2412 2384 2432 2024 2692 2636 2032 -2112 -2160 2532 -2144 -2484 -2460 2700 -2696 -2392 -2280 2232 2020 -2692 -2396 -2172 -2432 -2496 2332 2320 -2060 2164 -2468 -2504 2452 -2620 -2488 -2084 2736 2060 -2352 -2508 -2248 2700 -2248 -2128 -2456 2112 -2192 -2716 -2388 -2544 2028 -2024 2740 2668 -2188 2592 2212 -2536 2692 2344 -2528 -2688 -2560 2060 -2280 -2292 2232 2248 2284 -2584 2080 2192 2244 -2212 -2700 -2612 -2280 2700 2264 2536 2636 -2628 2044 2448 -2084 -2520 2616 -2684 -2020 2740 2608 -2044 2700 2136 -2340 -2700 2412 -2564 2064 2100 -2204 2548 -2488 -2404 2280 -2700 2060 -2060 -2392 2144 -2528 -2284 2504 2544 2416 2404 2100 -2736 2740 -2264 -2636 -2020 2460 -2080 -2520 2596 2688 2352 2684 2032 2688 -2244 2384 -2452 2464 -2700 2696 2636 -2516 -2240 -2608 2480 2144 -2512 2696 2044 2264 2676 -2344 2148 -2108 -2168 2688 2692 2660 -2672 2528 2024 -2384 -2512 2288 -2500 2384 2148 2472 2596 -2612 -2660 -2700 -2608 -2020 -2604 2612 -2144 -2096 2524 -2060 -2036 2284 -2584 2300 -2392 -2444 2240 2340 2576 -2108 -2368 2664 -2240 -2112 -2532 2332 -2208 2320 -2568 -2248 2736 2452 2404 -2392 -2676 -2460 2636 2088 -2108 -2100 -2540 2696 2064 2520 -2656 -2480 -2736 2644 2064 2372 -2700 -2100 -2020 -2480 2032 2740 2528 2236 2700 -2064 2508 -2284 -2468 -2152 2624 -2740 2704 2544 -2740 2684 2728 2328 -2160 2236 -2280 2740 -2256 2520 2024 -2028 -2672 2612 2672 -2312 2644 -2460 -2644 -2696 2568 2040 2460 2576 -2528 -2024 2280 -2168 2564 2172 -2660 2268 -2140 -2412 -2448 2728 2160 2384 -2060 -2084 -2384 2476 2652 2352 -2532 -2544 2652 2164 2736 2336 -2604 -2488 2228 -2620 2496 2464 2724 2344 2620 -2664 2064 2348 2068 2608 -2600 2648 2060 2692 -2568 -2560 2068 2644 2140 2028 2700 2088 2372 2024 2392 -2584 2128 2104 2216 -2516 2052 -2600 2480 -2216 -2032 -2232 -2196 -2688 2280 -2188 2692 -2320 2560 -2544 2616 2456 -2488 -2316 2280 -2072 -2412 2664 -2172 2104 2740 2232 2676 -2708 2452 -2396 -2564 2260 -2156 -2060 -2720 2280 2688 2620 -2436 2612 -2160 2116 2648 -2488 2044 2680 2124 2024 -2256 -2040 -2212 2672 -2340 -2076 2348 2044 -2152 2408 -2236 2632 2592 -2220 2092 2416 -2316 2292 -2608 2660 2452 2492 -2592 2020 2248 -2232 -2464 2548 -2348 -2700 -2616 2152 2072 2048 2180 2296 2148 2592 -2712 2220 -2164 -2416 -2596 2260 -2740 2296 2664 -2464 2072 2648 2552 -2584 2432 -2032 2684 -2364 -2548 2020 -2348 -2632 2568 2632 -2248 2504 -2272 -2152 -2468 -2404 2448 -2316 -2256 2468 2500 2124 -2500 -2536 2068 -2060 -2240 -2352 2020 -2184 2400 -2112 2100 -2032 -2664 2624 2448 2640 2572 -2528 2452 -2556 -2152 2696 2624 2356 2604 2624 -2552 2036 -2436 2620 -2020 -2296 2696 -2084 -2668 -2284 -2168 -2404 2076 2584 -2340 2716 -2480 2732 -2732 -2392 2552 2412 -2024 -2528 -2476 -2336 2608 2140 2720 -2424 -2476 2356 -2148 2520 2648 2580 -2692 -2560 2240 -2700 -2648 2532 -2580 -2676 -2468 2064 2632 -2696 -2076 -2020 2300 -2576 -2464 2612 2444 -2572 -2064 2124 2108 2620 2032 2696 -2224 -2552 -2420 -2584 -2028 -2680 -2104 2644 -2644 -2300 -2484 2444 2684 2544 -2460 2684 -2280 -2336 2192 -2516 2276 2068 -2560 -2192 -2396 -2080 2704 -2060 2156 -2276 -2020 -2320 -2652 2680 2700 2664 -2084 -2692 -2260 2460 2624 -2592 2444 -2376 -2704 2352 -2340 2656 2336 2732 -2040 2252 -2344 -2028 2496 2724 -2632 -2692 2724 -2704 2592 2672 2424 -2708 -2560 -2668 2072 2332 -2156 -2072 -2656 -2604 2124 -2176 2612 -2176 2312 -2092 2168 2488 -2672 -2276 -2068 2604 2128 2024 -2668 -2624 2284 2292 2576 -2704 -2372 2108 2332 -2136 2212 -2040 2072 2300 2544 2324 2184 -2580 -2328 -2156 2252 2732 -2380 -2532 2472 2500 -2032 2400 2684 -2540 -2104 -2676 -2224 -2020 -2356 2076 2064 2540 2568 2028 2700 2020 -2692 2480 -2588 2692 -2528 2268 2292 -2088 -2240 2316 -2428 2736 2580 2324 2120 -2384 2344 -2288 -2548 -2128 -2436 -2028 -2664 -2564 2180 2488 2556 -2716 -2144 2492 -2052 2352 -2264 2424 -2568 -2544 -2152 -2480 -2100 2028 2616 2556 -2584 -2320 -2696 -2072 -2224 2100 -2564 -2188 -2700 -2096 -2528 -2732 2696 -2280 -2184 -2672 -2484 2424 -2736 -2632 2260 -2116 -2196 2688 2576 2576 -2440 2516 2076 -2124 -2044 2240 -2668 -2704 -2444 2320 2020 -2740 2256 2460 -2032 -2536 -2696 -2060 2708 2660 2476 -2044 2528 -2624 2120 2028 2620 2348 -2140 2580 2492 -2640 -2396 2292 2236