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