Name | csp/fapp/fapp26/ normalized-fapp26-2300-4.xml |
MD5SUM | d73e99eb4b5798901f411267510cf8b6 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 61 |
Best CPU time to get the best result obtained on this benchmark | 3600.01 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2300 |
Number of constraints | 24253 |
Maximum constraint arity | 2 |
Maximum domain size | 302 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 24253 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112831 | MSAT (TO) | 61 | 3600.01 | 3606.52 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112832 | MSAT (TO) | 700 | 3600 | 3605.02 |
Sugar++ v1.13+minisat-inc | 1112835 | ? | 459.035 | 467.947 | |
Sugar v1.13+minisat | 1112836 | ? | 476.669 | 483.73 | |
AbsconMax 112 pc-w | 1112833 | ? | 913.63 | 918.389 | |
AbsconMax 112 pc-d | 1112834 | ? | 958.124 | 963.126 |
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: 612600 -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