Name | csp/fapp/fapp02/ normalized-fapp02-0250-10.xml |
MD5SUM | 2937328af9f6c216cca6342fe202e849 |
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 | 17.2614 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 250 |
Number of constraints | 3055 |
Maximum constraint arity | 2 |
Maximum domain size | 210 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3055 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2097880 | SAT | 17.2614 | 17.3169 |
Abscon 112v4 AC (complete) | 2097879 | SAT | 18.3742 | 18.5665 |
Mistral 1.545 (complete) | 2083767 | SAT | 18.4202 | 18.6635 |
Choco2.1.1 2009-06-10 (complete) | 2083763 | SAT | 18.4522 | 18.5756 |
Concrete 2009-07-14 (complete) | 2083761 | SAT | 20.3209 | 20.5784 |
Choco2.1.1b 2009-07-16 (complete) | 2116851 | SAT | 61.8106 | 61.8644 |
Sugar v1.14.6+picosat (complete) | 2083764 | SAT | 140.365 | 142.161 |
SAT4J CSP 2.1.1 (complete) | 2083758 | SAT | 314.571 | 315.569 |
Sugar v1.14.6+minisat (complete) | 2083765 | SAT | 403.486 | 404.153 |
bpsolver 09 (complete) | 2083768 | ? (exit code) | 34.9147 | 35.2282 |
Concrete DC 2009-07-14 (complete) | 2083762 | ? (TO) | 1800.02 | 1812.83 |
pcs-restart 0.3.2 (complete) | 2083760 | ? (TO) | 1800.08 | 1806.64 |
pcs 0.3.2 (complete) | 2083759 | ? (TO) | 1800.14 | 1807.65 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2656 -2584 2540 -2332 -2556 2296 2460 -2420 -2616 -2356 2472 -2280 -2408 2588 2472 2464 -2616 -2624 2492 -2484 2408 -2572 2652 2372 2352 -2412 -2392 2372 -2456 -2556 -2536 -2400 -2372 -2428 2244 2240 -2588 2616 -2444 -2384 -2544 2240 -2496 -2452 2280 2488 -2576 -2596 2360 -2432 -2532 2540 -2288 2532 -2520 -2588 -2528 2420 2552 2268 2392 2656 2524 -2596 -2612 -2568 -2448 -2280 2240 -2360 -2320 2448 -2656 -2500 -2280 -2524 -2488 2348 -2536 -2544 -2432 -2572 2500 2520 2612 -2580 2388 2308 -2492 -2472 2504 2240 -2240 2244 -2504 -2408 -2240 -2484 -2472 -2368 -2656 -2380 2264 -2292 -2616 2500 -2604 2544 2516 -2644 2496 -2336 2540 -2596 -2612 -2444 2644 2616 -2332 -2304 -2280 -2316 -2604 2604 -2524 -2624 -2652 -2472 -2480 2372 -2284 -2460 2344 -2620 -2512 2448 2576 -2412 -2376 -2656 2412 2280 -2552 2476 2656 -2616 -2460 2500 2512 -2596 -2504 2584 -2412 -2492 2528 -2248 -2520 2272 -2532 -2356 -2500 2512 -2444 -2436 -2412 -2332 2584 2420 -2412 2400 -2312 -2592 2536 -2624 2368 -2520 2564 -2280 -2536 -2616 -2576 -2416 -2656 -2316 -2504 2616 -2548 2372 -2392 -2292 -2552 2368 2504 -2480 -2412 -2300 2548 -2456 -2556 -2464 -2584 -2556 -2644 -2408 -2532 2604 -2644 2612 -2484 -2340 -2460 -2472 2512 2240 -2408 2472 2572 -2548 2420 -2280 2284 2372 -2432 -2560 2256 -2416 -2512 2544 -2476 2480 -2564 -2340 -2552 -2432 -2420 2624 -2616 -2576 -2484 2372 -2460 -2584 -2592 2292 2380 2432 -2300 -2388 2512 -2332