CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/rlfapGraphs/
normalized-graph14.xml

Jump to solvers results

General information on the benchmark

Namecsp/rlfapGraphs/
normalized-graph14.xml
MD5SUM3fb56d38999618c3f590ccca7c05d859
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.562914
Satisfiable
(Un)Satisfiability was proved
Number of variables916
Number of constraints4638
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4638
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271087932SAT 0.562914 0.566405
MDG-probe 2008-06-271087931SAT 0.600908 0.615096
cpHydra k_401087948SAT 0.616905 0.63082
cpHydra k_101087947SAT 0.643901 0.658776
Mistral-prime 1.3131087942SAT 0.656899 0.668175
bpsolver 2008-06-271087936SAT 0.851869 0.879859
Mistral-option 1.3141087941SAT 1.19082 1.27601
Abscon 112v4 ESAC1087946SAT 3.84142 3.92941
Abscon 112v4 AC1087945SAT 5.07023 5.14264
casper zao1087943SAT 6.89795 6.913
choco2_impwdeg 2008-06-261087937SAT 6.90695 7.01243
choco2_dwdeg 2008-06-261087938SAT 7.30389 7.35965
Concrete + CSP4J - Tabu Engine 2008-05-301087928SAT 7.47486 7.60712
Concrete + CSP4J - WMC Engine 2008-05-301087929SAT 7.97279 8.11176
Concrete + CPS4J 2008-05-301087930SAT 8.49271 8.62681
Sugar v1.13+minisat1087935SAT 11.0963 11.2825
Sugar v1.13+picosat1087934SAT 14.1079 14.322
SAT4J CSP 2008-06-131087933SAT 19.2771 19.2098
casper zito1087944SAT 21.5377 21.7127
galac M1087939SAT 50.2214 50.3681
galac E1087940SAT 55.3956 55.9593
Minion/Tailor 2008-07-041106984? (TO) 1800.03 1803.61

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:
100 338 352 114 16 254 254 16 324 86 156 394 352 114 254 16 338 100 254 16 72 310 30 268 114 352 58 296 114 352 310 72 128 366 86 324 142
380 142 380 324 86 296 58 58 296 86 324 16 254 86 324 156 394 100 338 366 128 44 282 142 380 156 394 268 30 44 282 254 16 254 16 352 114 16
254 310 72 30 268 128 366 30 268 428 666 324 86 86 324 100 338 142 380 142 380 30 268 296 58 128 366 86 324 414 652 366 128 114 352 352 114
72 310 100 338 352 114 16 254 86 324 414 652 30 268 666 428 156 394 72 310 310 72 156 394 268 30 414 652 310 72 86 324 338 100 128 366 58
296 16 254 44 282 414 652 324 86 142 380 352 114 338 100 394 156 128 366 16 254 282 44 310 72 58 296 44 282 128 366 100 338 296 58 16 254
100 338 58 296 310 72 338 100 86 324 58 296 310 72 428 666 296 58 394 156 394 156 100 338 324 86 72 310 156 394 128 366 16 254 324 86 58 296
44 282 86 324 352 114 324 86 296 58 366 128 268 30 394 156 58 296 16 254 142 380 16 254 310 72 366 128 296 58 16 254 44 282 86 324 310 72
310 72 114 352 30 268 268 30 352 114 310 72 44 282 142 380 16 254 310 72 100 338 30 268 394 156 142 380 142 380 30 268 30 268 100 338 58 296
114 352 114 352 114 352 324 86 128 366 114 352 366 128 16 254 268 30 380 142 142 380 352 114 44 282 114 352 268 30 44 282 16 254 44 282 380
142 128 366 86 324 414 652 30 268 338 100 156 394 310 72 128 366 268 30 30 268 414 652 44 282 128 366 58 296 128 366 142 380 380 142 142 380
30 268 30 268 44 282 72 310 86 324 310 72 268 30 100 338 352 114 30 268 366 128 156 394 394 156 380 142 16 254 44 282 86 324 268 30 296 58
72 310 30 268 156 394 44 282 72 310 324 86 428 666 30 268 268 30 72 310 58 296 338 100 142 380 86 324 100 338 128 366 44 282 86 324 114 352
16 254 366 128 86 324 30 268 58 296 380 142 142 380 142 380 86 324 268 30 268 30 16 254 30 268 44 282 44 282 72 310 30 268 254 16 128 366
268 30 114 352 30 268 30 268 30 268 338 100 394 156 30 268 30 268 142 380 16 254 100 338 156 394 352 114 114 352 16 254 366 128 114 352 100
338 86 324 86 324 128 366 58 296 156 394 58 296 30 268 268 30 44 282 268 30 142 380 44 282 100 338 30 268 128 366 86 324 156 394 100 338 394
156 58 296 58 296 100 338 114 352 44 282 100 338 72 310 156 394 282 44 86 324 86 324 268 30 338 100 44 282 282 44 30 268 100 338 58 296 44
282 114 352 72 310 86 324 16 254 16 254 114 352 268 30 156 394 44 282 44 282 380 142 100 338 30 268 16 254 394 156 44 282 30 268 366 128 128
366 254 16 366 128 86 324 414 652 114 352 86 324 310 72 142 380 128 366 30 268 86 324 128 366 30 268 156 394 414 652 30 268 142 380 324 86
142 380 44 282 58 296 30 268 142 380 128 366 156 394 86 324 44 282 100 338 86 324 414 652 72 310 114 352 44 282 114 352 72 310 44 282 30 268
100 338 100 338 44 282 44 282 44 282 100 338 352 114 142 380 296 58 58 296 268 30 114 352 16 254 268 30 30 268 394 156 282 44 142 380 114
352 58 296 128 366 16 254 30 268 30 268 366 128 296 58 72 310 156 394 30 268 268 30 58 296 58 296 44 282 268 30 254 16 30 268 128 366 86 324
58 296 156 394 156 394 268 30 44 282 30 268 72 310 30 268 30 268 30 268 100 338 142 380 128 366 128 366 30 268 86 324 16 254 86 324 44 282
114 352 44 282 30 268 30 268 72 310 72 310 44 282 142 380 44 282 114 352 30 268 72 310 114 352 44 282 72 310 86 324 44 282 30 268 254 16 100
338 30 268 414 652 114 352 380 142 30 268 30 268 366 128 30 268 58 296 100 338 128 366 58 296 30 268 100 338 72 310 100 338 324 86 282 44 16
254 30 268 58 296 324 86 380 142 282 44