CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp09/
normalized-fapp09-0800-8.xml
MD5SUM76623dd14fd0d4ce7a960393ffa043ab
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 benchmark13.9359
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
Mistral-prime 1.3131087648SAT 13.9359 14.0095
MDG-noprobe 2008-06-271087638SAT 15.6396 15.7696
Abscon 112v4 ESAC1087652SAT 31.4502 31.7704
Abscon 112v4 AC1087651SAT 31.4642 31.1819
cpHydra k_101087653SAT 41.4647 41.0938
cpHydra k_401087654SAT 42.8035 43.202
Concrete + CSP4J - WMC Engine 2008-05-301087635SAT 78.3161 79.085
Concrete + CPS4J 2008-05-301087636SAT 167.178 168.695
MDG-probe 2008-06-271087637SAT 364.242 367.397
Sugar v1.13+picosat1087640SAT 586.213 592.301
SAT4J CSP 2008-06-131087639? 397.012 399.924
galac E1087646? (problem) 0.434932 0.522029
galac M1087645? (problem) 0.566913 0.680528
Minion/Tailor 2008-07-041105516? (TO) 1800.03 1800.81
Mistral-option 1.3141087647? (TO) 1800.03 1803.62
bpsolver 2008-06-271087642? (TO) 1800.06 1805.41
casper zito1087650? (TO) 1800.07 1805.41
Concrete + CSP4J - Tabu Engine 2008-05-301087634? (TO) 1800.07 1801.32
casper zao1087649? (TO) 1800.14 1803.66
choco2_dwdeg 2008-06-261087644? (TO) 1800.15 1804.83
Sugar v1.13+minisat1087641? (TO) 1800.15 1804.13
choco2_impwdeg 2008-06-261087643? (TO) 1800.18 1800.92

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