Name | csp/fapp/fapp04/ normalized-fapp04-0300-0.xml |
MD5SUM | 3d5c26105aab0ca21b22d7bc9b077a6e |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 16 |
Best CPU time to get the best result obtained on this benchmark | 3600.04 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 3360 |
Maximum constraint arity | 2 |
Maximum domain size | 270 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3360 |
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 | 1112939 | MSAT (TO) | 16 | 3600.04 | 3613.92 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112940 | MSAT (TO) | 74 | 3600.03 | 3624.32 |
Sugar v1.13+minisat | 1112944 | ? | 82.8414 | 328.197 | |
AbsconMax 112 pc-d | 1112942 | ? | 165.45 | 166.621 | |
AbsconMax 112 pc-w | 1112941 | ? | 167.517 | 168.395 | |
Sugar++ v1.13+minisat-inc | 1112943 | ? (MO) | 80.2458 | 87.9746 |
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: 16-2644 -2460 -2232 2160 -2272 2452 -2652 2296 -2664 -2456 -2696 2516 2548 -2324 -2432 -2456 2516 -2508 2164 -2328 -2284 -2628 2332 2200 2256 -2564 -2300 -2436 -2232 -2552 -2316 2592 2524 2588 2420 -2252 -2548 2200 -2624 2164 2192 2460 -2584 -2292 -2260 2304 -2544 -2564 -2404 -2624 2284 -2612 -2636 -2468 2252 2632 -2224 -2200 -2428 2684 2372 2200 2204 2556 2688 -2524 -2564 -2684 -2456 -2344 2576 -2272 -2272 2212 2160 -2588 -2636 -2592 -2424 -2312 -2544 2164 2588 2628 -2412 -2696 -2564 2548 2416 -2160 -2692 -2636 -2696 -2508 -2316 2276 -2532 2160 -2692 -2420 -2416 2508 2656 2476 2384 2444 2380 -2584 -2564 -2632 -2212 -2588 2428 -2676 -2276 -2664 2572 2584 -2344 -2588 -2676 2676 -2524 -2648 -2624 -2416 -2476 2644 2204 -2532 -2632 -2232 -2528 -2656 -2300 2284 -2316 -2252 2656 -2548 2312 2164 -2628 2324 -2524 2404 2172 -2528 -2344 -2656 -2316 2644 2224 2388 -2324 -2564 2348 -2584 -2348 -2596 -2356 -2344 -2384 -2576 -2336 2616 2220 -2644 2572 2480 -2588 2640 2688 -2596 -2684 -2220 2696 -2324 -2340 2656 2516 2224 -2356 -2376 2300 -2640 2500 2200 -2664 2616 2264 2540 2288 -2664 2568 2160 -2600 2512 2492 2656 2456 -2600 -2524 -2420 -2676 -2672 2172 2424 -2476 -2296 -2364 2636 2180 2200 2380 -2564 -2524 -2356 -2204 2492 -2624 2392 -2568 -2504 -2576 -2388 2296 2512 -2436 2636 -2672 -2544 2304 -2636 -2628 -2596 2444 -2624 -2384 2160 2648 2200 -2676 2476 -2472 2416 2272 2428 2468 2616 -2316 -2340 -2292 2684 2212 -2256 -2612 2460 -2696 -2628 2612 -2524 -2636 -2416 -2696 -2420 -2664 -2524 -2572 2160 2548 -2264 -2380 2340 2520 2476 -2628 -2264 2564 2160 2588 -2524 2572 2588 2588 -2636 2272 -2388 -2624 -2544 -2372 -2484 -2412 2232 -2180 2304 -2532 -2652 -2404 -2340