Name | csp/fapp/fapp05/ normalized-fapp05-0350-6.xml |
MD5SUM | 84f9ffd3bc330531b9df688f127dfd93 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 2 |
Best CPU time to get the best result obtained on this benchmark | 3600.08 |
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 | 1113011 | MSAT (TO) | 2 | 3600.08 | 3600.12 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113012 | MSAT (TO) | 36 | 3600.09 | 3618.52 |
AbsconMax 112 pc-w | 1113013 | ? | 206.704 | 208.078 | |
AbsconMax 112 pc-d | 1113014 | ? | 207.95 | 210.063 | |
Sugar++ v1.13+minisat-inc | 1113015 | ? (MO) | 122.074 | 152.663 | |
Sugar v1.13+minisat | 1113016 | ? (MO) | 127.376 | 131.303 |
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: 22572 2332 -2180 -2408 -2716 -2684 -2548 -2180 -2272 -2544 -2676 -2532 -2524 2480 2492 2656 -2632 -2480 -2428 -2312 2408 -2188 -2716 2388 -2316 -2400 2384 2196 -2220 2356 -2668 -2564 2280 -2532 2424 2352 2384 2264 -2428 -2436 -2592 -2320 -2444 2700 2580 -2192 -2648 2180 2300 -2536 2404 2528 -2440 -2220 2684 -2408 -2180 2256 -2428 -2616 -2500 -2428 -2420 -2524 -2536 -2180 2196 -2220 2700 2484 2180 -2572 -2324 2520 2388 2480 -2336 -2552 -2236 2220 2220 -2580 -2676 2376 -2264 2244 2340 -2180 2464 -2308 2332 2564 -2228 -2412 -2680 2544 2448 -2380 -2296 -2408 2472 2516 2536 -2672 -2560 -2192 -2316 -2472 2364 -2332 -2644 2448 2200 -2580 2416 2236 2228 -2524 2712 2432 -2336 2604 2220 2512 2392 -2532 2660 -2184 -2632 -2704 -2496 2600 2676 -2712 2384 -2220 -2184 2280 2600 2236 -2696 -2556 -2488 2316 2540 2212 -2512 2340 -2676 2380 -2528 2448 2384 2304 -2584 -2640 -2376 2696 2268 -2528 -2536 2456 -2672 2276 2372 2644 -2188 2596 -2660 2228 2444 -2424 -2536 2488 2712 -2284 2388 2600 -2220 2404 2708 -2672 2228 2576 2564 2232 -2448 -2356 -2656 2260 -2492 2448 -2676 2432 2532 -2184 2192 2604 2208 -2240 -2544 -2240 2232 2376 -2384 2440 2716 2460 2420 -2584 -2572 2240 2180 2716 2656 2688 -2580 2388 2316 -2600 -2700 -2316 2424 -2532 2224 2356 2356 2664 -2188 2220 -2400 2624 -2496 2488 -2448 2360 -2584 2620 -2716 -2584 -2500 -2488 2584 -2216 -2620 -2320 2540 -2508 -2452 2544 2328 2372 2540 -2716 2180 2488 -2532 -2676 -2540 2416 -2188 -2584 2228 -2368 2364 -2448 -2260 -2660 2200 -2672 2440 -2488 2716 -2560 -2500 2532 2572 2664 -2544 2580 2188 -2584 -2504 -2540 2520 -2572 -2300 -2220 -2384 -2224 2416 2660 -2640 -2696 2288 -2392 -2424 2504 -2188 2640 2496 2196 2716 -2252 2476 2644 -2344 2488 -2580 -2672 2248 2232 2228 -2496 2676 -2700 -2644 2500 -2528 -2676 -2212 -2540 2544 -2328 -2540 2536 2484 -2540 2364 2260 2712 2556 -2564 2372 -2684 -2344 2496 -2224 2556 2624 2304 2252 2336 2380 -2376 -2596 -2624 -2336 2656 2456