Name | csp/fapp/fapp20/ normalized-fapp20-0420-5.xml |
MD5SUM | 70ddb348b4d5b5c4a2e5632f29aa23c6 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 8 |
Best CPU time to get the best result obtained on this benchmark | 3600.06 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 420 |
Number of constraints | 4737 |
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 | 4737 |
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 | 1114049 | MSAT (TO) | 8 | 3600.06 | 3601.43 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114050 | MSAT (TO) | 15 | 3600.07 | 3616.52 |
AbsconMax 112 pc-w | 1114051 | ? | 193.025 | 199.767 | |
AbsconMax 112 pc-d | 1114052 | ? | 210.547 | 212.64 | |
Sugar v1.13+minisat | 1114054 | ? (MO) | 129.36 | 132.74 | |
Sugar++ v1.13+minisat-inc | 1114053 | ? (MO) | 131.054 | 135.821 |
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: 8-2812 -2528 2488 -2524 2504 -2464 -2760 -2260 2348 -2292 -2516 2464 2556 2260 2716 -2544 2780 -2804 -2588 -2616 -2504 2264 -2556 -2628 2664 -2448 2296 2572 2408 2632 2532 2420 2720 -2556 -2688 -2808 2628 -2604 -2588 -2292 -2568 -2284 -2704 2392 2608 -2676 -2264 2328 -2352 2492 2756 2556 -2268 2652 -2716 2780 -2272 -2612 2532 -2688 -2608 -2628 2740 2676 2628 2504 2260 -2764 2516 -2220 2780 -2632 -2620 2612 -2612 2428 2676 -2588 -2788 2676 -2648 2596 2568 -2628 -2764 -2660 2308 2556 2296 2484 -2220 -2504 2632 -2780 -2672 -2260 2728 -2272 2300 2820 -2508 2260 2628 2620 -2704 2404 -2648 -2640 -2612 2644 -2664 -2588 2276 -2716 2608 -2756 2392 2300 -2784 2628 2456 2772 2780 -2500 2780 -2516 2784 -2588 -2336 -2608 -2688 2720 2748 2560 2636 2352 -2556 2628 -2524 2224 -2360 -2776 2556 2392 -2408 -2620 2732 -2652 2556 -2788 2604 -2264 -2556 -2336 -2264 2636 -2728 2220 -2716 2656 2532 -2668 2532 -2648 2680 -2588 -2592 2532 -2392 2508 2380 -2380 -2688 2596 2504 -2584 2680 -2716 -2652 2504 2700 2780 2516 2820 2448 2220 2716 2624 -2620 -2804 2312 2388 2556 2268 -2236 -2608 -2224 -2816 -2628 2352 -2572 2592 2580 2276 2464 2556 2816 -2752 -2300 -2572 -2648 -2764 2364 2340 2360 -2660 2720 2788 -2756 -2664 -2764 -2624 -2484 -2716 -2608 -2664 -2772 -2352 2748 -2468 2816 -2568 2520 -2516 -2628 -2416 2284 -2780 -2680 -2296 2748 2640 -2800 2400 -2568 -2228 -2220 2568 2516 -2280 -2768 -2636 2336 2580 2324 -2712 -2348 -2228 2516 -2652 2332 2260 -2648 -2724 2516 2588 -2800 -2680 2220 -2628 -2320 2552 -2440 2764 -2492 2220 2340 2756 -2628 -2672 -2592 2720 -2424 -2612 2612 2716 -2528 -2748 -2392 2756 -2260 2680 -2744 2680 2244 2820 -2224 2392 2820 2656 -2260 -2744 -2568 2608 -2612 2804 2420 2648 2588 2528 -2528 -2516 2676 2648 -2492 2664 2820 -2712 2680 2820 -2660 2716 2612 2632 -2704 -2760 2720 -2468 -2516 -2372 2288 -2664 -2804 -2240 2296 -2404 -2820 2380 2752 -2708 -2312 -2464 2260 -2480 2804 -2488 -2332 -2632 2528 -2636 2596 -2528 2272 2608 2672 -2720 2332 2644 -2756 -2728 2492 2588 2336 2464 -2720 2236 2308 2260 -2284 -2556 -2628 2764 -2756 -2324 -2680 2380 -2588 -2596 2588 2568 2540 2260 2776 -2776 -2756 2624 -2304 2516 2716 -2232 2628 2704 2648 -2300 -2652 -2352 2608 2492 -2628 -2680 2588 2608 2588 -2556 2516 2780 2820 -2516 -2464 -2688 2648 2668 -2716 2260 2616 -2352 2364 2220 2556 -2716