Name | csp/fapp/fapp03/ normalized-fapp03-0300-4.xml |
MD5SUM | 20a4b386543d008e4a5d9418ad2d042b |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 18 |
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 | 1113071 | MSAT (TO) | 18 | 3600.02 | 3629.52 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113072 | MSAT (TO) | 37 | 3600.04 | 3601.22 |
AbsconMax 112 pc-d | 1113074 | ? | 150.758 | 152.01 | |
AbsconMax 112 pc-w | 1113073 | ? | 158.058 | 159.321 | |
Sugar v1.13+minisat | 1113076 | ? (MO) | 98.4 | 101.343 | |
Sugar++ v1.13+minisat-inc | 1113075 | ? (MO) | 106.811 | 109.723 |
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: 18-2352 -2612 -2616 2432 2340 2256 2532 -2332 2352 2384 -2296 -2168 2240 -2408 -2608 -2528 2632 -2564 -2648 2648 -2168 -2440 2204 2236 -2592 2244 -2368 -2520 2200 -2456 -2292 -2496 -2612 2444 2604 -2604 -2520 -2392 -2168 2560 -2280 2360 2276 2184 2160 2520 2592 -2160 2196 2280 -2640 -2612 2184 -2560 -2444 2320 2616 -2480 2552 2316 -2444 -2624 -2628 2264 2372 2424 -2484 -2544 2504 -2480 -2468 -2472 -2456 -2600 -2448 -2208 2464 -2612 2232 -2552 2164 2516 -2272 -2312 -2172 2616 -2492 2456 2576 -2300 -2384 2420 -2616 -2568 -2520 2476 -2652 -2200 2528 -2636 -2376 -2572 -2384 -2592 2344 2284 2588 2340 -2632 2408 -2488 -2652 2160 2500 2464 -2344 -2656 2516 2224 2568 2404 2608 2264 -2224 -2252 2644 -2656 -2516 2264 2368 -2484 2572 -2640 2416 -2456 -2524 -2584 -2496 -2280 -2356 -2168 2476 -2524 -2464 -2632 -2212 2160 -2332 2204 2572 -2540 -2284 -2608 2540 -2568 -2560 -2520 2220 2560 -2560 -2516 2220 -2608 -2180 -2336 2236 2376 -2568 -2348 2340 -2328 -2432 -2608 -2488 2456 2608 2424 2584 2612 -2552 -2356 2508 -2552 2652 -2624 -2584 -2200 2268 2160 2508 -2592 2584 -2416 2324 2576 -2372 -2396 -2384 -2576 2236 -2508 2608 2396 2568 -2468 2484 -2536 2432 -2364 -2624 2208 2448 -2224 2528 -2600 -2564 2576 2424 -2388 -2572 2440 2160 -2596 2640 2260 -2592 2584 2312 2580 -2468 2604 -2208 -2544 2436 2472 -2536 -2416 2336 2312 -2224 -2612 2504 -2408 2200 -2320 -2612 2652 2556 2600 -2612 -2556 -2552 -2588 -2616 -2200 2460 2484 -2568 -2632 2288 2380 -2592 2612 2600 2444 2272 -2592 -2368 2440 -2644 2424 2464 2524 2480 -2656 2200 2432 -2604 -2488 2416 -2612 2448 2392 -2224 2196 -2228 -2240 -2376 2244 -2392 2608 2180 2640 -2568 -2324 -2616 2300 -2572 -2484 2408