CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp09/
normalized-fapp09-0800-4.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp09/
normalized-fapp09-0800-4.xml
MD5SUMfd291b2d849040dbdfa6434d5b702e4d
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 benchmark32.3001
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints8975
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8975
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC1087673SAT 32.3001 32.4287
Abscon 112v4 AC1087672SAT 39.155 39.5911
cpHydra k_401087675SAT 42.6535 43.6691
cpHydra k_101087674SAT 48.9376 49.8842
Sugar v1.13+picosat1087661SAT 792.038 799.585
SAT4J CSP 2008-06-131087660? 1064.49 1067.65
galac E1087667? (problem) 0.444931 0.506741
galac M1087666? (problem) 0.58891 0.673207
Mistral-prime 1.3131087669? (TO) 1800.01 1810.11
Mistral-option 1.3141087668? (TO) 1800.03 1804.62
MDG-noprobe 2008-06-271087659? (TO) 1800.03 1806.51
casper zito1087671? (TO) 1800.05 1807.32
Concrete + CPS4J 2008-05-301087657? (TO) 1800.05 1801.92
casper zao1087670? (TO) 1800.07 1808.46
Concrete + CSP4J - WMC Engine 2008-05-301087656? (TO) 1800.07 1795.52
MDG-probe 2008-06-271087658? (TO) 1800.08 1807.91
Concrete + CSP4J - Tabu Engine 2008-05-301087655? (TO) 1800.09 1809.02
Minion/Tailor 2008-07-041105515? (TO) 1800.09 1809.61
bpsolver 2008-06-271087663? (TO) 1800.1 1801.72
choco2_dwdeg 2008-06-261087665? (TO) 1800.18 1815.64
Sugar v1.13+minisat1087662? (TO) 1800.19 1805.43
choco2_impwdeg 2008-06-261087664? (TO) 1800.19 1803.24

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