On The Timed Analysis Of Big-Data Applications - Experimental Data

Dataset English OPEN
Francesco Marconi ; Giovanni Quattrocchi ; Luciano Baresi ; Marcello M. Bersani ; Matteo Rossi (2018)

<p>This archive includes experimental data associated to the paper:</p> <p>On the Timed Analysis of Big-Data Applications. Accepted in <em>Proceedings&nbsp;of Nasa Formal Methods</em> (NFM 2018).&nbsp;<br> Marconi, F., Quattrocchi, G., Baresi, L., Bersani, M.M., Rossi, M.. 2018</p> <p>Specifically, it includes detailed data regarding the verification tasks reported in Section 4 (Implementation and Validation of the Model).<br> In reference to Table 1 of the paper, the archive is organized in the following way: there is one folder for each case study (sort_by_key, pagerank, kmeans) and, for each of these folders, there is a subfolder for each configuration considered in the paper.</p> <p>Here we report an overview of the verification tasks performed. The name of the tables correspond to the code of the setting and to the name&nbsp; of the folder, while the id of each entry corresponds to the folder name of each experiment.</p> <pre><code class="language-markdown">## SortByKey Experiments ### sort_by_key_C12_T100_rec260000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | sort_by_key | 12 | 91000 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91000_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91100 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91100_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91200 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91200_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91300 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91300_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91360 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91360_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91370 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91370_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91380 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91380_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91381 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91381_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91382 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91382_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91383 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91383_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91384 | sat | 3.81 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91384_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91385 | sat | 3.34 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91385_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91386 | sat | 3.52 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91386_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91387 | sat | 3.42 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91387_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91388 | sat | 3.4 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91388_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91389 | sat | 3.43 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91389_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91390 | sat | 2.37 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91390_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91400 | sat | 3.38 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91400_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91500 | sat | 16.52 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91500_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91600 | sat | 6.8 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91600_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91700 | sat | 12.03 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91700_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91800 | sat | 5.62 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91800_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91900 | sat | 5.54 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91900_tc_12_8_n_rounds_by1_t_task | the minimum SAT deadline is: 91384 ### sort_by_key_C12_T100_rec280000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | sort_by_key | 12 | 98200 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98200_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98300 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98300_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98400 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98400_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98402 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98402_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98403 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98403_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98404 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98404_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98405 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98405_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98406 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98406_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98407 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98407_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98408 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98408_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98409 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98409_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98410 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98410_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98420 | sat | 3.48 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98420_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98430 | sat | 3.57 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98430_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98440 | sat | 6.68 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98440_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98450 | sat | 7.1 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98450_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98460 | sat | 37.07 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98460_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98470 | sat | 10.33 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98470_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98480 | sat | 18.14 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98480_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98490 | sat | 10.78 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98490_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98500 | sat | 3.43 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98500_tc_12_8_n_rounds_by1_t_task | the minimum SAT deadline is: 98420 ### sort_by_key_C12_T100_rec300000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | sort_by_key | 12 | 105200 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105200_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105300 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105300_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105400 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105400_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105420 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105420_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105430 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105430_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105440 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105440_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105441 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105441_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105442 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105442_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105443 | sat | 3.33 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105443_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105444 | sat | 3.35 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105444_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105445 | sat | 3.3 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105445_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105446 | sat | 3.31 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105446_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105447 | sat | 3.37 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105447_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105448 | sat | 3.37 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105448_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105449 | sat | 3.3 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105449_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105450 | sat | 3.02 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105450_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105460 | sat | 3.03 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105460_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105470 | sat | 4.52 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105470_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105480 | sat | 4.54 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105480_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105490 | sat | 9.48 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105490_tc_12_8_n_rounds_by1_t_task | the minimum SAT deadline is: 105443 ### sort_by_key_C22_T100_rec260000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | sort_by_key | 22 | 70000 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d70000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 70500 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d70500_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 71000 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d71000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 71500 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d71500_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72000 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72250 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72250_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72500 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72500_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72750 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72750_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72885 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72885_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72890 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72890_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72895 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72895_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72898 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72898_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72899 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72899_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72900 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72900_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72901 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72901_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72902 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72902_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72903 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72903_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72904 | sat | 9.35 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72904_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72905 | sat | 8.16 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72905_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72910 | sat | 8.15 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72910_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72915 | sat | 7.72 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72915_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72920 | sat | 7.55 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72920_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72925 | sat | 5.29 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72925_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72930 | sat | 10.23 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72930_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72935 | sat | 11.21 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72935_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72940 | sat | 10.98 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72940_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72945 | sat | 12.62 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72945_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72950 | sat | 12.55 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72950_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72955 | sat | 3.19 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72955_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72960 | sat | 2.62 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72960_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72965 | sat | 2.62 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72965_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72970 | sat | 2.63 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72970_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72975 | sat | 2.62 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72975_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72980 | sat | 2.72 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72980_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72985 | sat | 2.6 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72985_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72990 | sat | 2.55 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72990_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72995 | sat | 2.56 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72995_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 73000 | sat | 3.2 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d73000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 74000 | sat | 6.34 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d74000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 75000 | sat | 3.88 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d75000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 76000 | sat | 4.6 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d76000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 77000 | sat | 4.15 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d77000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78000 | sat | 1.89 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d78000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 79000 | sat | 3.28 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d79000_tc_22_10_n_rounds_by1_t_task | the minimum SAT deadline is: 72904 ### sort_by_key_C22_T100_rec280000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | sort_by_key | 22 | 78000 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78480 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78480_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78485 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78485_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78490 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78490_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78492 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78492_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78494 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78494_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78495 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78495_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78496 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78496_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78497 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78497_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78498 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78498_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78499 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78499_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78500 | sat | 40.11 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78500_tc_22_10_n_rounds_by1_t_task_num_v | | sort_by_key | 22 | 78750 | sat | 1.33 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78750_tc_22_10_n_rounds_by1_t_task_num_v | | sort_by_key | 22 | 79000 | sat | 9.14 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d79000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 80000 | sat | 2.27 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d80000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 81000 | sat | 1.98 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d81000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 82000 | sat | 5.89 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d82000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 83000 | sat | 8.81 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d83000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84000 | sat | 1.86 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d84000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 85000 | sat | 2.46 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d85000_tc_22_10_n_rounds_by1_t_task | the minimum SAT deadline is: 78500 ### sort_by_key_C22_T100_rec300000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | sort_by_key | 22 | 5000 | unsat | 0.56 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d5000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 10000 | unsat | 0.44 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d10000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 12000 | unsat | 1.07 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d12000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 15000 | unsat | 1.72 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d15000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 20000 | unsat | 1.13 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d20000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 25000 | unsat | 3.71 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d25000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 30000 | unsat | 4.27 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d30000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 35000 | unsat | 15.73 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d35000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 40000 | unsat | 8.82 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d40000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 45000 | unsat | 15.27 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d45000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 50000 | unsat | 19.42 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d50000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 55000 | unsat | 39.81 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d55000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 60000 | unsat | 39.71 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d60000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 65000 | unsat | 87.48 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d65000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 70000 | unsat | 120.21 | C2_t100_c22_c22_t100_nr3000000
Share - Bookmark

  • Download from
    Zenodo via Zenodo (Dataset, 2018)
  • Funded by
  • Cite this research data