Name | csp/fapp/fapp08/ normalized-fapp08-0700-0.xml |
MD5SUM | cb796999e9af592cdd0cc64917717810 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 73 |
Best CPU time to get the best result obtained on this benchmark | 3600.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 7122 |
Maximum constraint arity | 2 |
Maximum domain size | 282 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 7122 |
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 | 1112813 | MSAT (TO) | 73 | 3600.1 | 3619.62 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112814 | MSAT (TO) | 136 | 3600.01 | 3603.22 |
AbsconMax 112 pc-d | 1112816 | ? | 189.193 | 190.389 | |
AbsconMax 112 pc-w | 1112815 | ? | 202.501 | 204.29 | |
Sugar++ v1.13+minisat-inc | 1112817 | ? | 223.73 | 229.904 | |
Sugar v1.13+minisat | 1112818 | ? | 224.438 | 231.843 |
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: 73-2600 2560 2472 -2444 -2656 2316 2432 2412 2284 2280 -2364 -2620 -2160 2296 -2356 2336 2340 -2576 2568 -2608 2508 2712 -2720 2356 2656 -2668 2440 -2540 -2520 -2696 2428 2480 -2264 2472 2380 -2212 -2200 2224 -2676 -2252 2572 -2440 2448 -2204 2384 2388 2412 2620 2348 -2172 -2512 -2500 2608 2216 -2708 -2652 -2200 -2244 -2528 -2452 -2164 -2720 2452 -2560 -2700 2700 -2424 2484 2624 2572 2636 -2268 2452 -2376 -2280 2656 2412 2356 2504 2280 2584 2412 -2240 -2520 -2164 -2604 2300 2560 2224 2172 2680 -2564 2716 -2680 -2680 -2168 -2312 2360 2712 -2548 2216 -2720 -2512 2312 2212 2672 -2192 2696 2160 -2680 2164 -2616 -2184 2316 -2624 2396 -2412 -2292 2544 2200 -2640 2324 2408 2640 -2380 -2376 2500 2700 2204 -2228 -2236 2680 -2544 -2352 2276 -2348 2488 2584 2660 -2200 -2616 -2172 -2160 2172 2200 2428 -2420 -2604 2324 2672 -2660 2396 -2660 2160 -2324 -2432 2300 2708 -2684 -2400 -2580 -2564 2628 2596 -2360 -2668 2548 2364 2584 -2248 -2168 2720 2480 2700 2596 2588 2200 2668 -2680 2644 -2720 2604 2428 -2400 2380 -2656 2592 2344 2204 -2224 -2164 2368 -2472 2452 -2672 -2520 -2484 2520 2296 2544 -2680 2344 2432 2360 -2684 -2452 -2548 2696 -2540 2544 2420 2376 -2660 -2320 2472 -2316 -2164 -2332 -2524 2588 2264 -2332 2308 -2300 -2680 -2528 -2436 2248 -2520 -2212 -2324 2648 -2192 -2372 -2200 2696 2412 -2504 -2720 -2404 -2676 2208 -2604 2620 -2684 2320 2340 2612 -2212 2396 -2292 2284 2596 2204 -2700 2288 2624 2316 2400 -2400 -2680 2480 -2160 -2504 2368 -2560 -2284 -2616 -2348 -2416 2392 -2408 2592 2664 -2228 2324 2576 -2420 -2308 -2720 -2480 2584 -2680 -2404 2328 2292 2400 2220 -2600 2452 -2588 -2292 2660 -2320 -2556 -2620 -2448 2520 2560 2244 -2608 2448 -2720 -2260 2560 -2204 -2672 -2524 -2236 2480 2660 2596 2476 -2356 -2252 -2704 2416 -2488 -2720 2252 -2644 2176 2252 2484 2656 2192 -2320 2372 2256 2624 2200 -2440 2664 2276 -2248 2500 2600 -2680 -2524 2504 -2372 -2200 -2316 2532 2328 -2240 2300 2588 -2376 2572 2200 2648 2412 2216 2668 2168 -2644 2632 2628 2440 -2700 2380 2636 -2700 2492 2580 2472 2616 2352 2280 2628 -2168 -2444 2652 2600 -2680 -2556 2208 -2160 2564 -2520 2476 -2720 -2608 2488 2252 2640 2280 2380 2536 2720 -2160 2448 -2180 2532 -2572 -2552 -2680 2392 2288 2488 2588 2660 -2564 2644 2356 2200 -2252 -2348 2544 2396 2432 2644 2328 2160 -2484 -2488 2452 2520 2536 2584 2292 -2176 2444 -2344 2592 -2544 -2388 2516 2356 -2160 2172 -2624 -2660 -2448 2624 2468 2476 -2172 2320 2660 -2372 2576 2296 -2676 2352 2280 2464 -2564 2396 -2380 -2668 2580 -2252 2200 2292 2620 -2432 2552 2584 2412 -2628 -2412 -2404 -2236 -2340 2412 -2172 2712 -2320 2700 -2328 -2680 -2636 -2184 2396 -2212 -2280 2436 -2340 -2540 2320 -2568 2660 2592 2656 2572 2708 2256 2340 2204 -2232 -2176 -2628 -2532 2552 2356 -2264 -2224 2320 -2392 -2508 -2176 -2500 2208 -2160 2468 2168 2508 2288 -2544 2684 -2364 2664 2352 2560 2420 2368 -2356 -2660 2568 -2212 -2544 2196 -2660 -2584 2704 -2408 2172 -2328 2280 -2644 -2364 2720 -2564 2588 2396 2164 2612 -2596 2652 2252 -2676 -2680 -2684 2364 -2316 2572 -2392 -2692 -2644 -2584 -2636 -2700 2468 2456 -2628 2380 -2560 -2552 2720 2544 2216 -2360 -2400 -2240 -2424 2172 2160 2580 -2600 2612 2520 -2204 2316 -2452 -2696 -2444 -2624 -2160 2548 2364 2292 2584 -2340 -2504 -2624 -2380 2684 2520 2692 -2560 -2160 2304 2356 -2564 2336 -2420 2160 -2168 2480 2676 -2212 -2624 -2320 2628 2376 -2204 2664 -2332 2412 -2480 2712 2436 2520 2344 2320 -2680 -2300 -2716 -2572 2680 -2180 2492 -2720 -2360 2684 -2232 -2468 -2720 2232 2164 2504 -2300 2616 2556 -2488 2280 -2400 -2720 2384 2604 -2568 2476 -2276 2320 -2368 2384 -2340 -2160 -2656 2448 -2340 2368 -2244 2660 2304 -2292 -2396 -2540 -2528 2448 2220 2560 2680 -2528 2336 -2344 -2512 2452 2448 -2576 2204 2440 2544 2620 -2188 -2360 2560 2428 -2516 -2716 2420 -2620 -2680 2416 -2396 -2200 -2624 2360 2664 2276 -2400 2280 2212 -2600 2524 -2200 2252 2620