Claspar
Claspar is a parallel solver based on clasp using MPI to distribute the search.

Summary

 

 

 1 worker 2 worker 4 worker 8 worker 16 worker

 

 Models 0 0 0 0 0
BlockedQueens-unsat Time 4730.4 3739.97 2577.15 1417.69 792.81
(9 instances) Timeout 4 0 7 7 2

 

 Speedup 1 1.26 1.84 3.34 5.97

 

 Efficiency 1 0.63 0.46 0.42 0.37

 

 Models 0 0 0 0 0
GraphColoring Time 18000 18000 17999.3 16823.49 15215.2
(20 instances) Timeout 20 20 19 16 13

 

 Speedup 1 1 1 1.07 1.18

 

 Efficiency 1 0.5 0.2 0.13 0.07

 

 Models 0 0 0 0 0
PigeonHole Time 787.48 401.59 208.52 115.03 69.83
(2 instances) Timeout 0 0 0 0 0

 

 Speedup 1 1.96 3.78 6.85 11.28

 

 Efficiency 1 0.98 0.94 0.86 0.7

 

 Models 12 13 13 13 13
RC5VaryingDifficulty Time 1632.74 955.38 611.52 463.56 407.91
(13 instances) Timeout 1 0 0 1 0

 

 Speedup 1 1.71 2.67 3.52 4

 

 Efficiency 1 0.85 0.67 0.44 0.25

Detailed

 

 platypus 2 worker platypus 3 worker platypus 5 worker platypus 9 worker platypus 17 worker platypus 18 worker

 

 Models Conflicts Backtracks mpiexec time Models Conflicts Backtracks mpiexec time Models Conflicts Backtracks mpiexec time Models Conflicts Backtracks mpiexec time Models Conflicts Backtracks mpiexec time Models Conflicts Backtracks mpiexec time
