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