| Name | csp/fapp/fapp04/ normalized-fapp04-0300-5.xml |
| MD5SUM | 9b390cbd2e7aec20d5f3a2cc4b660065 |
| 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 | 24.2693 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 3360 |
| Maximum constraint arity | 2 |
| Maximum domain size | 270 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 3360 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Abscon 112v4 ESAC (complete) | 2097872 | SAT | 24.2693 | 24.4275 |
| Abscon 112v4 AC (complete) | 2097871 | SAT | 24.5873 | 24.7516 |
| Concrete 2009-07-14 (complete) | 2083717 | SAT | 27.2998 | 27.4745 |
| Sugar v1.14.6+picosat (complete) | 2083720 | SAT | 257.458 | 259.82 |
| Sugar v1.14.6+minisat (complete) | 2083721 | SAT | 835.991 | 842.538 |
| Mistral 1.545 (complete) | 2083723 | SAT | 1498.21 | 1500.78 |
| SAT4J CSP 2.1.1 (complete) | 2083714 | ? | 415.058 | 417.132 |
| Concrete DC 2009-07-14 (complete) | 2083718 | ? | 941.52 | 947.07 |
| bpsolver 09 (complete) | 2083724 | ? (exit code) | 34.8007 | 34.9485 |
| pcs 0.3.2 (complete) | 2083715 | ? (TO) | 1800.06 | 1812.45 |
| Choco2.1.1b 2009-07-16 (complete) | 2116847 | ? (TO) | 1800.09 | 1805.38 |
| pcs-restart 0.3.2 (complete) | 2083716 | ? (TO) | 1800.13 | 1801.45 |
| Choco2.1.1 2009-06-10 (complete) | 2083719 | ? (TO) | 1800.18 | 1809.91 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2624 2504 -2272 2288 -2200 2448 -2628 -2276 -2664 -2452 2620 2536 -2552 2356 -2448 -2488 2512 -2508 2244 -2332 -2200 2656 2232 -2444 -2236 2568 -2340 -2372 -2200 -2596 -2160 -2544 -2256 -2656 -2200 -2212 2600 2248 2620 2200 2160 -2160 2612 -2324 2276 -2204 -2572 2604 -2336 2624 2228 -2684 2636 2468 -2264 -2584 2180 -2192 2404 -2696 2272 -2200 -2204 -2564 2476 2516 -2568 2664 -2424 2336 2696 -2232 2232 -2184 2160 -2640 -2636 2556 -2368 -2160 2548 -2248 2536 2696 -2408 2648 2564 2560 2164 2288 2668 2668 -2580 -2544 -2292 2252 -2544 2232 -2624 -2380 2404 -2504 -2688 2472 2344 2376 -2340 -2584 2556 2632 -2252 2588 -2160 2604 -2200 2660 -2644 -2584 2304 2588 -2676 2604 -2524 -2516 2648 -2464 -2476 -2648 -2212 -2544 -2676 2272 2548 2696 2316 2272 2288 -2284 -2696 2584 -2204 -2172 -2628 -2268 2516 2476 2324 -2560 -2164 -2620 2336 2656 2240 2364 -2312 -2564 -2248 -2588 -2340 -2684 2348 -2336 2344 2644 -2372 2656 -2240 2612 -2604 -2460 -2608 2584 -2696 -2696 2652 -2260 2656 -2160 -2296 2640 -2476 -2232 -2296 -2204 -2200 -2664 2484 -2200 2664 -2632 2220 2524 2292 2624 -2588 2160 2624 -2516 -2504 -2660 -2444 2624 -2608 -2464 2676 2672 2224 -2384 2332 -2292 -2356 2644 2220 -2200 2336 -2564 2524 -2328 -2160 -2504 2624 2408 -2600 2424 -2592 2288 -2332 -2524 -2436 2644 2636 -2544 2296 -2564 2568 -2628 2436 2624 -2408 -2160 2656 2228 -2676 2436 -2476 -2448 -2164 -2396 2200 2604 2308 -2160 -2304 -2688 2284 -2252 -2684 -2444 -2656 -2628 -2644 -2524 -2636 2412 2600 2404 -2608 -2564 -2644 -2404 2464 -2272 2180 2220 2500 2496 2576 2280 2296 -2188 2600 2608 -2524 2512 -2696 -2656 -2160 2380 -2664 -2464 2324 2476 2364 2200 2200 -2376 2564 -2664 2396 -2300