Name | csp/fapp/fapp17/ normalized-fapp17-0300-9.xml |
MD5SUM | 79999494b8a624d817ccde4033265526 |
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 | 15.7836 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 3865 |
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 | 3865 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2088068 | SAT | 15.7836 | 15.9126 |
Choco2.1.1 2009-06-10 (complete) | 2088064 | SAT | 20.5599 | 20.7033 |
Abscon 112v4 ESAC (complete) | 2098662 | SAT | 22.0087 | 22.2488 |
Abscon 112v4 AC (complete) | 2098661 | SAT | 22.0526 | 22.1136 |
Choco2.1.1b 2009-07-16 (complete) | 2117242 | SAT | 23.7624 | 24.0458 |
Concrete 2009-07-14 (complete) | 2088062 | SAT | 41.4277 | 41.7558 |
Sugar v1.14.6+picosat (complete) | 2088065 | SAT | 161.629 | 163.415 |
Sugar v1.14.6+minisat (complete) | 2088066 | SAT | 169.242 | 170.687 |
Concrete DC 2009-07-14 (complete) | 2088063 | ? | 128.054 | 129.322 |
SAT4J CSP 2.1.1 (complete) | 2088059 | ? | 535.174 | 539.604 |
bpsolver 09 (complete) | 2088069 | ? (exit code) | 35.7526 | 35.9209 |
pcs 0.3.2 (complete) | 2088060 | ? (TO) | 1800.08 | 1804.95 |
pcs-restart 0.3.2 (complete) | 2088061 | ? (TO) | 1800.16 | 1808.66 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2640 2180 -2356 2592 -2544 2400 -2608 2460 -2396 2132 -2176 2460 2608 2460 -2416 -2136 -2544 2628 2380 2136 2600 2520 -2200 2456 2372 -2284 2492 -2692 2380 2496 2424 2460 2528 2504 -2720 2588 -2440 2128 -2680 -2604 -2424 -2600 2652 -2504 -2536 -2304 2560 2536 -2420 2456 -2500 -2652 -2496 2284 -2176 -2720 -2220 -2672 -2224 -2456 -2664 -2288 2504 2136 -2396 -2176 -2536 2568 2296 2680 2628 2376 -2176 2328 -2176 -2416 -2536 -2168 2256 2256 -2420 -2628 -2692 -2504 -2544 2516 2460 -2676 2552 2504 2612 -2136 -2168 2124 2316 -2168 -2416 -2416 2712 2456 -2456 -2420 -2356 -2456 2368 -2680 2380 -2668 -2496 -2576 -2184 -2360 2140 -2720 -2176 -2164 -2380 2164 2140 -2324 2256 2680 -2336 -2656 2544 -2420 2136 -2504 -2264 -2504 -2416 -2720 2500 2240 2152 -2504 2180 -2232 2612 -2416 2324 2316 -2504 -2568 -2144 -2668 -2176 -2692 -2420 -2368 -2544 2480 -2568 -2456 2528 -2180 -2544 -2136 2420 2644 -2324 -2128 2616 -2184 -2456 -2456 -2208 2276 -2544 -2376 -2456 -2668 2692 2616 -2704 -2568 2328 2652 -2668 -2544 2180 -2420 -2652 2276 -2524 2400 -2200 2460 -2264 2396 2420 -2652 -2168 2476 -2324 -2244 -2636 -2608 2332 -2504 -2524 -2288 -2436 2628 -2284 2416 -2144 2204 -2496 -2136 -2396 -2416 2652 -2640 2484 2120 -2416 -2296 -2384 2220 2668 2420 2440 2204 2316 2272 2548 2304 -2416 2396 -2504 -2480 -2284 -2380 2628 2496 2168 -2472 2208 2132 2456 -2536 -2416 -2160 -2488 -2628 -2608 -2416 2416 -2544 -2128 2628 2384 -2264 -2568 -2416 -2484 2172 -2524 -2544 2220 2172 2496 -2376 2588 -2296 2332 -2136 -2628 -2568 -2456 2292 -2668 -2544 -2448 2144 -2456 2184 -2176 -2456 2440 -2628 -2508 -2512 -2416 -2192 -2532 2180 2484 2164 2532 2492 -2284 -2248 2436 -2276 -2248 2240 2668 -2436