Name | csp/fapp/fapp27/ normalized-fapp27-2550-3.xml |
MD5SUM | 8eb4eb3fb4371bb64ac48dd192eca4b5 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 262 |
Best CPU time to get the best result obtained on this benchmark | 3600 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2550 |
Number of constraints | 10886 |
Maximum constraint arity | 2 |
Maximum domain size | 242 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 10886 |
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 | 1113029 | MSAT (TO) | 262 | 3600 | 3626.02 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113030 | MSAT (TO) | 363 | 3600.07 | 3621.02 |
Sugar v1.13+minisat | 1113034 | ? | 382.718 | 403.764 | |
Sugar++ v1.13+minisat-inc | 1113033 | ? | 389.025 | 409.99 | |
AbsconMax 112 pc-d | 1113032 | ? | 768.635 | 774.016 | |
AbsconMax 112 pc-w | 1113031 | ? | 787.213 | 796.414 |
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: 2622280 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