Name | csp/fapp/fapp03/ normalized-fapp03-0300-7.xml |
MD5SUM | 864e3c61ff08e32a4845b7a063b51513 |
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 | 28.9936 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 4377 |
Maximum constraint arity | 2 |
Maximum domain size | 250 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 4377 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097939 | SAT | 28.9936 | 29.0445 |
Concrete 2009-07-14 (complete) | 2084091 | SAT | 30.3064 | 30.6361 |
Abscon 112v4 ESAC (complete) | 2097940 | SAT | 30.3224 | 30.631 |
Sugar v1.14.6+picosat (complete) | 2084094 | SAT | 300.739 | 303.409 |
Sugar v1.14.6+minisat (complete) | 2084095 | SAT | 939.669 | 943.966 |
Concrete DC 2009-07-14 (complete) | 2084092 | ? | 945.661 | 949.629 |
SAT4J CSP 2.1.1 (complete) | 2084088 | ? | 1607.15 | 1615.51 |
bpsolver 09 (complete) | 2084098 | ? (exit code) | 35.1117 | 35.4221 |
Mistral 1.545 (complete) | 2084097 | ? (TO) | 1800.05 | 1805.21 |
pcs 0.3.2 (complete) | 2084089 | ? (TO) | 1800.07 | 1807.74 |
pcs-restart 0.3.2 (complete) | 2084090 | ? (TO) | 1800.08 | 1805.45 |
Choco2.1.1 2009-06-10 (complete) | 2084093 | ? (TO) | 1800.12 | 1808.49 |
Choco2.1.1b 2009-07-16 (complete) | 2116881 | ? (TO) | 1800.15 | 1809.18 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2276 -2604 2616 2372 -2360 2248 -2452 2364 2344 2404 2288 2284 2260 -2400 -2616 2496 -2328 2572 -2612 2616 -2160 -2440 2200 -2160 -2584 -2232 -2348 -2516 -2224 2488 -2252 -2200 -2588 -2372 -2588 -2576 2528 2380 2228 -2564 -2248 -2328 -2312 2164 -2184 -2524 -2576 -2160 2160 2300 -2640 -2512 -2168 -2556 2444 -2288 2564 -2484 2552 -2336 2436 -2624 -2624 2248 2404 2464 -2456 -2528 2432 -2480 -2448 2488 -2656 -2600 -2460 -2244 2312 2608 2224 -2564 -2160 2512 -2252 -2292 -2160 2588 -2492 -2576 -2568 -2200 -2396 -2356 2608 -2580 -2520 2476 -2632 -2200 2520 -2592 2380 -2568 -2360 -2604 -2320 2204 2584 -2352 -2616 -2400 -2480 2640 2260 2464 2424 -2356 -2628 2512 2220 2612 2412 2600 2260 -2264 -2292 2616 -2628 2464 2224 2360 -2484 2564 2632 -2324 -2160 -2524 2560 -2536 2348 -2392 -2184 -2472 -2612 2392 -2632 -2200 2160 -2340 -2192 2552 -2504 -2360 2652 -2512 2576 -2564 2524 2212 2568 -2560 -2516 2172 -2572 2212 2340 -2200 2284 2560 2452 2160 -2336 -2420 -2608 -2500 2400 -2652 -2420 2568 2604 -2564 -2296 2488 -2576 2548 -2568 -2596 -2216 2280 -2176 2504 2592 -2584 -2616 2164 2568 -2380 2352 2460 2560 2272 -2512 2600 2348 2560 -2472 2484 -2528 2440 -2312 -2556 -2188 -2440 2204 -2540 -2592 -2548 2556 -2364 2412 2648 2444 2252 2632 2632 2288 2616 2608 2332 2552 -2464 2656 2200 2600 2388 -2480 -2520 2360 2324 2304 2208 -2608 2196 -2388 -2300 -2308 2592 2656 2552 2608 2592 2504 2616 2468 2596 -2292 2396 2496 2612 2624 -2296 -2392 2604 2616 -2592 2456 -2372 2592 -2520 2436 -2568 2352 2236 2496 2476 -2656 2200 -2448 -2608 -2456 -2448 -2600 2428 -2316 2208 2200 -2240 -2208 -2364 2320 2412 2656 2172 2648 2568 -2272 2588 -2320 2552 -2476 2480