Name | csp/fapp/fapp20/ normalized-fapp20-0420-10.xml |
MD5SUM | 2f661a5e66156e9731263f7627d06127 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 11.6322 |
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 | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2087969 | SAT | 11.6322 | 11.7361 |
Abscon 112v4 ESAC (complete) | 2098644 | SAT | 22.7205 | 22.7542 |
Abscon 112v4 AC (complete) | 2098643 | SAT | 22.7615 | 22.8082 |
Choco2.1.1 2009-06-10 (complete) | 2087965 | SAT | 31.6912 | 31.8637 |
Choco2.1.1b 2009-07-16 (complete) | 2117233 | SAT | 34.6187 | 35.0086 |
Concrete 2009-07-14 (complete) | 2087963 | SAT | 49.8024 | 50.3519 |
Sugar v1.14.6+picosat (complete) | 2087966 | SAT | 200.52 | 202.672 |
Sugar v1.14.6+minisat (complete) | 2087967 | SAT | 217.684 | 219.083 |
Concrete DC 2009-07-14 (complete) | 2087964 | ? | 127.083 | 127.521 |
SAT4J CSP 2.1.1 (complete) | 2087960 | ? | 906.7 | 909.991 |
bpsolver 09 (complete) | 2087970 | ? (exit code) | 61.1567 | 61.3302 |
pcs 0.3.2 (complete) | 2087961 | ? (TO) | 1800.08 | 1808.76 |
pcs-restart 0.3.2 (complete) | 2087962 | ? (TO) | 1800.12 | 1807.16 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2812 -2528 2488 -2524 -2504 -2464 -2820 -2268 2348 -2284 -2516 -2464 -2556 2288 -2716 2544 2780 2796 -2588 2616 -2504 2320 -2556 -2628 2664 2448 -2296 2572 2408 -2632 -2532 2420 -2720 2556 -2688 2796 -2628 -2604 -2588 -2300 2568 2284 -2704 -2392 -2608 -2676 -2264 2328 -2352 -2492 -2756 -2556 2268 2652 -2716 2780 2304 -2612 -2532 -2688 2608 -2628 -2740 2676 -2628 -2504 2240 -2764 -2516 -2228 2776 2632 2620 2612 2612 -2428 -2676 -2588 -2788 -2676 -2648 -2596 -2568 -2628 -2764 2664 -2308 -2556 -2292 -2484 -2328 -2504 2632 -2776 2672 -2260 -2728 -2268 -2300 2816 -2508 -2260 -2628 -2620 -2704 -2404 -2648 2640 2612 -2644 2664 -2588 2260 -2712 -2608 -2756 -2392 -2300 2780 -2628 -2456 -2772 -2780 -2500 -2724 -2516 2780 -2588 2336 2608 -2688 -2720 -2820 -2560 2636 -2352 -2556 -2628 2524 2360 2360 -2764 -2556 -2392 2408 -2620 2732 -2652 -2556 -2780 2604 2272 2556 -2252 2272 -2636 2728 -2280 -2716 2656 -2532 2668 -2532 -2648 2680 -2588 2592 -2532 -2392 2508 -2380 -2380 -2688 2596 2504 2584 -2680 -2716 2652 -2504 2704 -2780 -2516 -2820 -2448 2224 -2716 -2624 -2620 2800 -2312 2388 2556 2276 2220 -2608 2232 -2812 -2628 -2352 -2572 2592 2580 -2260 2464 -2556 -2804 2752 -2300 2572 -2648 2760 2360 -2340 -2348 2660 -2720 -2788 2756 -2664 2756 2624 2484 2712 -2608 -2664 -2772 2348 -2748 2468 2812 -2568 -2520 -2516 -2628 -2416 -2284 -2780 -2680 -2292 -2748 2640 -2780 2400 -2568 2228 2220 -2568 2516 2284 2756 -2636 2336 -2580 2244 2712 2348 2316 2516 2652 -2332 -2264 -2648 -2724 -2516 -2588 -2820 -2680 -2220 -2628 -2308 2552 2440 -2764 2492 2224 -2340 -2756 2628 2672 2592 -2720 -2424 -2612 -2612 2716 -2528 -2748 2392 -2756 -2260 -2680 -2740 -2680 2232 -2820 2232 2388 -2812 -2656 2260 -2820 -2568 -2608 -2612 -2804 -2420 -2648 -2588 2528 -2528 -2516 -2676 -2648 -2492 -2664 -2820 -2712 -2680 2816 2660 2712 2612 -2632 -2704 -2780 -2720 -2468 -2516 -2372 -2288 -2664 -2804 -2244 2296 2400 -2820 -2380 2752 -2708 2308 -2464 -2260 -2480 2800 2488 2340 2632 -2528 2636 -2596 2528 -2272 -2608 2672 -2720 2324 2644 2752 2728 -2492 2588 2332 -2464 -2720 -2220 2308 2260 -2272 -2556 -2628 -2760 2752 2324 2680 2380 -2588 -2596 -2588 -2568 2540 -2260 -2772 -2772 2752 2624 -2304 -2516 -2716 2264 -2628 -2704 -2648 -2300 -2652 -2352 -2608 -2492 -2628 -2680 -2588 -2608 -2588 -2556 -2516 -2772 -2764 -2516 2464 -2688 2648 -2668 2716 2264 2616 2352 -2364 -2220 -2556 -2716