Name | csp/fapp/fapp25/ normalized-fapp25-2230-2.xml |
MD5SUM | e9fca648ca088ce6fc443985c24dc948 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 621 |
Best CPU time to get the best result obtained on this benchmark | 3600.04 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2230 |
Number of constraints | 18971 |
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 | 18971 |
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 | 1112951 | MSAT (TO) | 621 | 3600.04 | 3599.92 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112952 | MSAT (TO) | 862 | 3600.08 | 3602.12 |
Sugar++ v1.13+minisat-inc | 1112955 | ? | 425.457 | 695.352 | |
Sugar v1.13+minisat | 1112956 | ? | 443.79 | 453.036 | |
AbsconMax 112 pc-w | 1112953 | ? | 1068.63 | 1075.26 | |
AbsconMax 112 pc-d | 1112954 | ? | 1159.69 | 1171.19 |
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-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