Name | csp/fapp/fapp01/ normalized-fapp01-0200-5.xml |
MD5SUM | 1d627217f0e438cbce2246297a0e3bf9 |
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 | 6.553 |
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) | 2083800 | SAT | 6.553 | 6.56233 |
Abscon 112v4 ESAC (complete) | 2097886 | SAT | 10.8394 | 10.8961 |
Abscon 112v4 AC (complete) | 2097885 | SAT | 11.1413 | 11.2278 |
Concrete 2009-07-14 (complete) | 2083794 | SAT | 13.26 | 13.4556 |
Choco2.1.1b 2009-07-16 (complete) | 2116854 | SAT | 52.9879 | 53.2994 |
Sugar v1.14.6+picosat (complete) | 2083797 | SAT | 76.1454 | 77.4576 |
Sugar v1.14.6+minisat (complete) | 2083798 | SAT | 169.28 | 170.37 |
SAT4J CSP 2.1.1 (complete) | 2083791 | SAT | 273.486 | 274.85 |
bpsolver 09 (complete) | 2083801 | ? (exit code) | 34.9997 | 35.3116 |
Concrete DC 2009-07-14 (complete) | 2083795 | ? (TO) | 1800.01 | 1808.22 |
pcs-restart 0.3.2 (complete) | 2083793 | ? (TO) | 1800.07 | 1814.26 |
pcs 0.3.2 (complete) | 2083792 | ? (TO) | 1800.11 | 1810.96 |
Choco2.1.1 2009-06-10 (complete) | 2083796 | ? (TO) | 1800.17 | 1802.27 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2600 2408 2604 -2536 2284 2488 -2452 -2520 -2532 2284 2324 2572 -2416 2408 -2480 2500 -2632 2552 2292 -2624 2584 -2520 -2320 2540 -2612 -2452 2644 2616 2620 2368 2612 -2480 -2612 2344 2480 2512 -2568 -2556 -2420 -2424 2512 2332 2516 2492 -2412 2304 2440 2612 -2468 2520 -2456 -2644 -2352 -2400 -2320 -2324 2348 2428 2452 2320 -2520 2284 -2448 -2488 -2412 -2428 2528 -2360 2584 -2336 2592 2420 -2608 2496 2312 -2568 2292 2624 -2612 2320 -2280 2280 2280 -2360 2484 -2560 -2588 2652 2464 -2572 -2344 -2436 2560 -2520 2512 -2476 -2468 -2452 2524 2600 2552 -2608 -2516 -2508 2512 -2456 2560 -2548 -2332 2332 -2432 -2280 2412 -2652 -2344 2492 -2432 -2616 2400 2616 -2472 -2528 -2396 -2320 2376 2332 2432 2396 2340 -2472 -2576 2596 2412 -2372 2336 2488 2640 2372 -2608 2648 2372 2640 2456 2352 2460 -2528 2356 -2604 2412 -2300 2652 2604 -2516 -2436 2532 2460 2568 2384 2476 -2600 2416 2572 -2480 -2308 2656 -2616 2456 -2420 -2580 2460 -2380 -2604 -2304 -2384 2332 2348 -2552 -2376 -2388 2392 -2608 -2324 -2644 -2280 2644 2576 2416 2320 2576 -2396 -2472 -2340 -2292 -2636 -2344 2656 -2372 -2472 -2280 2548