MAX-CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp27/
normalized-fapp27-2550-3.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp27/
normalized-fapp27-2550-3.xml
MD5SUM8eb4eb3fb4371bb64ac48dd192eca4b5
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints262
Best CPU time to get the best result obtained on this benchmark3600
Satisfiable
(Un)Satisfiability was proved
Number of variables2550
Number of constraints10886
Maximum constraint arity2
Maximum domain size242
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10886
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-301113029MSAT (TO)262 3600 3626.02
Concrete + CSP4J - Tabu Engine 2008-05-301113030MSAT (TO)363 3600.07 3621.02
Sugar v1.13+minisat1113034? 382.718 403.764
Sugar++ v1.13+minisat-inc1113033? 389.025 409.99
AbsconMax 112 pc-d1113032? 768.635 774.016
AbsconMax 112 pc-w1113031? 787.213 796.414

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