-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathAllAnalysis_RP_Version.csv
More file actions
We can make this file beautiful and searchable if this error is corrected: No commas found in this CSV file in line 0.
67 lines (67 loc) · 4.99 KB
/
Copy pathAllAnalysis_RP_Version.csv
File metadata and controls
67 lines (67 loc) · 4.99 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
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.0;1199.0;971.0;64.0;None;>12h*;>12h*;>10.000*;>10.000* \
VaMoS2;3;1;24;66;1.0;248.0;202.0;26.0;None;796;311;47;47 \
VMTools;18;9;38;980;5.0;1656.0;1217.0;34.0;"False Optional Decision Value: END_DECISION_15
False Optional Decision Value: END_DECISION_19";>12h*;>12h*;>10.000;>10.000 \
eShop;5;5;19;104;36.0;169.0;158.0;22.0;None;1.968;864;114;114 \
server;3;2;16;52;3.0;197.0;196.0;23.0;None;546;197;30;30 \
ASEJ1;3;97;317;759;0.0;189.0;193.0;136.0;None;3.691.734;1.442.604;3.391;3.391 \
MPPL;5;1;22;104;0.0;2966.0;2995.0;24.0;None;776;276;47;47 \
RFW;20;11;80;1496;34.0;3758.0;3052.0;47.0;None;>12h*;>12h*;>10.000*;>10.000* \
eShopFeatureIDE;120;35;405;51212;0.0;87.0;79.0;1516.0;None;>12h*;>12h*;>10.000*;>10.000* \
product_truck;1;0;9;13;0.0;1944.0;1799.0;26.0;None;97;28;4;4 \
product_waterfilter;17;27;75;927;0.0;177.0;188.0;41.0;"False Optional Decision Value: END_DECISION_192
False Optional Decision Value: END_DECISION_198
False Optional Decision Value: END_DECISION_199";532;115;10;10 \
VaMoS;5;1;14;93;0.0;198.0;227.0;15.0;None;682;257;40;40 \
VacuumRobot;5;3;15;93;0.0;138.0;174.0;23.0;None;;;;
MobilePhone;4;2;15;67;0.0;102.0;116.0;22.0;None;272;85;14;14 \
DissModel2;6;0;235;1501;5.0;317.0;328.0;40.0;None;>12h*;>12h*;>10.000*;>10.000* \
DOPLERTools2;25;3;34;1453;3.0;2346.0;2043.0;33.0;Dead Decision Value: END_DECISION_223;;;;
product_shiftfork;3;5;19;52;0.0;318.0;293.0;14.0;None;115;31;4;4 \
GPLTiny;3;1;12;38;2.0;513.0;435.0;12.0;None;128;39;6;6 \
DissModel;9;0;15;237;0.0;212.0;196.0;14.0;None;6.837;2.635;288;288 \
Ubuntu_14_10;115;103;436;45391;1.0;9586.0;9527.0;1872.0;None;>12h*;>12h*;>45;0 \
OnlineShop;6;4;19;136;0.0;1367.0;1339.0;26.0;None;1.438;541;80;80 \
DeploymentAndConfiguration;6;1;30;201;0.0;333.0;288.0;21.0;None;;;;
ASEJ2;4;0;9;67;0.0;379.0;373.0;21.0;None;1.757;762;120;120 \
DOPLERTools;32;15;92;3217;0.0;2051.0;2031.0;72.0;None;>12h*;>12h*;>10.000*;>10.000* \
HICSSDM;13;9;62;715;0.0;226.0;233.0;26.0;None;6.343.273;2.081.175;8.195;8.195 \
OnlineShop2;6;4;19;136;0.0;283.0;267.0;24.0;None;1.474;513;80;80 \
product_chesspiece;5;4;35;137;0.0;274.0;230.0;21.0;None;146;49;6;6 \
AllTheCombinations;20;0;62;1250;0.0;1459.0;1386.0;30.0;None;>12h*;>12h*;>10.000*;>10.000* \
Pizzas2;4;3;21;76;0.0;454.0;427.0;14.0;"Dead Decision Value: END_DECISION_472_Sicilian
False Optional Decision Value: END_DECISION_472_Neapolitan";;;;
SimplePizza;5;0;23;115;0.0;9243.0;9382.0;12.0;None;1.504;670;84;84 \
SafeBali2;6;0;12;123;0.0;283.0;244.0;23.0;None;481;158;28;28 \
SimpleWaterfilter;17;0;48;927;1.0;4597.0;4507.0;22.0;None;>12h*;>12h*;>10.000*;>10.000* \
FameDB2;7;0;34;217;0.0;550.0;536.0;23.0;None;7.134;2.644;280;280 \
eShop2;3;4;33;87;0.0;1422.0;1487.0;12.0;None;5.415;2.097;240;240 \
Windows7;22;9;164;2947;0.0;466.0;479.0;61.0;None;>12h*;>12h*;>10.000*;>10.000* \
SafeBali;6;0;12;123;1.0;20904.0;21255.0;17.0;None;492;169;28;28 \
DellLaptopNotebook;9;105;190;750;0.0;120.0;120.0;60.0;None;747.604;252.071;2.319;2.319 \
APL;13;2;12;391;0.0;210.0;184.0;25.0;None;204.560;75.505;2.016;2.016 \
product_rockerswitch;23;11;27;1104;0.0;478.0;436.0;28.0;None;>12h*;>12h*;>10.000*;>10.000* \
WorkloadCharacterisation;12;0;16;333;0.0;405.0;371.0;11.0;None;;;;
Windows8;35;2;153;5147;0.0;929.0;924.0;97.0;None;>12h*;>12h*;>15.785;>10.000 \
AlwaysTrue;3;0;6;31;0.0;40.0;29.0;12.0;None;105;39;6;6 \
ServiceAndFunctionalScope;6;0;12;93;0.0;795.0;843.0;10.0;None;;;;
eShopSPLOT;4;3;12;58;0.0;311.0;314.0;12.0;False Optional Decision Value: END_DECISION_639;127;38;5;5 \
GPLSmall;5;7;38;159;1.0;19450.0;19712.0;14.0;None;1.446;476;73;73 \
FeatureIDE;11;4;27;425;32.0;943.0;803.0;27.0;None;21.626.357;5.446.349;14.704;14.704 \
VacuumRobot2;9;3;23;229;0.0;345.0;326.0;9.0;None;;;;
WikiMatrix;8;23;55;314;0.0;252.0;265.0;32.0;"Dead Decision Value: END_DECISION_669_NoLimit
False Optional Decision Value: END_DECISION_672
False Optional Decision Value: END_DECISION_667
False Optional Decision Value: END_DECISION_674";326;98;8;8 \
TestabilityAndMeasurementReadiness;2;0;7;22;0.0;272.0;285.0;16.0;None;;;;
TightVNC;4;3;51;202;0.0;1566.0;1518.0;16.0;None;>12h*;>12h*;>10.000*;>10.000* \
ebay;10;1;59;556;0.0;144.0;105.0;25.0;None;>12h*;>12h*;>10.000*;>10.000* \
A;5;0;104;14;0.0;166.0;183.0;20.0;None;2.813;1.143;168;168 \
BerkeleyDB;41;24;102;4855;7.0;18212.0;17271.0;103.0;None;>12h*;>12h*;>10.000*;>10.000* \
BankingSoftware;91;10;154;23332;5.0;248276.0;258721.0;386.0;None;>12h*;>12h*;>10.000*;>10.000* \
VaMoS3;3;1;26;73;0.0;241.0;271.0;25.0;None;1.724;674;95;95 \
Pizzas;4;1;18;76;0.0;232.0;194.0;11.0;None;;;;
SimpleConditions;4;1;18;76;0.0;184.0;184.0;23.0;None;537;180;32;32 \
GPLMedium;10;15;64;535;0.0;1224.0;1144.0;31.0;None;81.522;32.348;960;960 \
ArtefactsAndAssets;1;0;9;13;0.0;80.0;65.0;10.0;None;;;;