these-ammii/thesis
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

rasta to typst

Browse source
This commit is contained in:
Jean-Marie Mineau 2025-06-23 16:18:47 +02:00
parent ef50ff2f49
commit 0edec83a8b
Signed by: histausse
GPG key ID: B66AEEDA9B645AD2
9 changed files with 2550 additions and 379 deletions
Download patch file Download diff file Expand all files Collapse all files

4
3_rasta/data/average_mem-final.csv Normal file
View file

@ -0,0 +1,4 @@
first,type,adagio,amandroid,anadroid,androguard,androguarddad,apparecium,blueseal,dialdroid,didfail,droidsafe,flowdroid,gator,ic,icfork,iccta,mallodroid,perfchecker,redexer,saaf,wognsenetal
FINISHED,memory,0.6,4.5,12.8,0.6,0.3,1.3,2.7,15.9,17.6,9.9,2,2,15.3,5,5,0,0,1,3,3
FAILED,,0.3,4.9,2.8,0.4,1,0.6,1.7,3.9,68.3,14.8,5,41.5,130.9,5,12,0,1,1,1,1
TIMEOUT,,0,19,82.6,0,68.1,2.1,15.4,37.2,99.8,0.2,20.2,1.1,81.1,20,2,0,1,0,9,0
1 first type adagio amandroid anadroid androguard androguarddad apparecium blueseal dialdroid didfail droidsafe flowdroid gator ic icfork iccta mallodroid perfchecker redexer saaf wognsenetal
2 FINISHED memory 0.6 4.5 12.8 0.6 0.3 1.3 2.7 15.9 17.6 9.9 2 2 15.3 5 5 0 0 1 3 3
3 FAILED 0.3 4.9 2.8 0.4 1 0.6 1.7 3.9 68.3 14.8 5 41.5 130.9 5 12 0 1 1 1 1
4 TIMEOUT 0 19 82.6 0 68.1 2.1 15.4 37.2 99.8 0.2 20.2 1.1 81.1 20 2 0 1 0 9 0

7
3_rasta/data/average_number_of_error_by_exec.csv Normal file
View file

@ -0,0 +1,7 @@
first,type,adagio,amandroid,anadroid,androguard,androguarddad,apparecium,blueseal,dialdroid,didfail,droidsafe,flowdroid,gator,ic,icfork,iccta,mallodroid,perfchecker,redexer,saaf,wognsenetal
FINISHED,errors,0.0,0.9,0.02,0.0,0.0,3.33,0.0,55.88,1.13,7.17,1.04,0.0,1.22,0.32,14.3,4.37,0.28,1.29,0.22,2.13
,sigma,0.0,3.23,0.19,0.0,0.0,261.92,0.05,63.73,3.94,37.87,26.32,0.04,23.1,2.73,71.74,277.0,1.77,1.28,0.83,66.5
FAILED,errors,0.0,2.79,2.34,1.35,1.0,21.63,1.02,33.79,6.6,12.53,14.64,0.32,3.66,1.29,17.34,1.0,1.15,3.45,6.35,4.11
,sigma,0.0,8.7,0.94,0.48,0.02,466.97,0.21,108.56,31.56,74.01,49.07,0.78,18.06,0.71,42.81,0.0,4.7,4.52,22.97,48.81
TIMEOUT,errors,0,9.78,0.01,0,0.0,4.3,0.01,60.94,1.06,26.64,0.75,0.0,2.13,0.91,3.68,0,1.24,0,91.29,1.31
,sigma,0.0,9.76,0.11,0.0,0.0,79.98,0.11,101.73,2.98,97.18,1.72,0.0,5.19,3.19,15.33,0.0,4.3,0.0,353.75,3.42
1 first type adagio amandroid anadroid androguard androguarddad apparecium blueseal dialdroid didfail droidsafe flowdroid gator ic icfork iccta mallodroid perfchecker redexer saaf wognsenetal
2 FINISHED errors 0.0 0.9 0.02 0.0 0.0 3.33 0.0 55.88 1.13 7.17 1.04 0.0 1.22 0.32 14.3 4.37 0.28 1.29 0.22 2.13
3 sigma 0.0 3.23 0.19 0.0 0.0 261.92 0.05 63.73 3.94 37.87 26.32 0.04 23.1 2.73 71.74 277.0 1.77 1.28 0.83 66.5
4 FAILED errors 0.0 2.79 2.34 1.35 1.0 21.63 1.02 33.79 6.6 12.53 14.64 0.32 3.66 1.29 17.34 1.0 1.15 3.45 6.35 4.11
5 sigma 0.0 8.7 0.94 0.48 0.02 466.97 0.21 108.56 31.56 74.01 49.07 0.78 18.06 0.71 42.81 0.0 4.7 4.52 22.97 48.81
6 TIMEOUT errors 0 9.78 0.01 0 0.0 4.3 0.01 60.94 1.06 26.64 0.75 0.0 2.13 0.91 3.68 0 1.24 0 91.29 1.31
7 sigma 0.0 9.76 0.11 0.0 0.0 79.98 0.11 101.73 2.98 97.18 1.72 0.0 5.19 3.19 15.33 0.0 4.3 0.0 353.75 3.42

4
3_rasta/data/average_time-final.csv Normal file
View file

@ -0,0 +1,4 @@
first,type,adagio,amandroid,anadroid,androguard,androguarddad,apparecium,blueseal,dialdroid,didfail,droidsafe,flowdroid,gator,ic,icfork,iccta,mallodroid,perfchecker,redexer,saaf,wognsenetal
FINISHED,time,17.19,405.02,149.29,15.59,26.56,97.54,158.38,767.67,270.1,676.08,29.11,33.19,156.19,158.7,90.2,27.79,4.31,16.16,56.44,696.09
FAILED,,8.38,760.52,4.8,13.64,62.67,21.68,12.15,68.47,444.74,442.79,136.95,924.46,535.39,28.6,201.74,5.21,10.24,16.61,5.73,55.58
TIMEOUT,,0,3600.84,3600.83,0,3603.59,3600.23,3600.73,3604.0,3600.02,3600.08,3601.18,3600.56,3601.03,3600.92,3600.38,0,3600.04,0,3602.02,3600.55
1 first type adagio amandroid anadroid androguard androguarddad apparecium blueseal dialdroid didfail droidsafe flowdroid gator ic icfork iccta mallodroid perfchecker redexer saaf wognsenetal
2 FINISHED time 17.19 405.02 149.29 15.59 26.56 97.54 158.38 767.67 270.1 676.08 29.11 33.19 156.19 158.7 90.2 27.79 4.31 16.16 56.44 696.09
3 FAILED 8.38 760.52 4.8 13.64 62.67 21.68 12.15 68.47 444.74 442.79 136.95 924.46 535.39 28.6 201.74 5.21 10.24 16.61 5.73 55.58
4 TIMEOUT 0 3600.84 3600.83 0 3603.59 3600.23 3600.73 3604.0 3600.02 3600.08 3601.18 3600.56 3601.03 3600.92 3600.38 0 3600.04 0 3602.02 3600.55