Name | csp/fapp/fapp16/ normalized-fapp16-0260-10.xml |
MD5SUM | d91c77ce7b00fdc4c403dfe3f5ffc37c |
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 | 1799.87 |
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 | 1114117 | MSAT (TO) | 5 | 1799.87 | 4000.09 |
AbsconMax 112 pc-d | 1114118 | MSAT (TO) | 5 | 1806.33 | 4000.09 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114116 | MSAT (TO) | 5 | 3600.01 | 3608.12 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1114115 | MSAT (TO) | 5 | 3600.05 | 3620.02 |
Sugar++ v1.13+minisat-inc | 1114119 | ? (MO) | 81.3946 | 84.2798 | |
Sugar v1.13+minisat | 1114120 | ? (MO) | 83.42 | 85.0455 |
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: 52468 2232 -2220 -2760 -2508 2544 -2664 -2668 -2420 -2340 -2720 -2760 -2224 -2392 -2532 -2260 -2632 2404 -2592 2448 2468 2720 -2468 2584 -2720 2760 -2612 -2800 -2592 -2760 -2796 -2760 -2760 2600 -2516 2804 -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 -2764 -2468 2492 2720 -2240 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 -2232 2300 -2720 2704 -2380 -2584 -2444 2224 2464 2344 2252 2760 2800 -2572 -2448 2672 2544 2264 -2720 2280 2284 -2820 2308 2292 2532 2516 -2492 2628 2468 2244 2444 -2760 2640 -2348 2720 2220 -2584 -2532 2780 2428 -2680 -2304 -2424 2260 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 2720 -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 2272 -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 2264 2380 -2516 2672 -2284 -2468 -2464