CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp14/
normalized-fapp14-2500-9.xml
MD5SUM82e6ad1aef50625fbf6be40e28789b38
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark415.716
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 NameTraceIDAnswerCPU timeWall clock time
cpHydra k_401087234SAT 415.716 423.428
Abscon 112v4 AC1087231SAT 511.534 514.17
cpHydra k_101087233SAT 1010.77 1011.91
SAT4J CSP 2008-06-131087219? 372.957 373.872
Sugar v1.13+picosat1087220? 493.271 652.548
Sugar v1.13+minisat1087221? 503.614 510.368
galac M1087225? (problem) 0.449931 0.821494
galac E1087226? (problem) 0.45293 0.563175
MDG-noprobe 2008-06-271087218? (TO) 1800.02 1814.02
Concrete + CSP4J - WMC Engine 2008-05-301087215? (TO) 1800.03 1801.02
Concrete + CPS4J 2008-05-301087216? (TO) 1800.06 1800.92
Mistral-option 1.3141087227? (TO) 1800.08 1815.64
bpsolver 2008-06-271087222? (TO) 1800.08 1814.13
MDG-probe 2008-06-271087217? (TO) 1800.08 1812.32
Concrete + CSP4J - Tabu Engine 2008-05-301087214? (TO) 1800.08 1806.32
Mistral-prime 1.3131087228? (TO) 1800.1 1815.42
casper zito1087230? (TO) 1800.1 1803.03
Abscon 112v4 ESAC1087232? (TO) 1800.1 1809.48
casper zao1087229? (TO) 1800.14 1800.86
choco2_dwdeg 2008-06-261087224? (TO) 1800.22 1806.97
choco2_impwdeg 2008-06-261087223? (TO) 1800.24 1809.78
Minion/Tailor 2008-07-041105531Wrong UNSAT 47.3358 47.734

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

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