CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp08/
normalized-fapp08-0700-10.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp08/
normalized-fapp08-0700-10.xml
MD5SUM8d6ee339ced60fef54ae03150e03169e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark23.6924
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of constraints7122
Maximum constraint arity2
Maximum domain size282
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7122
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271085811SAT 23.6924 23.9933
Abscon 112v4 AC1085824SAT 32.4411 32.7017
Abscon 112v4 ESAC1085825SAT 32.4841 32.8225
cpHydra k_401085827SAT 41.4777 41.7693
cpHydra k_101085826SAT 42.5175 43.4838
Mistral-prime 1.3131085821SAT 70.6753 71.313
Concrete + CPS4J 2008-05-301085809SAT 125.081 126.274
choco2_dwdeg 2008-06-261085817SAT 372.206 374.135
choco2_impwdeg 2008-06-261085816SAT 383.751 384.157
MDG-probe 2008-06-271085810SAT 490.187 490.582
Sugar v1.13+picosat1085813SAT 760.074 775.844
SAT4J CSP 2008-06-131085812? 792.959 797.95
galac E1085819? (problem) 0.438932 0.596643
galac M1085818? (problem) 0.45293 0.951363
Sugar v1.13+minisat1085814? (MO) 103.752 105.384
Concrete + CSP4J - WMC Engine 2008-05-301085808? (TO) 1800 1808.52
Concrete + CSP4J - Tabu Engine 2008-05-301085807? (TO) 1800.02 1807.92
Minion/Tailor 2008-07-041105512? (TO) 1800.02 1804.82
bpsolver 2008-06-271085815? (TO) 1800.05 1803.71
casper zito1085823? (TO) 1800.05 1814.61
Mistral-option 1.3141085820? (TO) 1800.06 1813.52
casper zao1085822? (TO) 1800.1 1802.35

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:
2328 -2584 -2404 2484 2552 2564 -2632 -2448 -2616 -2352 2408 -2608 -2720 -2260 -2524 2444 -2448 -2696 -2624 2160 2608 -2200 -2440 -2248 2572
-2664 2412 2492 -2616 -2656 2208 2252 -2380 2592 2368 -2320 -2480 2160 2412 -2340 -2628 -2240 -2292 -2720 -2476 -2308 -2468 -2200 -2268 2336
-2492 -2504 -2596 -2328 -2204 -2612 -2480 -2312 -2444 -2396 -2324 -2564 -2452 2548 2520 2616 2356 2608 2216 2568 -2676 -2200 2300 -2556 2160
-2660 2408 -2408 -2572 -2480 -2584 -2412 2372 -2592 -2388 2468 -2520 2408 2312 -2256 2492 -2664 2692 -2676 -2612 -2348 2480 2192 -2720 -2648
-2172 2160 -2572 -2236 2184 -2712 -2684 -2700 -2320 -2680 2680 2664 -2200 -2484 -2620 -2484 2296 -2384 -2648 -2280 2620 -2656 -2460 -2624
-2316 2484 2452 2440 -2260 2160 2396 2668 -2668 2440 2168 -2404 -2716 -2584 -2164 -2548 -2676 -2388 -2220 -2304 2364 -2528 -2684 2452 -2436
2160 -2556 2448 -2396 -2720 -2212 -2440 2340 2720 -2668 -2408 2160 -2492 2300 2588 -2700 -2720 -2652 -2476 -2592 -2520 2160 -2720 -2276
-2680 -2568 2628 2236 2532 -2200 2512 2720 2624 -2452 -2464 -2644 -2616 2704 2464 -2352 -2200 2380 -2468 2400 2408 -2680 -2488 -2520 2544
-2300 -2544 2532 -2424 -2436 2332 2636 -2284 -2320 2656 -2348 2576 -2408 -2316 2636 -2520 -2524 -2208 -2720 -2300 2480 -2620 -2248 2344
-2364 -2444 2680 -2584 -2320 -2200 -2488 -2300 2264 -2636 2168 -2436 -2180 -2612 -2448 -2688 -2720 -2484 -2604 -2308 2576 -2596 -2464 -2312
2300 -2624 -2260 2208 -2428 -2200 -2604 2232 2356 2160 2656 -2356 2188 -2660 -2200 -2528 -2324 -2696 2396 2688 2388 2656 2308 -2572 2428
-2344 -2556 -2616 -2352 -2436 2520 2380 -2348 2572 -2528 -2580 2504 -2368 -2508 2344 2232 -2216 2576 -2408 -2340 -2376 2560 -2200 -2528
-2676 -2304 -2292 2536 -2272 2612 -2420 2680 -2216 -2624 -2276 2520 -2468 -2200 2584 2600 -2504 -2396 -2388 2360 -2604 2276 -2280 -2572
-2384 2628 2244 2248 -2476 -2716 -2176 2432 -2408 -2300 -2624 2464 2228 -2564 -2356 -2220 -2388 -2536 -2720 2720 2580 -2388 -2412 -2396
-2632 2448 -2508 -2328 -2588 -2544 -2628 -2680 -2652 -2448 -2316 -2244 -2160 -2676 2516 2588 -2680 -2296 -2248 -2588 2204 -2436 -2568 -2520
-2604 2196 2160 2300 -2572 -2436 2604 -2512 -2400 -2628 -2200 -2396 -2616 2520 -2200 -2640 -2208 -2332 -2388 -2628 -2380 2276 -2560 -2544
-2440 -2320 -2176 -2668 -2672 -2664 -2664 -2476 -2480 -2500 2340 -2636 -2176 -2708 -2444 -2388 -2388 -2588 -2664 -2432 2484 -2696 -2356
-2220 2524 -2548 -2484 2236 -2436 -2616 2348 -2368 2184 -2416 -2604 2628 -2548 2160 -2396 -2348 2220 2628 -2720 2676 -2552 -2488 -2484 -2588
-2288 -2476 -2260 -2704 -2228 2652 2348 -2352 2396 -2540 -2428 2160 -2680 -2624 -2224 -2680 2320 -2584 2364 -2652 -2624 -2324 -2628 -2524
2224 2180 2368 -2444 -2356 2480 -2420 2516 -2284 -2716 -2668 -2352 -2384 -2316 2328 -2392 -2288 -2492 -2392 -2572 2364 -2612 2696 -2572
-2680 -2260 -2484 -2680 2644 -2212 -2492 -2532 -2644 -2440 2160 2208 2188 -2380 2360 2276 -2532 -2532 -2440 2392 -2260 -2612 -2180 2620 2588
-2172 -2656 -2340 2576 -2316 -2396 2352 2480 -2540 2628 -2656 -2220 -2676 -2588 -2664 -2604 -2280 -2356 2424 2428 -2524 -2676 2428 -2452
-2400 -2220 2564 -2628 -2648 -2416 -2636 -2604 -2188 -2476 -2392 -2584 2388 2608 2308 2176 2544 2636 -2560 -2460 2572 2276 -2552 -2532 2680
2644 -2284 2708 -2372 -2200 -2524 -2280 -2276 -2624 -2368 -2608 2624 2348 -2484 -2448 -2592 -2648 -2616 2184 -2660 2304 2288 2464 2232 -2684
-2424 -2420 -2656 -2584 -2652 2288 2428 -2504 -2344 -2680 2504 -2316 -2336 -2224 2720 -2680 2264 -2624 -2668 -2704 -2532 -2420 2664 -2428
-2396 -2560 2672 -2356 -2508 -2200 2584 -2720 2192 -2720 -2640 -2680 -2356 2340 -2716 2368 2552 2208 2168 -2532 2216 -2236 -2452 -2488 -2548
-2644 -2484 2276 2280 2160 -2240 2268 2248 -2456 -2604 -2316 2244 2484 -2200 -2424 -2564 -2508 -2480 -2408 -2428 -2656 -2464 -2376 -2280
-2544 -2612 -2564 -2316 -2552 -2660 -2500 -2516 -2436 2560 -2404 -2460 -2588 2364 -2340 -2612 -2404 -2312 -2472 2496 -2600 -2444 2644 -2276
-2584 2600 -2420 -2352 -2296 -2624 -2424 -2704 -2524 -2452 -2228 -2320 2648 2580 -2356 -2336 2596