MAX-CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp25/
normalized-fapp25-2230-2.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp25/
normalized-fapp25-2230-2.xml
MD5SUMe9fca648ca088ce6fc443985c24dc948
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints621
Best CPU time to get the best result obtained on this benchmark3600.04
Satisfiable
(Un)Satisfiability was proved
Number of variables2230
Number of constraints18971
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18971
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-301112951MSAT (TO)621 3600.04 3599.92
Concrete + CSP4J - Tabu Engine 2008-05-301112952MSAT (TO)862 3600.08 3602.12
Sugar++ v1.13+minisat-inc1112955? 425.457 695.352
Sugar v1.13+minisat1112956? 443.79 453.036
AbsconMax 112 pc-w1112953? 1068.63 1075.26
AbsconMax 112 pc-d1112954? 1159.69 1171.19

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: 621
Solution found:
-2772 -2580 -2500 -2488 -2260 2252 -2264 2620 -2268 -2324 2396 -2264 -2244 2220 2268 -2744 2488 -2664 2764 -2252 -2468 -2616 2776 -2272 2260
-2692 2684 2812 -2684 -2260 2780 2296 -2228 -2816 -2816 -2820 -2748 -2228 -2448 2376 2256 -2648 2440 2776 -2228 2260 -2812 2220 -2224 2288
2756 2820 -2600 -2284 -2768 2448 -2276 -2552 2748 2780 -2732 -2772 -2224 -2740 -2640 -2436 -2636 2744 -2312 2316 -2264 -2588 2440 -2816
-2404 -2560 -2260 -2768 2356 -2752 -2732 2764 -2704 -2232 2260 2348 2748 -2388 -2680 2268 2220 -2516 -2316 2272 -2300 -2692 -2820 -2672
-2752 2768 2580 -2668 -2764 -2700 2816 -2264 -2636 2384 -2492 2792 -2368 -2500 -2456 2800 -2316 -2292 -2780 -2524 -2600 2396 -2556 -2240
-2776 2260 2640 -2428 -2744 -2768 -2780 2468 -2372 2784 -2820 2660 -2220 -2352 -2260 2256 2260 -2456 2800 -2224 2780 -2248 -2224 -2812 -2540
-2356 -2484 2228 2816 2764 -2412 2540 -2668 -2516 2264 2228 -2756 2500 2284 -2704 -2260 -2452 -2688 -2716 2580 2748 2808 -2696 -2232 2540
-2372 2400 -2220 -2380 2816 -2508 -2704 -2760 -2288 2684 2644 2820 -2404 2676 2776 2820 -2768 2232 2492 -2260 -2364 -2280 2700 -2228 2812
-2632 -2288 2616 2252 -2724 -2348 -2576 2748 -2440 2324 -2260 2796 2220 2544 2264 2728 2644 -2220 2224 2280 2776 2280 2816 2780 -2480 -2552
-2492 -2668 -2340 -2776 -2812 -2628 2236 -2364 2220 -2584 -2812 2736 -2812 2816 2288 2452 2540 2740 2272 -2288 -2356 2376 2260 -2640 -2752
-2684 -2576 -2788 -2508 2624 -2688 -2480 -2820 2480 -2556 -2588 -2748 2268 -2264 -2460 -2772 2368 2456 -2260 -2488 -2576 2260 2744 -2380
2268 2760 -2480 -2816 -2796 2248 -2804 -2676 2732 2296 -2700 -2796 2628 -2224 2812 -2652 2752 -2432 -2768 -2516 -2308 -2500 -2220 -2684
-2264 -2232 2820 2692 -2540 2812 2712 -2236 -2636 -2220 -2816 2260 2736 -2820 -2508 2816 -2220 2224 -2712 2520 -2608 -2816 -2320 -2612 -2780
-2756 -2220 2272 -2640 -2372 -2580 2244 -2808 2292 -2516 2820 -2708 -2476 -2232 -2532 -2460 -2336 2556 -2232 2276 -2464 -2536 -2580 -2812
-2248 -2220 2524 -2600 -2608 -2316 2444 2612 -2812 -2228 -2228 -2516 -2424 -2780 -2680 2812 -2608 2728 -2752 2448 -2492 2604 -2296 -2252
2808 2320 -2268 -2732 2772 -2424 -2820 2760 -2776 2616 -2464 -2304 -2420 -2608 -2628 -2768 2260 2544 -2588 2424 -2588 2268 -2256 -2820 -2736
-2260 -2220 -2308 -2676 -2788 2588 2792 -2708 2816 -2808 -2700 2604 -2580 2632 -2708 -2312 2696 -2284 -2284 -2244 -2356 -2600 2732 -2624
-2744 -2276 -2556 -2336 -2260 -2260 -2624 -2776 2612 -2776 -2732 2260 -2724 -2476 -2604 -2300 -2428 -2560 -2676 -2428 2300 -2468 2444 -2540
2808 2820 -2244 -2684 -2484 2536 2492 -2768 2760 -2232 -2812 -2792 -2420 -2448 -2224 -2752 -2428 2224 2260 2472 2708 -2292 -2540 -2796 -2504
2368 2772 2352 -2796 -2416 2304 -2584 -2288 -2220 2368 -2492 2744 -2740 2224 2820 -2420 2768 2328 -2636 -2292 2624 -2748 -2308 2244 -2748
-2272 2404 2576 -2816 -2324 2740 -2660 -2260 -2352 2664 -2220 2456 2296 -2276 -2220 2288 2540 -2240 2320 2256 -2612 -2400 2468 2220 2684
-2476 -2676 -2468 2524 2560 2516 -2456 -2556 -2816 2600 -2432 2592 -2556 2268 2476 -2772 -2448 2268 -2752 2260 -2580 -2224 2460 -2384 -2552
2444 2812 -2636 2820 2656 -2508 -2564 2436 2528 -2460 -2780 -2220 -2292 -2660 -2304 2652 -2612 2364 2568 -2236 2516 -2304 2816 -2300 2564
2480 2220 -2312 -2820 -2500 -2384 -2760 -2628 -2260 -2696 2352 2272 2552 -2508 -2424 2576 -2236 2472 -2780 -2352 -2616 2400 2736 -2564 2804
-2784 -2220 2248 -2740 -2812 2704 2312 -2344 2636 -2440 -2692 -2304 -2396 -2780 -2404 2404 -2272 2232 2220 2496 -2220 -2400 -2776 -2800
-2684 -2520 -2688 2820 2256 2320 2224 2648 -2720 -2420 -2344 2740 2664 -2224 2332 -2228 -2492 2292 2276 -2644 -2660 -2260 2776 -2596 2800
-2428 -2736 -2468 -2560 -2716 -2616 2804 2812 -2684 -2236 2292 2340 2224 -2560 -2628 -2744 2820 -2776 -2304 -2812 2504 -2688 2820 -2772
-2252 -2348 -2676 2404 -2360 -2284 -2452 -2496 -2752 -2692 -2740 2816 2236 -2696 -2264 2772 2544 -2692 -2688 2220 -2692 -2368 -2524 -2604
2784 -2452 2512 -2220 -2300 2604 -2724 -2740 -2220 2224 -2596 2260 2540 2532 -2328 -2816 2536 -2504 2744 -2236 2476 -2740 2228 -2692 2248
-2676 2724 -2752 2452 2220 2752 2344 -2820 -2812 2764 -2780 -2600 -2820 -2776 -2792 -2268 2380 2592 2376 -2224 -2276 -2516 -2784 2448 2704
-2448 -2376 -2276 -2344 -2260 2588 -2264 -2504 -2224 -2248 -2336 -2300 -2324 -2720 2284 -2572 2220 2224 2440 2272 -2324 -2240 2292 -2772
-2636 -2288 -2612 -2344 2780 -2220 2564 -2816 -2808 -2516 2360 -2232 -2788 -2328 -2224 -2664 -2264 2648 -2388 -2692 2448 2284 2264 2808 2816
2220 -2776 -2516 2232 -2564 2260 -2636 -2588 2740 -2252 -2360 -2220 -2380 -2416 -2424 -2560 -2588 -2608 2668 2680 -2760 -2820 2556 -2228
-2252 2684 -2556 -2632 -2540 -2756 2224 -2248 2220 -2524 -2796 -2432 2260 -2420 -2484 2548 -2708 -2360 2628 -2308 -2232 2572 -2684 2708
-2808 2292 2532 -2512 -2332 -2684 2236 -2304 -2484 2716 -2580 2792 -2276 2232 2324 2260 -2228 2476 2344 -2516 2272 2800 2508 -2740 -2404
-2264 2548 -2580 -2796 2276 -2708 -2264 -2780 2780 2228 -2272 2736 -2496 -2260 -2704 -2264 -2776 -2780 -2704 -2252 -2276 2736 2488 -2728
2808 2460 -2816 -2472 2220 2576 -2244 2220 -2816 -2556 -2240 2808 -2332 -2288 -2504 -2688 2260 -2272 2768 -2768 -2820 2240 -2780 2644 2560
2596 -2712 -2648 -2556 -2260 2732 2820 2684 -2688 -2220 2512 -2820 -2468 -2756 -2724 2764 2220 -2228 2320 2496 -2776 -2544 -2336 2816 -2708
2572 -2772 -2780 -2820 -2296 2712 2300 2532 -2440 2276 2760 -2312 2700 2624 2648 -2676 -2772 -2508 -2224 -2292 -2780 -2304 -2256 -2812 -2776
2468 -2416 -2224 -2352 -2656 -2776 2816 -2660 2616 -2700 -2364 2764 -2512 -2760 -2768 -2788 -2248 -2764 2288 2228 -2228 -2780 2224 -2372
-2268 2528 -2476 -2816 -2444 -2716 2232 2812 2300 -2260 -2264 -2812 -2624 -2808 -2628 -2564 -2344 -2220 -2312 2512 -2564 2684 2356 2688
-2780 -2576 -2236 -2416 -2432 -2692 -2820 2768 2816 -2668 -2320 -2296 2648 2556 -2340 -2336 -2436 -2520 -2264 -2252 -2760 2244 2808 -2764
2440 -2224 -2324 2776 -2820 2376 -2532 -2512 -2352 2652 -2820 -2748 -2236 -2508 2288 -2412 2780 2320 -2392 -2756 -2820 -2464 -2784 -2372
-2704 -2616 2340 -2684 2816 -2332 2220 -2544 2684 -2312 -2260 -2700 -2780 -2760 -2288 -2820 -2344 -2752 2256 -2576 2264 2292 2776 -2820
-2700 -2512 2784 -2744 2400 -2220 -2288 2548 2516 -2488 -2224 2720 -2484 -2820 -2316 -2268 -2772 -2300 -2404 -2532 -2816 -2308 2776 -2788
-2484 -2724 -2780 2724 -2656 -2260 2412 -2492 -2220 2780 2680 -2776 2236 2820 -2804 -2544 2516 -2536 -2816 2760 2428 -2468 -2356 2772 2256
2264 2364 2640 2408 -2636 2228 2332 -2260 -2396 2596 -2400 -2504 -2692 2748 -2808 2580 -2536 2724 -2272 -2524 -2780 -2472 2380 -2360 -2820
-2236 2224 -2760 2736 -2472 2800 -2780 -2404 2400 -2600 -2516 -2456 -2468 -2652 -2260 2620 -2224 -2528 -2500 2408 2288 -2280 2440 2552 -2720
-2332 -2468 2744 -2776 -2372 2272 -2268 2392 -2800 -2220 2236 2340 -2800 2452 2536 -2400 -2652 2240 2220 2812 -2712 -2560 2236 -2268 2544
2812 2676 2820 2492 2232 2540 -2472 -2696 2596 -2652 2224 -2220 2220 -2384 -2780 -2780 -2676 -2756 -2408 -2608 2504 -2788 -2780 -2412 -2276
2380 -2716 -2548 -2808 2748 -2776 -2280 2396 -2276 2268 2752 -2392 2256 -2800 2776 2276 -2348 2780 -2328 2668 2556 -2292 -2508 2444 -2720
-2464 2728 -2820 -2484 -2236 -2584 -2360 -2724 2708 -2564 -2644 2588 -2480 2284 2424 2228 -2588 -2616 -2676 -2772 2232 -2384 -2768 -2776
2812 -2648 -2556 -2804 2232 2620 -2780 2608 -2596 2260 -2264 -2260 -2716 -2576 2376 -2408 2244 -2220 -2768 -2792 2272 -2692 2576 -2556 -2812
2548 2436 2324 -2260 2812 2560 2620 2304 -2300 2720 2480 -2600 2696 2816 -2268 2572 -2396 -2792 -2400 -2416 2748 -2264 2716 -2600 -2624
-2556 -2220 -2228 -2812 -2260 -2248 2456 -2820 -2516 -2576 -2264 -2220 -2352 2488 -2300 -2596 -2448 -2476 2636 -2668 2260 2788 -2580 -2432
-2380 2820 -2780 -2256 -2328 -2748 -2328 -2816 2332 2816 -2452 -2376 -2808 -2792 -2220 -2636 -2720 2540 -2348 -2776 -2616 -2624 -2244 -2664
-2360 -2680 -2512 -2740 -2788 2668 -2280 -2268 -2776 2276 -2628 -2596 -2268 -2780 -2568 2396 2392 -2816 -2228 -2316 2468 -2788 -2600 -2520
2220 -2804 2816 -2664 -2304 -2692 -2284 2652 -2620 -2776 -2340 -2768 -2392 -2760 -2588 -2808 -2736 2260 2716 2780 -2312 -2260 -2776 -2512
-2356 -2416 2280 -2372 2268 2620 -2548 -2556 2752 -2536 -2808 2256 -2732 2300 2632 -2736 2776 2236 -2396 -2796 2232 2808 2396 -2412 2696
2220 2816 -2760 -2404 -2244 2260 -2324 2816 2464 2772 -2524 -2364 -2820 -2640 2820 2676 -2328 -2548 2376 -2692 -2220 -2780 -2672 2592 -2700
-2480 -2580 -2312 -2780 -2748 -2412 -2392 -2692 2820 -2364 -2248 -2652 -2812 -2264 -2740 -2464 -2756 -2532 -2424 -2356 2260 -2248 -2288
-2660 -2328 -2548 2288 -2568 -2604 2752 2612 -2280 -2248 -2780 2612 2368 -2804 -2820 2568 2224 -2780 2268 -2504 -2440 -2264 2560 -2720 2372
2316 -2708 -2360 2272 2260 -2732 2360 -2548 -2772 -2508 -2500 -2572 -2820 -2240 -2324 2584 -2236 2276 -2676 -2264 -2720 -2376 2580 -2760
-2332 -2592 -2516 -2264 -2820 -2324 -2612 2544 -2564 -2304 -2604 2764 2368 2816 2340 2548 -2260 2420 -2228 -2224 -2228 2656 -2776 -2668
-2244 -2352 -2264 -2220 -2764 -2380 2680 -2384 2356 -2636 -2748 2816 -2620 -2356 -2476 -2544 -2448 -2620 2340 2220 -2288 2524 -2224 -2632
2224 2260 -2788 -2616 2240 -2224 -2728 -2660 2268 -2348 2808 -2360 2632 -2804 -2820 2272 -2756 -2804 2816 -2776 -2816 2772 -2388 -2596 -2264
2800 2312 -2488 -2244 -2328 2304 -2324 2220 -2356 2768 2600 -2656 -2720 -2768 -2776 2664 2272 2580 -2680 -2256 -2220 -2284 -2288 -2412 -2352
2652 -2516 -2384 -2468 -2388 -2472 -2328 -2644 2616 -2248 -2772 2820 2504 -2648 2664 2316 -2624 -2288 -2220 -2220 2232 2820 2284 2244 -2448
-2220 -2792 2272 2536 -2800 -2432 -2320 -2364 -2228 -2748 -2488 2460 -2412 -2220 2532 2352 2756 -2220 2744 -2320 -2628 2820 2548 -2728 -2272
2628 2412 -2560 -2492 -2516 -2620 -2228 2244 -2796 2240 -2264 2792 2576 -2456 2804 -2776 -2760 -2692 -2312 2756 2800 -2812 -2276 2444 -2780
2600 -2244 2808 -2564 -2660 -2336 2776 -2548 2704 2380 -2296 -2708 2260 -2580 -2804 -2232 2672 2492 2464 2224 -2448 -2696 2220 2220 -2584
2492 -2220 -2748 -2540 -2292 2276 -2548 2640 -2380 -2640 -2816 -2324 -2364 2520 -2260 -2676 2640 2228 -2428 -2332 -2268 2360 2812 2228 2300
-2260 -2552 -2392 -2472 -2520 2228 2272 -2416 2384 2788 -2680 -2584 -2536 -2816 2648 2236 -2408 2780 -2708 -2288 2340 -2220 -2424 -2500 2552
-2564 -2244 -2700 -2776 2232 -2264 2236 -2664 2636 -2652 -2324 2276 -2312 -2748 2588 2324 -2748 -2308 -2808 -2364 -2396 -2240 -2268 -2500
-2508 -2320 -2588 -2468 -2428 2668 -2776 -2472 -2284 -2264 -2588 2348 -2220 -2776 -2552 2284 -2764 -2524 2700 2220 -2268 2820 2648 -2232
2228 2604 -2760 -2776 2784 -2272 2804 -2220 2236 2480 -2344 2468 -2260 -2820 -2260 -2640 -2392 2300 2636 2680 2264 2816 -2820 -2220 -2500
2812 -2352 -2760 -2428 -2780 -2784 -2512 -2732 -2364 2500 -2816 2596 -2744 -2348 -2792 -2628 2364 2252 2688 -2244 -2816 -2356 2264 2612 2816
-2736 -2416 2560 -2396 -2392 -2516 2496 -2816 -2812 2264 -2412 2820 -2232 -2644 -2324 2236 2768 -2276 2736 2772 -2712 -2544 -2572 -2324 2636
2796 2664 -2260 -2320 -2360 2496 -2644 -2448 -2692 -2596 -2400 -2808 2416 -2812 2600 -2304 -2284 -2220 2360 -2724 -2356 -2508 2604 2248 2260
-2508 2780 -2260 2220 -2768 2336 2516 2264 2268 -2220 2740 -2788 -2752 2704 -2756 -2388 -2328 2236 -2324 2600 -2528 2812 2352 -2304 -2768
-2812 -2252 -2264 2700 2756 2584 2424 2708 -2708 2612 -2344 -2304 -2532 2780 2596 2676 -2484 -2776 -2780 2444 -2772 -2692 -2804 2220 2680
2568 -2644 -2224 2220 -2488 -2512 -2220 -2772 2228 -2224 -2532 2816 2796 -2416 -2572 2304 -2516 -2592 -2736 2528 -2652 2228 -2228 -2516 2260
-2336 -2312 -2760 2572 -2800 -2224 -2532 -2304 -2396 2448 2540 2780 -2220 -2776 -2704 -2392 2432 2808 2476 -2284 -2720 -2392 2772 2628 -2548
-2496 2772 2236 -2476 -2740 2372 -2648 -2244 2808 -2820 2780 2220 2732 -2488 2328 -2476 -2808 2284 -2272 2820 -2820 -2632 -2224 -2532 -2664
2560 -2264 -2536 -2648 -2272 -2756 2344 -2388 -2584 -2364 2312 2620 -2440 2484 -2796 -2260 -2444 -2236 -2752 -2224 -2252 -2600 2632 2428
-2220 -2384 2272 2452 -2264 2260 2312 -2224 -2320 -2816 -2424 2792 2312 2776 2248 2264 -2332 2360 2224 -2784 -2820 -2492 -2596 -2704 -2664
-2248 -2668 -2484 -2224 -2408 -2260 -2720 -2320 -2792 -2636 2548 -2428 -2440 -2780 -2740 -2644 2220 -2572 -2256 -2536 -2780 2580 -2792 -2768
2300 -2532 2768 2396 2228 -2296 -2268 2596 -2748 -2640 -2264 2396 2660 -2660 -2340 -2820 -2468 2332 2344 2220 -2408 -2780 2740 -2776 2688
2812 -2276 2224 2688 -2272 -2560 -2396 2444 2220 2260 -2228 2816 -2636 -2356 -2788 -2496 -2780 -2524 -2476 -2324 -2224 2392 -2776 -2764
-2280 -2440 -2340 -2816 -2820 2800 -2780 2752 2436 -2572 2656 2820 2784 2504 -2280 -2264 -2368 -2432 2432 -2272 2820 2552 2488 2592 -2220
2320 -2276 -2252 2808 -2224 -2600 -2800 2516 2220 -2436 2548 2592 2820 -2764 -2408 -2588