Name | csp/fapp/fapp17/ normalized-fapp17-0300-0.xml |
MD5SUM | 973dbc41041e1781c07a539cb8e93a5d |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 12 |
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 | 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 - Tabu Engine 2008-05-30 | 1114098 | MSAT (TO) | 12 | 3600.04 | 3606.72 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1114097 | MSAT (TO) | 12 | 3600.1 | 3602.43 |
AbsconMax 112 pc-w | 1114099 | ? | 95.6815 | 96.2265 | |
AbsconMax 112 pc-d | 1114100 | ? | 96.7113 | 97.7658 | |
Sugar++ v1.13+minisat-inc | 1114101 | ? (MO) | 94.6976 | 96.1326 | |
Sugar v1.13+minisat | 1114102 | ? (MO) | 98.1269 | 101.216 |
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: 12-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 -2668 -2228 -2456 -2664 -2288 -2504 2136 -2396 2176 -2536 2568 -2296 2680 2628 -2376 -2176 -2328 -2176 2416 -2536 2160 2256 2256 -2420 -2628 -2692 2504 -2544 2516 -2460 -2676 -2552 -2504 2612 -2136 -2168 -2120 2316 2168 -2416 2416 2708 -2456 2456 -2420 -2356 -2456 2368 2680 2380 2668 2496 -2576 -2184 -2360 2124 -2720 -2176 2160 -2380 -2164 -2140 2324 2256 -2656 -2336 -2656 2544 -2420 2136 2504 2264 -2504 -2416 -2616 2500 -2240 -2152 2504 -2164 -2232 -2612 2416 -2324 -2316 2504 -2568 2144 2668 -2176 -2692 -2420 -2368 2544 -2480 -2568 2456 2528 -2180 -2544 2136 -2420 -2644 -2324 2120 2616 2184 -2456 2456 -2208 -2276 -2544 -2376 2456 -2668 2692 -2616 2704 -2568 -2328 -2652 2668 -2544 -2160 -2420 -2652 2276 -2524 -2400 -2200 2676 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 -2120 -2668 -2420 2440 2124 2316 -2272 2548 -2304 2416 -2396 -2504 2480 -2284 -2380 -2628 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