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