Name | csp/fapp/fapp08/ normalized-fapp08-0700-5.xml |
MD5SUM | fa37dee04ffe0cd0af7a8fde9f661bf5 |
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 | 48.6576 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 7122 |
Maximum constraint arity | 2 |
Maximum domain size | 282 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 7122 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2097760 | SAT | 48.6576 | 48.969 |
Abscon 112v4 AC (complete) | 2097759 | SAT | 52.583 | 52.9307 |
Concrete 2009-07-14 (complete) | 2083101 | SAT | 56.7854 | 57.3963 |
Sugar v1.14.6+picosat (complete) | 2083104 | SAT | 975.771 | 986.652 |
SAT4J CSP 2.1.1 (complete) | 2083098 | ? | 447.677 | 450.951 |
Concrete DC 2009-07-14 (complete) | 2083102 | ? | 628.301 | 631.425 |
bpsolver 09 (complete) | 2083108 | ? (exit code) | 62.6595 | 63.1736 |
Mistral 1.545 (complete) | 2083107 | ? (TO) | 1800.02 | 1801.01 |
pcs-restart 0.3.2 (complete) | 2083100 | ? (TO) | 1800.11 | 1812.65 |
Choco2.1.1 2009-06-10 (complete) | 2083103 | ? (TO) | 1800.15 | 1800.91 |
pcs 0.3.2 (complete) | 2083099 | ? (TO) | 1800.16 | 1812.15 |
Choco2.1.1b 2009-07-16 (complete) | 2116791 | ? (TO) | 1800.2 | 1801 |
Sugar v1.14.6+minisat (complete) | 2083105 | ? (TO) | 1800.21 | 1811.38 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2608 -2560 -2404 2680 -2660 -2308 -2432 2436 2324 2276 -2472 -2624 -2360 -2292 2300 2308 -2392 -2616 -2624 2572 2688 -2688 -2720 -2348 -2696 2680 2256 -2464 -2584 -2696 2432 2564 -2392 -2472 -2380 -2256 -2200 -2272 2476 -2276 -2596 -2452 -2444 -2200 -2384 -2312 -2392 -2632 2352 -2160 2480 -2548 -2624 -2180 -2720 2704 -2160 2188 2488 -2432 -2188 2720 -2452 2544 2700 -2700 -2496 2508 -2616 2580 2636 -2208 2448 2436 2252 2652 -2408 2356 2596 2336 2608 -2412 -2324 -2520 2232 2200 -2300 -2572 -2172 -2348 -2680 -2552 -2720 -2696 2592 -2348 -2360 -2420 2716 2648 2236 -2692 -2500 2280 -2220 2716 -2208 2692 2160 2680 -2160 2664 -2232 -2360 -2624 -2396 -2388 -2256 2580 -2200 2616 2364 -2412 -2640 -2380 2348 2520 -2472 -2244 -2248 2416 -2640 2556 2320 -2160 2336 2392 2584 2528 -2340 -2620 2160 -2160 2276 -2200 -2424 -2360 -2536 -2324 2648 -2664 -2396 2620 2264 -2372 -2364 -2308 -2720 -2704 -2396 2592 -2496 2512 2624 -2356 2644 -2160 -2364 -2584 2332 2164 -2680 2456 2608 2600 -2588 2160 2628 2652 2656 -2720 2592 2436 -2388 2400 -2648 2600 -2340 -2228 -2272 2292 -2356 2324 2476 -2676 -2488 -2484 2520 2292 -2568 -2688 -2400 -2388 2348 -2696 2384 -2548 2608 2508 2520 2420 -2288 2624 2376 2448 -2200 -2200 2408 2524 -2636 2204 2216 -2296 -2368 -2720 2584 2472 2328 -2488 -2316 2456 -2664 -2224 -2416 2200 -2656 -2408 2540 -2680 -2404 2612 -2308 -2680 2624 2648 -2280 -2348 2540 2180 2308 -2292 -2284 2604 2160 2580 2288 2624 -2316 2480 -2396 -2720 2528 -2160 -2520 2336 -2576 2204 -2576 -2220 -2412 -2432 -2416 2644 -2664 -2224 -2380 -2624 2416 -2180 -2648 -2528 2584 -2720 -2512 -2396 -2248 -2380 2352 -2576 -2448 2552 2248 2660 2332 -2560 2632 2376 -2604 -2536 -2200 2624 -2452 2680 -2656 2584 2160 -2680 2532 -2532 2508 -2648 -2720 2452 -2356 2292 -2648 -2328 2432 -2552 -2288 -2692 2160 -2288 -2448 -2660 2280 2264 -2372 -2252 2624 2160 -2440 2608 2276 -2160 -2468 2588 -2652 2524 -2484 -2364 -2284 -2316 2480 -2324 -2300 -2340 2588 -2432 -2572 2224 2664 2412 -2348 -2680 -2244 2656 2684 2628 -2544 2200 -2172 -2652 2568 -2472 2584 -2468 -2540 2320 -2372 -2504 -2160 -2488 -2700 -2600 -2680 -2664 2204 2252 2640 -2552 2496 2680 -2708 2484 -2252 -2680 -2316 -2288 2584 2680 -2200 -2472 2312 2532 2520 -2560 -2680 2428 -2372 2484 2464 2672 -2696 2664 2356 2268 2384 -2376 -2552 -2416 2408 2656 2344 2200 -2720 -2392 -2480 2496 2456 -2560 2424 -2220 2540 2532 2584 -2560 -2416 2536 2356 2200 -2220 -2628 -2648 -2432 -2624 -2464 2384 2164 -2292 -2700 2448 -2624 2296 2680 2364 2320 2456 2552 -2396 2348 2680 2584 -2260 -2320 -2252 -2624 -2444 2544 2592 -2424 -2628 -2440 2500 -2176 2300 -2352 -2260 2720 -2276 2660 -2400 2680 -2600 2212 -2396 -2220 2332 -2456 2212 -2480 -2316 2632 2720 2584 -2656 -2572 -2684 2252 2328 -2160 -2248 2196 -2628 2532 -2544 2368 -2312 -2164 -2268 2424 -2508 -2388 2504 -2200 -2160 -2476 -2160 -2200 -2200 2524 2652 2332 2604 -2384 -2624 -2276 -2384 -2436 2512 -2520 -2204 2560 2216 -2700 2588 -2704 -2540 -2216 -2296 -2608 -2160 2364 -2720 -2572 2588 -2328 2204 -2660 -2612 2656 -2292 -2676 2680 2336 -2340 2356 2500 -2324 -2696 2616 2576 -2680 -2660 2488 -2464 -2668 -2316 2560 2540 2692 -2508 2200 2420 -2388 2212 -2160 2164 -2200 2584 -2532 2620 2548 2192 -2340 -2448 -2700 -2468 2644 -2200 -2596 2416 -2248 2588 2396 -2548 -2628 2376 2616 -2544 -2664 -2568 2228 -2300 -2356 -2564 -2472 2328 -2200 -2160 2504 2680 -2236 -2624 2380 -2720 -2372 2252 -2664 -2404 -2376 2512 2676 2412 -2584 -2356 -2316 -2720 2356 -2720 2608 -2720 -2232 2488 2656 2356 -2696 -2184 2472 -2720 2320 -2200 2440 -2352 2596 2564 2448 2324 -2412 2680 2396 2576 2668 -2492 -2268 2284 2360 2200 2308 -2200 -2580 -2432 -2340 2364 -2244 2660 2440 -2252 2432 2508 -2592 2500 -2272 -2560 -2656 -2560 -2396 2344 2508 -2392 -2444 -2556 -2228 2432 2636 2680 -2184 -2304 -2548 -2528 2424 -2652 -2420 -2624 2720 -2424 -2316 -2160 2356 -2348 -2664 -2320 -2296 -2308 -2204 -2616 2512 -2292 -2288 -2664