Name | csp/fapp/fapp18/ normalized-fapp18-0350-4.xml |
MD5SUM | f804db01db52be6b23e45bb99d4155e0 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 7 |
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 | 3812 |
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 | 3812 |
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 | 1114085 | MSAT (TO) | 7 | 3600.08 | 3632.82 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114086 | MSAT (TO) | 17 | 3600.05 | 3618.62 |
AbsconMax 112 pc-w | 1114087 | ? (problem) | 137.834 | 139.255 | |
AbsconMax 112 pc-d | 1114088 | ? (problem) | 138.182 | 139.592 | |
Sugar++ v1.13+minisat-inc | 1114089 | ? (MO) | 90.9332 | 93.4781 | |
Sugar v1.13+minisat | 1114090 | ? (MO) | 98.06 | 99.8453 |
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: 72480 2264 2756 2604 2460 -2560 2684 2788 2436 -2508 2704 2420 -2668 2420 -2464 2436 2744 -2436 2756 2604 2620 2780 2276 2224 -2464 -2600 2724 2584 2748 2788 2360 -2684 2252 2268 2576 -2320 2396 2684 2736 2260 2412 2756 2564 2532 2820 2440 -2748 2712 2520 -2236 -2508 2384 2368 -2788 -2788 -2764 2388 2592 2560 -2596 -2716 2612 -2804 -2748 2428 2788 2436 -2684 2660 -2760 2628 2420 2556 2660 2788 2480 -2788 2748 2424 2560 -2748 -2808 2596 2520 -2588 2424 -2748 2660 2588 2684 2520 2500 2264 2420 2520 2288 2748 2588 2472 -2820 2572 2468 2620 -2620 -2752 -2700 2240 2748 2744 2500 2788 2644 2480 2660 2320 2820 2788 2380 2780 2572 -2684 -2628 2224 2560 2460 2756 -2424 2684 2520 -2444 2788 -2456 -2800 2716 -2780 2516 2564 -2700 2724 2572 -2620 2756 -2696 2480 2792 2572 -2780 2748 2604 -2592 2748 2428 -2776 -2752 -2512 -2408 2268 2380 2820 2788 2716 2560 2748 2372 -2392 -2320 2512 2532 2264 2328 -2292 -2520 2632 2564 -2456 2620 2748 -2660 2748 2740 2268 2260 -2500 2460 2276 2620 2540 2756 -2248 -2628 2460 -2548 -2244 2632 -2544 2744 -2260 2520 2780 2372 2724 2500 2660 2620 -2788 2620 -2496 2620 -2740 2716 2592 2660 2520 2440 2452 2788 2404 2472 -2724 -2412 2352 -2736 -2708 2724 2264 -2660 2780 -2748 2464 2480 2380 2788 2732 2228 2820 2748 2632 2768 2520 2572 -2696 -2728 2660 2372 -2284 2524 -2628 2604 -2704 2660 2444 2660 2756 2700 2620 2228 -2284 2276 2520 2660 -2476 2280 2556 2820 -2636 2724 2560 2532 2716 2780 -2280 2480 2788 -2788 2564 2468 2748 -2396 2788 2224 -2768 2264 -2512 2716 2724 2636 2424 2724 2468 -2628 2724 -2288 -2496 -2676 -2244 2660 -2380 2684 2264 2620 2472 -2416 -2476 -2736 -2684 2780 2404 2712 -2508 2572 2684 2748 2716 2224 2616 2632 2660 2224 -2264 2224 2592 2752 2532 2576 2456 -2316 2620 2236 2724 2520 -2220 -2588 2772 2220 -2820 2280 -2228 2616 -2224 2456 2500 -2220 2784 2412 2412 2480 -2416 -2560 2748 2532