CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/os-gp/
normalized-gp10-04-1077.xml

Jump to solvers results

General information on the benchmark

Namecsp/os-gp/
normalized-gp10-04-1077.xml
MD5SUM75afcf8e428a7f7d4a33191e7703a36b
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 benchmark0.172972
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Maximum constraint arity2
Maximum domain size1078
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1000
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131056329SAT 0.172972 0.173542
Mistral-option 1.3141056328SAT 0.338947 0.349282
cpHydra k_101056334SAT 0.432933 0.442994
cpHydra k_401056335SAT 0.486925 0.499098
MDG-noprobe 2008-06-271056319SAT 0.964853 0.967752
MDG-probe 2008-06-271056318SAT 2.45962 2.47173
choco2_dwdeg 2008-06-261056325SAT 3.59145 3.65962
choco2_impwdeg 2008-06-261056324SAT 3.77143 3.81798
Sugar v1.13+minisat1056322SAT 6.545 6.77502
Sugar v1.13+picosat1056321SAT 18.3962 19.1063
casper zao1056330SAT 85.556 85.5893
Minion/Tailor 2008-07-041105180SAT 1135.75 1144.73
galac E1056327? (problem) 70.9132 71.6117
galac M1056326? (problem) 70.9332 71.6481
SAT4J CSP 2008-06-131056320? (exit code) 302.78 304.573
casper zito1056331? (TO) 1800.02 1813.51
Concrete + CPS4J 2008-05-301056317? (TO) 1800.02 1800.92
bpsolver 2008-06-271056323? (TO) 1800.04 1808.41
Concrete + CSP4J - WMC Engine 2008-05-301056316? (TO) 1800.08 1813.83
Concrete + CSP4J - Tabu Engine 2008-05-301056315? (TO) 1800.09 1805.22
Abscon 112v4 AC1056332? (TO) 1800.11 1811.37
Abscon 112v4 ESAC1056333? (TO) 1800.11 1815.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:
1077 5 1060 509 11 994 0 983 451 447 1074 10 831 206 794 12 472 0 1075 1060 203 436 295 1 834 0 356 1068 1076 184 1069 17 365 994 0 444 14
11 366 1075 408 366 1061 1075 472 1051 436 997 0 534 386 1075 0 466 1076 1065 1074 470 563 410 282 6 1074 0 534 203 794 5 444 451 81 365 366
983 1074 1075 81 581 1065 997 0 0 282 1076 1075 1069 5 14 1074 295 410 834 581 470 1073 1074 1075 223 509 0 1076