CSP 2009 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp12/
normalized-fapp12-1500-9.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp12/
normalized-fapp12-1500-9.xml
MD5SUMa935103af39bd284c54c6d98a149f42a
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 benchmark315.042
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 AC (complete)2097777SAT 315.042 318.129
Abscon 112v4 ESAC (complete)2097778SAT 317.867 320.889
Sugar v1.14.6+picosat (complete)2083203? 289.228 295.689
Sugar v1.14.6+minisat (complete)2083204? 296.579 304.931
SAT4J CSP 2.1.1 (complete)2083197? 398.988 402.685
Concrete DC 2009-07-14 (complete)2083201? 639.398 641.788
bpsolver 09 (complete)2083207? (exit code) 11.8082 11.9091
Concrete 2009-07-14 (complete)2083200? (exit code) 651.41 654.844
Mistral 1.545 (complete)2083206? (TO) 1800.05 1805.02
pcs-restart 0.3.2 (complete)2083199? (TO) 1800.08 1807.54
pcs 0.3.2 (complete)2083198? (TO) 1800.09 1809.74
Choco2.1.1b 2009-07-16 (complete)2116800? (TO) 1800.15 1810.02
Choco2.1.1 2009-06-10 (complete)2083202? (TO) 1800.19 1807.45

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