Name | csp/fapp/fapp07/ normalized-fapp07-0600-6.xml |
MD5SUM | d23de4e6fd19229cdf6e50664455956d |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 28 |
Best CPU time to get the best result obtained on this benchmark | 3600.04 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 600 |
Number of constraints | 8996 |
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 | 8996 |
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 | 1112993 | MSAT (TO) | 28 | 3600.04 | 3614.72 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112994 | MSAT (TO) | 57 | 3600.02 | 3617.03 |
AbsconMax 112 pc-w | 1112995 | ? | 197.288 | 198.348 | |
AbsconMax 112 pc-d | 1112996 | ? | 198.7 | 200.687 | |
Sugar v1.13+minisat | 1112998 | ? | 220.065 | 647.016 | |
Sugar++ v1.13+minisat-inc | 1112997 | ? | 236.266 | 243.97 |
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: 282612 -2516 -2468 -2588 2600 -2528 -2400 2124 2260 2536 -2704 2708 2624 -2204 2268 -2636 2388 2516 2132 -2620 2388 -2400 2548 2640 -2704 -2248 -2660 -2516 -2524 2696 2396 -2280 2680 2428 -2604 2260 2400 2320 2516 2176 -2680 -2440 -2664 -2212 -2632 -2548 2232 -2584 -2412 -2304 2532 -2564 2668 -2580 -2544 -2620 -2292 -2128 2464 -2416 2128 -2584 2532 2652 -2420 -2288 2192 -2180 2332 -2548 -2548 2652 2520 2644 2256 -2172 2220 2644 -2588 2620 2556 2680 -2680 2188 2656 -2520 2372 -2556 -2608 -2716 2640 2148 2292 2224 -2508 2332 -2512 2536 2328 2428 2604 2292 2548 2232 -2360 2656 2252 2576 2400 -2720 2572 -2656 2388 -2200 -2632 2508 2680 -2192 2328 2612 -2632 -2676 2592 2528 -2416 -2652 -2576 2608 -2628 2192 -2224 2168 2540 -2660 2588 -2636 -2484 2292 2568 2504 -2588 2532 2648 -2476 2280 -2628 -2308 2212 2676 -2568 -2272 -2564 -2272 -2252 2588 -2676 -2288 -2620 -2300 -2696 2388 -2160 2360 -2468 -2388 -2532 2552 -2676 -2664 2132 2644 2596 2628 -2592 2460 2612 2672 -2624 2576 -2132 -2188 2704 2564 2240 2580 -2636 2488 -2376 -2164 -2252 2540 -2700 2648 2556 -2140 -2480 2240 -2608 -2668 2172 2592 2232 -2504 -2376 -2328 -2128 -2296 -2184 -2168 -2188 2500 -2464 2288 -2596 -2480 -2164 2680 2120 2644 2636 -2204 -2604 2664 -2468 -2564 -2636 2152 -2160 2248 2656 2200 -2692 2572 -2136 -2300 2564 2700 2196 -2420 2384 -2292 -2384 -2704 -2520 -2716 -2304 2428 -2288 -2540 2660 2392 2304 -2536 2612 -2620 2524 -2672 -2416 2244 2212 -2428 -2636 2536 -2572 -2280 2352 2228 2360 2516 2180 -2580 -2616 2664 -2564 -2360 2308 2464 2416 2332 2444 2652 2616 -2168 2512 2648 2380 -2344 2584 2232 -2256 2148 -2540 -2660 2456 -2384 -2672 -2516 2400 -2500 -2552 -2504 -2168 2128 -2196 -2560 -2308 -2604 2312 2640 -2528 2424 2552 -2156 -2424 -2620 2500 2288 2480 -2332 -2552 -2380 -2504 2372 2284 -2204 2692 -2704 -2520 2652 -2316 2572 2608 2604 -2208 -2620 -2340 -2648 2156 -2660 2200 2528 -2448 -2196 -2584 2376 -2624 2680 -2656 2128 -2196 2148 -2252 2680 -2188 -2684 2720 2180 2464 2680 2344 2240 2512 2360 2528 2268 2148 2284 -2140 -2540 -2676 -2316 2244 2252 2232 2524 2320 -2320 2580 -2632 2520 2428 -2172 2472 2452 2572 2484 -2604 2576 -2572 -2180 2712 -2240 2672 2596 -2312 2140 2480 2716 2324 -2656 2508 -2412 -2496 -2248 -2508 -2540 -2488 -2324 2576 -2560 -2324 -2444 2472 -2664 2192 -2620 -2540 -2532 2552 -2368 -2440 2496 -2568 -2300 2440 2568 -2600 -2168 -2720 2616 2672 -2264 2504 2464 2720 2188 -2532 -2500 2204 2580 -2164 -2268 -2536 -2320 2532 2516 -2264 2580 -2284 2380 2684 -2172 -2664 -2280 2476 2260 -2132 2284 2400 -2540 -2156 2624 -2628 -2592 -2172 2556 2212 2496 2216 2168 -2552 -2264 -2148 -2348 2576 -2712 2476 -2624 -2280 2360 -2564 -2332 -2280 -2500 2140 2412 -2596 -2540 -2488 -2660 2356 -2364 -2688 -2196 -2560 -2476 2420 2212 2200 2648 -2324 2664 -2268 -2320 -2572 -2484 -2320 -2344 -2120 2404 2580 2608 -2580 2612 -2572 2276 2664 2628 -2344 -2532 -2572 2572 -2192 2544 -2612 2620 2264 -2408 -2680 -2548 -2720 -2584 -2616 2588 -2676 -2592 2308 2296 -2640 -2380 2528 2308 2596 2488 -2660 -2588 -2164 -2156 -2508 -2268 2460 2352 -2128 2252 -2536 2400 2180 -2628 -2376 -2700 -2240 2608 -2704 -2544 2668 2336 -2612 2548 -2652 -2588 -2652 2272 -2604 2480 -2236 2420 2500 2716 -2468 2644 -2372 -2372 2224 -2568 2436 -2348 -2424 -2520 2428 -2232 2124 -2520 2648 2536 2720 -2320 2144 -2696 2492 -2608