Name | csp/fapp/fapp03/ normalized-fapp03-0300-0.xml |
MD5SUM | 794a2318e84f02e396222d8183c60eb7 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 23 |
Best CPU time to get the best result obtained on this benchmark | 3600.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 4377 |
Maximum constraint arity | 2 |
Maximum domain size | 250 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 4377 |
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 | 1113065 | MSAT (TO) | 23 | 3600.02 | 3604.02 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113066 | MSAT (TO) | 81 | 3600.05 | 3618.52 |
AbsconMax 112 pc-d | 1113068 | ? | 259.121 | 262.93 | |
AbsconMax 112 pc-w | 1113067 | ? | 278.74 | 282.448 | |
Sugar v1.13+minisat | 1113070 | ? (MO) | 99.1906 | 166.653 | |
Sugar++ v1.13+minisat-inc | 1113069 | ? (MO) | 104.847 | 107.292 |
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: 23-2408 -2612 2616 2412 -2384 2268 2528 2348 2392 2412 -2308 2216 2316 -2444 -2616 -2540 -2364 -2560 -2652 2616 -2160 -2440 2220 2304 -2596 2300 -2332 -2516 2232 -2460 -2252 -2504 2604 2448 -2616 -2592 -2516 2456 -2224 -2556 -2248 -2396 2268 2272 -2192 -2520 -2592 -2160 2184 2276 -2640 -2612 -2192 -2556 -2436 2356 -2568 -2476 -2552 -2356 -2436 -2624 2524 -2252 -2388 2464 -2468 -2532 2512 -2480 -2480 -2508 2524 -2600 -2480 -2176 -2488 -2612 2248 -2560 2180 -2520 -2252 -2292 -2204 2612 -2488 2468 -2576 -2332 -2372 2412 -2616 -2568 -2520 2480 -2652 -2200 2528 -2640 -2372 -2572 -2360 -2600 2320 2232 2564 2348 -2632 -2400 -2488 -2656 2160 2500 2504 -2332 -2652 -2512 2224 2564 2408 -2612 2264 -2212 -2292 2640 -2628 -2512 -2252 2404 -2476 -2572 -2640 -2444 -2464 2532 -2584 -2508 2364 2404 2208 2480 -2520 -2472 -2632 -2164 2204 -2340 -2340 -2572 -2540 -2336 2604 2524 -2576 -2560 -2516 2244 -2556 -2560 -2520 2276 -2612 2236 -2332 -2224 2404 -2568 -2416 2292 -2360 -2496 -2608 -2520 -2460 -2612 2492 -2572 -2608 -2560 -2396 -2520 -2568 2644 -2624 -2584 -2252 2340 2212 2512 -2592 -2584 2484 2192 -2568 -2380 -2444 2532 -2560 2308 -2520 2608 2408 -2572 -2480 2492 -2528 2440 -2380 -2624 2184 -2440 -2312 -2528 -2600 -2576 -2556 2452 2456 -2572 -2436 2236 -2600 2616 2324 -2608 -2584 -2320 2564 -2472 2600 -2200 -2544 2448 2480 -2520 -2420 2376 2352 -2212 -2612 -2504 -2372 -2200 -2324 -2640 2644 -2552 2588 -2612 -2552 -2552 -2488 -2596 2276 2452 -2476 -2572 -2636 -2320 2388 -2600 2604 2576 -2436 -2280 -2592 -2416 2452 2648 2448 -2464 -2508 -2492 -2656 2164 2468 2608 2500 -2420 -2616 2448 2368 2232 2264 2300 -2208 2416 2296 2452 2576 2204 2628 -2568 -2340 2588 -2344 -2572 -2476 2456