MAX-CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp12/
normalized-fapp12-1500-0.xml
MD5SUM34c3ac733a64f710448acdb70b41fbc9
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints92
Best CPU time to get the best result obtained on this benchmark3600.03
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 NameTraceIDAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - MCRW Engine 2008-05-301112825MSAT (TO)92 3600.03 3603.12
Concrete + CSP4J - Tabu Engine 2008-05-301112826MSAT (TO)750 3600.02 3621.52
Sugar++ v1.13+minisat-inc1112829? 403.068 425.364
Sugar v1.13+minisat1112830? 427.552 434.836
AbsconMax 112 pc-w1112827? 1098.92 1102.91
AbsconMax 112 pc-d1112828? 1153.59 1164.69

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