CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp02/
normalized-fapp02-0250-9.xml
MD5SUM796561b8470ec3e16b4bf0f5e79f6e0d
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 benchmark13.9729
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
Mistral-prime 1.3131087060SAT 13.9729 14.0987
choco2_dwdeg 2008-06-261087056SAT 15.1827 15.3129
choco2_impwdeg 2008-06-261087055SAT 16.5905 16.7632
Abscon 112v4 AC1087063SAT 17.8753 18.0877
Abscon 112v4 ESAC1087064SAT 19.3671 19.5854
cpHydra k_101087065SAT 24.4773 24.6778
cpHydra k_401087066SAT 25.0142 25.2588
Concrete + CSP4J - WMC Engine 2008-05-301087047SAT 30.1034 30.4283
Concrete + CPS4J 2008-05-301087048SAT 33.7159 34.1003
MDG-noprobe 2008-06-271087050SAT 42.6565 42.8708
Sugar v1.13+picosat1087052SAT 156.903 157.831
MDG-probe 2008-06-271087049SAT 217.393 218.329
SAT4J CSP 2008-06-131087051SAT 260.497 261.195
Sugar v1.13+minisat1087053SAT 403.726 405.877
galac E1087058? (problem) 0.439932 0.561755
galac M1087057? (problem) 0.58191 0.677962
Concrete + CSP4J - Tabu Engine 2008-05-301087046? (TO) 1800 1809.43
casper zito1087062? (TO) 1800.02 1814.31
Minion/Tailor 2008-07-041105495? (TO) 1800.07 1800.91
casper zao1087061? (TO) 1800.08 1807.92
Mistral-option 1.3141087059? (TO) 1800.1 1812.81
bpsolver 2008-06-271087054? (TO) 1800.11 1802.21

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:
-2440 2556 -2588 -2484 -2616 2356 -2388 -2404 2240 -2312 2572 -2284 -2652 -2552 -2436 2460 2480 -2516 2592 2596 2408 -2584 -2476 2580 2308
-2416 -2348 -2384 -2472 2516 -2500 -2308 -2420 2424 2260 2492 2616 2388 -2636 2276 -2564 -2272 -2372 -2436 -2312 2576 -2408 -2520 2268 -2308
2556 -2544 -2268 2552 2616 -2500 -2552 2428 -2620 2440 2468 -2360 -2548 -2556 -2480 -2592 -2508 2360 -2244 -2280 2320 -2564 -2428 2652 -2400
-2524 -2280 2284 -2412 -2564 -2508 2516 -2520 -2616 -2436 2620 2464 2400 2656 -2456 2524 2240 -2440 -2328 -2460 -2548 -2240 -2644 -2412
-2444 2632 2420 -2376 -2444 -2592 2628 -2360 -2584 -2520 2400 2452 2368 2560 -2576 -2280 -2616 2560 2508 2380 -2336 -2280 -2352 -2588 -2520
-2604 -2584 2240 -2468 -2480 -2380 -2300 -2612 -2316 -2580 -2584 2240 -2596 -2396 2328 2656 2388 2452 -2596 -2480 2280 -2400 -2444 -2584
2580 2576 -2524 -2388 -2344 2572 -2616 2308 2620 -2256 -2616 2336 -2644 -2612 -2432 2588 -2340 2356 -2624 2496 -2540 2240 -2296 -2584 2412
-2616 -2448 -2440 -2588 -2496 -2556 -2384 -2540 -2432 2548 2376 2572 -2616 -2656 -2616 2348 -2316 2544 -2612 2500 -2656 2576 -2444 -2592
-2268 2536 2500 -2656 2560 2548 -2484 2532 -2612 -2652 -2544 -2576 -2304 2372 2624 2496 2456 -2524 2652 -2440 -2540 2380 2280 -2368 -2456
-2612 -2576 -2316 -2308 -2508 2612 -2628 -2580 -2564 -2404 2596 -2452 2412 -2428 2368 2424 -2472 -2428 -2604 2624 -2556 2292 -2536 -2396
-2344 2324 2636 -2332