Name | csp/fapp/fapp12/ normalized-fapp12-1500-0.xml |
MD5SUM | 34c3ac733a64f710448acdb70b41fbc9 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 92 |
Best CPU time to get the best result obtained on this benchmark | 3600.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1500 |
Number of constraints | 25409 |
Maximum constraint arity | 2 |
Maximum domain size | 310 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 25409 |
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 | 1112825 | MSAT (TO) | 92 | 3600.03 | 3603.12 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112826 | MSAT (TO) | 750 | 3600.02 | 3621.52 |
Sugar++ v1.13+minisat-inc | 1112829 | ? | 403.068 | 425.364 | |
Sugar v1.13+minisat | 1112830 | ? | 427.552 | 434.836 | |
AbsconMax 112 pc-w | 1112827 | ? | 1098.92 | 1102.91 | |
AbsconMax 112 pc-d | 1112828 | ? | 1153.59 | 1164.69 |
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: 922256 -2588 2236 2608 -2476 -2520 2360 -2716 -2340 2472 2256 2160 -2672 -2332 2632 -2624 -2696 2396 2684 2144 2160 2608 2176 2208 -2696 2496 -2584 -2320 2476 -2528 -2556 -2428 -2220 2328 -2736 -2724 -2168 -2252 -2312 -2648 -2636 -2636 2376 2488 -2168 -2300 -2320 -2720 2296 2384 2496 -2516 2716 2376 -2496 2224 2120 -2656 2504 -2460 -2736 -2376 2392 2464 2672 -2352 -2648 2316 2156 -2160 -2696 -2572 2700 -2596 -2188 -2692 2500 2572 -2404 2244 2124 2376 -2320 2628 2488 2128 -2620 2404 -2160 -2732 -2516 -2660 2124 -2688 2720 2496 2632 -2312 2176 -2152 2588 2172 2120 -2724 -2460 -2352 2336 -2404 -2272 -2604 -2244 -2156 2600 -2560 2260 2652 -2624 -2336 2424 -2312 -2408 2720 -2588 -2180 -2260 2628 -2636 2660 -2624 -2548 2388 2184 2488 -2416 2220 -2272 -2448 -2692 2472 2296 -2448 -2688 2156 -2168 -2140 -2664 -2712 2600 2372 -2300 2348 2196 2320 -2208 -2696 -2160 2216 2400 -2668 -2540 2308 -2696 2240 2120 -2404 2720 2732 2632 2508 2148 -2612 -2516 2160 2480 -2592 -2588 -2560 -2560 -2652 2320 2384 2496 2120 2288 2712 2336 -2548 -2544 2164 2164 -2384 -2188 -2688 2296 -2516 2456 2700 2164 2736 2160 -2560 2324 -2692 2696 -2696 2308 2736 2128 -2352 2504 -2192 -2572 2564 -2636 2344 -2520 2160 2620 2460 -2304 -2564 2268 -2372 -2460 2420 -2280 -2428 -2736 2228 2636 2400 -2500 -2400 -2152 -2192 2140 2640 2276 2428 -2300 2300 2692 2148 2584 -2376 2424 2192 -2260 -2560 -2604 2444 2696 2188 -2428 2676 -2292 -2420 -2656 -2400 -2360 2168 2256 2332 -2420 2228 -2224 -2268 -2188 2352 2656 2252 -2260 -2412 -2484 -2260 -2212 2676 -2520 2292 -2452 -2416 2376 -2404 -2696 2452 2120 2336 -2716 2292 2692 -2288 -2164 2424 -2144 -2660 -2608 -2716 -2548 -2484 -2684 -2548 2680 2148 -2696 2536 2688 -2624 -2652 2212 -2124 -2300 2216 -2656 -2352 2200 -2576 2304 2612 2708 2272 -2696 2472 -2656 -2216 2300 2372 -2716 -2616 2312 -2656 -2132 -2400 2332 2120 -2568 2712 -2560 -2340 2272 -2572 -2596 -2172 -2416 -2260 2396 -2636 -2268 2600 -2668 2608 -2600 -2220 -2528 -2588 -2280 -2120 2372 2428 2696 2160 -2636 -2696 2184 2452 2520 -2124 2736 -2364 -2288 2204 -2124 -2280 -2252 -2292 -2668 -2668 -2576 2388 -2588 2552 -2120 2736 -2592 2712 2336 2212 2428 2408 -2256 -2356 2152 2428 2448 -2156 -2156 2348 -2512 -2296 2416 2176 -2204 -2528 2220 2120 -2468 2148 -2512 2476 -2468 -2568 2388 2476 2732 2228 -2516 -2124 2332 -2696 2284 -2556 -2528 -2536 -2444 -2376 2220 -2524 2520 -2664 2708 -2160 -2524 -2676 2676 -2688 -2664 2516 -2412 2412 2248 -2368 2512 2604 2292 2196 -2660 2164 -2696 2480 2628 -2636 2216 2328 -2416 2636 -2716 -2456 2580 2336 -2276 -2536 -2632 2556 2328 2136 2568 2400 -2428 -2516 2672 -2372 -2668 -2452 -2304 -2668 -2348 2520 2276 2392 -2472 -2584 -2448 -2120 2272 2280 -2340 -2312 2416 -2624 2316 -2312 2508 2676 2412 -2156 2128 -2696 2248 2488 2684 -2732 -2204 2304 2296 2168 -2168 -2724 2676 2456 2440 -2228 2468 -2716 2660 2564 -2628 2264 2360 2676 2224 -2180 -2512 -2668 2228 -2612 -2732 -2316 -2508 -2528 -2732 2468 2692 -2424 2280 2632 -2208 -2588 2348 2564 2676 -2136 -2696 2396 2300 -2160 -2736 -2396 -2212 -2252 -2692 2572 -2316 -2736 2736 -2644 2176 -2568 -2376 -2664 2520 2200 2424 -2576 2456 -2216 -2160 -2668 -2240 -2228 -2256 2608 -2120 2240 -2128 -2696 2244 2576 2196 2412 -2216 2176 -2236 -2120 -2520 2576 2568 2684 -2172 -2212 -2552 2696 2540 -2436 2616 2248 2680 2332 -2660 2496 -2148 2272 2120 -2368 -2536 2160 2428 2132 2176 2560 2448 2628 2736 2168 2736 2520 2436 2376 2676 -2452 -2492 -2160 -2468 2628 -2260 -2548 2624 2248 -2628 -2360 -2372 -2256 -2236 2276 -2668 -2612 -2588 2408 2344 -2604 -2132 -2472 2184 -2676 2360 2464 -2568 -2632 -2428 -2228 -2492 2328 -2436 2680 2516 2380 -2556 2396 2728 2708 -2456 2224 2208 2392 2260 -2696 -2724 -2524 -2556 -2136 2680 2456 -2692 -2584 2492 -2228 -2652 -2120 -2708 2464 -2260 2356 2516 2124 -2540 -2736 2504 -2316 -2636 2120 -2516 -2376 2500 2264 -2172 -2612 -2296 2520 -2460 2668 2696 2340 2556 -2168 2176 -2232 2488 2576 -2676 2560 -2528 -2596 -2544 -2356 -2556 2732 2296 2128 2372 -2660 2540 -2132 -2144 2156 2256 -2188 2360 -2136 -2532 -2532 2264 2140 2680 -2280 -2256 2360 2120 -2496 2320 -2328 -2368 -2532 -2696 2204 -2240 -2280 -2336 -2732 2312 2528 -2260 -2312 2596 -2540 2548 -2160 2296 -2648 2440 -2364 2128 2720 -2536 -2624 -2140 -2400 -2604 2144 2168 -2356 -2396 -2464 -2152 -2168 2560 2184 -2640 -2724 -2720 -2696 -2696 2236 2420 2132 2644 -2252 2292 2352 2596 -2236 2132 -2636 2404 2556 -2512 2168 2668 2468 2356 2144 -2120 -2716 -2368 2392 -2220 2344 -2228 2472 2264 -2268 2296 2700 -2276 2196 2160 -2468 2160 -2448 2216 2272 -2320 -2516 -2708 2172 -2156 2360 -2216 2644 2220 2176 2364 -2568 -2204 -2188 -2120 2344 2416 -2600 -2424 2384 -2620 2684 -2556 2732 -2404 2196 -2528 2120 -2436 2308 -2592 -2624 2540 -2168 2600 -2524 2680 2220 -2392 -2488 2560 -2204 -2156 2692 -2308 -2512 -2120 2436 2420 -2692 2376 -2356 -2492 2236 -2652 2268 2160 2324 2352 -2540 2184 2664 -2556 -2160 -2144 -2612 2700 -2264 2508 -2680 -2276 2128 -2120 2268 -2636 -2172 2128 2164 2696 -2636 2328 2496 2684 2404 -2396 -2372 -2560 -2608 -2324 2128 -2236 2240 -2608 -2220 -2664 2216 2180 -2124 2724 2372 2508 -2132 -2184 -2664 -2492 -2232 -2136 2120 -2668 -2360 2680 -2520 2728 2560 -2176 2328 -2736 -2664 -2228 2128 -2196 -2128 2424 2636 2676 -2716 -2588 2580 2200 2676 2360 -2436 -2560 -2512 2696 2160 -2708 -2648 2180 -2572 -2320 -2368 -2124 -2656 2336 -2520 -2560 -2588 2408 2544 2132 -2312 2308 2124 2368 -2224 2536 2568 -2664 -2548 2664 -2264 2296 -2612 -2676 -2120 -2556 -2556 -2548 -2144 -2268 -2420 2120 2592 2180 2280 -2236 2584 -2132 2544 -2548 -2456 -2416 -2468 2240 -2676 2688 -2552 -2364 2188 -2556 -2584 -2164 2736 -2292 2400 -2556 -2172 2412 -2644 -2584 -2120 2692 -2336 2160 -2568 -2600 -2240 -2696 -2620 -2676 2352 -2524 2708 -2312 -2736 2412 -2692 -2248 2616 -2668 2640 -2120 -2124 -2440 -2648 -2404 -2724 -2280 -2568 -2468 2120 2184 2388 -2496 2732 2260 2728 2524 2164 2212 2400 2296 2736 2544 2380 2120 -2696 -2520 -2188 2508 2120 -2588 2500 -2160 2164 -2628 2148 2580 2624 2240 2356 2292 2664 2528 -2132 -2120 -2552 -2432 -2644 -2280 -2448 2376 2448 -2572 2560 2160 -2148 2564 -2416 2148 -2188 -2224 -2676 -2164 -2664 -2584 2252 2332 2172 -2736 -2724 2680 -2256 -2320 -2200 2432 2552 2444 -2376 -2600 2580 2720 2428 2568 -2184 -2196 -2628 2432 -2432 -2180 2732 -2220 2392 2596 2320 -2120 2120 2420 2648 -2660 2596 2188 2192 2452 2720 2676 -2536 2716 2356 2256 -2364 -2408 2268 -2512 2592 -2676 2360 -2144 2340 2676 -2564 -2564 2292 2148 2696 -2360 2388 -2676 2696 -2532 -2692 2360 2560 -2716 2196 -2276 -2156 -2708 -2316 2128 -2656 -2396 2224 2252 2168 -2732 2684 2492 2268 2456 -2180 2276 -2564 2356 2296 -2228 -2232 2152 -2736 -2168 -2592 -2340 2512 -2360 -2572 2516 2544 -2252 -2320 -2524 -2128 -2344 -2528 -2652 2176 -2332 -2364 -2612 2464 -2324 -2252 -2536 -2300 2132 2416 -2512 2680 2560 2140 2300 2184 -2736 -2528 2336 -2696 2464 2512 -2160 -2696 -2616 2252 -2292 2476 -2560 2628 2452 -2596 -2556 2484 -2732 2196 2580 2736 -2560 -2196 2716 2256 -2696 -2232 2292 -2536 2160 -2396 2224 2352 -2736 2304 2256 -2208 -2628 -2356 2184 2444 2576 -2660 2596 2160 2676 2208 2216 -2364 -2264 -2260 -2204 2720 2348 -2144 2656 2228 2284 2672 -2220 2160 -2556 -2644 -2228 -2212 -2692 -2396 -2704 2184 2620 -2196 2184 2684 2412 -2152 2548 -2736 2728 2408 -2120 2468 -2136 -2564 -2424 -2636 -2640 2304 2432 -2140 -2676 -2468 2624 2368 2124 2524 2408 -2600 -2208 2500 -2548 -2612 2144 2580 2120 2172 2356 -2584 -2732 -2348 2224 -2560 2256 -2728 -2456 -2272 2384 2268 2668 2196 2492 -2624 -2628 2332 2472 -2736 2388 2360 2428 -2708 -2320 -2356 2168 -2200 -2276 -2516 -2692 2736 -2704 -2424 -2676 2364 2296 2268 2576 2712 2736 -2668 -2500 2576 -2176 2320 2380 2340 2192 -2672 2156 -2588 -2520 2200 -2624 2704 2300 -2144 -2312 2388 -2656 2476 2540 2684 -2264 -2632 -2240 -2136 2316 2252 2640 -2200 2396 2392 -2720 2520 -2732 -2576 -2736 -2448 2432 -2580 2392 -2396 -2568 2296 -2512 -2192 -2636 2548 2172 2520 2516 2408 2276 2132 -2128 2428 2148 -2164 -2292 -2708 -2668 2168 -2380 2320 2688 -2696 2576 2480 2332 -2432 2636 2492 -2312 2488 -2696 2384 -2736 2480 2212 2676 2380 2536 2668 2208 -2716 2292 2196 2176 2472 -2700 2172 2124 -2616 2212 2460 2288 2700 -2208 2140 2244 2664 2416 -2396 -2520 -2140 2508 2252 2636 -2552 -2336 -2736 2516 -2720 2228 -2336 2180 -2640 -2208 2168 -2128 2272 -2296