Name | csp/fapp/fapp05/ normalized-fapp05-0350-1.xml |
MD5SUM | 61e96c97715b7c95a31e810829750342 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 3 |
Best CPU time to get the best result obtained on this benchmark | 3600.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 350 |
Number of constraints | 4665 |
Maximum constraint arity | 2 |
Maximum domain size | 270 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 4665 |
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 | 1113017 | MSAT (TO) | 3 | 3600.09 | 3618.52 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113018 | MSAT (TO) | 43 | 3600.01 | 3633.92 |
AbsconMax 112 pc-d | 1113020 | ? | 99.7098 | 100.356 | |
AbsconMax 112 pc-w | 1113019 | ? | 99.9558 | 101.357 | |
Sugar v1.13+minisat | 1113022 | ? (MO) | 131.238 | 133.968 | |
Sugar++ v1.13+minisat-inc | 1113021 | ? (MO) | 132.153 | 142.137 |
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: 32564 -2364 -2284 -2400 2716 2676 2528 2188 2264 -2540 2676 -2596 2540 2460 2464 -2648 -2684 -2460 -2436 -2304 2416 2180 2664 2432 -2336 -2392 2440 2276 2220 2376 2676 -2556 2308 2504 -2424 2384 -2384 2256 2388 -2416 -2644 2320 -2424 2704 -2584 -2280 -2660 2244 -2324 2528 -2396 -2528 -2432 2192 2688 -2428 -2228 2248 -2424 -2644 -2500 -2472 -2420 -2552 -2544 2180 -2276 2244 2700 2504 2180 -2556 2356 -2540 -2396 -2500 2340 2552 -2220 2228 2220 2556 -2712 2328 2224 -2244 2344 2232 2460 -2344 2364 2592 2228 -2412 2704 -2540 2488 2488 -2336 -2600 2512 2520 2504 -2676 -2552 -2248 2392 -2452 2408 -2340 2712 2456 2208 -2584 -2452 2236 -2220 2628 2716 2288 -2368 -2596 2216 2552 2328 -2540 2660 -2180 -2644 2676 -2500 2624 -2624 -2716 2412 2268 -2180 2196 2592 2236 -2716 2560 -2488 2444 -2532 2236 2512 -2300 -2656 2340 -2528 -2452 -2384 2216 2580 -2560 -2384 2716 2304 -2528 -2496 2456 2676 2252 2380 -2636 2220 -2600 -2664 2220 2464 -2480 -2540 2492 -2716 2284 2348 2596 -2224 2448 2716 -2676 2224 -2584 2588 -2228 -2560 2432 2684 2284 -2500 -2388 -2676 -2412 -2532 -2180 -2188 2592 2184 -2236 -2544 -2248 2240 2372 -2464 2432 2676 -2460 -2448 -2584 -2568 -2240 2256 2696 2676 2700 -2572 -2384 2292 2600 -2700 -2332 -2424 2528 -2220 -2372 2404 -2676 2184 2220 -2392 -2636 -2488 2492 2444 -2360 -2580 2596 2716 2584 -2488 -2484 2580 2208 2596 -2348 -2528 2488 2452 2528 -2376 -2404 2532 -2672 2180 2448 -2560 -2636 -2540 2332 2192 -2604 2180 -2336 -2396 -2440 2288 -2676 -2200 2684 -2420 -2488 2716 -2556 -2480 2524 2572 -2636 -2544 2568 2180 2584 2500 -2528 2500 -2600 -2328 -2204 -2360 2220 2416 2660 -2664 -2688 2272 2424 -2400 -2488 2188 2664 -2464 2180 2716 -2276 -2456 -2648 2424 -2488 -2556 -2676 -2224 2208 -2232 -2536 -2676 2716 2632 2492 -2532 2676 2220 2544 -2544 -2312 -2544 -2528 2464 -2520 2356 -2264 2716 -2560 -2580 2404 -2672 -2372 -2488 -2220 -2560 2620 2184 2180 -2296 -2384 2380 -2600 -2564 2424 2676 -2412