Name | csp/fapp/fapp14/ normalized-fapp14-2500-0.xml |
MD5SUM | fac073e8eb5ef4bb7103b84225c28dd2 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 1158 |
Best CPU time to get the best result obtained on this benchmark | 3600 |
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 | 1112969 | MSAT (TO) | 1158 | 3600 | 3602.94 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112970 | MSAT (TO) | 1267 | 3600.05 | 3610.23 |
Sugar v1.13+minisat | 1112974 | ? | 508.169 | 519.303 | |
Sugar++ v1.13+minisat-inc | 1112973 | ? | 514.694 | 521.463 | |
AbsconMax 112 pc-d | 1112972 | ? | 2078.47 | 2092.64 | |
AbsconMax 112 pc-w | 1112971 | ? | 2230.85 | 2252.28 |
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: 11582740 2076 2576 -2536 2548 -2180 2608 2152 -2740 -2020 2696 -2084 2620 2168 -2612 -2588 2616 -2408 2020 -2020 -2084 2464 2480 -2044 -2388 2368 -2648 -2516 2436 -2028 2316 2592 2052 2308 -2592 2740 2348 2108 -2480 -2028 -2596 -2020 -2512 -2264 2668 2700 2728 2020 2448 -2092 -2112 -2468 2660 -2608 2260 2056 2740 -2452 2696 2144 -2284 2604 -2560 2220 2152 -2536 -2704 -2528 -2024 -2728 2724 -2616 -2248 -2488 2444 2672 -2044 2024 2220 2600 2736 2660 2600 -2416 2648 2356 2036 2456 -2740 2224 -2636 -2532 -2556 2640 2548 -2160 -2272 -2128 -2052 2632 -2324 2196 2192 2072 2088 2668 -2656 2472 2588 2068 -2024 2728 2060 -2160 -2296 2488 -2084 2188 2724 2100 -2700 2484 2408 -2736 2324 -2540 2452 2540 2124 2576 2444 -2660 -2740 2240 -2136 -2060 -2668 2688 2472 2020 -2612 2700 -2548 2284 2088 -2668 -2020 2020 2564 2184 -2084 -2400 2304 -2412 -2428 -2448 -2668 2736 -2480 2452 -2208 2660 -2176 -2688 -2724 2732 -2452 2364 2700 2368 -2296 -2156 2076 -2692 -2020 -2460 -2240 -2432 2584 -2080 2644 -2740 2148 -2676 2440 2480 -2092 2604 2280 2392 2656 -2096 2596 2216 2572 2564 2180 2312 -2124 2184 2656 2664 2212 2708 -2024 -2104 -2600 2656 2072 2036 2200 2188 2092 -2220 2416 2504 2640 -2320 -2528 -2280 -2288 2740 2464 -2568 -2060 2544 2168 2648 2048 2488 -2520 -2244 2436 -2216 -2604 2060 2020 2036 2740 2740 -2284 -2688 2316 2564 2024 2696 2424 -2320 2668 -2612 -2532 2332 2480 2452 -2268 2696 -2084 2164 -2556 2308 -2356 2044 -2428 -2292 -2068 2576 2736 2528 -2320 -2240 2392 2020 -2460 -2740 2212 2052 -2276 2120 2740 -2732 2740 -2244 -2020 -2112 -2728 2580 2672 2740 2428 2564 2020 2680 2604 -2456 2556 2732 -2276 -2360 2020 2292 2600 2068 2632 2668 -2104 -2332 -2692 -2308 -2616 -2284 -2084 -2592 2100 2688 2700 2464 2372 2140 -2340 -2456 -2516 2560 -2036 -2180 -2236 -2052 2336 -2092 -2540 2680 2420 2564 2060 -2572 -2056 2420 -2688 -2244 2672 2552 -2724 -2652 2536 2560 2172 -2020 -2532 -2024 2432 2352 2312 2560 -2660 2256 2396 -2740 2192 2496 -2660 2212 2664 -2264 2136 -2612 -2496 2584 2576 -2024 2740 2684 2660 2060 -2592 2644 2740 2464 -2060 2732 -2060 -2124 -2156 -2456 2340 -2288 2496 2024 -2072 -2208 2140 -2300 2328 2600 2652 2512 -2716 2732 2460 -2732 2200 -2152 -2608 2736 -2392 -2396 -2084 2472 -2408 -2724 -2232 2624 -2060 -2268 2496 -2280 2572 2208 2104 2396 -2220 -2272 2740 -2468 2060 -2732 -2204 2448 2640 2688 2344 2024 -2568 2236 -2408 2640 2464 2144 2712 2732 2724 -2736 2116 2520 2668 2384 2740 2048 2020 -2344 -2020 2644 -2216 2740 2352 -2708 2280 2740 -2380 2180 -2364 2048 2084 2720 -2024 2196 -2020 -2684 -2432 -2736 -2716 2252 -2308 2576 -2692 2352 -2340 -2540 2140 -2208 2380 2508 -2712 2544 -2144 -2740 -2696 -2092 -2660 2516 2232 2388 2440 2160 2524 2060 -2036 -2088 -2076 2260 -2640 -2200 -2188 2556 -2124 2124 2112 2524 -2684 -2344 2320 2648 -2408 2272 2652 -2060 2020 -2112 2564 -2484 -2480 -2484 2060 2724 -2340 -2520 -2440 -2692 -2172 -2176 -2552 -2692 -2292 2700 2740 -2444 2060 -2164 2544 2440 -2660 -2208 -2732 2736 -2648 2664 -2384 2560 -2664 -2264 -2156 -2740 -2060 2456 -2344 -2024 -2436 -2060 -2464 2392 2740 -2560 2724 -2492 -2332 2584 2024 -2084 -2020 -2032 2060 2380 2368 -2548 2060 2584 2196 -2656 -2556 -2204 2064 -2124 -2080 2372 2540 2444 -2632 2348 2236 2320 2484 -2160 2424 2036 -2700 -2196 2444 -2076 -2644 -2628 2636 -2296 2268 2740 -2448 2448 -2048 -2024 2684 -2604 -2092 2388 -2508 -2068 2332 2156 -2360 -2620 -2116 2040 2392 -2408 2700 2404 2740 2724 -2608 2240 -2308 2204 -2280 -2356 -2020 2492 2084 2624 -2284 2496 -2476 2028 -2740 -2616 -2372 -2308 2128 2240 -2740 -2568 -2060 -2668 2572 2588 2584 -2696 -2728 -2200 -2408 2536 2224 -2412 2100 -2196 2672 2620 2484 2036 -2616 2264 -2284 2212 2476 -2064 2732 2264 2352 -2428 2312 -2560 -2024 2688 -2500 2036 -2248 -2548 2584 2408 2672 -2056 -2176 2276 2212 2464 2684 -2740 2320 -2720 -2048 2560 2732 2032 2728 2484 -2076 2404 -2172 2568 2460 -2216 -2204 2732 -2556 2560 2400 -2512 2112 -2352 -2212 2468 -2188 -2740 -2428 2064 -2684 -2480 2600 -2104 -2708 2680 2480 -2040 2104 2556 -2460 -2600 -2244 2568 -2652 -2616 2224 2428 -2700 -2700 2652 2472 -2032 2040 -2020 2280 -2064 -2648 -2304 2700 2136 2604 -2384 -2068 2048 -2148 2232 2348 2260 2640 -2064 2060 -2660 2208 -2188 -2496 -2020 -2616 2068 -2740 -2116 2020 2388 2304 -2384 -2332 2428 2720 2264 2644 -2272 2616 2024 2192 -2724 2724 2036 2612 2416 -2740 2712 -2692 -2444 2516 2652 2384 2564 2440 2440 2740 -2344 -2308 -2172 2032 2684 2640 -2444 -2328 2060 2236 -2132 2164 -2164 2408 -2224 2020 -2336 2692 -2284 2028 -2720 -2488 -2736 -2128 2404 -2184 2136 2584 -2680 2520 2528 -2480 2628 -2608 2248 2036 -2356 -2440 -2208 -2300 -2036 2596 -2344 -2728 -2728 2480 -2456 -2644 2224 -2368 -2092 -2724 -2060 2664 -2728 2236 -2356 2664 2496 2020 -2312 2696 2060 2660 2288 2444 2036 -2236 -2428 -2024 -2712 2656 2484 2360 -2316 -2052 2124 2080 -2060 2568 2620 2652 -2072 2528 2380 2332 2500 2704 -2188 -2160 -2540 2176 -2304 2028 -2168 -2408 -2736 -2096 2204 -2696 -2164 -2080 -2184 -2700 2040 -2568 2508 -2032 -2020 -2148 2284 -2684 2528 2664 2456 2736 2036 -2440 2020 2020 2188 2512 2560 -2740 -2588 2736 -2536 2332 2724 -2576 -2560 -2340 -2492 2176 2248 -2224 -2020 -2228 -2084 -2732 2020 2720 -2204 -2532 -2028 2536 2504 2444 2640 -2212 -2668 -2084 -2592 -2740 -2344 2684 -2020 -2184 -2220 -2124 -2672 -2020 2340 -2692 -2156 2384 -2020 2272 2372 -2716 2320 2696 -2224 2736 2496 2616 -2152 2128 -2500 2388 2148 -2424 -2688 2284 -2092 -2204 2228 2280 2416 2712 2652 -2200 2076 2736 2608 2028 2512 2392 2740 -2472 2248 2380 -2700 2660 2020 2032 2420 2652 2560 2352 -2276 -2284 2640 -2540 -2724 -2176 -2700 2208 -2164 -2740 -2352 2564 2684 -2488 -2336 2096 2080 2196 -2412 -2380 2612 -2060 -2020 -2736 -2688 -2128 -2448 2432 2280 2320 2052 2324 2024 2192 -2736 2636 2532 2712 -2720 2492 -2028 2736 2600 2536 2368 2044 -2540 -2640 2124 2268 2472 2700 -2420 -2672 2600 2628 2080 -2196 2700 2700 -2196 -2284 -2080 -2096 2736 2344 2740 -2088 2212 -2116 2640 -2060 -2656 -2660 -2120 -2696 2384 -2380 -2680 2072 2064 -2256 2740 2688 2600 2372 -2652 2220 -2500 -2396 2040 2480 2248 2564 -2420 -2084 2544 2292 -2060 2036 -2312 -2164 2564 2736 2116 2452 -2520 2328 2636 2104 2196 -2628 2560 -2020 -2580 2740 -2020 -2108 -2620 -2532 -2388 2344 -2716 -2740 2640 2284 -2384 -2096 -2168 -2020 2568 -2460 2420 -2580 -2444 -2124 -2412 -2024 2076 2656 -2532 -2020 2312 2600 2176 2696 2060 2240 -2664 -2672 2456 -2148 -2680 -2636 2348 -2500 -2360 2700 -2508 -2356 -2536 2620 -2444 2420 2656 -2200 -2412 -2128 -2600 -2020 -2604 2736 2172 2620 2728 -2568 -2736 -2620 -2580 2740 -2740 -2536 2728 2292 -2416 -2552 2624 2544 -2668 -2020 2152 2564 2600 -2592 -2460 2348 -2668 2064 -2736 -2108 2500 -2060 -2188 -2136 2228 -2344 -2244 -2616 -2100 2144 2696 2740 -2736 -2468 2708 -2036 2704 -2176 -2600 -2676 2356 -2488 -2072 -2628 -2640 2172 -2636 2320 -2736 2728 2020 -2732 -2436 2156 -2552 -2076 -2712 2220 2540 -2360 2076 -2548 2100 2364 -2116 2020 -2716 2500 -2640 2092 2556 2192 2604 -2536 -2060 -2668 -2184 2660 -2044 2020 -2136 -2404 2384 2332 -2304 2312 -2664 2388 -2292 2184 -2348 -2216 2364 2584 2332 2240 2348 -2340 2684 -2072 2276 -2704 2616 2076 2496 -2048 -2612 2672 -2380 2404 2116 -2568 -2488 2300 2056 2020 -2696 2084 2176 2080 2668 -2684 2152 -2500 -2044 2612 -2372 -2088 -2292 2088 -2576 2324 2120 2604 -2132 2176 -2568 -2436 2144 -2132 2488 2020 2524 2372 2292 2416 -2368 2220 2108 2144 2196 -2520 2576 2200 -2440 -2028 -2664 2356 -2224 2368 -2328 2404 -2400 2544 -2452 2020 -2656 2020 -2712 -2404 2684 -2348 2692 -2400 -2160 -2320 -2404 2632 2164 -2700 -2524 2152 -2580 -2512 2580 -2184 2340 2616 -2392 2400 2576 2068 -2128 2064 -2728 -2716 2156 2384 2236 -2224 -2404 2372 2608 -2452 -2272 2224 -2308 -2560 2740 -2408 -2056 2020 2044 -2376 2028 -2560 -2284 -2576 -2212 -2160 2372 2020 2692 -2068 2496 2068 -2424 -2732 -2624 2524 2724 2460 2712 2660 -2328 -2020 2280 2732 -2264 2408 2080 -2316 -2700 2064 2368 -2736 -2088 2292 -2344 2304 2308 -2024 -2112 -2268 2344 -2040 2544 2572 2180 2596 2116 -2740 2428 -2164 -2120 -2736 2632 -2740 2592 2596 -2148 2076 2592 -2136 2204 2372 -2088 -2032 -2628 -2316 2568 2612 2512 2208 -2708 -2520 2740 2732 -2696 -2172 2480 2164 2584 2692 2536 -2480 2200 2732 -2624 -2020 2692 2320 -2728 2196 2700 -2064 -2068 -2700 2532 -2600 -2676 -2260 2156 2480 2660 -2396 -2400 2244 2564 -2236 2412 2156 2092 2504 -2516 2672 -2736 2360 2072 -2444 2728 -2720 -2412 2184 -2596 -2048 -2080 2348 -2740 2724 -2156 -2024 -2044 2600 2600 -2712 2728 -2620 2696 2600 2524 -2696 -2552 2184 -2484 -2064 2616 2696 2520 2320 -2484 2604 2672 2528 -2480 2220 2440 -2532 -2028 2740 -2616 2124 2392 2092 2380 2592 2292 -2576 2048 2644 -2548 -2740 -2736 2464 2396 -2112 -2480 -2416 2080 2708 -2484 2220 -2740 -2292 2560 2544 2440 -2020 2696 -2440 2700 2740 2372 2076 2700 -2308 2696 -2700 2204 -2252 2560 -2524 2396 -2548 -2388 2664 -2580 2388 2716 2200 2516 2620 2036 -2740 2496 2200 2020 -2132 -2428 2576 -2236 2740 -2740 2652 -2340 2196 2700 -2024 2664 -2164 2320 2540 -2464 2060 -2404 2316 2072 2520 2240 2704 -2700 2628 -2252 -2108 2316 2060 2020 2028 2704 -2380 -2252 2384 -2732 -2740 2196 2728 2672 2064 2672 -2580 2216 2384 -2704 2152 2064 2452 -2388 -2516 2064 -2472 2668 -2292 2496 2252 -2608 -2096 2740 -2632 2572 2276 2300 2700 -2044 -2324 2648 2464 2180 -2704 2024 -2728 -2164 -2248 2060 2604 2600 2544 2448 2440 -2040 2100 2720 -2656 2320 2508 2312 2076 2724 2448 2548 2504 2316 2504 2396 -2312 -2192 2484 -2740 -2080 -2040 -2740 2348 -2740 2692 2208 2288 -2024 -2600 2040 -2740 -2600 2300 -2700 2336 2060 2472 -2216 2580 2276 2740 2024 2740 2296 2468 -2392 2412 -2020 -2056 2584 2740 -2080 2160 -2520 -2444 2496 -2460 -2740 -2712 -2364 2288 2192 -2024 2700 2036 -2172 2424 2448 -2340 2048 2060 -2580 2484 2492 -2440 2628 -2492 2108 -2740 2108 2328 -2444 -2276 2560 -2388 -2112 -2392 2636 2220 -2732 2388 2544 2076 -2020 2024 2652 -2180 -2588 2544 -2196 2716 2356 2460 2668 -2216 2024 2276 -2080 2272 2192 2284 2576 -2028 -2208 -2216 -2204 2700 2616 2264 -2696 2252 2216 2604 2612 -2732 -2492 -2088 -2516 2588 2720 2020 -2736 2736 -2024 -2640 -2628 -2400 -2696 2400 -2536 -2024 2068 2256 -2544 -2500 2388 -2336 2664 -2064 2064 2372 2060 -2560 2280 2736 -2548 -2316 -2404 -2068 2736 2740 2276 2640 -2060 2440 -2084 2524 2596 2684 2420 -2720 2680 -2624 2176 2404 2420 2504 -2696 2660 -2020 2504 -2244 -2620 -2528 -2120 2552 2712 -2080 2284 2664 2356 -2136 -2148 -2584 -2032 2696 -2660 -2680 -2680 2024 2332 2504 2304 2500 2068 -2024 -2464 -2572 -2624 -2652 -2700 -2640 -2024 -2596 2668 -2636 2028 -2508 2080 2060 -2284 -2588 2488 2348 -2288 2032 2344 2576 2136 2348 2660 2224 2052 2564 2356 2240 2284 2600 -2272 2652 -2484 2448 -2072 -2628 -2452 2668 -2084 2020 -2060 -2564 2700 2700 -2536 2628 2508 -2660 -2652 2724 -2732 -2684 -2076 2020 -2480 -2088 2060 2528 2252 2684 -2592 -2480 2244 -2688 -2156 -2612 -2740 2668 -2544 -2600 2696 2052 -2316 2700 2108 -2272 -2536 2496 2544 2060 2076 -2660 -2684 2676 -2340 -2708 2424 2656 2396 -2564 -2036 -2492 2176 2700 2060 -2268 2176 2560 2220 -2672 2244 -2148 -2416 -2580 2736 -2136 -2360 -2320 2064 -2400 2552 -2124 2312 2516 2060 2656 2232 2020 -2344 2536 2460 -2248 2636 -2528 2268 2664 2344 2464 -2108 -2024 2400 2036 2620 2568 2596 -2060 -2708 -2572 -2520 2052 -2660 2156 -2020 2696 -2060 2380 2492 -2296 -2584 -2120 -2064 2296 -2264 -2552 -2548 2512 -2204 -2024 2164 -2524 2680 2276 2192 -2736 -2308 2536 -2508 -2588 -2480 -2492 -2324 -2364 2072 -2360 -2696 -2212 2032 -2020 -2216 -2700 2700 -2484 2420 2568 2256 2160 -2060 2720 -2736 2668 -2660 -2520 2600 -2156 -2064 2716 2456 -2172 2116 2148 -2252 2220 2020 -2168 -2060 2340 -2684 2360 2572 -2092 2420 -2260 2632 -2564 -2216 -2064 2424 2308 2460 2196 2512 -2452 2492 -2572 -2020 -2192 -2500 -2548 -2540 -2336 2700 -2660 -2140 -2060 -2060 -2176 2208 2148 -2620 -2064 2172 2160 2444 2612 2328 2700 -2344 -2648 2540 2040 2668 -2608 2576 -2444 2040 -2736 -2312 2600 2076 2212 2632 2180 -2604 -2100 2500 2208 2164 2468 2380 -2460 2316 -2168 -2328 -2480 2732 2536 2544 -2116 2036 2240 -2332 2024 2252 2400 -2188 2676 2020 -2624 2632 2452 2608 2524 2504 2624 2548 2120 -2724 2616 -2392 -2144 2176 2580 2036 -2356 2644 -2020 -2280 -2088 -2120 2688 2288 2180 2364 2060 -2584 -2292 -2040 2496 -2736 -2728 2468 2512 2280 -2020 -2528 2728 -2288 2620 2132 -2680 -2432 -2488 -2352 2144 2496 -2624 -2576 -2680 2708 -2236 2700 -2664 2524 -2640 2676 2468 -2044 -2020 -2692 -2024 -2644 -2332 2600 -2500 2612 2444 2560 -2160 2132 -2212 2632 -2400 -2680 -2244 -2496 2412 2640 -2060 2648 -2108 2112 2628 2284 2248 -2444 2088 -2704 2464 -2680 -2268 -2376 2164 2552 -2500 -2116 -2600 2124 -2312 -2104 2704 2084 2128 2284 2024 -2376 -2084 -2036 2700 2656 2064 -2712 -2740 -2476 2620 -2608 2340 -2328 -2040 2332 2268 2656 -2288 2668 2624 2260 -2364 -2036 -2468 2740 -2636 2700 2724 2704 2640 -2660 -2436 2040 -2576 -2080 -2020 2312 2172 -2052 2660 2600 -2624 2216 2600 -2248 2320 -2068 2236 2520 2672 -2240 2080 2636 2156 2020 -2700 -2676 -2244 -2504 2232 -2716 2176 -2204 -2468 -2096 -2288 2044 -2076 2320 2732 2324 2136 -2588 2316 2156 2256 2700 -2332 -2268 2452 2504 -2100 -2476 2664 -2524 -2084 2736 -2112 -2024 2316 -2020 2052 2544 -2580 2736 2708 -2020 -2696 2492 2736 -2696 2524 -2332 2300 -2088 2228 2468 -2444 2736 -2620 2296 2064 -2384 2292 2312 -2520 -2172 2460 -2736 2740 2504 -2172 -2488 -2548 -2716 -2592 2492 2248 2356 -2484 2384 -2576 2576 2160 -2536 2020 2028 2632 -2588 -2692 -2312 2696 2064 -2260 -2080 2556 -2176 2540 2056 2524 -2704 -2692 2256 -2152 -2668 2476 2428 2728 -2600 -2260 2132 -2232 2664 2588 2564 2444 -2544 2684 -2152 2036 -2184 2028 -2712 2412 -2316 -2508 -2740 2264 2444 -2092 2548 -2700 2020 -2020 2656 2480 -2036 2484 2600 2064 -2028 2600 2344 -2028 2604 -2456 -2628 -2376 2428 2208