CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp01/
normalized-fapp01-0200-10.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp01/
normalized-fapp01-0200-10.xml
MD5SUMed0064ec6f686799b617fe86f279a28f
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 benchmark2.43163
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2053
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2053
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131087123SAT 2.43163 2.44804
MDG-noprobe 2008-06-271087113SAT 2.46062 2.47017
choco2_impwdeg 2008-06-261087118SAT 5.80712 5.86135
choco2_dwdeg 2008-06-261087119SAT 5.86311 6.08849
Abscon 112v4 AC1087126SAT 10.2364 10.3242
Abscon 112v4 ESAC1087127SAT 10.3104 10.476
Concrete + CSP4J - WMC Engine 2008-05-301087110SAT 12.0992 12.2894
Concrete + CSP4J - Tabu Engine 2008-05-301087109SAT 14.2238 14.4318
cpHydra k_101087128SAT 16.8174 17.0067
cpHydra k_401087129SAT 17.1034 17.3888
Concrete + CPS4J 2008-05-301087111SAT 18.1542 18.2992
Sugar v1.13+picosat1087115SAT 75.4175 76.306
MDG-probe 2008-06-271087112SAT 91.1321 91.5035
SAT4J CSP 2008-06-131087114SAT 137.591 138.526
Sugar v1.13+minisat1087116SAT 149.969 150.698
galac E1087121? (problem) 0.576911 0.87041
galac M1087120? (problem) 0.578911 0.917473
Mistral-option 1.3141087122? (TO) 1800.04 1812.91
casper zao1087124? (TO) 1800.07 1810.51
bpsolver 2008-06-271087117? (TO) 1800.07 1812.51
casper zito1087125? (TO) 1800.1 1806.31
Minion/Tailor 2008-07-041105490? (TO) 1800.1 1815.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:
-2640 2372 -2632 2592 2280 2616 -2524 -2484 -2500 -2300 -2340 -2640 -2496 2336 -2524 -2448 -2616 -2416 -2288 -2656 -2640 -2480 -2340 2488
-2320 -2572 2568 -2648 2620 -2296 -2600 -2476 -2320 -2376 -2520 2456 2612 -2568 -2400 -2388 2460 2328 2488 2460 -2392 -2572 2532 -2624 -2532
2480 -2488 -2592 -2356 -2456 -2320 2320 2396 -2492 2460 -2432 -2516 2380 2412 -2524 2532 -2492 -2492 -2480 -2616 -2464 -2656 -2456 -2572
-2452 2280 2600 -2312 -2600 -2600 2320 2392 2280 2280 -2416 2324 -2568 -2564 2280 -2348 -2640 -2348 -2420 -2524 -2484 -2428 2528 -2532 -2512
2284 -2616 -2420 -2640 -2568 -2512 -2552 -2476 2520 -2524 -2308 -2616 -2524 2280 2392 -2280 -2368 -2552 -2428 -2612 -2440 -2656 -2388 -2484
-2380 -2284 -2296 2300 -2484 -2384 -2368 -2524 -2596 2596 -2564 -2352 -2336 -2532 -2600 -2348 -2620 -2648 -2340 -2656 -2536 -2320 2464 -2656
2344 -2320 -2420 -2408 2584 2608 2608 -2424 -2316 -2496 2580 2408 -2528 -2608 -2448 2356 -2572 2356 -2652 -2636 -2492 -2504 2580 -2440 2300
2552 -2388 2336 -2352 -2380 2512 -2424 -2420 -2396 -2608 -2420 2592 -2324 2280 -2608 -2436 2320 2632 -2384 -2484 -2340 2576 -2636 2532 -2616
2352 -2388 -2300 -2552