Name | csp/fapp/fapp06/ normalized-fapp06-0500-0.xml |
MD5SUM | 744c0dba383c6f3a8251a2e0da8b7c1e |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 28 |
Best CPU time to get the best result obtained on this benchmark | 3600.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 500 |
Number of constraints | 6531 |
Maximum constraint arity | 2 |
Maximum domain size | 290 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 6531 |
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 | 1112837 | MSAT (TO) | 28 | 3600.09 | 3633.62 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112838 | MSAT (TO) | 127 | 3600.05 | 3634.52 |
AbsconMax 112 pc-w | 1112839 | ? | 196.916 | 197.395 | |
AbsconMax 112 pc-d | 1112840 | ? | 197.517 | 198.342 | |
Sugar++ v1.13+minisat-inc | 1112841 | ? (MO) | 210.818 | 228.927 | |
Sugar v1.13+minisat | 1112842 | ? (MO) | 275.704 | 310.576 |
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: 282564 -2300 -2672 2464 2272 -2524 -2168 -2440 2340 -2568 -2584 2348 -2564 2480 2668 2556 2232 -2604 2188 -2324 -2440 2340 2288 2680 -2696 2656 -2420 2180 -2140 2412 2628 2356 2556 2448 2616 -2588 2332 -2436 2144 2180 2348 2308 2584 -2460 2404 -2712 -2512 2600 -2468 -2404 2380 -2380 -2476 2428 -2140 2232 2440 2604 2552 2412 -2612 -2544 2400 2572 2660 2560 2612 -2656 2480 2408 -2148 -2204 -2140 -2284 2496 -2248 2304 -2696 -2180 2404 2324 2384 -2344 2564 2712 2480 -2604 2340 2696 -2256 2456 2552 2716 2576 -2416 -2464 2272 -2232 2504 2472 -2436 -2428 -2636 2164 -2644 2372 2716 -2432 2696 2696 2596 2620 2660 -2440 2600 2284 2576 -2400 2652 2296 -2524 2552 -2180 -2436 -2144 -2564 2676 -2184 2656 -2548 2396 2440 2536 -2312 -2332 2424 -2288 2420 2204 -2260 2272 2608 -2144 2476 -2428 2620 -2476 2512 -2560 2244 2140 -2564 2552 -2456 2420 -2704 2168 2440 2184 2360 2712 -2548 2652 2616 -2476 -2668 2480 2652 -2372 -2148 2288 2468 2652 2616 2392 -2144 -2544 -2256 2212 -2328 2660 -2588 -2520 -2260 2608 -2388 2672 2508 2468 2216 2696 2308 2352 2536 2624 -2308 2216 2428 -2352 -2664 -2620 2280 -2184 2184 2524 2536 2568 -2604 2232 2716 2344 -2676 2312 -2364 2616 2512 2496 2448 -2524 2444 2580 2640 2464 -2668 -2564 -2564 2440 2560 -2140 -2464 2496 -2600 -2404 2572 2368 -2328 2616 -2628 2284 2620 -2144 2308 2180 -2688 2472 2512 2384 -2652 2148 2424 -2596 2524 2472 2512 2692 2340 2524 -2416 2344 2516 2600 2460 -2656 2468 2468 2348 -2668 -2244 -2184 2524 2516 2188 -2472 2440 2384 2356 -2580 -2428 -2624 2672 2444 -2600 2312 2572 2656 -2380 -2412 2336 2212 -2708 -2452 2660 2580 -2244 2656 2304 -2232 2380 2400 2380 2424 -2704 -2164 2324 2528 2312 -2164 2536 -2332 -2708 2272 2568 2676 2284 2552 2540 2696 2264 -2636 2668 -2252 -2544 2204 2700 2560 2612 2468 2716 2348 -2240 2524 -2672 2444 -2140 2652 -2632 2612 2564 2324 2140 2352 2528 2692 2700 2280 -2632 2580 2272 2480 -2496 2700 2656 -2496 2576 -2444 -2220 2352 -2352 2208 2700 2352 -2180 2512 2220 -2664 -2596 2512 -2428 2300 2312 2572 2660 2436 -2588 2692 -2552 2512 2224 2548 -2180 2344 -2644 -2140 2552 2292 2576 2360 2640 2140 2656 2408 -2676 -2244 -2372 2508 2540 2496 2324 -2184 2612 2576 -2400 2180 -2564 2204 -2352 2584 2648 -2676 2264 2512 2660 2536 2356 2204 -2680 2204 2552 -2648 2480 2268 -2676 2384 2716 2696 2364 2560 2396 2604 -2692 2252 2188 -2596 2652 -2452 -2464 -2512 2340 2272 -2716 -2208 -2312 -2612 -2512 2572 2480 2692 2656 2468 -2692 2564 -2240 -2560 2172 2284 2564 2524 2504 -2556 -2692 -2312 2200 -2452 2564 2420 2672 -2268 2484 -2428 2652 -2388 2300 -2476 2516 2696 2468 -2180 2512 2476 -2656 -2260 -2316 2284 2612 2572 2484 2192 2180 -2372 2476 -2436 2496 2408 2536 2424 2308 -2616 2240 -2664 2536