Name | csp/fapp/fapp02/ normalized-fapp02-0250-5.xml |
MD5SUM | 12e743886345c8ed1c98bc98af799e15 |
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 | 19.1681 |
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 AC (complete) | 2097883 | SAT | 19.1681 | 19.4278 |
Abscon 112v4 ESAC (complete) | 2097884 | SAT | 19.414 | 19.644 |
Concrete 2009-07-14 (complete) | 2083783 | SAT | 23.8054 | 23.8397 |
Sugar v1.14.6+picosat (complete) | 2083786 | SAT | 146.204 | 147.328 |
Sugar v1.14.6+minisat (complete) | 2083787 | SAT | 320.099 | 322.13 |
Mistral 1.545 (complete) | 2083789 | SAT | 388.803 | 390.718 |
SAT4J CSP 2.1.1 (complete) | 2083780 | ? | 383.643 | 385.655 |
bpsolver 09 (complete) | 2083790 | ? (exit code) | 32.663 | 35.9553 |
Concrete DC 2009-07-14 (complete) | 2083784 | ? (TO) | 1800 | 1808.12 |
Choco2.1.1 2009-06-10 (complete) | 2083785 | ? (TO) | 1800.08 | 1809.78 |
pcs-restart 0.3.2 (complete) | 2083782 | ? (TO) | 1800.08 | 1807.74 |
pcs 0.3.2 (complete) | 2083781 | ? (TO) | 1800.14 | 1814.64 |
Choco2.1.1b 2009-07-16 (complete) | 2116853 | ? (TO) | 1800.2 | 1800.91 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2384 2488 -2604 2312 2524 -2280 2500 -2380 -2280 -2264 2584 -2252 -2616 -2536 2368 2508 -2424 -2448 2604 2612 -2448 -2476 2616 -2608 2292 -2396 -2332 -2304 -2412 -2516 2532 2264 -2376 2456 -2240 -2592 -2544 2280 2652 -2240 2564 2280 2416 -2436 -2240 -2584 2380 2552 -2304 2292 2540 2616 -2288 2564 2612 2488 2552 -2460 -2552 2380 -2528 2352 2584 2556 2436 2592 2460 -2352 2292 -2320 -2312 -2428 2240 2604 2444 2524 2608 -2264 -2444 2512 -2568 2580 -2620 2576 -2656 -2612 -2416 -2420 2616 -2472 -2524 2240 2404 2240 -2432 2500 2280 -2608 2396 -2368 -2648 2436 2332 -2352 2608 2644 2488 2584 -2520 2448 -2484 -2432 2580 2484 2616 2616 2296 2656 2416 -2372 2280 2304 -2520 2336 -2648 -2624 2656 -2472 -2504 2436 -2280 -2644 -2280 -2572 -2584 2648 -2576 2396 2392 -2656 2380 2632 2616 -2480 2240 2392 -2420 2576 -2592 -2596 -2472 -2424 -2264 2564 -2624 -2248 -2548 -2260 -2656 -2384 -2608 2560 2492 -2644 2476 2332 2624 -2656 2568 -2360 -2300 2568 -2376 -2656 2488 2464 -2544 -2444 2536 2372 -2492 2452 -2616 2344 -2568 2616 -2584 -2616 -2332 -2292 2528 -2656 -2548 2616 2576 -2292 -2576 -2240 2556 2472 2616 2592 -2480 -2408 2524 -2656 2616 -2516 -2576 -2332 2440 -2624 -2512 -2404 -2468 -2600 2396 -2528 -2396 -2240 2280 -2356 2624 -2572 2240 -2280 2512 2528 2604 -2588 2564 2332 2556 -2436 2400 -2384 2420 -2412 -2452 2420 2648 -2584 -2596 -2332 2616 -2408 2292 2304 2656 -2292