MAX-CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp26/
normalized-fapp26-2300-4.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp26/
normalized-fapp26-2300-4.xml
MD5SUMd73e99eb4b5798901f411267510cf8b6
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints61
Best CPU time to get the best result obtained on this benchmark3600.01
Satisfiable
(Un)Satisfiability was proved
Number of variables2300
Number of constraints24253
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension24253
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-301112831MSAT (TO)61 3600.01 3606.52
Concrete + CSP4J - Tabu Engine 2008-05-301112832MSAT (TO)700 3600 3605.02
Sugar++ v1.13+minisat-inc1112835? 459.035 467.947
Sugar v1.13+minisat1112836? 476.669 483.73
AbsconMax 112 pc-w1112833? 913.63 918.389
AbsconMax 112 pc-d1112834? 958.124 963.126

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