Skip to content

AnalysisData.md

Latest commit

 

History

History
68 lines (68 loc) · 27.8 KB

AnalysisData.md

File metadata and controls

68 lines (68 loc) · 27.8 KB
Raw
decision model #decision #rules #ite-commands #constants Time needed to Encode (ms) Time needed for False Optional Analysis (ms) Time needed for Dead Anomaly Analysis (ms) Time needed for One Valid Config (ms) Found Anomalies time all smt variants time all booleguru variants dm variants uvl variants
HICSSDM2 8 0 69 467 27 1199 971 64 None >12h* >12h* >10.000* >10.000* \
VaMoS2 3 1 24 66 1 248 202 26 None 796 311 47 47 \
VMTools 18 9 38 980 5 1656 1217 34 False Optional Decision Value: END_DECISION_15 >12h* >12h* >10.000 >10.000 \
False Optional Decision Value: END_DECISION_19
eShop 5 5 19 104 36 169 158 22 None 1.968 864 114 114 \
server 3 2 16 52 3 197 196 23 None 546 197 30 30 \
ASEJ1 3 97 317 759 0 189 193 136 None 3.691.734 1.442.604 3.391 3.391 \
MPPL 5 1 22 104 0 2966 2995 24 None 776 276 47 47 \
RFW 20 11 80 1496 34 3758 3052 47 None >12h* >12h* >10.000* >10.000* \
eShopFeatureIDE 120 35 405 51212 0 87 79 1516 None >12h* >12h* >10.000* >10.000* \
product_truck 1 0 9 13 0 1944 1799 26 None 97 28 4 4 \
product_waterfilter 17 27 75 927 0 177 188 41 False Optional Decision Value: END_DECISION_192 532 115 10 10 \
False Optional Decision Value: END_DECISION_198
False Optional Decision Value: END_DECISION_199
VaMoS 5 1 14 93 0 198 227 15 None 682 257 40 40 \
VacuumRobot 5 3 15 93 0 138 174 23 None nan nan nan nan
MobilePhone 4 2 15 67 0 102 116 22 None 272 85 14 14 \
DissModel2 6 0 235 1501 5 317 328 40 None >12h* >12h* >10.000* >10.000* \
DOPLERTools2 25 3 34 1453 3 2346 2043 33 Dead Decision Value: END_DECISION_223 nan nan nan nan
product_shiftfork 3 5 19 52 0 318 293 14 None 115 31 4 4 \
GPLTiny 3 1 12 38 2 513 435 12 None 128 39 6 6 \
DissModel 9 0 15 237 0 212 196 14 None 6.837 2.635 288 288 \
Ubuntu_14_10 115 103 436 45391 1 9586 9527 1872 None >12h* >12h* >45 0 \
OnlineShop 6 4 19 136 0 1367 1339 26 None 1.438 541 80 80 \
DeploymentAndConfiguration 6 1 30 201 0 333 288 21 None nan nan nan nan
ASEJ2 4 0 9 67 0 379 373 21 None 1.757 762 120 120 \
DOPLERTools 32 15 92 3217 0 2051 2031 72 None >12h* >12h* >10.000* >10.000* \
HICSSDM 13 9 62 715 0 226 233 26 None 6.343.273 2.081.175 8.195 8.195 \
OnlineShop2 6 4 19 136 0 283 267 24 None 1.474 513 80 80 \
product_chesspiece 5 4 35 137 0 274 230 21 None 146 49 6 6 \
AllTheCombinations 20 0 62 1250 0 1459 1386 30 None >12h* >12h* >10.000* >10.000* \
Pizzas2 4 3 21 76 0 454 427 14 Dead Decision Value: END_DECISION_472_Sicilian nan nan nan nan
False Optional Decision Value: END_DECISION_472_Neapolitan
SimplePizza 5 0 23 115 0 9243 9382 12 None 1.504 670 84 84 \
SafeBali2 6 0 12 123 0 283 244 23 None 481 158 28 28 \
SimpleWaterfilter 17 0 48 927 1 4597 4507 22 None >12h* >12h* >10.000* >10.000* \
FameDB2 7 0 34 217 0 550 536 23 None 7.134 2.644 280 280 \
eShop2 3 4 33 87 0 1422 1487 12 None 5.415 2.097 240 240 \
Windows7 22 9 164 2947 0 466 479 61 None >12h* >12h* >10.000* >10.000* \
SafeBali 6 0 12 123 1 20904 21255 17 None 492 169 28 28 \
DellLaptopNotebook 9 105 190 750 0 120 120 60 None 747.604 252.071 2.319 2.319 \
APL 13 2 12 391 0 210 184 25 None 204.560 75.505 2.016 2.016 \
product_rockerswitch 23 11 27 1104 0 478 436 28 None >12h* >12h* >10.000* >10.000* \
WorkloadCharacterisation 12 0 16 333 0 405 371 11 None nan nan nan nan
Windows8 35 2 153 5147 0 929 924 97 None >12h* >12h* >15.785 >10.000 \
AlwaysTrue 3 0 6 31 0 40 29 12 None 105 39 6 6 \
ServiceAndFunctionalScope 6 0 12 93 0 795 843 10 None nan nan nan nan
eShopSPLOT 4 3 12 58 0 311 314 12 False Optional Decision Value: END_DECISION_639 127 38 5 5 \
GPLSmall 5 7 38 159 1 19450 19712 14 None 1.446 476 73 73 \
FeatureIDE 11 4 27 425 32 943 803 27 None 21.626.357 5.446.349 14.704 14.704 \
VacuumRobot2 9 3 23 229 0 345 326 9 None nan nan nan nan
WikiMatrix 8 23 55 314 0 252 265 32 Dead Decision Value: END_DECISION_669_NoLimit 326 98 8 8 \
False Optional Decision Value: END_DECISION_672
False Optional Decision Value: END_DECISION_667
False Optional Decision Value: END_DECISION_674
TestabilityAndMeasurementReadiness 2 0 7 22 0 272 285 16 None nan nan nan nan
TightVNC 4 3 51 202 0 1566 1518 16 None >12h* >12h* >10.000* >10.000* \
ebay 10 1 59 556 0 144 105 25 None >12h* >12h* >10.000* >10.000* \
A 5 0 104 14 0 166 183 20 None 2.813 1.143 168 168 \
BerkeleyDB 41 24 102 4855 7 18212 17271 103 None >12h* >12h* >10.000* >10.000* \
BankingSoftware 91 10 154 23332 5 248276 258721 386 None >12h* >12h* >10.000* >10.000* \
VaMoS3 3 1 26 73 0 241 271 25 None 1.724 674 95 95 \
Pizzas 4 1 18 76 0 232 194 11 None nan nan nan nan
SimpleConditions 4 1 18 76 0 184 184 23 None 537 180 32 32 \
GPLMedium 10 15 64 535 0 1224 1144 31 None 81.522 32.348 960 960 \
ArtefactsAndAssets 1 0 9 13 0 80 65 10 None nan nan nan nan