Name | csp/fapp/fapp01/ normalized-fapp01-0200-4.xml |
MD5SUM | c966f4ac55d40e9ed821e9d3623796fc |
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 | 10.5704 |
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 |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2097890 | SAT | 10.5704 | 16.1269 |
Abscon 112v4 AC (complete) | 2097889 | SAT | 10.9773 | 11.1092 |
Concrete 2009-07-14 (complete) | 2083816 | SAT | 13.256 | 13.4196 |
Sugar v1.14.6+picosat (complete) | 2083819 | SAT | 72.683 | 73.7683 |
Mistral 1.545 (complete) | 2083822 | SAT | 97.2132 | 97.3195 |
Sugar v1.14.6+minisat (complete) | 2083820 | SAT | 141.507 | 144.744 |
SAT4J CSP 2.1.1 (complete) | 2083813 | SAT | 281.049 | 282.099 |
bpsolver 09 (complete) | 2083823 | ? (exit code) | 34.5687 | 34.8352 |
Concrete DC 2009-07-14 (complete) | 2083817 | ? (TO) | 1800.07 | 1808.43 |
pcs 0.3.2 (complete) | 2083814 | ? (TO) | 1800.08 | 1811.96 |
Choco2.1.1b 2009-07-16 (complete) | 2116856 | ? (TO) | 1800.1 | 1805.67 |
pcs-restart 0.3.2 (complete) | 2083815 | ? (TO) | 1800.12 | 1805.35 |
Choco2.1.1 2009-06-10 (complete) | 2083818 | ? (TO) | 1800.25 | 1802.77 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2604 -2416 -2656 -2548 2320 -2656 -2452 2524 2460 2288 2328 -2640 2416 -2416 -2484 2568 -2632 2512 2324 2584 -2592 -2540 2320 2528 -2528 -2452 -2648 2648 2592 2376 -2624 2472 -2620 2336 -2500 -2552 2640 2540 -2416 -2448 -2548 2284 -2532 -2420 -2420 2392 -2516 -2616 2460 -2516 -2452 -2616 -2360 -2412 -2388 -2280 -2384 -2420 -2392 -2324 -2512 -2296 -2456 -2512 -2492 -2520 -2532 -2440 -2544 -2340 2592 2364 -2600 -2492 -2320 -2608 2280 -2552 -2600 2320 -2284 2348 2280 -2372 2532 -2508 -2572 2568 2488 -2584 2320 -2444 2564 -2524 -2536 -2492 -2480 -2552 -2572 -2656 2588 -2648 -2532 -2508 2504 2456 -2556 2532 2320 -2344 -2432 2280 -2404 2580 2312 -2512 -2456 2596 -2400 -2656 2496 -2552 2404 -2320 -2352 2280 -2448 -2424 -2348 -2488 -2600 -2656 -2412 -2460 -2312 -2492 -2564 2280 2616 -2608 -2320 2616 2456 -2280 2460 -2616 2384 2580 -2352 -2388 -2656 2608 -2500 -2464 2552 2324 -2576 -2352 -2492 -2548 2492 2592 -2476 -2344 -2636 -2640 2452 -2420 2632 2456 -2388 -2656 -2280 2376 -2320 -2344 2544 -2380 -2384 2400 2568 2336 2616 2280 -2620 -2608 -2416 2320 2588 -2424 -2472 -2348 -2304 -2616 -2432 2616 2364 2496 2280 -2548