CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp02/
normalized-fapp02-0250-3.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp02/
normalized-fapp02-0250-3.xml
MD5SUMaad5c2398708511922e1594d69436929
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 benchmark17.4843
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints3055
Maximum constraint arity2
Maximum domain size210
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3055
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC1087106SAT 17.4843 17.6008
Abscon 112v4 AC1087105SAT 18.5582 18.7054
cpHydra k_101087107SAT 25.1762 25.6108
cpHydra k_401087108SAT 25.5701 25.9403
Sugar v1.13+picosat1087094SAT 220.05 221.484
Sugar v1.13+minisat1087095SAT 341.373 345.391
SAT4J CSP 2008-06-131087093? 474.405 477.685
galac E1087100? (problem) 0.574912 0.678135
MDG-probe 2008-06-271087091? (TO) 1800.01 1812.81
galac M1087099? (TO) 1800.01 1812.11
Mistral-prime 1.3131087102? (TO) 1800.02 1803.81
Concrete + CPS4J 2008-05-301087090? (TO) 1800.03 1805.02
Minion/Tailor 2008-07-041105494? (TO) 1800.04 1807.91
MDG-noprobe 2008-06-271087092? (TO) 1800.04 1805.21
Concrete + CSP4J - WMC Engine 2008-05-301087089? (TO) 1800.04 1809.02
casper zao1087103? (TO) 1800.05 1808.72
bpsolver 2008-06-271087096? (TO) 1800.09 1806.91
Concrete + CSP4J - Tabu Engine 2008-05-301087088? (TO) 1800.09 1806.92
casper zito1087104? (TO) 1800.1 1809.81
Mistral-option 1.3141087101? (TO) 1800.1 1809.21
choco2_dwdeg 2008-06-261087098? (TO) 1800.15 1814.39
choco2_impwdeg 2008-06-261087097? (TO) 1800.16 1811.78

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:
2444 2464 -2600 -2332 2524 -2292 -2500 -2424 2260 2264 -2644 -2252 2612 2536 -2368 2496 2484 2424 2584 -2656 2448 -2512 -2516 2612 -2292
2372 -2332 -2308 -2424 2540 -2540 -2280 -2460 -2452 2240 -2612 -2560 -2280 -2616 2240 2564 -2300 2344 2436 -2340 2584 -2408 -2556 2320 -2292
-2516 -2576 2296 -2624 -2624 2476 2568 -2460 2568 2412 2520 -2368 -2572 2580 -2468 2528 -2436 -2392 -2292 -2360 -2352 -2436 2240 -2656 2380
-2524 -2648 2312 -2432 -2564 -2560 -2556 -2568 -2656 2556 -2620 -2412 2372 2612 2472 -2524 -2252 -2420 -2256 -2440 2396 2248 -2656 2420 2368
2648 2448 2340 -2292 -2608 -2640 -2548 -2644 -2508 -2508 2472 2376 -2608 -2484 -2624 2572 -2296 2644 2500 2380 -2292 -2304 -2548 -2336 2616
-2472 2584 2464 -2516 -2456 -2280 -2616 2280 -2580 -2584 -2608 -2596 2396 -2416 -2584 -2460 2652 -2608 -2468 -2300 -2408 -2464 -2616 2608
2592 -2524 -2384 2268 2584 -2624 -2256 -2580 2276 -2652 -2384 -2584 2556 -2476 -2616 -2496 -2332 -2604 2520 -2572 -2400 -2316 -2556 2384
2520 -2488 -2476 -2532 2464 -2556 -2372 -2500 -2464 -2604 2344 -2644 2624 2600 -2616 2332 -2292 2516 2652 2536 -2616 -2576 2292 2576 -2356
2552 -2480 -2560 -2596 -2508 -2408 -2624 -2656 2616 2472 -2612 -2332 2452 -2624 -2512 -2424 -2396 -2596 -2428 -2516 2408 2288 2296 2412
-2604 -2584 -2252 -2396 2504 -2604 -2576 -2620 -2564 2332 -2564 -2380 2412 2424 2368 -2412 -2436 -2500 -2544 2512 -2524 -2340 -2560 2408
2292 -2272 2648 -2300