Name | csp/fapp/fapp01/ normalized-fapp01-0200-2.xml |
MD5SUM | 8958f22ef51eff112eba2674fcf8e386 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 4 |
Best CPU time to get the best result obtained on this benchmark | 3600.01 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2053 |
Maximum constraint arity | 2 |
Maximum domain size | 190 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2053 |
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 | 1112963 | MSAT (TO) | 4 | 3600.01 | 3612.02 |
AbsconMax 112 pc-w | 1112965 | MSAT (TO) | 9 | 1622.43 | 4000.3 |
AbsconMax 112 pc-d | 1112966 | MSAT (TO) | 9 | 1641.28 | 4000.06 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112964 | MSAT (TO) | 12 | 3600.01 | 3600.02 |
Sugar v1.13+minisat | 1112968 | MSAT (TO) | 186 | 3600.15 | 3605.68 |
Sugar++ v1.13+minisat-inc | 1112967 | MSAT (TO) | 196 | 3600.23 | 3613.3 |
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: 42596 -2420 -2584 -2544 2304 2512 2468 2528 2460 -2324 2284 2552 2416 -2388 -2488 2508 -2620 2544 -2288 -2644 -2620 -2536 -2320 -2548 -2544 -2452 -2656 -2648 2640 2428 -2604 2468 2616 -2356 -2496 -2504 -2600 2544 -2424 -2436 2544 2328 -2512 -2420 -2424 -2412 -2528 -2588 -2460 -2588 2456 2616 -2344 -2484 2320 2344 2368 2420 2404 2328 2508 2344 -2460 -2504 2412 -2492 -2520 -2436 2604 -2336 2580 2364 2640 2532 2320 2608 -2300 -2580 -2592 2328 2288 2280 2280 -2444 2544 -2564 2560 2584 2476 -2564 2340 2444 -2568 -2528 -2512 2472 -2532 -2480 2584 -2644 2584 2648 2512 -2496 -2556 -2456 2548 -2520 -2344 -2344 2480 -2288 2372 2656 -2328 2520 2432 2616 -2396 -2628 2472 -2544 2404 2324 -2284 2308 -2424 -2416 2332 2464 2592 -2656 2428 2464 2324 2480 -2556 2304 -2640 -2608 -2348 -2604 -2456 -2280 -2464 2552 2376 -2612 -2364 -2292 2548 2616 2504 2456 -2544 -2404 -2600 -2288 -2472 -2604 2416 2504 2568 2408 2656 -2632 -2492 2424 2600 -2464 -2284 2576 -2300 -2396 -2340 -2340 2516 -2376 -2380 -2384 -2568 -2384 2624 2284 -2652 -2608 -2416 2320 2584 2416 -2440 2324 -2304 -2616 -2372 -2588 -2412 2472 -2280 -2536