MAX-CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp14/
normalized-fapp14-2500-0.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp14/
normalized-fapp14-2500-0.xml
MD5SUMfac073e8eb5ef4bb7103b84225c28dd2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints1158
Best CPU time to get the best result obtained on this benchmark3600
Satisfiable
(Un)Satisfiability was proved
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - MCRW Engine 2008-05-301112969MSAT (TO)1158 3600 3602.94
Concrete + CSP4J - Tabu Engine 2008-05-301112970MSAT (TO)1267 3600.05 3610.23
Sugar v1.13+minisat1112974? 508.169 519.303
Sugar++ v1.13+minisat-inc1112973? 514.694 521.463
AbsconMax 112 pc-d1112972? 2078.47 2092.64
AbsconMax 112 pc-w1112971? 2230.85 2252.28

Additionnal information

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: 1158
Solution found:
2740 2076 2576 -2536 2548 -2180 2608 2152 -2740 -2020 2696 -2084 2620 2168 -2612 -2588 2616 -2408 2020 -2020 -2084 2464 2480 -2044 -2388
2368 -2648 -2516 2436 -2028 2316 2592 2052 2308 -2592 2740 2348 2108 -2480 -2028 -2596 -2020 -2512 -2264 2668 2700 2728 2020 2448 -2092
-2112 -2468 2660 -2608 2260 2056 2740 -2452 2696 2144 -2284 2604 -2560 2220 2152 -2536 -2704 -2528 -2024 -2728 2724 -2616 -2248 -2488 2444
2672 -2044 2024 2220 2600 2736 2660 2600 -2416 2648 2356 2036 2456 -2740 2224 -2636 -2532 -2556 2640 2548 -2160 -2272 -2128 -2052 2632 -2324
2196 2192 2072 2088 2668 -2656 2472 2588 2068 -2024 2728 2060 -2160 -2296 2488 -2084 2188 2724 2100 -2700 2484 2408 -2736 2324 -2540 2452
2540 2124 2576 2444 -2660 -2740 2240 -2136 -2060 -2668 2688 2472 2020 -2612 2700 -2548 2284 2088 -2668 -2020 2020 2564 2184 -2084 -2400 2304
-2412 -2428 -2448 -2668 2736 -2480 2452 -2208 2660 -2176 -2688 -2724 2732 -2452 2364 2700 2368 -2296 -2156 2076 -2692 -2020 -2460 -2240
-2432 2584 -2080 2644 -2740 2148 -2676 2440 2480 -2092 2604 2280 2392 2656 -2096 2596 2216 2572 2564 2180 2312 -2124 2184 2656 2664 2212
2708 -2024 -2104 -2600 2656 2072 2036 2200 2188 2092 -2220 2416 2504 2640 -2320 -2528 -2280 -2288 2740 2464 -2568 -2060 2544 2168 2648 2048
2488 -2520 -2244 2436 -2216 -2604 2060 2020 2036 2740 2740 -2284 -2688 2316 2564 2024 2696 2424 -2320 2668 -2612 -2532 2332 2480 2452 -2268
2696 -2084 2164 -2556 2308 -2356 2044 -2428 -2292 -2068 2576 2736 2528 -2320 -2240 2392 2020 -2460 -2740 2212 2052 -2276 2120 2740 -2732
2740 -2244 -2020 -2112 -2728 2580 2672 2740 2428 2564 2020 2680 2604 -2456 2556 2732 -2276 -2360 2020 2292 2600 2068 2632 2668 -2104 -2332
-2692 -2308 -2616 -2284 -2084 -2592 2100 2688 2700 2464 2372 2140 -2340 -2456 -2516 2560 -2036 -2180 -2236 -2052 2336 -2092 -2540 2680 2420
2564 2060 -2572 -2056 2420 -2688 -2244 2672 2552 -2724 -2652 2536 2560 2172 -2020 -2532 -2024 2432 2352 2312 2560 -2660 2256 2396 -2740 2192
2496 -2660 2212 2664 -2264 2136 -2612 -2496 2584 2576 -2024 2740 2684 2660 2060 -2592 2644 2740 2464 -2060 2732 -2060 -2124 -2156 -2456 2340
-2288 2496 2024 -2072 -2208 2140 -2300 2328 2600 2652 2512 -2716 2732 2460 -2732 2200 -2152 -2608 2736 -2392 -2396 -2084 2472 -2408 -2724
-2232 2624 -2060 -2268 2496 -2280 2572 2208 2104 2396 -2220 -2272 2740 -2468 2060 -2732 -2204 2448 2640 2688 2344 2024 -2568 2236 -2408 2640
2464 2144 2712 2732 2724 -2736 2116 2520 2668 2384 2740 2048 2020 -2344 -2020 2644 -2216 2740 2352 -2708 2280 2740 -2380 2180 -2364 2048
2084 2720 -2024 2196 -2020 -2684 -2432 -2736 -2716 2252 -2308 2576 -2692 2352 -2340 -2540 2140 -2208 2380 2508 -2712 2544 -2144 -2740 -2696
-2092 -2660 2516 2232 2388 2440 2160 2524 2060 -2036 -2088 -2076 2260 -2640 -2200 -2188 2556 -2124 2124 2112 2524 -2684 -2344 2320 2648
-2408 2272 2652 -2060 2020 -2112 2564 -2484 -2480 -2484 2060 2724 -2340 -2520 -2440 -2692 -2172 -2176 -2552 -2692 -2292 2700 2740 -2444 2060
-2164 2544 2440 -2660 -2208 -2732 2736 -2648 2664 -2384 2560 -2664 -2264 -2156 -2740 -2060 2456 -2344 -2024 -2436 -2060 -2464 2392 2740
-2560 2724 -2492 -2332 2584 2024 -2084 -2020 -2032 2060 2380 2368 -2548 2060 2584 2196 -2656 -2556 -2204 2064 -2124 -2080 2372 2540 2444
-2632 2348 2236 2320 2484 -2160 2424 2036 -2700 -2196 2444 -2076 -2644 -2628 2636 -2296 2268 2740 -2448 2448 -2048 -2024 2684 -2604 -2092
2388 -2508 -2068 2332 2156 -2360 -2620 -2116 2040 2392 -2408 2700 2404 2740 2724 -2608 2240 -2308 2204 -2280 -2356 -2020 2492 2084 2624
-2284 2496 -2476 2028 -2740 -2616 -2372 -2308 2128 2240 -2740 -2568 -2060 -2668 2572 2588 2584 -2696 -2728 -2200 -2408 2536 2224 -2412 2100
-2196 2672 2620 2484 2036 -2616 2264 -2284 2212 2476 -2064 2732 2264 2352 -2428 2312 -2560 -2024 2688 -2500 2036 -2248 -2548 2584 2408 2672
-2056 -2176 2276 2212 2464 2684 -2740 2320 -2720 -2048 2560 2732 2032 2728 2484 -2076 2404 -2172 2568 2460 -2216 -2204 2732 -2556 2560 2400
-2512 2112 -2352 -2212 2468 -2188 -2740 -2428 2064 -2684 -2480 2600 -2104 -2708 2680 2480 -2040 2104 2556 -2460 -2600 -2244 2568 -2652 -2616
2224 2428 -2700 -2700 2652 2472 -2032 2040 -2020 2280 -2064 -2648 -2304 2700 2136 2604 -2384 -2068 2048 -2148 2232 2348 2260 2640 -2064 2060
-2660 2208 -2188 -2496 -2020 -2616 2068 -2740 -2116 2020 2388 2304 -2384 -2332 2428 2720 2264 2644 -2272 2616 2024 2192 -2724 2724 2036 2612
2416 -2740 2712 -2692 -2444 2516 2652 2384 2564 2440 2440 2740 -2344 -2308 -2172 2032 2684 2640 -2444 -2328 2060 2236 -2132 2164 -2164 2408
-2224 2020 -2336 2692 -2284 2028 -2720 -2488 -2736 -2128 2404 -2184 2136 2584 -2680 2520 2528 -2480 2628 -2608 2248 2036 -2356 -2440 -2208
-2300 -2036 2596 -2344 -2728 -2728 2480 -2456 -2644 2224 -2368 -2092 -2724 -2060 2664 -2728 2236 -2356 2664 2496 2020 -2312 2696 2060 2660
2288 2444 2036 -2236 -2428 -2024 -2712 2656 2484 2360 -2316 -2052 2124 2080 -2060 2568 2620 2652 -2072 2528 2380 2332 2500 2704 -2188 -2160
-2540 2176 -2304 2028 -2168 -2408 -2736 -2096 2204 -2696 -2164 -2080 -2184 -2700 2040 -2568 2508 -2032 -2020 -2148 2284 -2684 2528 2664 2456
2736 2036 -2440 2020 2020 2188 2512 2560 -2740 -2588 2736 -2536 2332 2724 -2576 -2560 -2340 -2492 2176 2248 -2224 -2020 -2228 -2084 -2732
2020 2720 -2204 -2532 -2028 2536 2504 2444 2640 -2212 -2668 -2084 -2592 -2740 -2344 2684 -2020 -2184 -2220 -2124 -2672 -2020 2340 -2692
-2156 2384 -2020 2272 2372 -2716 2320 2696 -2224 2736 2496 2616 -2152 2128 -2500 2388 2148 -2424 -2688 2284 -2092 -2204 2228 2280 2416 2712
2652 -2200 2076 2736 2608 2028 2512 2392 2740 -2472 2248 2380 -2700 2660 2020 2032 2420 2652 2560 2352 -2276 -2284 2640 -2540 -2724 -2176
-2700 2208 -2164 -2740 -2352 2564 2684 -2488 -2336 2096 2080 2196 -2412 -2380 2612 -2060 -2020 -2736 -2688 -2128 -2448 2432 2280 2320 2052
2324 2024 2192 -2736 2636 2532 2712 -2720 2492 -2028 2736 2600 2536 2368 2044 -2540 -2640 2124 2268 2472 2700 -2420 -2672 2600 2628 2080
-2196 2700 2700 -2196 -2284 -2080 -2096 2736 2344 2740 -2088 2212 -2116 2640 -2060 -2656 -2660 -2120 -2696 2384 -2380 -2680 2072 2064 -2256
2740 2688 2600 2372 -2652 2220 -2500 -2396 2040 2480 2248 2564 -2420 -2084 2544 2292 -2060 2036 -2312 -2164 2564 2736 2116 2452 -2520 2328
2636 2104 2196 -2628 2560 -2020 -2580 2740 -2020 -2108 -2620 -2532 -2388 2344 -2716 -2740 2640 2284 -2384 -2096 -2168 -2020 2568 -2460 2420
-2580 -2444 -2124 -2412 -2024 2076 2656 -2532 -2020 2312 2600 2176 2696 2060 2240 -2664 -2672 2456 -2148 -2680 -2636 2348 -2500 -2360 2700
-2508 -2356 -2536 2620 -2444 2420 2656 -2200 -2412 -2128 -2600 -2020 -2604 2736 2172 2620 2728 -2568 -2736 -2620 -2580 2740 -2740 -2536 2728
2292 -2416 -2552 2624 2544 -2668 -2020 2152 2564 2600 -2592 -2460 2348 -2668 2064 -2736 -2108 2500 -2060 -2188 -2136 2228 -2344 -2244 -2616
-2100 2144 2696 2740 -2736 -2468 2708 -2036 2704 -2176 -2600 -2676 2356 -2488 -2072 -2628 -2640 2172 -2636 2320 -2736 2728 2020 -2732 -2436
2156 -2552 -2076 -2712 2220 2540 -2360 2076 -2548 2100 2364 -2116 2020 -2716 2500 -2640 2092 2556 2192 2604 -2536 -2060 -2668 -2184 2660
-2044 2020 -2136 -2404 2384 2332 -2304 2312 -2664 2388 -2292 2184 -2348 -2216 2364 2584 2332 2240 2348 -2340 2684 -2072 2276 -2704 2616 2076
2496 -2048 -2612 2672 -2380 2404 2116 -2568 -2488 2300 2056 2020 -2696 2084 2176 2080 2668 -2684 2152 -2500 -2044 2612 -2372 -2088 -2292
2088 -2576 2324 2120 2604 -2132 2176 -2568 -2436 2144 -2132 2488 2020 2524 2372 2292 2416 -2368 2220 2108 2144 2196 -2520 2576 2200 -2440
-2028 -2664 2356 -2224 2368 -2328 2404 -2400 2544 -2452 2020 -2656 2020 -2712 -2404 2684 -2348 2692 -2400 -2160 -2320 -2404 2632 2164 -2700
-2524 2152 -2580 -2512 2580 -2184 2340 2616 -2392 2400 2576 2068 -2128 2064 -2728 -2716 2156 2384 2236 -2224 -2404 2372 2608 -2452 -2272
2224 -2308 -2560 2740 -2408 -2056 2020 2044 -2376 2028 -2560 -2284 -2576 -2212 -2160 2372 2020 2692 -2068 2496 2068 -2424 -2732 -2624 2524
2724 2460 2712 2660 -2328 -2020 2280 2732 -2264 2408 2080 -2316 -2700 2064 2368 -2736 -2088 2292 -2344 2304 2308 -2024 -2112 -2268 2344
-2040 2544 2572 2180 2596 2116 -2740 2428 -2164 -2120 -2736 2632 -2740 2592 2596 -2148 2076 2592 -2136 2204 2372 -2088 -2032 -2628 -2316
2568 2612 2512 2208 -2708 -2520 2740 2732 -2696 -2172 2480 2164 2584 2692 2536 -2480 2200 2732 -2624 -2020 2692 2320 -2728 2196 2700 -2064
-2068 -2700 2532 -2600 -2676 -2260 2156 2480 2660 -2396 -2400 2244 2564 -2236 2412 2156 2092 2504 -2516 2672 -2736 2360 2072 -2444 2728
-2720 -2412 2184 -2596 -2048 -2080 2348 -2740 2724 -2156 -2024 -2044 2600 2600 -2712 2728 -2620 2696 2600 2524 -2696 -2552 2184 -2484 -2064
2616 2696 2520 2320 -2484 2604 2672 2528 -2480 2220 2440 -2532 -2028 2740 -2616 2124 2392 2092 2380 2592 2292 -2576 2048 2644 -2548 -2740
-2736 2464 2396 -2112 -2480 -2416 2080 2708 -2484 2220 -2740 -2292 2560 2544 2440 -2020 2696 -2440 2700 2740 2372 2076 2700 -2308 2696 -2700
2204 -2252 2560 -2524 2396 -2548 -2388 2664 -2580 2388 2716 2200 2516 2620 2036 -2740 2496 2200 2020 -2132 -2428 2576 -2236 2740 -2740 2652
-2340 2196 2700 -2024 2664 -2164 2320 2540 -2464 2060 -2404 2316 2072 2520 2240 2704 -2700 2628 -2252 -2108 2316 2060 2020 2028 2704 -2380
-2252 2384 -2732 -2740 2196 2728 2672 2064 2672 -2580 2216 2384 -2704 2152 2064 2452 -2388 -2516 2064 -2472 2668 -2292 2496 2252 -2608 -2096
2740 -2632 2572 2276 2300 2700 -2044 -2324 2648 2464 2180 -2704 2024 -2728 -2164 -2248 2060 2604 2600 2544 2448 2440 -2040 2100 2720 -2656
2320 2508 2312 2076 2724 2448 2548 2504 2316 2504 2396 -2312 -2192 2484 -2740 -2080 -2040 -2740 2348 -2740 2692 2208 2288 -2024 -2600 2040
-2740 -2600 2300 -2700 2336 2060 2472 -2216 2580 2276 2740 2024 2740 2296 2468 -2392 2412 -2020 -2056 2584 2740 -2080 2160 -2520 -2444 2496
-2460 -2740 -2712 -2364 2288 2192 -2024 2700 2036 -2172 2424 2448 -2340 2048 2060 -2580 2484 2492 -2440 2628 -2492 2108 -2740 2108 2328
-2444 -2276 2560 -2388 -2112 -2392 2636 2220 -2732 2388 2544 2076 -2020 2024 2652 -2180 -2588 2544 -2196 2716 2356 2460 2668 -2216 2024 2276
-2080 2272 2192 2284 2576 -2028 -2208 -2216 -2204 2700 2616 2264 -2696 2252 2216 2604 2612 -2732 -2492 -2088 -2516 2588 2720 2020 -2736 2736
-2024 -2640 -2628 -2400 -2696 2400 -2536 -2024 2068 2256 -2544 -2500 2388 -2336 2664 -2064 2064 2372 2060 -2560 2280 2736 -2548 -2316 -2404
-2068 2736 2740 2276 2640 -2060 2440 -2084 2524 2596 2684 2420 -2720 2680 -2624 2176 2404 2420 2504 -2696 2660 -2020 2504 -2244 -2620 -2528
-2120 2552 2712 -2080 2284 2664 2356 -2136 -2148 -2584 -2032 2696 -2660 -2680 -2680 2024 2332 2504 2304 2500 2068 -2024 -2464 -2572 -2624
-2652 -2700 -2640 -2024 -2596 2668 -2636 2028 -2508 2080 2060 -2284 -2588 2488 2348 -2288 2032 2344 2576 2136 2348 2660 2224 2052 2564 2356
2240 2284 2600 -2272 2652 -2484 2448 -2072 -2628 -2452 2668 -2084 2020 -2060 -2564 2700 2700 -2536 2628 2508 -2660 -2652 2724 -2732 -2684
-2076 2020 -2480 -2088 2060 2528 2252 2684 -2592 -2480 2244 -2688 -2156 -2612 -2740 2668 -2544 -2600 2696 2052 -2316 2700 2108 -2272 -2536
2496 2544 2060 2076 -2660 -2684 2676 -2340 -2708 2424 2656 2396 -2564 -2036 -2492 2176 2700 2060 -2268 2176 2560 2220 -2672 2244 -2148 -2416
-2580 2736 -2136 -2360 -2320 2064 -2400 2552 -2124 2312 2516 2060 2656 2232 2020 -2344 2536 2460 -2248 2636 -2528 2268 2664 2344 2464 -2108
-2024 2400 2036 2620 2568 2596 -2060 -2708 -2572 -2520 2052 -2660 2156 -2020 2696 -2060 2380 2492 -2296 -2584 -2120 -2064 2296 -2264 -2552
-2548 2512 -2204 -2024 2164 -2524 2680 2276 2192 -2736 -2308 2536 -2508 -2588 -2480 -2492 -2324 -2364 2072 -2360 -2696 -2212 2032 -2020
-2216 -2700 2700 -2484 2420 2568 2256 2160 -2060 2720 -2736 2668 -2660 -2520 2600 -2156 -2064 2716 2456 -2172 2116 2148 -2252 2220 2020
-2168 -2060 2340 -2684 2360 2572 -2092 2420 -2260 2632 -2564 -2216 -2064 2424 2308 2460 2196 2512 -2452 2492 -2572 -2020 -2192 -2500 -2548
-2540 -2336 2700 -2660 -2140 -2060 -2060 -2176 2208 2148 -2620 -2064 2172 2160 2444 2612 2328 2700 -2344 -2648 2540 2040 2668 -2608 2576
-2444 2040 -2736 -2312 2600 2076 2212 2632 2180 -2604 -2100 2500 2208 2164 2468 2380 -2460 2316 -2168 -2328 -2480 2732 2536 2544 -2116 2036
2240 -2332 2024 2252 2400 -2188 2676 2020 -2624 2632 2452 2608 2524 2504 2624 2548 2120 -2724 2616 -2392 -2144 2176 2580 2036 -2356 2644
-2020 -2280 -2088 -2120 2688 2288 2180 2364 2060 -2584 -2292 -2040 2496 -2736 -2728 2468 2512 2280 -2020 -2528 2728 -2288 2620 2132 -2680
-2432 -2488 -2352 2144 2496 -2624 -2576 -2680 2708 -2236 2700 -2664 2524 -2640 2676 2468 -2044 -2020 -2692 -2024 -2644 -2332 2600 -2500 2612
2444 2560 -2160 2132 -2212 2632 -2400 -2680 -2244 -2496 2412 2640 -2060 2648 -2108 2112 2628 2284 2248 -2444 2088 -2704 2464 -2680 -2268
-2376 2164 2552 -2500 -2116 -2600 2124 -2312 -2104 2704 2084 2128 2284 2024 -2376 -2084 -2036 2700 2656 2064 -2712 -2740 -2476 2620 -2608
2340 -2328 -2040 2332 2268 2656 -2288 2668 2624 2260 -2364 -2036 -2468 2740 -2636 2700 2724 2704 2640 -2660 -2436 2040 -2576 -2080 -2020
2312 2172 -2052 2660 2600 -2624 2216 2600 -2248 2320 -2068 2236 2520 2672 -2240 2080 2636 2156 2020 -2700 -2676 -2244 -2504 2232 -2716 2176
-2204 -2468 -2096 -2288 2044 -2076 2320 2732 2324 2136 -2588 2316 2156 2256 2700 -2332 -2268 2452 2504 -2100 -2476 2664 -2524 -2084 2736
-2112 -2024 2316 -2020 2052 2544 -2580 2736 2708 -2020 -2696 2492 2736 -2696 2524 -2332 2300 -2088 2228 2468 -2444 2736 -2620 2296 2064
-2384 2292 2312 -2520 -2172 2460 -2736 2740 2504 -2172 -2488 -2548 -2716 -2592 2492 2248 2356 -2484 2384 -2576 2576 2160 -2536 2020 2028
2632 -2588 -2692 -2312 2696 2064 -2260 -2080 2556 -2176 2540 2056 2524 -2704 -2692 2256 -2152 -2668 2476 2428 2728 -2600 -2260 2132 -2232
2664 2588 2564 2444 -2544 2684 -2152 2036 -2184 2028 -2712 2412 -2316 -2508 -2740 2264 2444 -2092 2548 -2700 2020 -2020 2656 2480 -2036 2484
2600 2064 -2028 2600 2344 -2028 2604 -2456 -2628 -2376 2428 2208