Name | csp/fapp/fapp08/ normalized-fapp08-0700-8.xml |
MD5SUM | 76f5c8323181a5b7c43a501cf4eaddc1 |
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 | 33.9748 |
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 AC (complete) | 2097761 | SAT | 33.9748 | 34.3271 |
Abscon 112v4 ESAC (complete) | 2097762 | SAT | 37.4673 | 37.7157 |
Concrete 2009-07-14 (complete) | 2083112 | SAT | 53.5779 | 55.0958 |
Mistral 1.545 (complete) | 2083118 | SAT | 74.6127 | 75.2642 |
Sugar v1.14.6+picosat (complete) | 2083115 | SAT | 699.39 | 706.405 |
SAT4J CSP 2.1.1 (complete) | 2083109 | ? | 429.499 | 431.669 |
Concrete DC 2009-07-14 (complete) | 2083113 | ? | 531.202 | 536.341 |
bpsolver 09 (complete) | 2083119 | ? (exit code) | 60.3018 | 60.5549 |
pcs-restart 0.3.2 (complete) | 2083111 | ? (TO) | 1800.07 | 1807.35 |
Choco2.1.1 2009-06-10 (complete) | 2083114 | ? (TO) | 1800.12 | 1816.31 |
Choco2.1.1b 2009-07-16 (complete) | 2116792 | ? (TO) | 1800.12 | 1817.17 |
pcs 0.3.2 (complete) | 2083110 | ? (TO) | 1800.15 | 1807.14 |
Sugar v1.14.6+minisat (complete) | 2083116 | ? (TO) | 1800.33 | 1808.61 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2604 2608 -2464 -2656 -2600 -2308 -2472 2472 2336 -2276 2624 -2624 -2272 -2292 -2336 -2356 -2300 -2696 -2624 2512 -2664 -2200 2528 -2424 2688 2700 -2452 -2452 -2608 2648 -2476 2568 -2412 -2432 -2316 -2200 -2248 2184 -2392 2248 2628 2460 -2448 2244 2384 -2324 -2412 -2712 2364 -2160 -2520 2532 -2608 -2356 2176 2680 -2284 -2184 -2460 2400 2252 -2616 2452 2584 -2648 -2700 2420 -2168 2528 -2624 2676 -2160 -2452 2432 -2268 2612 -2408 -2700 -2696 -2312 2596 -2412 2256 2560 -2224 -2204 -2300 2564 -2240 -2356 2516 2636 2604 -2720 -2684 -2216 2176 -2380 -2688 -2624 -2236 -2720 -2572 -2436 2224 2568 -2264 2652 -2308 2720 2284 2652 -2224 2348 -2520 -2356 -2396 -2404 2544 -2348 2664 -2376 -2476 -2536 -2380 -2396 -2496 2480 -2284 -2200 -2552 2656 2668 2216 2160 2356 -2440 -2580 -2484 -2308 2704 -2208 -2188 2324 -2168 -2448 -2324 2540 2324 2160 -2664 -2660 -2660 2200 -2400 -2416 -2376 2680 -2604 -2396 -2672 -2500 -2584 2640 2384 -2680 -2160 -2364 -2624 2328 -2164 2160 -2420 -2636 -2572 -2620 2160 -2532 -2680 2656 -2680 2596 -2432 2432 -2364 -2656 2540 -2340 -2224 2276 2292 2160 2376 2512 2648 -2412 -2472 -2568 -2328 2556 -2704 -2404 2476 -2200 2636 -2364 -2548 -2696 2496 -2520 -2276 -2412 2624 2352 2448 -2200 -2268 2476 -2512 2628 -2308 2444 -2396 2376 -2200 2584 2416 2316 -2412 -2208 2436 2648 -2260 -2372 2228 2648 -2408 2504 2200 -2404 -2688 -2256 -2716 2624 -2596 2336 -2416 2596 2164 -2464 -2292 2252 2660 2228 -2700 -2276 -2624 -2316 2408 -2424 -2608 -2452 -2208 -2504 2392 2564 2232 -2656 -2348 2552 -2372 -2300 -2644 -2664 -2376 -2372 2584 2392 -2308 -2664 -2452 2560 -2720 2664 -2200 -2248 2340 2160 -2600 -2448 2624 -2288 2688 -2380 -2532 2676 2340 -2608 -2560 2188 -2664 -2436 2680 -2680 2584 -2272 2680 -2524 2472 -2416 2648 2616 2460 -2356 2300 2680 2372 2444 -2644 -2288 -2672 2160 -2332 -2452 -2664 2200 -2368 -2372 -2332 -2664 2396 -2368 -2720 2300 -2160 -2536 -2600 -2708 2520 -2520 2160 -2216 -2340 2552 2200 -2268 -2340 2556 -2468 2628 -2160 2624 2412 2320 -2216 -2212 2676 2684 2660 2328 -2200 2244 -2620 2444 -2440 2584 -2700 -2668 2476 -2420 -2552 -2276 -2412 2680 -2520 -2488 2600 -2204 -2424 2676 2556 -2720 2612 -2720 -2488 2252 -2616 -2316 -2280 -2624 -2680 2324 2404 2200 -2668 -2592 2580 -2576 -2436 2288 -2476 -2592 2636 -2720 -2564 2396 2268 -2292 2340 -2664 2360 -2488 2652 2348 -2200 -2696 -2444 2488 2460 2592 -2560 -2252 -2396 -2680 -2396 2588 -2508 -2300 2680 -2356 -2168 2204 -2628 -2676 -2480 2584 2408 2428 -2244 -2276 -2484 -2516 -2612 2160 -2644 -2372 2296 2460 -2560 -2396 2204 -2720 2552 -2184 2232 -2260 2624 -2424 2664 -2624 2324 -2596 -2448 2720 -2204 2300 -2404 -2184 -2720 -2276 -2524 2416 -2704 2548 -2280 2316 -2224 2316 -2400 2284 2536 -2316 2644 -2664 2624 -2608 2572 -2720 -2288 2336 -2308 -2304 -2196 -2588 -2532 2548 -2332 -2316 2268 -2260 -2292 -2508 2280 -2412 -2236 2288 -2444 2160 -2200 -2200 -2560 -2712 2440 -2664 -2252 2568 -2276 -2388 2404 -2520 -2532 -2204 -2544 2164 2672 2588 2704 -2544 -2160 -2352 -2636 -2164 -2364 -2664 2564 -2628 2292 2244 2720 -2660 2656 2324 -2636 2656 -2200 2412 -2356 -2636 2332 -2696 -2528 2568 -2656 2632 -2524 -2340 2572 -2316 -2560 2532 2668 2580 -2200 2284 2160 2228 2512 2164 -2200 2584 2604 2584 2376 2184 2376 -2448 -2640 -2208 -2624 2200 -2588 2396 -2292 2588 -2424 -2540 -2628 -2352 2692 -2624 2720 -2564 -2228 -2300 -2356 -2480 -2508 -2320 -2200 -2160 -2288 2672 2284 2620 -2324 -2660 2512 -2332 2624 -2200 -2412 2596 -2528 -2420 -2624 -2452 2452 -2720 2464 -2712 -2608 -2160 -2288 -2492 2680 -2356 -2696 -2220 2516 -2556 2160 2232 -2480 2340 -2624 -2700 -2500 -2316 2420 2648 -2412 2488 -2680 2356 -2268 -2276 2376 -2472 -2164 2436 2628 -2404 -2340 2160 -2192 2660 2444 2284 -2456 2492 -2684 2504 -2328 -2520 -2704 -2572 2392 2344 2660 -2444 2436 2584 -2212 -2452 2656 -2704 -2336 2408 2560 2564 2468 2648 -2420 2592 2652 2380 2316 -2160 2412 -2392 -2664 -2308 -2412 2300 2204 2604 2600 2384 2248 -2664