BlockedQueens/blockedqueens.56.1860451109.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 541821 871989 505.2 0 543948 875036 264.71 0 538047 865597 247.57
BlockedQueens/blockedqueens.56.1860460800.sm 0 24553 38176 175.38 0 24218 37697 94.27 0 24339 37553 57 0 24593 37516 37.87 0 24561 36480 27.62 0 24711 36561 27.3
BlockedQueens/blockedqueens.56.1860470405.sm 0 69034 111833 515.58 0 70337 114020 264.25 0 70621 114129 139.82 0 69560 112330 78.98 0 72097 114798 51.02 0 71182 113291 48.48
BlockedQueens/blockedqueens.56.1860472191.sm 0 25614 40941 189.21 0 26101 41416 102.41 0 25474 40337 58.96 0 25715 40425 38.3 0 25749 39033 28.57 0 25905 39095 28.73
BlockedQueens/blockedqueens.56.1860494916.sm 0 0 0 900 0 220801 352151 807.99 0 222085 354244 412.37 0 223845 356312 216.32 0 218115 345695 115.17 0 219235 347041 110.48
BlockedQueens/blockedqueens.56.1860499279.sm 0 19378 29934 134.55 0 19296 29822 73.84 0 19342 29687 43.01 0 19556 29625 30.18 0 19766 29279 22.76 0 19725 29163 22.57
BlockedQueens/blockedqueens.56.1860550245.sm 0 0 0 900 0 0 0 900 0 344351 541925 653.53 0 352644 555046 339.27 0 349398 547904 177.65 0 346062 542762 167.89
BlockedQueens/blockedqueens.56.1860650362.sm 0 17000 26628 115.68 0 16715 26187 65.34 0 16717 26075 40.04 0 16651 25698 27.62 0 16897 25285 22.05 0 17166 25440 22.13
BlockedQueens/blockedqueens.56.1860654717.sm 0 0 0 900 0 154795 243320 531.87 0 154174 242042 272.42 0 155548 244404 143.95 0 158234 246760 83.26 0 158780 247499 78.63
GraphColoring/graph-colouring-nodes=145-density=0.1-instance=1.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900
GraphColoring/graph-colouring-nodes=145-density=0.1-instance=10.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 304610 540228 892.24 0 309822 548718 845.17
GraphColoring/graph-colouring-nodes=145-density=0.1-instance=2.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 293530 519607 876.34 0 291718 516550 802.62
GraphColoring/graph-colouring-nodes=145-density=0.1-instance=3.sm 0 0 0 900 0 0 0 900 0 65751 116346 899.3 0 66652 117742 463.03 0 66235 116799 226.52 0 65957 116066 211.62
GraphColoring/graph-colouring-nodes=145-density=0.1-instance=4.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900
GraphColoring/graph-colouring-nodes=145-density=0.1-instance=5.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 133622 237283 863.3 0 133398 236142 409.37 0 132306 234264 391.05
GraphColoring/graph-colouring-nodes=145-density=0.1-instance=6.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900
GraphColoring/graph-colouring-nodes=145-density=0.1-instance=7.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900
GraphColoring/graph-colouring-nodes=145-density=0.1-instance=8.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 78470 139444 500.78 0 77824 137669 243.47 0 77804 137769 227.97
GraphColoring/graph-colouring-nodes=145-density=0.1-instance=9.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900
GraphColoring/graph-colouring-nodes=150-density=0.1-instance=1.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900
GraphColoring/graph-colouring-nodes=150-density=0.1-instance=10.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900
GraphColoring/graph-colouring-nodes=150-density=0.1-instance=2.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900
GraphColoring/graph-colouring-nodes=150-density=0.1-instance=3.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 171947 304564 568.46 0 171593 303729 523.28
GraphColoring/graph-colouring-nodes=150-density=0.1-instance=4.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900
GraphColoring/graph-colouring-nodes=150-density=0.1-instance=5.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900
GraphColoring/graph-colouring-nodes=150-density=0.1-instance=6.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 78557 139892 596.38 0 79230 140478 298.8 0 79115 140337 282.29
GraphColoring/graph-colouring-nodes=150-density=0.1-instance=7.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900
GraphColoring/graph-colouring-nodes=150-density=0.1-instance=8.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900
GraphColoring/graph-colouring-nodes=150-density=0.1-instance=9.sm 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 0 0 900 0 251667 445899 892.61
PigeonHole/pigeonhole10.sm 0 757508 986873 71.92 0 757855 987043 41.32 0 758086 986609 26.14 0 757966 986224 18.54 0 758000 985897 14.98 0 758308 985834 14.74
PigeonHole/pigeonhole11.sm 0 8009783 10570499 715.56 0 8009163 10570314 360.27 0 8008084 10566142 182.38 0 8009899 10566974 96.49 0 8007135 10560655 54.85 0 8008006 10561642 51.84
RC5VaryingDifficulty/rc5-r10-b20.sm 0 0 0 900 1 637 1227 678.31 1 630 1184 355.33 1 634 1159 202.64 1 653 1077 124.12 1 646 1070 119.25
RC5VaryingDifficulty/rc5-r10-b21.sm 1 320 620 740.37 1 329 614 392.13 1 327 592 196.75 1 323 558 119.7 1 345 507 80.17 1 344 507 78.65
RC5VaryingDifficulty/rc5-r10-b22.sm 1 166 325 384.51 1 171 318 194.06 1 163 281 115.85 1 171 256 74.51 1 187 209 55.18 1 188 205 54.66
RC5VaryingDifficulty/rc5-r10-b23.sm 1 75 137 190.82 1 76 137 105.7 1 78 125 66.53 1 82 107 50.49 1 103 62 43.97 1 104 59 42.75
RC5VaryingDifficulty/rc5-r10-b24.sm 1 30 64 95.67 1 31 59 66.13 1 38 52 48.46 1 49 35 39.34 1 57 21 41.13 1 59 16 36.49
RC5VaryingDifficulty/rc5-r10-b25.sm 1 16 33 56.57 1 21 35 44.25 1 21 22 35.19 1 27 13 32.24 1 34 2 37 1 34 2 31.32
RC5VaryingDifficulty/rc5-r10-b26.sm 1 12 21 42.04 1 12 16 34.6 1 15 8 29.48 1 18 1 28.09 1 18 1 28.37 1 18 1 27.74
RC5VaryingDifficulty/rc5-r10-b27.sm 1 6 10 29.31 1 6 8 25.79 1 8 1 25.73 1 9 0 25.52 1 9 0 25.7 1 9 0 25.38
RC5VaryingDifficulty/rc5-r10-b28.sm 1 1 3 22.65 1 2 2 21.24 1 3 0 20.84 1 3 0 21.23 1 3 0 22.21 1 3 0 21.42
RC5VaryingDifficulty/rc5-r10-b29.sm 1 1 2 19.84 1 2 1 19.65 1 2 0 20.7 1 2 0 20.49 1 2 0 21.25 1 2 0 20.8
RC5VaryingDifficulty/rc5-r10-b30.sm 1 0 1 19.01 1 1 0 19.9 1 1 0 19.89 1 1 0 19.77 1 1 0 20.17 1 1 0 20.16
RC5VaryingDifficulty/rc5-r10-b31.sm 1 0 0 16.61 1 0 0 16.57 1 0 0 16.72 1 0 0 16.7 1 0 0 17.04 1 0 0 16.9
RC5VaryingDifficulty/rc5-r10-b32.sm 1 0 0 15.34 1 0 0 15.36 1 0 0 15.38 1 0 0 15.48 1 0 0 15.72 1 0 0 15.76