MAX-CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp14/
normalized-fapp14-2500-2.xml
MD5SUM3ec556ad251960bf7980f3107ef7856e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints427
Best CPU time to get the best result obtained on this benchmark3600.02
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-301112975MSAT (TO)427 3600.02 3607.02
Concrete + CSP4J - Tabu Engine 2008-05-301112976MSAT (TO)652 3600.08 3617.42
Sugar v1.13+minisat1112980? 539.893 552.184
Sugar++ v1.13+minisat-inc1112979? 579.797 591.582
AbsconMax 112 pc-w1112977? 1469.26 1478.35
AbsconMax 112 pc-d1112978? 1516.6 1528.5

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