Name | csp/fapp/fapp17/ normalized-fapp17-0300-6.xml |
MD5SUM | 400402fb9b97807a5d169bd4c5b561d0 |
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 | 12.4071 |
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) | 2088079 | SAT | 12.4071 | 12.5296 |
Abscon 112v4 ESAC (complete) | 2098664 | SAT | 22.0097 | 22.1302 |
Abscon 112v4 AC (complete) | 2098663 | SAT | 22.1566 | 22.4046 |
Choco2.1.1b 2009-07-16 (complete) | 2117243 | SAT | 22.6036 | 22.8566 |
Choco2.1.1 2009-06-10 (complete) | 2088075 | SAT | 26.208 | 26.5003 |
Concrete 2009-07-14 (complete) | 2088073 | SAT | 41.5157 | 41.9613 |
Sugar v1.14.6+minisat (complete) | 2088077 | SAT | 144.944 | 147.812 |
Sugar v1.14.6+picosat (complete) | 2088076 | SAT | 155.11 | 156.761 |
Concrete DC 2009-07-14 (complete) | 2088074 | ? | 128.8 | 129.683 |
SAT4J CSP 2.1.1 (complete) | 2088070 | ? | 778.654 | 780.612 |
bpsolver 09 (complete) | 2088080 | ? (exit code) | 34.1838 | 34.331 |
pcs 0.3.2 (complete) | 2088071 | ? (TO) | 1800.12 | 1812.44 |
pcs-restart 0.3.2 (complete) | 2088072 | ? (TO) | 1800.16 | 1808.26 |
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 2228 -2456 2664 2288 2504 -2136 2396 -2176 2536 -2568 2296 -2680 -2628 -2376 -2176 -2408 -2176 -2416 -2536 -2192 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 -2152 -2616 2184 -2456 -2456 -2208 2276 -2544 2376 2456 -2668 -2692 2616 -2704 2568 2328 2652 -2668 2544 2188 2420 2652 2276 -2524 2400 -2200 2460 2268 -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 2228 -2668 2420 -2440 2204 -2316 2272 2548 -2304 2416 2396 2504 -2480 2284 -2380 2708 2496 2172 -2472 -2208 2132 -2456 -2536 -2416 -2160 -2488 -2628 -2608 -2416 2416 -2544 2132 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