MAX-CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp24/
normalized-fapp24-2000-1.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp24/
normalized-fapp24-2000-1.xml
MD5SUMe83daf1b7df41c00976ce9b348425bef
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints23
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints26753
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26753
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - MCRW Engine 2008-05-301112915MSAT (TO)23 3600.02 3618.72
Concrete + CSP4J - Tabu Engine 2008-05-301112916MSAT (TO)257 3600.05 3608.22
Sugar v1.13+minisat1112920? 440.678 448.23
Sugar++ v1.13+minisat-inc1112919? 455.087 462.055
AbsconMax 112 pc-d1112918? 2132.59 2208.09
AbsconMax 112 pc-w1112917? 2174.8 2189.51

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

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