CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp03/
normalized-fapp03-0300-7.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp03/
normalized-fapp03-0300-7.xml
MD5SUM864e3c61ff08e32a4845b7a063b51513
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 benchmark27.3928
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints4377
Maximum constraint arity2
Maximum domain size250
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4377
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 AC1087714SAT 27.3928 27.6898
Abscon 112v4 ESAC1087715SAT 30.4064 30.7341
cpHydra k_401087717SAT 35.3256 35.6715
cpHydra k_101087716SAT 35.4316 35.6449
choco2_impwdeg 2008-06-261087706SAT 110.592 111.109
choco2_dwdeg 2008-06-261087707SAT 111.536 112.625
MDG-probe 2008-06-271087700SAT 329.065 331.964
MDG-noprobe 2008-06-271087701SAT 363.381 363.587
Sugar v1.13+picosat1087703SAT 385.458 387.653
Sugar v1.13+minisat1087704SAT 964.751 968.117
SAT4J CSP 2008-06-131087702? 744.49 747.606
galac E1087709? (problem) 0.595908 0.681858
casper zito1087713? (TO) 1800.02 1812.31
Concrete + CSP4J - Tabu Engine 2008-05-301087697? (TO) 1800.02 1808.43
Concrete + CPS4J 2008-05-301087699? (TO) 1800.03 1809.02
casper zao1087712? (TO) 1800.05 1800.92
Mistral-prime 1.3131087711? (TO) 1800.06 1802.41
Concrete + CSP4J - WMC Engine 2008-05-301087698? (TO) 1800.08 1808.02
Mistral-option 1.3141087710? (TO) 1800.08 1802.21
galac M1087708? (TO) 1800.08 1804.82
bpsolver 2008-06-271087705? (TO) 1800.09 1811.62
Minion/Tailor 2008-07-041105498? (TO) 1800.13 1807.01

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:
-2216 -2604 2604 2416 -2360 2256 -2528 2412 2356 2392 -2296 2304 2200 2400 -2616 2496 -2328 2572 -2612 2652 -2160 -2440 2192 2268 -2596
-2172 -2332 2536 -2188 2492 -2252 2272 -2588 2392 2588 -2576 2544 2380 -2200 -2564 -2248 -2384 -2312 2160 -2228 -2520 -2576 -2160 2160 -2160
-2640 -2512 -2164 -2576 -2400 -2344 -2564 2480 2552 -2312 2456 -2624 -2532 2248 2452 2464 -2460 -2528 2460 -2480 -2460 -2480 2616 -2600
-2460 -2264 2468 2608 -2240 2572 -2232 -2520 -2252 -2292 -2160 2588 -2488 2492 -2568 -2184 -2396 -2364 2608 -2580 -2520 2480 -2628 -2200
2516 -2592 2380 -2568 -2360 -2600 -2320 2372 2572 2344 -2616 -2400 -2476 2640 -2268 2464 2424 -2356 -2628 -2476 2196 2640 2432 2600 2236
-2228 -2292 2616 -2636 -2544 2268 2360 -2440 2564 2632 -2324 -2312 -2532 2560 -2452 2328 -2392 2280 -2480 -2612 2420 -2632 -2200 2160 -2320
-2212 -2568 -2504 -2332 2600 -2512 2576 2560 2524 2212 -2584 -2560 -2520 2172 -2572 -2212 2340 -2200 2284 -2564 -2416 2224 -2216 -2420 -2608
-2500 2372 -2652 -2412 2568 2604 -2560 -2352 2500 -2576 2548 -2568 -2596 -2160 -2168 2200 -2528 2592 -2584 -2656 2332 2568 2360 2352 2452
2560 2272 -2512 2604 2404 2560 -2472 2492 -2528 2440 -2380 -2556 2160 -2440 2200 -2540 -2592 -2548 2556 -2432 2376 2648 2440 2252 2632 2636
2288 2616 -2528 -2276 2552 -2488 2656 -2200 2600 2444 -2480 -2520 2412 2320 2396 2208 -2608 2200 2372 -2308 -2288 2588 -2656 -2516 2608 2608
2584 2616 2468 2596 -2292 2404 2496 2612 2636 -2176 -2384 2612 2616 -2596 2456 -2316 2592 -2520 -2428 -2648 2428 2240 -2500 -2468 -2564 2200
2440 -2608 -2456 -2452 -2600 2428 -2176 2204 2228 -2208 2208 2360 -2292 2456 2612 2172 2648 2568 -2340 2596 -2320 2552 -2496 2480