Name | csp/fapp/fapp08/ normalized-fapp08-0700-4.xml |
MD5SUM | 40ccc1d0ec371372bfe35ce6b8f3e8ae |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 17 |
Best CPU time to get the best result obtained on this benchmark | 3600 |
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 | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112807 | MSAT (TO) | 17 | 3600 | 3618.12 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112808 | MSAT (TO) | 58 | 3600.01 | 3631.92 |
Sugar v1.13+minisat | 1112812 | ? | 201.564 | 207.955 | |
Sugar++ v1.13+minisat-inc | 1112811 | ? | 203.859 | 211.578 | |
AbsconMax 112 pc-w | 1112809 | ? | 211.484 | 213.606 | |
AbsconMax 112 pc-d | 1112810 | ? | 213.467 | 214.42 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 172624 -2592 2404 2592 2712 2316 -2436 2416 -2280 -2296 -2376 -2608 -2224 2260 -2300 2344 -2304 2592 -2580 2576 -2516 2672 2648 2380 2696 -2700 -2368 2492 2520 2688 -2424 -2492 2396 2476 -2320 -2216 2212 -2264 -2408 2264 -2576 2440 2448 2208 2388 2320 2372 2568 -2360 -2160 -2456 2488 2620 2184 2720 -2680 -2200 -2224 -2516 2456 2160 2720 2444 2552 -2660 2700 -2432 -2420 -2632 -2592 2636 -2216 -2508 -2380 -2244 -2660 2412 -2368 2504 2320 2588 2404 -2244 -2524 -2180 -2680 -2300 2564 2256 2344 2708 2564 2680 2680 2656 -2272 -2304 2316 -2704 2556 -2164 -2720 2504 2312 -2188 -2680 -2204 2700 -2160 -2680 -2168 -2604 2224 -2332 -2616 2396 2384 -2332 -2544 -2200 2640 2320 -2448 2680 -2380 -2384 2488 2496 2292 2176 -2472 2600 2536 -2344 2296 2336 -2380 -2576 -2492 2172 -2620 -2232 2176 -2176 2200 2424 -2540 -2592 -2352 -2632 -2644 2408 -2652 2160 -2348 2436 2376 -2680 2596 2396 -2608 -2552 -2560 -2604 -2360 2680 2628 -2392 -2580 2364 2200 2720 -2452 -2624 2596 2588 -2576 2668 -2680 2656 -2720 2604 -2448 -2400 2500 -2640 2548 2356 2184 -2204 2164 -2368 2476 -2456 2664 -2516 -2484 2552 2292 -2548 -2676 2344 2388 -2356 2608 2452 -2528 2680 2548 2528 -2360 2376 2664 -2280 2428 -2336 2164 -2432 -2524 2604 -2304 -2372 -2296 2308 -2680 2540 -2328 2260 2516 2224 -2392 2660 2232 -2384 -2216 -2656 -2424 -2504 2720 -2404 -2668 -2232 -2592 2604 2672 -2336 -2336 2616 2212 -2340 -2316 -2256 -2596 2200 2692 -2300 -2624 2316 2460 2400 -2680 -2476 -2160 2504 2400 -2548 -2244 2632 2164 -2416 2412 -2408 -2644 2664 2224 2344 -2600 -2420 2204 2716 2476 -2576 -2668 2416 2408 -2308 2356 -2168 -2596 2464 -2600 -2288 -2620 -2344 -2556 -2632 -2448 2532 2556 2160 2616 2408 -2720 2656 -2568 -2160 2676 2504 -2536 -2480 2660 -2600 2476 -2360 2292 -2720 2416 -2480 -2696 2268 -2652 2176 2272 -2472 -2660 2208 2308 2392 2300 2624 -2272 2420 -2680 2276 -2236 2508 -2568 -2676 -2536 -2516 2172 -2204 2316 2504 -2308 2212 2352 -2584 2452 2572 -2200 2656 -2432 2200 2680 2216 2568 -2684 -2628 2444 -2200 2236 -2648 -2452 -2496 -2568 2476 2628 -2352 2304 -2628 -2160 2432 -2564 -2600 2688 2564 2160 2164 -2632 2524 -2416 2576 2600 -2488 -2276 2640 2320 2364 -2560 2708 -2160 2440 -2208 2532 2544 2588 2640 2428 -2404 -2468 -2588 2672 -2696 -2556 2356 2204 2256 -2304 2552 2384 2468 2636 -2328 -2200 -2552 -2392 -2500 2492 -2512 -2568 2296 -2224 2448 2496 -2608 2576 2344 2456 2356 2272 2172 -2628 2664 2420 -2620 2464 -2336 2172 -2336 2660 -2472 2644 2320 2720 2348 -2296 -2472 2540 2400 -2376 -2720 -2580 -2228 -2184 2252 -2612 2444 2548 -2592 2412 2624 -2460 2488 2160 -2312 2380 2164 -2716 -2280 -2700 -2408 2680 2616 2216 2396 -2204 -2296 -2344 2276 2528 -2336 2548 2628 2588 2648 2564 2720 2252 -2348 2204 2244 2204 -2628 -2524 2568 2352 -2244 2264 2340 -2380 -2488 2160 -2452 -2200 2172 -2468 2160 2588 -2196 -2556 -2692 2388 -2664 2420 2560 -2420 2368 2428 2536 -2504 2212 -2544 -2200 -2680 2588 -2704 2468 2176 2360 -2632 2720 -2364 2720 2544 -2588 -2312 2252 2604 2608 -2644 -2312 2676 2680 2360 2384 -2356 2576 2388 2684 2568 -2592 -2640 -2640 2428 -2452 2628 2380 -2560 2544 2716 2516 -2216 -2356 2396 -2204 -2420 -2176 -2616 2572 -2604 -2552 2520 -2220 -2340 2452 2672 -2380 -2624 2200 -2564 -2432 -2312 2588 -2360 2556 -2628 -2380 2676 2528 2720 -2584 -2164 -2316 2356 2496 2492 -2404 2200 -2160 2404 2680 -2216 2616 2316 2660 -2376 -2204 -2664 2212 2424 2484 -2720 -2436 2592 2336 2300 2680 -2320 2720 -2620 2680 2256 2468 2720 2356 -2696 2272 2464 -2668 2168 2200 -2496 2344 -2620 -2556 2476 2308 -2400 2720 -2376 -2608 2560 2456 2276 -2348 -2368 2380 -2336 -2232 -2588 2432 -2340 -2348 -2204 2660 2304 2272 2368 2528 -2508 -2428 2216 2564 -2680 -2544 2340 -2348 2516 2420 2428 -2580 -2200 -2436 2544 2668 2184 -2348 -2528 -2468 -2376 2628 -2420 -2620 -2536 2412 -2396 -2160 2340 -2440 2664 2292 2328 2300 -2216 -2588 2580 -2204 2248 2624