Name | csp/fapp/fapp06/ normalized-fapp06-0500-4.xml |
MD5SUM | 5bbba61bcb8f32abe3947428d8a4279f |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 17 |
Best CPU time to get the best result obtained on this benchmark | 3600.08 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 500 |
Number of constraints | 6531 |
Maximum constraint arity | 2 |
Maximum domain size | 290 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 6531 |
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 | 1112843 | MSAT (TO) | 17 | 3600.08 | 3626.04 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112844 | MSAT (TO) | 46 | 3600.06 | 3607.22 |
AbsconMax 112 pc-w | 1112845 | ? | 209.181 | 210.461 | |
AbsconMax 112 pc-d | 1112846 | ? | 223.496 | 225.929 | |
Sugar v1.13+minisat | 1112848 | ? (MO) | 196.555 | 226.404 | |
Sugar++ v1.13+minisat-inc | 1112847 | ? (MO) | 204.595 | 222.817 |
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: 17-2560 2144 -2668 2472 -2192 -2524 2164 2436 -2340 -2544 2576 2316 2564 -2476 2668 2552 2232 -2608 2180 2332 -2440 2364 -2296 2668 -2688 -2656 2440 2180 -2140 2384 2628 2356 2592 2436 2616 -2576 2404 -2392 -2144 -2244 2348 -2256 2592 2344 2368 2708 2516 -2588 2416 -2416 2380 -2412 -2488 -2424 -2140 -2240 2424 2640 2556 2388 -2624 2552 -2384 -2572 2676 -2556 2612 2664 2472 2360 -2152 -2192 -2156 -2172 -2500 -2236 2264 -2692 -2140 2652 2288 2364 -2404 -2560 -2676 -2480 2628 -2372 -2696 2300 -2468 -2552 2708 2576 2396 -2464 -2272 -2220 -2496 2452 2416 -2412 -2636 -2232 2680 2372 -2676 -2440 -2672 -2696 2592 -2620 -2660 -2440 2608 -2284 -2576 2264 2648 2288 2544 -2580 2164 -2416 2140 -2564 2672 2204 2632 -2596 2396 -2436 -2528 -2152 -2340 2384 2284 -2372 2188 2140 2280 2616 -2148 2456 -2456 2620 -2456 -2512 -2568 2232 -2280 2564 2552 2436 2304 -2700 2168 -2432 -2184 2304 2708 2536 -2652 -2604 -2432 2704 -2476 2676 -2364 -2140 2276 -2468 2656 -2616 -2364 -2144 -2536 2212 2232 2324 -2660 -2588 -2516 -2184 -2656 -2356 -2668 -2500 2480 2172 2696 2376 2352 2568 2624 -2264 -2260 2412 2264 -2660 -2620 2192 -2184 2180 2520 2540 2576 2524 2232 2716 2364 -2716 2332 -2412 -2616 -2512 -2568 2400 -2540 2456 2580 -2640 2472 -2664 -2552 2568 -2416 2556 -2140 -2460 2568 2596 -2388 2684 2364 -2336 2616 -2628 -2328 2620 -2144 2308 2180 -2696 -2480 2404 -2404 -2664 -2204 -2424 -2608 2520 2468 -2516 -2688 2340 2524 -2428 2332 -2716 2612 2412 -2652 -2464 2452 -2352 -2624 2228 -2188 -2512 2528 2192 2452 2432 2372 -2264 -2580 -2428 -2616 2648 -2328 2584 2284 -2560 2656 -2412 -2384 2328 -2208 2664 -2424 -2676 -2580 2212 2656 -2304 2232 -2404 2448 -2400 2432 -2696 2160 2324 -2504 2312 2180 2552 -2200 2716 2272 2572 2676 2284 2556 -2564 2696 2304 2648 -2676 -2248 -2552 2220 2696 2548 -2612 -2452 2712 2324 2184 2504 -2716 2428 2140 -2652 -2608 2600 2564 -2324 2144 2372 2612 2692 2716 2236 -2708 -2604 2260 2480 -2512 -2704 -2656 -2580 2576 2440 2320 -2348 2324 2208 -2716 2404 2180 2516 2204 2656 -2596 2504 -2440 2300 2280 -2572 2664 -2368 -2636 -2692 -2556 -2508 2244 -2540 -2320 2328 -2636 -2140 2544 -2304 2576 -2408 2628 -2204 2656 2404 2676 -2224 2240 2484 -2540 2528 2292 -2184 2612 2564 2444 -2180 2580 -2200 -2320 2592 -2656 -2668 -2264 2540 2656 -2528 2356 2184 -2680 -2192 -2552 -2696 2456 -2304 -2672 2288 2712 2696 -2140 2544 2396 2596 -2692 2264 2164 -2440 2652 -2424 2344 2492 2372 2272 2716 -2204 -2308 -2644 -2548 2572 -2472 2692 -2656 2444 2696 -2544 2196 -2572 -2192 2332 2584 2524 -2512 -2480 -2716 -2224 -2144 -2428 2564 -2416 2668 -2216 2508 2404 2652 -2364 -2256 2676 2552 2696 2444 -2180 2512 -2452 -2648 -2280 2224 2292 2612 2572 2480 -2332 2184 -2300 -2408 2412 2516 -2396 -2556 2420 2312 -2624 2152 2584 2540