Name | csp/fapp/fapp17/ normalized-fapp17-0300-1.xml |
MD5SUM | 73dece1b19758e876aa500d620069f40 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 11 |
Best CPU time to get the best result obtained on this benchmark | 3600.01 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 3865 |
Maximum constraint arity | 2 |
Maximum domain size | 302 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3865 |
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 | 1114091 | MSAT (TO) | 11 | 3600.01 | 3601.53 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114092 | MSAT (TO) | 11 | 3600.08 | 3601.52 |
AbsconMax 112 pc-w | 1114093 | ? | 92.5599 | 92.6795 | |
AbsconMax 112 pc-d | 1114094 | ? | 98.718 | 99.7211 | |
Sugar++ v1.13+minisat-inc | 1114095 | ? (MO) | 98.1561 | 100.182 | |
Sugar v1.13+minisat | 1114096 | ? (MO) | 98.3058 | 100.535 |
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: 11-2640 -2180 2356 2592 -2544 2400 -2608 2460 -2396 -2132 2176 2460 2608 2460 2416 2136 -2544 2628 2380 2136 -2600 2520 -2200 2456 -2372 2284 2492 2692 -2380 -2496 -2424 2460 -2528 2504 2720 2588 -2440 -2128 2680 2604 -2424 -2600 2652 -2504 2536 2304 -2560 2536 -2420 2456 2500 -2652 -2496 -2284 -2176 2720 -2220 2644 -2228 2456 -2664 2288 2504 -2136 -2396 2176 2536 2568 2296 2680 -2628 2376 -2176 -2328 -2176 -2416 -2536 -2176 2256 2256 2420 -2628 -2692 -2504 2544 -2516 2460 2676 2552 -2504 2612 2136 2168 -2120 2316 -2168 2416 2416 2604 2456 -2456 -2420 -2356 2456 -2368 -2680 2380 -2668 -2496 -2656 -2184 -2360 2164 2720 -2176 -2160 -2380 2164 -2140 2324 2256 -2680 -2336 -2656 -2544 -2420 -2136 2504 2264 -2504 2416 -2720 2500 2240 -2152 2504 2124 -2232 2612 2416 2324 -2316 -2504 2568 2144 -2668 2176 2692 -2420 2368 2544 2480 2568 2456 2528 -2180 2544 -2136 -2420 -2644 -2324 -2136 2616 -2184 2456 2456 -2208 2276 -2544 2376 2456 2668 -2692 2616 2704 2568 -2328 2652 -2668 2544 2164 -2420 2652 -2276 -2524 -2400 2200 -2460 2268 -2396 -2420 -2652 -2168 -2476 -2324 2244 2636 -2608 2332 -2504 2524 -2288 2436 -2628 -2284 -2416 -2144 2204 -2496 2136 2396 -2416 -2652 2640 -2484 -2120 2416 2296 2384 -2124 -2668 2420 -2440 2124 2316 2272 -2548 -2304 -2416 2396 -2504 -2480 -2284 -2380 2708 -2496 2172 -2472 2208 2132 2456 2536 -2416 2160 -2488 -2628 -2608 -2416 2416 2544 2132 2628 2384 2264 -2568 -2416 -2484 -2172 2524 -2544 2220 -2172 -2496 2376 -2588 -2296 2332 -2136 -2628 2568 2456 2292 -2668 2544 2448 -2144 -2456 2184 2176 -2456 -2440 2628 2508 2512 -2416 2192 2532 -2180 2484 -2164 2532 2492 2284 -2248 -2436 2276 2248 2240 2668 2436