Name | csp/fapp/fapp04/ normalized-fapp04-0300-4.xml |
MD5SUM | 650642c90363cbf82efaaeb884e45b3c |
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 | 25.7811 |
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 AC (complete) | 2097867 | SAT | 25.7811 | 26.0221 |
Abscon 112v4 ESAC (complete) | 2097868 | SAT | 25.8151 | 26.1115 |
Concrete 2009-07-14 (complete) | 2083695 | SAT | 28.8776 | 28.911 |
Sugar v1.14.6+picosat (complete) | 2083698 | SAT | 265.779 | 270.163 |
Mistral 1.545 (complete) | 2083701 | SAT | 720.742 | 723.634 |
Sugar v1.14.6+minisat (complete) | 2083699 | SAT | 964.126 | 971.721 |
SAT4J CSP 2.1.1 (complete) | 2083692 | ? | 456.228 | 459.3 |
Concrete DC 2009-07-14 (complete) | 2083696 | ? | 1250.69 | 1252.73 |
bpsolver 09 (complete) | 2083702 | ? (exit code) | 35.4946 | 35.6563 |
Choco2.1.1b 2009-07-16 (complete) | 2116845 | ? (TO) | 1800.11 | 1800.86 |
Choco2.1.1 2009-06-10 (complete) | 2083697 | ? (TO) | 1800.13 | 1804.77 |
pcs-restart 0.3.2 (complete) | 2083694 | ? (TO) | 1800.14 | 1801.25 |
pcs 0.3.2 (complete) | 2083693 | ? (TO) | 1800.15 | 1809.15 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2636 2468 2348 -2168 2200 2400 -2656 -2264 2664 2412 2684 2508 2532 -2424 -2340 -2488 2428 -2508 -2160 -2340 -2284 -2584 2264 2244 -2224 2564 -2340 -2436 -2268 -2604 -2160 2508 -2244 2696 2448 -2252 2604 -2208 2592 2160 -2160 2408 2612 -2292 -2284 -2256 -2572 -2600 -2344 -2624 2204 2656 2636 2468 -2252 2548 2192 -2188 2372 -2696 -2304 2520 -2200 -2564 -2468 -2524 2568 -2676 -2468 -2228 2696 2300 -2308 -2396 -2160 -2564 -2636 -2564 2280 2160 2548 -2160 2588 2656 -2360 -2656 -2564 2600 -2236 -2200 2696 2668 -2696 -2520 2160 -2200 2520 2228 -2656 -2172 -2412 -2524 2696 2468 2200 2384 2212 2584 2556 2660 -2212 -2588 2436 -2588 -2200 2632 -2696 2604 -2160 2588 -2676 2588 2644 2508 2648 -2428 -2480 2644 -2200 -2604 2628 -2260 2536 -2656 -2324 2240 2288 2252 -2696 2560 2268 -2160 -2628 2244 2516 2404 2160 -2540 -2296 -2656 -2340 2656 2240 2412 2280 2604 2348 -2588 -2332 2564 2312 -2300 2200 -2632 -2216 2656 -2356 -2636 -2580 -2484 -2588 -2624 2696 2584 -2676 -2200 2656 -2324 -2216 2604 -2536 2228 -2300 2196 2248 2608 2492 2200 -2664 -2688 2232 2532 2300 -2664 2576 2160 2648 -2512 2480 2644 2452 2664 -2604 -2428 -2676 2620 -2436 2160 -2476 -2304 -2480 -2604 -2160 -2200 -2256 2576 2536 2328 -2200 -2564 2624 -2300 -2580 -2412 2648 2388 2256 -2524 -2440 2628 -2668 -2544 2260 2628 2628 2628 2444 2644 -2320 2560 -2656 2220 -2676 2496 -2472 2448 -2308 2384 2476 -2592 2272 -2288 2292 -2684 2200 -2264 -2656 2468 -2696 -2628 2620 -2524 -2636 2452 2564 -2428 -2608 2560 -2616 -2284 -2484 -2268 -2192 2232 -2444 -2468 -2628 -2280 2284 2180 2640 2608 2604 2572 -2544 -2624 -2228 2372 2624 -2372 2392 2484 -2352 2200 -2316 -2268 2564 -2696 -2440 -2300