Name | csp/fapp/fapp21/ normalized-fapp21-0500-9.xml |
MD5SUM | df17b803234115e4f44c4b6c29f818f0 |
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 | 21.9297 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 500 |
Number of constraints | 2852 |
Maximum constraint arity | 2 |
Maximum domain size | 242 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2852 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097801 | SAT | 21.9297 | 22.1132 |
Abscon 112v4 ESAC (complete) | 2097802 | SAT | 22.0287 | 22.1973 |
Concrete 2009-07-14 (complete) | 2083332 | SAT | 25.4371 | 25.7416 |
Sugar v1.14.6+picosat (complete) | 2083335 | SAT | 214.174 | 216.825 |
Sugar v1.14.6+minisat (complete) | 2083336 | SAT | 243.869 | 245.521 |
Mistral 1.545 (complete) | 2083338 | SAT | 288.527 | 288.632 |
Concrete DC 2009-07-14 (complete) | 2083333 | ? | 122.711 | 123.357 |
SAT4J CSP 2.1.1 (complete) | 2083329 | ? | 984.5 | 989.66 |
bpsolver 09 (complete) | 2083339 | ? (exit code) | 32.626 | 32.8192 |
pcs-restart 0.3.2 (complete) | 2083331 | ? (TO) | 1800.09 | 1804.77 |
Choco2.1.1 2009-06-10 (complete) | 2083334 | ? (TO) | 1800.1 | 1807.89 |
Choco2.1.1b 2009-07-16 (complete) | 2116812 | ? (TO) | 1800.15 | 1814.2 |
pcs 0.3.2 (complete) | 2083330 | ? (TO) | 1800.16 | 1806.88 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2636 -2304 -2588 -2404 2660 2660 -2376 -2292 -2624 -2220 -2328 -2480 -2220 -2400 -2528 -2496 -2332 -2232 -2276 -2660 -2416 2680 -2492 -2700 -2660 -2424 -2260 -2456 -2260 -2256 -2700 -2548 -2700 -2220 -2700 -2280 -2588 -2372 -2472 -2612 -2648 -2412 -2696 -2688 -2224 2700 -2600 -2512 -2568 -2368 -2424 -2480 -2280 -2376 -2276 -2296 -2260 -2628 -2324 -2688 -2260 -2612 -2360 -2264 -2536 -2608 -2280 -2476 -2260 -2440 -2416 -2220 -2700 -2344 -2384 -2700 -2408 -2700 2220 -2404 -2356 -2452 -2700 -2432 -2220 2220 -2260 -2700 -2228 -2328 -2580 -2368 -2592 -2600 -2260 -2260 -2288 -2636 -2624 -2220 -2348 -2660 -2220 -2276 -2264 -2360 -2504 -2700 -2296 2636 -2260 -2384 -2648 -2628 -2632 -2220 -2440 -2260 -2240 -2428 -2344 -2360 -2304 -2660 -2440 -2260 -2324 -2220 -2636 -2220 -2488 -2236 2408 -2460 -2260 -2460 -2276 2596 -2260 -2700 -2548 -2412 -2460 -2416 -2600 -2420 -2660 -2700 -2328 -2236 -2560 -2700 -2360 -2220 2260 -2628 -2412 -2260 -2364 -2660 -2220 -2500 -2336 -2424 -2660 -2660 -2416 2420 -2600 -2260 -2364 2532 -2660 -2452 -2660 -2220 -2464 -2524 -2424 -2700 -2660 -2308 -2588 2660 -2400 -2220 -2628 2400 -2564 -2412 -2400 -2336 -2260 2676 -2260 -2584 -2660 -2648 -2260 -2220 -2364 2600 -2700 -2608 -2220 2660 2648 2588 -2660 -2260 -2304 -2400 2248 2648 -2408 -2408 -2260 -2648 -2512 2628 2612 -2472 2316 -2220 2364 2652 -2660 -2672 -2228 -2700 -2372 -2220 -2660 -2660 -2544 -2604 2660 2568 2676 -2412 -2660 -2420 -2360 2688 -2528 -2556 -2444 -2384 -2368 -2448 -2220 2660 -2260 -2324 -2504 -2220 -2468 -2700 2660 -2596 -2660 -2660 -2604 -2348 -2668 -2292 2660 2236 2660 -2220 -2620 -2448 -2288 -2572 -2304 -2288 -2700 -2700 -2324 -2516 -2260 2220 -2500 -2220 2640 -2700 -2660 -2656 -2444 -2560 -2620 -2508 -2300 -2552 -2300 -2260 -2700 -2464 -2384 2700 -2504 -2364 -2572 -2572 -2584 -2320 -2696 -2540 -2220 -2608 -2268 -2372 -2344 -2260 -2400 -2496 -2672 -2296 -2220 -2560 -2400 -2272 -2260 -2420 -2660 -2700 -2456 -2344 -2324 -2424 -2260 -2700 -2656 -2544 -2464 -2444 -2252 -2548 -2260 -2416 -2540 2528 -2460 2520 -2384 -2340 -2308 -2700 -2376 -2660 2492 -2660 -2484 -2220 -2220 2500 -2584 -2384 2700 2588 -2344 -2584 -2596 -2700 -2380 -2464 -2492 -2260 -2220 -2512 -2460 -2684 -2260 -2524 -2352 -2568 -2644 -2452 -2348 2660 -2588 -2220 -2236 -2296 -2520 -2260 -2348 -2532 -2260 -2256 -2588 -2628 -2220 -2252 -2640 -2336 -2632 -2284 -2320 2360 -2572 -2668 -2336 -2660 -2580 2640 -2460 -2220 -2344 -2220 2628 -2224 -2608 -2700 -2456 -2532 -2700 -2660 -2260 -2260 -2464 -2640 2636 -2300 -2448 -2640 -2500 -2392 -2700 -2220 -2484 -2340 -2220 -2268 -2260 -2520 -2404 -2376 -2700 2552 -2388 -2432 -2484 -2688 -2676 2220 -2276 -2388 2660 -2344 -2504 -2660 -2460 -2600 -2700 -2248 -2288 -2588 -2296 -2700 -2304 -2296 -2660 -2260 -2648 -2628 -2480 -2260 -2420 2392 -2404 -2700 -2564 -2504 -2220 -2236 -2316 -2660 -2700 -2336 -2260 -2280 -2700 -2364 -2240 -2408 -2276 -2700 2532 -2260 -2240 -2420 -2256 -2624 -2236 -2296 -2540 -2552 -2276 -2372