CSP 2008 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 benchmark203.296
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 ESAC1085993SAT 267.255 268.643
Abscon 112v4 AC1085992SAT 285.524 288.023
cpHydra k_401085995SAT 312.075 312.384
cpHydra k_101085994SAT 317.161 317.744
Sugar v1.13+picosat1085981? 420.96 430.12
Sugar v1.13+minisat1085982? 422.452 428.869
SAT4J CSP 2008-06-131085980? 733.303 737.5
galac M1085986? (problem) 0.444931 0.414242
galac E1085987? (problem) 0.45393 0.409338
Minion/Tailor 2008-07-041105525? (TO) 1800 1810.82
Concrete + CPS4J 2008-05-301085977? (TO) 1800.03 1804.02
MDG-noprobe 2008-06-271085979? (TO) 1800.04 1807.61
Mistral-prime 1.3131085989? (TO) 1800.07 1808.51
casper zao1085990? (TO) 1800.07 1803.96
MDG-probe 2008-06-271085978? (TO) 1800.07 1808.31
Concrete + CSP4J - Tabu Engine 2008-05-301085975? (TO) 1800.07 1804.82
Mistral-option 1.3141085988? (TO) 1800.07 1808.43
Concrete + CSP4J - WMC Engine 2008-05-301085976? (TO) 1800.08 1805.52
casper zito1085991? (TO) 1800.09 1805.42
bpsolver 2008-06-271085983? (TO) 1800.09 1812.73
choco2_dwdeg 2008-06-261085985? (TO) 1800.12 1817.71
choco2_impwdeg 2008-06-261085984? (TO) 1800.2 1815.25

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