Name | csp/fapp/fapp20/ normalized-fapp20-0420-2.xml |
MD5SUM | b5be1e11c64ae0a3fe8c3477a50c68b1 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 14 |
Best CPU time to get the best result obtained on this benchmark | 3600.02 |
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 | 1114043 | MSAT (TO) | 14 | 3600.02 | 3615.22 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114044 | MSAT (TO) | 23 | 3600.03 | 3618.02 |
AbsconMax 112 pc-d | 1114046 | ? | 177.112 | 178.19 | |
AbsconMax 112 pc-w | 1114045 | ? | 178.005 | 179.815 | |
Sugar++ v1.13+minisat-inc | 1114047 | ? (MO) | 130.97 | 137.976 | |
Sugar v1.13+minisat | 1114048 | ? (MO) | 131.261 | 134.154 |
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: 14-2816 -2528 2488 -2524 -2504 2464 -2756 2260 -2348 2280 2516 2464 -2556 -2288 -2716 2544 -2780 2792 -2588 -2616 2504 2284 2556 2628 -2664 -2448 2296 -2572 2408 -2632 -2532 2420 2720 2556 -2688 2800 -2628 -2604 2588 -2300 -2568 2284 2704 -2392 -2608 2676 2264 2328 2352 2492 -2756 -2556 2260 2652 2716 2780 -2224 -2612 2532 -2688 2608 -2628 2740 2676 2628 2504 2252 2764 -2516 2220 2780 2632 -2620 2612 2612 2428 2676 2588 2788 2676 -2648 -2596 -2568 -2628 -2764 -2608 -2308 -2556 -2296 -2484 2328 2504 2632 -2780 2672 -2260 -2728 -2272 -2300 2820 2508 -2260 2628 -2620 2704 2404 2648 -2640 2612 -2644 -2664 -2588 2264 2716 -2608 -2756 2392 -2300 2784 -2628 -2456 2776 -2780 -2500 2780 2516 -2784 -2588 -2336 -2608 2688 2720 2752 -2560 2636 -2352 2556 -2628 -2524 2324 2360 -2760 2556 2392 -2408 2620 2736 -2652 -2556 2792 -2604 2268 2556 -2240 2260 -2636 -2728 2292 -2716 -2656 -2532 -2668 -2532 -2648 2680 -2588 -2592 2532 -2392 2508 2380 -2300 -2688 -2596 2504 -2584 2680 -2716 2652 -2504 -2712 2780 -2516 -2820 -2448 2224 -2716 2624 2620 2804 -2312 2388 2556 -2272 2224 2608 2220 -2816 -2628 2352 2572 2592 -2580 -2260 2464 2556 2800 2752 2300 2572 2648 -2764 -2364 2340 2348 2660 -2720 -2788 -2756 2664 -2752 -2624 2484 2716 -2608 2664 -2776 -2352 2748 -2468 2816 2568 2520 -2516 2628 -2416 -2272 -2780 2680 2280 -2748 2640 -2796 2400 2568 -2220 -2224 2568 2516 -2264 2760 -2636 2336 2580 -2232 2712 -2348 2232 -2516 2652 2332 -2264 -2648 2724 2516 -2588 -2820 -2680 -2220 -2628 2308 2552 -2440 2764 2492 -2228 -2340 2756 -2628 -2672 2592 2720 -2424 -2612 -2612 -2716 2608 2748 -2392 -2756 -2260 2680 -2744 -2680 -2236 -2820 2228 2392 2816 2656 -2260 2744 2568 2608 -2612 -2804 -2420 -2648 -2588 2528 2528 2516 2676 2648 2492 -2664 2820 -2712 2680 2820 2660 -2712 -2612 2632 -2704 -2780 2720 -2468 -2516 2372 -2288 -2664 -2804 2224 2296 2404 2820 2380 2752 -2708 -2312 -2464 2264 -2480 2804 2488 -2340 -2632 2528 2636 -2596 2528 -2272 -2608 -2672 -2720 2320 -2644 2752 -2728 2492 -2588 -2336 -2464 -2720 -2220 -2308 2260 2276 -2556 2628 -2764 -2756 -2324 2680 2380 -2588 -2596 -2588 -2568 2540 2260 2776 -2776 -2756 2624 -2304 2516 2716 2264 -2628 -2704 -2648 2300 2652 -2352 -2608 -2492 -2628 -2680 -2588 -2608 2588 -2556 -2516 -2776 2820 -2516 2464 2688 -2648 -2668 -2716 2268 -2616 -2352 2364 -2220 2556 -2716