Name | csp/fapp/fapp16/ normalized-fapp16-0260-8.xml |
MD5SUM | 5ef6083857cc9720c8e4a658c322c67a |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 5 |
Best CPU time to get the best result obtained on this benchmark | 1770.96 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 260 |
Number of constraints | 3927 |
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 | 3927 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
AbsconMax 112 pc-w | 1114105 | MSAT (TO) | 5 | 1770.96 | 4000.08 |
AbsconMax 112 pc-d | 1114106 | MSAT (TO) | 5 | 1781.69 | 4000.07 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1114103 | MSAT (TO) | 5 | 3600.05 | 3610.72 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114104 | MSAT (TO) | 5 | 3600.09 | 3619.22 |
Sugar++ v1.13+minisat-inc | 1114107 | ? (MO) | 85.0951 | 87.3335 | |
Sugar v1.13+minisat | 1114108 | ? (MO) | 85.1638 | 87.5998 |
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: 5-2468 2232 2228 2760 2508 -2544 -2664 2668 2420 -2340 2720 -2760 -2220 -2392 2532 -2260 2632 -2404 -2592 -2448 2468 -2720 -2468 -2584 2720 2760 2612 -2800 -2592 2760 2796 2760 -2760 -2600 2516 2776 2680 2244 2652 -2628 -2800 -2428 -2720 2516 -2584 -2516 -2492 2612 2260 2632 -2652 -2596 -2628 2244 2268 2476 -2428 -2680 -2544 2488 2284 -2544 -2420 -2520 2464 -2772 -2720 2392 2452 2800 2668 -2816 2468 2492 2720 2244 2404 2260 -2428 2548 -2516 2816 -2344 2428 2476 -2640 2220 -2760 -2760 2392 -2720 -2680 -2780 2272 2616 -2432 2776 2488 2492 -2632 2272 2432 -2680 2544 2552 2476 2220 2300 -2720 2704 2380 2584 -2444 -2224 -2464 -2344 2264 2760 2800 2572 2448 -2672 2544 -2264 -2720 2284 2284 2820 -2320 -2224 2532 2516 2492 2628 2468 -2244 2444 2760 2640 -2360 -2720 2220 2584 -2532 -2780 -2428 2680 2304 -2424 -2268 -2800 -2380 -2492 2760 -2220 -2632 2816 -2800 -2696 2556 2260 -2504 2468 2632 2720 -2584 -2312 2476 2532 2220 -2740 -2380 -2736 2680 2652 2560 -2420 2584 2424 2800 -2412 -2428 -2760 -2632 2664 -2404 -2808 2240 2244 -2464 -2392 2508 -2668 2760 -2720 -2420 2364 2720 2504 -2596 -2672 -2464 -2532 2476 -2820 -2720 2304 2812 -2780 2260 -2424 -2612 -2308 2624 2756 -2280 2632 2768 2220 2680 2432 -2468 2672 -2760 2260 2512 -2592 2544 2556 2468 2284 -2380 2656 2800 -2680 -2776 2532 2492 2428 2428 2452 2760 -2380 -2476 2432 -2640 2420 -2492 2800 -2760 2420 2532 2760 2260 -2380 2516 2672 2284 2468 -2464