Name | csp/fapp/fapp24/ normalized-fapp24-2000-1.xml |
MD5SUM | e83daf1b7df41c00976ce9b348425bef |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 23 |
Best CPU time to get the best result obtained on this benchmark | 3600.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 26753 |
Maximum constraint arity | 2 |
Maximum domain size | 302 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 26753 |
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 | 1112915 | MSAT (TO) | 23 | 3600.02 | 3618.72 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112916 | MSAT (TO) | 257 | 3600.05 | 3608.22 |
Sugar v1.13+minisat | 1112920 | ? | 440.678 | 448.23 | |
Sugar++ v1.13+minisat-inc | 1112919 | ? | 455.087 | 462.055 | |
AbsconMax 112 pc-d | 1112918 | ? | 2132.59 | 2208.09 | |
AbsconMax 112 pc-w | 1112917 | ? | 2174.8 | 2189.51 |
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: 232220 2412 -2436 -2368 2400 -2428 2564 2208 2460 2640 -2584 -2448 2668 -2480 -2164 2676 2120 2424 -2236 2440 2388 2672 2436 2232 2600 2668 -2256 -2360 -2552 2212 2176 2180 -2536 -2604 2352 2664 -2524 -2120 -2592 2368 -2720 2488 2636 2320 -2512 2396 2320 2680 -2516 2232 -2584 2708 -2268 -2292 -2160 2592 2332 2120 2464 2660 2272 2612 2160 2316 2372 2544 2140 2164 2224 -2416 -2456 2720 -2160 2296 -2420 2524 2544 -2344 -2560 2160 2564 2552 2656 -2680 -2648 -2660 2524 -2544 -2624 2284 -2600 2640 2264 -2720 2120 2416 -2472 -2412 -2720 -2192 2672 -2408 2496 2612 -2428 -2208 2540 -2444 2292 -2252 2336 -2328 -2252 2276 -2264 -2716 -2468 -2468 2440 2120 -2452 2120 2120 2308 2424 2260 2492 -2332 -2572 -2584 2688 2312 2564 2676 -2208 2708 -2460 2400 2332 2540 2528 2536 2316 2296 -2568 2476 -2120 2320 2496 -2672 2524 -2460 2452 -2312 2476 -2624 -2312 -2248 2132 -2236 -2200 2276 2300 -2628 2300 -2332 -2252 -2608 -2716 -2528 2452 2688 2564 2248 -2644 2188 2620 -2380 -2572 -2316 2392 2612 -2668 -2532 2120 2272 2308 -2168 2604 -2200 -2576 2432 2720 -2308 2632 -2680 2708 2612 -2356 -2160 -2380 2384 -2500 2412 -2160 2168 -2668 2188 -2544 -2672 2360 2160 -2588 2492 -2708 2300 -2204 2216 2608 2452 -2260 -2660 -2204 2400 2488 -2696 2716 -2372 -2292 2720 2640 -2196 -2680 2364 2680 2156 2296 -2484 2488 -2432 2368 2328 2176 -2260 2264 2472 2608 2172 -2380 2536 2476 2660 2176 -2708 -2184 -2308 -2364 -2148 2464 2608 -2668 -2140 -2368 2552 -2708 2708 -2296 -2568 2540 -2400 -2448 2120 2156 2668 -2172 2180 -2252 -2416 -2236 2676 -2300 -2492 2292 2296 2656 -2160 -2168 -2132 -2508 2272 2680 -2160 2236 2536 2328 2504 -2292 2456 -2300 -2124 2176 2540 -2576 2160 2256 -2132 2624 -2440 -2676 -2608 -2480 2232 2188 2420 2376 2368 -2188 2552 2240 2328 -2164 2292 2420 -2516 2120 -2648 2300 -2332 2544 -2512 -2228 -2220 2352 -2564 -2432 2304 -2488 -2632 2388 -2540 -2304 2172 -2384 -2368 2276 -2148 -2384 2680 -2216 -2456 -2676 -2252 2664 2200 -2284 2160 2120 -2340 -2124 2696 2620 -2160 2332 2160 2364 2120 -2164 -2196 2528 -2696 2228 2220 2260 2320 2136 -2392 -2696 2408 2680 -2584 2276 2120 2324 2256 2308 2328 2608 -2220 -2268 -2720 -2344 2512 2496 -2564 2120 2424 -2492 -2624 2324 -2316 2396 2504 2676 -2592 -2584 -2580 2188 -2608 -2176 2344 2620 2316 2328 2420 2160 2120 2180 -2492 2344 -2532 2640 2592 -2408 2324 2332 -2380 -2680 -2320 -2712 -2436 2548 2716 2492 2720 2208 2544 2480 -2260 2680 -2544 2616 2160 2544 -2416 -2164 -2500 2644 -2472 2468 -2412 2676 -2668 2596 2360 -2160 -2344 2456 -2656 -2716 2276 -2204 -2188 -2716 2228 -2680 -2516 2120 -2148 2328 -2476 2396 2680 -2220 -2152 2476 2176 2520 2160 -2304 2528 -2276 2352 2616 -2188 -2668 -2660 -2424 2180 2192 -2196 2628 -2160 -2272 2392 2228 2508 2552 -2376 -2324 2280 2412 -2536 -2560 -2716 -2284 2120 2288 2616 2120 2356 2524 -2352 2480 -2444 -2144 -2548 -2416 2120 -2312 -2424 -2540 -2236 -2584 2388 -2608 2320 -2172 -2212 2336 2384 -2220 -2676 2120 2516 -2184 -2416 2308 -2360 2120 -2420 2548 -2328 -2160 2148 -2244 2164 -2600 -2156 -2588 -2544 2204 2572 2568 -2120 2292 2284 -2160 2404 -2652 2400 -2640 -2680 -2512 -2364 2288 2504 -2440 -2220 -2264 2680 -2320 2148 2624 -2412 -2720 -2708 2524 2600 2512 2204 2372 -2404 -2532 2632 -2432 -2204 2296 2124 -2172 2720 2480 -2400 -2428 2668 2480 2228 -2396 -2492 -2220 -2244 -2600 2432 2384 2164 -2548 -2672 -2680 2692 -2244 -2704 2160 -2428 -2644 2612 2416 -2288 2676 -2312 2524 -2516 2216 -2396 2656 -2260 2540 -2188 -2656 2556 -2176 2596 -2648 -2560 -2672 2664 -2552 -2256 -2248 -2440 -2484 2328 2276 -2124 2296 2684 2120 -2372 2304 2236 2132 -2688 -2600 2564 2284 2560 -2160 2400 2160 2620 -2276 -2316 -2256 2580 2632 -2696 -2680 2408 2192 -2164 2572 -2652 -2396 2632 -2312 -2164 -2256 -2392 -2164 -2196 2120 -2432 -2540 -2408 -2492 2120 -2324 2508 -2352 2316 2148 -2448 -2680 -2128 2668 -2720 2356 2348 2448 -2556 -2484 -2672 -2452 2296 2256 -2200 2480 -2256 2592 -2680 2172 2324 2132 2504 2396 2520 -2128 2120 -2240 2336 -2492 2120 2576 2132 -2492 -2152 2544 2500 2220 -2648 -2400 2264 -2380 2556 2260 -2716 2220 -2600 -2284 -2720 2292 -2248 2180 -2360 -2420 -2268 -2220 -2536 -2624 2408 2624 2636 2120 2252 -2524 2248 -2584 2492 2588 -2124 -2188 -2400 2612 -2316 -2628 2252 2676 2452 2132 2332 -2536 -2364 2488 2424 2712 2440 -2288 2288 2152 -2680 -2412 2660 2628 2532 2432 2272 2308 -2232 2256 -2280 -2120 2532 2240 2396 2612 2268 2164 2264 2472 -2476 -2444 -2720 -2400 2636 -2260 2648 2172 -2672 2160 2532 -2120 2700 2580 -2224 -2316 2472 2188 2708 -2496 -2620 -2176 2188 -2312 -2396 2160 -2176 2160 2472 -2232 -2124 2272 -2660 2380 2672 -2700 -2492 2280 -2428 -2676 2136 -2120 2164 2672 -2608 -2536 -2184 -2496 -2268 -2576 -2636 2160 2136 -2504 -2168 2276 2584 -2160 -2132 2460 2544 -2524 -2464 2556 2624 2220 2260 2720 2256 2596 -2304 2304 2372 -2248 -2660 2404 2360 -2720 -2708 -2300 -2172 2256 -2204 2224 -2440 2160 2128 2536 2484 -2432 -2180 2672 2720 2560 -2460 -2332 2496 -2292 2712 -2124 -2416 2720 -2172 2544 2392 2496 -2368 -2416 2204 -2540 -2680 -2136 -2260 -2124 -2268 2456 -2156 2280 -2280 2192 -2160 2120 -2720 -2720 2396 -2160 2564 -2512 2480 -2516 -2372 2612 -2160 -2620 -2384 2708 -2344 -2424 2304 2612 -2172 -2368 2120 2488 2456 2172 -2284 -2208 -2580 2376 2608 2676 -2720 -2340 -2708 -2360 2288 2576 2356 -2380 2404 -2448 2124 -2260 -2712 2464 2512 2292 2136 2288 2672 -2660 2404 2564 -2500 2680 -2720 2712 -2348 2420 -2340 2648 -2532 -2452 2376 -2444 -2460 -2180 2276 -2620 2656 -2256 -2364 2628 -2456 2196 -2420 -2348 2676 -2384 -2144 2668 2520 2352 -2524 2516 2276 -2168 -2428 -2400 2720 2120 -2572 2216 -2452 2412 -2176 -2120 2632 2160 2128 -2632 -2408 -2380 -2364 2528 2372 2120 -2124 2124 2556 -2240 2500 2592 -2528 -2320 -2228 2352 -2544 -2404 -2240 2516 2440 2412 -2224 -2680 -2352 2160 -2608 -2360 -2668 -2456 2532 2392 -2340 -2380 -2400 2696 -2420 2584 2708 -2408 -2420 2540 -2680 2504 2120 2680 -2364 -2484 -2460 -2436 -2508 -2120 2476 -2516 -2384 -2472 -2432 -2132 2340 -2196 2528 2552 2452 2452 2496 2460 2180 2352 2160 -2696 2164 -2520 -2524 -2440 -2396 2488 2284 2636 2120 -2164 2408 2688 2664 2468 2668 -2460 -2716 2148 -2528 -2720 -2488 -2412 -2564 -2240 2664 -2460 -2380 -2472 -2164 -2516 2188 -2688 2660 -2628 2296 -2476 2504 2448 -2328 -2472 -2664 -2448 -2420 -2160 2480 2292 -2160 2120 -2200 2124 2156 -2436 2424 2180 2452 -2552 2148 -2316 2604 -2416 2120 2552 2548 2540 2252 -2584 -2492 -2376 -2436 -2444 -2148 -2684 2544 -2160 2176 -2672 2500 -2716 2396 2584 -2720 2660 -2676 2148 -2316 2172 -2160 -2220 2332 -2504 -2132 -2316 -2332 -2552 -2424 2516 2452 -2516 -2436 -2344 2676 2280 2224 2140 2668 -2712 -2176 2576 -2424 2124 -2288 -2672 2120 2680 -2640 -2460 2416 2232 -2188 2292 -2560 -2292 -2708 2556 -2572 2424 2180 -2484 -2284 2360 -2652 2492 2320 -2500 -2176 -2424 2316 2684 -2156 -2160 -2564 2536 -2532 2196 2316 -2660 -2536 -2708 -2452 2472 -2408 2560 -2520 -2456 2720 -2556 -2216 -2256 -2620 2536 -2484 2372 2648 2568 -2660 2420 -2440 -2504 -2356 -2268 -2492 -2248 2196 -2272 2716 2460 2524 2556 2344 2308 2196 -2324 2304 -2356 2280 -2680 2632 -2372 2292 2160 2604 -2616 2380 2132 2132 2648 -2460 -2192 -2156 2632 -2444 -2512 2312 -2220 2324 -2596 -2192 2408 2568 -2196 2180 2272 -2356 2460 2276 2384 2328 2168 2568 2156 -2700 2620 2340 2456 2328 -2288 2608 2304 -2488 -2380 -2156 2368 2572 2688 -2240 2428 2588 2712 2720 2680 2672 2580 2484 2344 2216 -2184 2636 2328 2608 2456 2672 -2464 2172 2120 -2716 2356 -2244 -2676 2448 2172 2504 2156 2244 2324 2668 2668 -2540 2368 2496 -2236 2572 -2184 2564 -2576 -2224 2288 -2420 -2580 2460 -2668 2632 2492 2204 2472 2120 -2656 -2568 -2424 -2720 -2668 -2264 -2584 -2592 2476 2304 2132 2648 -2532 2520 -2200 2444 -2236 -2468 -2204 -2620 -2648 2232 2356 -2460 -2696 -2516 2680 -2532 2264 2532 2512 -2420 2232 2720 2680 2368 2452 2532 2532 -2524 2556 2516 2364 -2448 -2260 -2248 2620 2720 -2396 2660 -2424 -2596 -2460 2460 -2500 -2528 2164 2668 2512 2212 -2296 -2264 2152 2552 2160 2160 -2672 2180 -2708 -2720 2332 -2440 2120 2168 2680 2656 -2220 2248 2464 -2288 -2668 -2164 2628 -2580 2404 -2600 2560 2664 2420 2396 -2448 -2544 2552 -2320 -2572 2660 2120 2124 2228 -2132 2404 2524 2684 2604 2328 2164 2404 2316 -2292 -2648 2432 -2672 2620 -2620 -2652 -2164 2620 2624 -2636 -2620 2328 -2224 2436 2468 -2160 2168 -2720 2672 2580 2612 -2132 -2660 2636 -2220 2456 2432 -2308 -2508 -2136 2352 2536 -2580 2436 -2252 -2440 -2696 2432 2352 -2120 2712 2532 2636 2348 -2328 2680 -2488 2512 -2312 -2160 2512 2124 2680 2676 2716 -2408 -2688 -2384 2172 2268 2160 2124 2268 2416 -2708 -2360 -2700 -2448 2220 2492 -2440 -2660 -2128 2360 2492 2160 2360 2544 2160 -2132 2300 -2488 -2524 2300 -2444 -2320 -2428 2180 2360 -2468 2676 -2272 -2284 -2612 2340 -2336 2660 2212 2636 2388 -2284 2356 2676 2604 2628 -2500 2448 -2720 -2520 2584 2452 -2432 -2320 -2624 2680 -2512 2252 -2676 2484 2432 -2368 2376 2216 -2528 2704 2344 -2444 -2412 -2352 -2420 2196 2712 2596 2568 -2388 2668 2324 2564 2264 -2644 -2648 -2336 2664 -2440 2404 -2680 -2616 -2472 2640 2300 -2312 2244 2288 -2564 2332 -2212 -2228 2352 2420 2120 2208 2464 2668 -2720 2296 2256 -2244 -2664 2556 -2384 -2240 2592 -2192 2416 2124 2680 2508 2660 2588 2596 2716 2120 -2276 2120 -2484 2656 2720 -2412 -2560 -2528 2540 -2288 -2512 2600 2596 2656 -2572 2620 2176 -2676 -2632 2636 2256 -2172 2644 -2420 -2420 2420 2260 2572 2680 2592 2360 2220 2268 2424 -2644 -2188 -2208 -2464 -2252 2348 2544 2568 -2164 -2192 2680 -2212 -2324 2288 -2312 -2136 -2508 2164 -2420 -2248 -2544 2492 -2644 -2224 2424 2660 -2476 2136 2388 2472 2700 -2124 -2400 -2160 2124 2660 -2228 -2160 2544 -2664 -2652 2580 2640 2124 2680 -2700 2656 2296 2364 -2524 -2160 2488 -2216 2136 -2560 2276 2392 -2464 2588 -2664 2268 -2164 -2468 -2332 -2500 -2276 -2184 -2288 2320 -2612 -2504 2568 -2668 -2440 2540 2248 -2532 2660 2652 -2188 2452 2344 -2720 -2216 2400 2352 -2164 2576 -2384 2480 -2288 2648 -2624 2188 2400 -2216 2528 2292 -2292 2288 2124 2552 2620 -2544 -2164 -2160 2464 2472 -2328 2676 -2260 2532 -2248 2700 2648 -2680 -2228 2164 2292 -2592 -2460 -2688 -2120 -2568 -2260 -2680 -2720 -2624 2444 2312 2416 -2416 -2668 -2524 2160 2120 2384 -2468 -2472 -2468 -2588 2632 -2572 -2404 2180 2456 -2376 -2608 -2584 -2416 -2440 -2656 2632 2640 2328 2500 2260 -2392 -2640 -2120 2540 -2632 2120 -2596 -2124 2608 -2456 -2136 2452 -2476 -2584 2576 2448 -2520 2208 2136 2632 -2408 -2520 2484 -2576 -2384 -2360 -2548 -2232 -2648 2428 2300 2272 -2288 -2652 2248 -2592 -2256 -2392 -2200 -2564 2160 -2408 2268 2696 -2600 2592 2668 -2488 2256 2616 2468 -2712 -2196 2364 -2384 2500 2300 -2492 2660 2172 2332 2236 -2292 -2692 -2492 2160 -2532 -2160 2248 -2392 2520 2392 2548 2304 2512 2356 2340 -2160 2712 -2380 2380 2464 -2592 2308 2368 -2492 -2420 2120 2652 -2572 -2720 2564 -2720 -2244 -2272 -2428 2392 2332 2160 2556 2680 2420 -2692 2368 -2260 -2456 2656 -2228 2268 -2460 2228 -2360 2148 2460 -2328 -2120 2380 -2512 2584 -2212 -2708 2124 2516 -2164 2700 2572 2708 -2504 -2268 2152 -2552 2368 2632 -2448 -2196 -2164 2704 2576 -2340 2252 2344 -2552 -2480 2340