Name | csp/fapp/fapp01/ normalized-fapp01-0200-10.xml |
MD5SUM | ed0064ec6f686799b617fe86f279a28f |
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 | 1.62775 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2053 |
Maximum constraint arity | 2 |
Maximum domain size | 190 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2053 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2083811 | SAT | 1.62775 | 1.64469 |
Choco2.1.1 2009-06-10 (complete) | 2083807 | SAT | 9.1816 | 9.46702 |
Choco2.1.1b 2009-07-16 (complete) | 2116855 | SAT | 9.31158 | 9.41202 |
Abscon 112v4 ESAC (complete) | 2097888 | SAT | 9.8585 | 9.90225 |
Abscon 112v4 AC (complete) | 2097887 | SAT | 9.92949 | 9.96434 |
Concrete 2009-07-14 (complete) | 2083805 | SAT | 12.4011 | 12.5659 |
Sugar v1.14.6+picosat (complete) | 2083808 | SAT | 56.2584 | 57.5162 |
Sugar v1.14.6+minisat (complete) | 2083809 | SAT | 124.207 | 124.669 |
SAT4J CSP 2.1.1 (complete) | 2083802 | SAT | 163.277 | 164.871 |
bpsolver 09 (complete) | 2083812 | ? (exit code) | 34.6717 | 34.8268 |
Concrete DC 2009-07-14 (complete) | 2083806 | ? (TO) | 1800.02 | 1817.32 |
pcs-restart 0.3.2 (complete) | 2083804 | ? (TO) | 1800.14 | 1808.74 |
pcs 0.3.2 (complete) | 2083803 | ? (TO) | 1800.16 | 1801.14 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2564 2372 2580 2588 -2304 2616 -2448 2480 2464 2328 2368 -2640 2488 -2656 2520 2544 -2608 2468 -2408 2564 -2640 -2552 -2296 -2584 -2280 -2448 -2656 -2648 2616 2616 -2600 -2584 -2332 -2432 -2512 2428 -2640 -2512 -2464 2292 -2608 -2368 2480 -2424 -2336 2284 -2440 2284 -2532 2472 2492 -2568 -2388 -2532 -2340 -2344 2428 -2492 2452 2352 2544 -2420 2412 2512 -2488 -2492 -2464 -2456 2604 -2464 2568 -2436 -2600 -2532 -2352 2644 -2372 -2600 -2600 2280 -2312 2380 -2344 2572 2616 2572 -2656 2320 -2332 -2640 -2320 2344 2440 -2480 2476 2520 -2532 2496 2576 -2616 2568 -2604 -2480 -2512 2472 -2552 2512 -2616 2388 -2596 2432 -2320 -2464 2292 -2352 2456 2476 -2616 -2496 -2656 -2436 2552 -2384 2324 -2312 -2288 2512 2452 -2344 2472 2596 -2588 2488 2376 2352 2424 2604 2428 -2592 2568 2328 -2656 2448 -2312 2420 -2656 -2412 2388 2412 -2384 -2324 -2616 -2552 2412 2320 2396 2552 -2312 2520 -2612 -2452 2360 2480 -2388 2656 2636 2492 2460 2656 2424 -2284 2608 -2280 -2392 -2412 -2356 -2432 -2424 -2396 2428 -2608 -2380 2620 -2284 2428 -2608 -2512 -2304 2628 2452 -2472 2324 -2556 2628 -2324 2616 -2424 2436 2336 -2552