Name | csp/fapp/fapp07/ normalized-fapp07-0600-7.xml |
MD5SUM | c3977aded3fc1b33631985df26116e6e |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 25 |
Best CPU time to get the best result obtained on this benchmark | 3600 |
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 | 1113005 | MSAT (TO) | 25 | 3600 | 3630.03 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113006 | MSAT (TO) | 47 | 3600.05 | 3613.22 |
AbsconMax 112 pc-w | 1113007 | ? | 165.632 | 167.281 | |
AbsconMax 112 pc-d | 1113008 | ? | 201.794 | 202.359 | |
Sugar v1.13+minisat | 1113010 | ? | 234.254 | 242.087 | |
Sugar++ v1.13+minisat-inc | 1113009 | ? | 238.989 | 248.713 |
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: 25-2620 -2484 -2464 2592 2600 2540 2376 2124 -2300 -2520 -2704 -2712 -2652 -2240 2272 2632 -2436 2540 -2268 2620 2428 2384 -2548 2588 2664 2188 2656 -2556 2532 -2624 -2368 -2284 -2628 -2328 2684 2256 2476 -2324 -2528 -2128 2648 -2420 2664 -2156 2648 -2584 2232 -2596 -2364 2304 2544 2580 -2672 2584 2516 -2620 -2204 2120 -2480 2424 2124 2556 -2536 -2592 2416 -2336 -2204 2204 -2268 -2564 -2532 2680 2516 -2644 2248 2196 -2268 2644 2568 -2592 -2564 2532 2672 -2196 -2656 -2552 2452 2516 2608 2720 -2616 2156 2308 -2216 2504 -2296 -2500 -2528 -2324 2388 -2600 2336 -2552 -2232 2404 2652 2244 -2584 -2368 -2712 -2580 -2652 -2428 2280 -2664 -2524 2676 -2172 2324 -2632 -2624 2660 -2596 -2520 -2440 2648 2588 2528 -2612 -2168 -2244 -2164 2548 2664 -2592 2640 -2516 -2316 -2560 2516 2568 2532 -2648 -2468 2316 -2608 -2324 2200 -2680 2568 2232 2560 2264 -2256 2588 2680 2284 -2528 2340 2696 -2388 -2160 -2336 2460 -2288 -2520 2552 2680 2704 2124 -2644 -2592 2628 2592 -2464 2640 2608 -2624 -2480 2216 -2192 -2704 -2572 2232 -2568 2560 2468 2400 -2148 2240 2536 -2704 2644 2580 2144 -2472 2248 2608 2680 2164 2600 -2244 2520 2384 2332 2136 2188 2152 -2172 2120 2500 -2496 -2292 2548 2432 2156 2708 2120 -2644 -2588 2196 -2636 -2664 2444 2552 2652 2164 -2172 -2376 2656 -2200 2676 -2576 2168 -2296 2544 -2708 -2192 -2424 -2372 -2280 -2384 2720 -2512 2700 -2340 -2388 -2364 -2556 2588 -2364 -2304 -2556 -2632 -2620 2476 -2584 2424 -2284 2240 2404 -2632 2500 2568 -2288 -2324 -2240 2436 2524 -2184 -2580 2616 2664 -2596 2284 2372 -2456 -2416 2320 -2432 -2656 2628 -2136 -2504 -2668 -2384 -2344 2580 -2208 -2228 -2160 -2496 2668 -2512 2376 -2688 2544 2380 -2516 -2540 -2496 -2148 -2176 2172 2560 2312 2604 -2304 -2636 -2512 2412 2508 -2152 -2344 2608 -2504 2284 -2480 2272 -2560 -2384 2536 -2360 -2300 -2188 2688 2704 2520 -2652 -2324 -2560 2608 2620 -2148 -2628 -2344 2648 -2148 2660 -2208 -2536 -2484 2192 2576 2384 2616 2680 -2656 2188 2188 2204 2240 -2676 -2188 2684 2688 2228 2468 -2720 2348 2240 2528 2384 -2508 -2288 2148 -2284 -2164 -2532 2672 -2332 -2200 -2200 -2212 -2504 2324 2276 -2576 -2632 -2472 2396 -2228 -2464 -2440 -2576 -2472 -2604 2568 -2584 -2172 -2568 -2248 -2672 -2600 2272 2164 -2512 -2720 2340 2664 2508 -2400 -2540 2244 2624 -2540 -2444 -2320 -2516 -2560 2316 2420 2488 2664 2192 2616 -2540 2480 -2556 2320 2408 -2472 -2560 -2284 -2424 -2604 -2656 2176 -2492 -2616 -2624 2260 -2508 -2476 -2680 2164 2536 -2456 2244 -2568 -2164 2200 2544 2296 -2528 -2508 -2264 -2552 -2276 2376 -2684 -2176 -2612 -2288 2488 -2324 -2160 2280 2364 -2612 2152 -2620 -2720 -2592 2120 2628 2200 -2560 -2288 -2160 2568 -2204 -2152 2332 2576 2712 -2444 2636 2248 -2364 -2636 2356 -2336 2540 -2132 -2492 2588 2580 2500 -2664 -2292 -2364 -2688 -2280 -2556 2472 -2408 2216 2192 2648 2324 -2664 2284 2288 -2584 2460 2324 2336 2132 -2404 -2572 -2604 2572 2616 2596 -2284 2680 2636 -2300 2556 2572 -2520 2272 2496 -2624 2544 -2256 2360 2676 2552 -2716 -2572 2612 -2512 2680 -2608 -2328 2328 -2668 2368 2644 -2308 -2612 2472 2660 2596 2160 -2212 -2508 -2268 2448 -2344 2212 -2224 2520 -2424 2124 -2608 2376 2704 -2240 -2600 -2704 -2532 2652 2368 2612 -2472 2636 2572 2672 2284 -2592 -2432 2240 2408 -2500 -2720 2468 2644 -2404 -2312 -2220 -2576 -2408 -2348 2456 -2472 2420 -2224 -2120 -2520 2648 2536 -2720 -2328 -2192 -2692 -2480 -2628