CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp26/
normalized-fapp26-2300-10.xml
MD5SUMfed84ca019c3c42e3620b2e79df41b5a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark29.8915
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 NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC1086077SAT 29.8915 30.3001
Abscon 112v4 AC1086076SAT 30.4144 30.8378
cpHydra k_401086079SAT 90.1393 90.766
cpHydra k_101086078SAT 94.7586 96.1634
SAT4J CSP 2008-06-131086064? 393.935 395.517
Sugar v1.13+picosat1086065? 468.886 480.586
Sugar v1.13+minisat1086066? 496.837 507.692
galac M1086070? (problem) 0.45493 0.859531
galac E1086071? (problem) 0.600908 0.684317
Concrete + CPS4J 2008-05-301086061? (TO) 1800.01 1802.32
Concrete + CSP4J - WMC Engine 2008-05-301086060? (TO) 1800.04 1801.12
MDG-probe 2008-06-271086062? (TO) 1800.04 1810.32
Concrete + CSP4J - Tabu Engine 2008-05-301086059? (TO) 1800.05 1808.42
MDG-noprobe 2008-06-271086063? (TO) 1800.06 1807.72
bpsolver 2008-06-271086067? (TO) 1800.09 1801.73
Mistral-prime 1.3131086073? (TO) 1800.1 1806.81
Mistral-option 1.3141086072? (TO) 1800.1 1813.85
casper zito1086075? (TO) 1800.11 1806.72
casper zao1086074? (TO) 1800.14 1812.76
choco2_impwdeg 2008-06-261086068? (TO) 1800.14 1802.62
choco2_dwdeg 2008-06-261086069? (TO) 1800.23 1809.85
Minion/Tailor 2008-07-041105565Wrong UNSAT 26.594 26.8843

Additionnal information

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

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