CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp12/
normalized-fapp12-1500-10.xml
MD5SUM029bcf31114915c1681378a4f18ed14e
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 benchmark1072.47
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 AC1086013SAT 1072.47 1076.76
Abscon 112v4 ESAC1086014SAT 1157.62 1180.14
cpHydra k_101086015SAT 1259.39 1260.85
cpHydra k_401086016SAT 1275.33 1294.56
Sugar v1.13+picosat1086002? 419.488 427.25
Sugar v1.13+minisat1086003? 422.086 430.774
SAT4J CSP 2008-06-131086001? 543.885 544.152
galac M1086007? (problem) 0.573912 0.674546
galac E1086008? (problem) 0.593909 0.670755
Mistral-prime 1.3131086010? (TO) 1800.02 1808.71
Concrete + CSP4J - WMC Engine 2008-05-301085997? (TO) 1800.03 1802.72
Minion/Tailor 2008-07-041105524? (TO) 1800.03 1819.22
bpsolver 2008-06-271086004? (TO) 1800.04 1812.52
MDG-noprobe 2008-06-271086000? (TO) 1800.05 1806.62
Concrete + CPS4J 2008-05-301085998? (TO) 1800.06 1800.92
MDG-probe 2008-06-271085999? (TO) 1800.06 1807.32
Mistral-option 1.3141086009? (TO) 1800.07 1808.23
Concrete + CSP4J - Tabu Engine 2008-05-301085996? (TO) 1800.08 1809.92
casper zito1086012? (TO) 1800.08 1807.82
casper zao1086011? (TO) 1800.13 1804.35
choco2_impwdeg 2008-06-261086005? (TO) 1800.14 1801.42
choco2_dwdeg 2008-06-261086006? (TO) 1800.22 1806.15

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