Name | csp/fapp/fapp09/ normalized-fapp09-0800-0.xml |
MD5SUM | 501a3c19e285c0ae9d47bc368e869aab |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 78 |
Best CPU time to get the best result obtained on this benchmark | 3600.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 8975 |
Maximum constraint arity | 2 |
Maximum domain size | 350 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 8975 |
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 | 1113059 | MSAT (TO) | 78 | 3600.02 | 3640.32 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113060 | MSAT (TO) | 114 | 3600.04 | 3611.23 |
Sugar++ v1.13+minisat-inc | 1113063 | ? | 239.961 | 246.633 | |
Sugar v1.13+minisat | 1113064 | ? | 257.548 | 266.356 | |
AbsconMax 112 pc-w | 1113061 | ? | 368.735 | 368.996 | |
AbsconMax 112 pc-d | 1113062 | ? | 384.055 | 385.555 |
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: 782652 -2556 2108 -2576 -2704 -2576 2500 -2112 -2624 2692 -2536 2624 2208 2228 2640 2588 -2696 -2260 2356 -2640 -2520 2492 -2600 2264 -2460 -2600 2112 -2480 -2472 -2548 -2584 2132 -2152 2660 2352 -2224 -2476 2632 -2684 2460 2212 -2580 2260 -2452 2616 2328 2364 -2480 2600 2508 -2044 2560 -2492 2020 2580 -2228 2216 -2552 2260 2116 -2316 2164 -2416 2156 2656 -2340 -2052 2524 -2528 -2684 -2476 2268 -2204 2268 -2400 2160 2344 -2716 2624 2680 -2576 -2648 -2716 -2212 -2516 -2552 2064 -2632 -2144 -2268 2580 -2620 2408 2396 2176 -2644 2592 2716 -2160 2584 -2040 2656 -2612 2276 2692 -2584 2592 2236 2324 -2684 -2628 -2392 -2224 -2660 -2584 -2128 2612 2112 2200 -2368 2620 2556 -2340 -2664 -2432 2584 2664 -2180 -2260 -2532 -2520 -2232 2576 2652 -2176 -2304 -2580 2596 2620 2256 -2692 2128 2060 -2592 2072 2584 2480 2248 -2532 -2096 2624 -2128 -2704 -2148 -2560 -2300 -2624 -2640 2704 -2648 2680 2640 2628 2636 -2648 -2616 2304 -2552 -2348 -2220 -2148 -2580 -2676 2160 -2220 -2464 -2500 2656 2308 -2528 -2480 2020 2704 2496 2588 -2316 -2240 2604 2368 -2020 -2404 -2220 -2600 2652 2260 -2456 2684 -2256 2512 -2308 -2552 -2660 2292 -2428 -2504 2208 -2168 2072 -2620 2364 -2120 -2540 2028 -2628 2148 -2472 -2464 2200 -2620 2020 2428 -2148 2544 -2224 -2036 -2336 -2312 2572 2340 2608 -2120 -2388 2676 -2688 2580 -2668 -2264 -2088 -2264 -2580 -2484 2220 -2488 2272 2200 -2520 2160 -2512 -2304 -2584 2164 2684 -2512 2556 -2700 2232 2556 -2488 2460 -2056 -2344 -2648 -2060 -2704 -2664 -2552 -2448 2024 -2068 -2616 2700 -2704 -2488 2024 -2580 -2520 -2156 -2616 -2680 -2184 -2488 -2468 -2276 -2716 -2576 -2160 -2684 2576 -2332 2476 -2624 -2544 2620 -2200 -2520 -2684 -2456 -2636 -2660 -2592 -2428 -2308 -2328 -2312 -2616 -2624 2676 -2580 2692 -2320 -2192 2560 2276 2552 -2520 2468 2264 -2472 -2288 2252 2620 -2440 2640 2160 -2588 -2580 2120 2616 2500 -2124 2272 -2552 -2380 -2688 -2380 -2144 -2228 2584 -2616 -2396 2060 -2428 2628 2436 2024 -2480 -2116 2472 -2172 -2676 -2684 2548 -2640 -2648 -2312 2684 -2084 -2240 2020 2424 -2568 2624 2680 -2032 2360 2344 2704 -2536 2524 2680 -2232 -2524 -2420 2484 -2652 -2068 2524 2220 -2656 2536 2260 2540 -2500 -2620 2200 2616 2208 -2472 -2044 -2488 2268 -2644 -2132 -2600 -2336 2612 -2240 2648 -2368 2272 2296 -2020 2024 2384 2136 -2424 -2620 2488 2304 2528 2668 2252 -2664 2676 -2616 -2552 -2024 -2484 -2496 -2660 -2588 2708 2624 -2680 -2640 -2628 -2576 -2080 -2688 -2660 -2640 2108 2120 -2364 2520 -2640 2120 -2224 -2536 -2528 -2320 -2512 2168 2224 -2328 -2516 -2260 2700 2636 -2540 2076 -2580 -2644 -2660 -2204 2436 -2580 -2620 2356 2488 2584 -2364 2124 2160 -2592 -2620 -2248 -2364 -2644 2660 2472 -2416 2512 -2620 -2496 -2568 -2532 -2324 2212 -2704 2264 -2188 2612 2252 2372 -2080 -2488 -2112 2528 -2220 -2616 -2628 2588 2640 -2212 2484 2388 2644 2688 2308 2300 -2452 -2552 -2472 2480 -2060 2272 -2640 -2476 2592 2532 2324 2240 -2560 2164 2520 2268 -2296 2460 2312 -2352 2060 -2512 -2252 2696 2276 -2656 2420 -2524 2528 -2344 -2264 2592 2084 2584 -2648 2508 -2580 -2576 -2332 -2600 2336 -2592 -2616 2148 -2664 -2060 -2628 -2676 -2648 2516 2116 2580 2660 -2264 -2612 2048 -2568 2272 2476 2224 -2624 -2376 -2580 2404 -2484 -2264 2220 -2428 2536 2436 -2248 2360 -2628 2512 2064 -2396 -2164 -2564 -2396 2020 2220 2444 -2620 2416 2460 -2224 2468 2516 -2436 2496 2540 2656 2220 -2520 -2628 2520 2536 2252 -2276 -2208 -2688 2668 -2072 -2348 -2592 -2520 -2248 -2544 2656 2268 -2584 2688 -2420 -2648 2200 2344 -2020 2360 2488 2460 -2528 -2680 -2020 -2656 -2704 -2664 2480 2588 2500 2656 -2656 -2596 2528 -2316 -2576 -2324 -2660 2020 -2548 2528 2580 -2072 2344 2160 2600 2588 -2316 2636 2264 -2620 -2528 -2688 2576 -2260 -2512 -2412 -2336 -2620 -2360 2504 2160 -2536 -2108 -2160 -2372 -2412 2572 2280 2580 -2424 2136 -2656 -2060 -2552 2560 -2320 2644 -2516 -2296 -2496 -2304 2296 -2672 -2200 -2108 2396 2108 -2148 -2304 2584 2028 -2640 -2216 2640 -2180 -2536 -2368 -2468 2064 -2312 2620 -2360 2592 -2260 2292 2120 -2184 -2240 2228 2060 2524 -2696 -2540 -2376 2120 -2060 -2544 -2544 -2620 2308 -2596 -2272 2616 2688 2204 -2188 -2060 2300 2400 -2260 -2064 -2060 2712 2028 -2076 -2020 2640 -2304 2600 -2616 -2628 -2492 2344 -2112 -2644 -2580 2572 2596 2120 2332 -2220 -2592 -2544 -2200 2556 -2560 2212 -2620 2656 2376 -2168 -2676 2652 2716 2480 2348 -2644 -2540 -2468 -2632 -2500 -2620 2224 2588 -2664 -2624 2600 -2208 2520 -2588 -2620 -2652 2516 -2640 -2576 -2488 -2520 -2308 2540 -2268 2284 -2484 -2620 -2624 2688 2696 -2304 -2320 -2688