Name | csp/fapp/fapp02/ normalized-fapp02-0250-0.xml |
MD5SUM | 629efecb0eb59f0ce6ca410b2a2aa039 |
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.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 250 |
Number of constraints | 3055 |
Maximum constraint arity | 2 |
Maximum domain size | 210 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3055 |
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 | 1112957 | MSAT (TO) | 16 | 3600.02 | 3617.93 |
AbsconMax 112 pc-d | 1112960 | MSAT (TO) | 26 | 1727.15 | 4000.06 |
AbsconMax 112 pc-w | 1112959 | MSAT (TO) | 26 | 1734.37 | 4000.09 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112958 | MSAT (TO) | 48 | 3600.06 | 3610.52 |
Sugar v1.13+minisat | 1112962 | MSAT (TO) | 474 | 3600.34 | 3619.44 |
Sugar++ v1.13+minisat-inc | 1112961 | No Cert. | 181.946 | 183.003 |
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: 162428 2488 2580 2292 -2528 2280 -2500 -2380 -2280 -2264 -2644 -2256 2600 -2516 -2368 -2504 2468 -2448 2584 -2576 2444 2512 2508 -2616 -2292 -2412 -2332 -2312 -2388 -2520 -2512 -2256 -2460 -2412 2260 2512 -2552 -2284 -2616 -2240 -2564 2324 -2416 -2436 2364 -2624 -2408 -2556 2296 -2292 -2516 -2576 2280 -2624 -2624 -2512 -2552 -2460 -2580 2360 2524 -2372 -2588 -2560 -2436 2592 -2436 -2416 2296 -2356 -2376 -2436 2244 -2636 2488 -2524 -2572 2256 -2444 -2564 -2564 -2556 -2580 -2656 2548 -2620 2452 2400 2616 2472 -2524 2284 2448 -2312 -2432 -2396 -2248 -2636 -2420 -2368 2656 -2420 2380 -2332 2616 2620 2528 -2644 -2520 2488 2484 -2432 -2620 2520 2624 -2576 -2372 2628 -2500 2420 2244 2304 2548 -2412 2596 -2476 2584 2472 -2512 -2460 -2300 2596 -2280 -2580 -2584 2612 -2596 -2396 -2392 2656 -2460 2472 -2612 -2480 2240 -2412 -2420 -2616 -2620 -2596 -2524 -2420 -2272 2568 -2584 2240 -2580 2268 2656 -2316 -2568 2552 -2472 -2604 -2500 -2292 -2604 2520 -2576 -2396 -2308 -2556 2376 2632 -2484 -2472 -2548 -2492 -2556 -2368 -2472 -2348 -2588 -2356 -2644 2616 -2592 -2616 -2332 -2332 -2516 2640 -2544 -2616 -2576 -2332 -2556 2276 -2556 -2472 -2592 -2596 -2508 -2408 -2608 -2648 -2608 -2472 -2616 -2332 2468 2624 2512 2452 -2396 -2592 -2396 -2472 -2380 2288 2272 2452 -2604 -2584 -2240 2316 -2512 -2604 2644 -2620 -2564 -2292 2548 2380 2428 -2380 -2368 -2408 -2432 -2500 -2528 -2516 2588 -2332 -2560 -2408 -2292 -2296 2652 -2292