Name | csp/fapp/fapp19/ normalized-fapp19-0350-8.xml |
MD5SUM | ce0f620893af5adfeaa49fc84af7b2cb |
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 | 26.342 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 350 |
Number of constraints | 5873 |
Maximum constraint arity | 2 |
Maximum domain size | 802 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 5873 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2098651 | SAT | 26.342 | 26.5155 |
Abscon 112v4 ESAC (complete) | 2098652 | SAT | 26.8829 | 26.9633 |
Choco2.1.1b 2009-07-16 (complete) | 2117237 | SAT | 191.242 | 193.032 |
Choco2.1.1 2009-06-10 (complete) | 2088009 | SAT | 235.444 | 237.456 |
Concrete 2009-07-14 (complete) | 2088007 | SAT | 284.541 | 287.183 |
Mistral 1.545 (complete) | 2088013 | SAT | 550.804 | 551.017 |
SAT4J CSP 2.1.1 (complete) | 2088004 | ? | 0.786879 | 0.889799 |
Concrete DC 2009-07-14 (complete) | 2088008 | ? | 318.425 | 320.013 |
bpsolver 09 (complete) | 2088014 | ? (exit code) | 64.5912 | 65.2044 |
Sugar v1.14.6+minisat (complete) | 2088011 | ? (MO) | 167.1 | 169.453 |
Sugar v1.14.6+picosat (complete) | 2088010 | ? (MO) | 312.794 | 315.274 |
pcs-restart 0.3.2 (complete) | 2088006 | ? (TO) | 1800.13 | 1800.64 |
pcs 0.3.2 (complete) | 2088005 | ? (TO) | 1800.13 | 1805.33 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2640 -2640 -2604 -2162 -2174 2372 -2920 -2312 -2120 -2564 -2534 -2684 -2184 -2680 -2278 -2428 -2582 -2640 -2520 -2340 -2146 -2368 -2368 -2220 -2368 2520 -2680 -2406 -2604 -2368 2656 2802 -2644 -2564 -2564 -2440 -2880 -2564 -2408 -2564 -2220 -2218 2228 -2578 -2260 2536 -2374 -2368 -2408 -2170 -2408 -2434 -2612 -2408 -2368 -2432 -2164 -2658 -2550 -2134 -2230 -2868 -2562 -2496 -2680 2614 -2220 -2886 -2414 -2920 -2604 -2584 -2544 -2780 -2408 -2260 -2368 -2220 2408 -2220 2604 -2692 -2564 -2472 -2124 -2260 -2604 -2640 -2684 -2544 -2322 -2220 -2582 -2408 -2172 -2680 -2640 -2220 -2640 -2220 -2144 -2368 -2604 -2214 -2514 -2640 -2220 -2314 -2604 -2472 -2710 -2564 -2260 -2368 -2368 -2802 -2680 -2604 2430 -2354 -2260 -2692 -2740 -2272 -2222 -2640 -2538 2478 -2368 -2546 -2908 -2680 -2732 -2174 -2706 -2470 -2564 -2680 -2738 -2408 -2604 -2506 -2408 -2564 -2258 -2388 -2220 -2698 -2408 -2368 -2260 -2920 2584 -2206 -2880 -2366 -2260 -2880 -2564 -2524 -2282 -2762 -2182 -2564 -2842 -2518 -2368 -2604 2732 -2880 -2408 2574 -2746 -2260 -2260 -2604 2694 -2640 -2478 -2840 -2410 -2260 -2238 -2374 -2670 -2190 -2696 -2172 -2182 -2130 -2604 -2680 -2640 -2484 -2406 -2284 -2640 -2920 -2408 -2332 2604 -2220 -2554 -2220 -2468 2846 -2260 -2324 -2368 -2572 2280 -2400 -2640 -2408 -2186 -2280 -2640 -2270 -2268 -2680 -2680 -2446 -2368 -2310 -2680 -2680 -2680 -2368 -2554 -2470 -2240 -2366 -2670 -2220 -2604 -2550 -2122 -2260 -2132 2848 -2710 -2368 -2888 -2514 -2222 -2920 -2680 -2644 -2406 -2680 -2220 -2590 2120 -2880 -2408 -2564 -2380 2260 -2564 -2590 -2230 -2680 -2494 -2774 -2408 -2240 -2920 -2408 -2408 -2640 -2368 -2348 2480 -2480 -2522 2680 -2372 -2564 -2220 -2640 -2256 -2920 2212 -2172 -2778 -2260 -2430 -2216 -2372 -2560 -2522 -2764 -2562 -2640 -2920 2542 -2446 -2408 -2680 -2880 -2546 2734 -2220 -2270 -2166 2542 -2334 -2212 -2880 -2124 -2564 -2734 -2680 -2368 -2604 -2320 -2640 -2360 -2746 -2880 -2520 -2260 -2604 -2406 -2640 -2518 -2880 -2880 -2640 -2408 -2408 -2408 -2432 -2640 -2706 -2474 -2680 -2506 -2260 -2160 -2804 -2450 -2564 -2368 2160 -2368 -2164 -2920 -2332 -2332