details

property	value
status	complete
benchmark	sipmamergesort.c.koat
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n157.star.cs.uiowa.edu
space	Flores-Montoya_16

run statistics

property	value
solver	CoFloCo 2018
configuration	its
runtime (wallclock)	138.718 seconds
cpu usage	138.651
user time	138.472
system time	0.178332
max virtual memory	387524.0
max residence set size	83320.0

stage attributes

key	value
starexec-result	WORST_CASE(?,O(n^2))

output

138.42/138.40 WORST_CASE(?,O(n^2)) 138.42/138.40 138.42/138.40 Preprocessing Cost Relations 138.42/138.40 ===================================== 138.42/138.40 138.42/138.40 #### Computed strongly connected components 138.42/138.40 0. recursive : [eval_sipmamergesort_init_bb3_in/7,eval_sipmamergesort_init_bb4_in/7,eval_sipmamergesort_init_bb5_in/7,eval_sipmamergesort_init_bb6_in/7] 138.42/138.40 1. recursive : [eval_sipmamergesort_init_bb7_in/4,eval_sipmamergesort_init_bb8_in/4] 138.42/138.40 2. recursive : [eval_sipmamergesort_init_bb10_in/3,eval_sipmamergesort_init_bb9_in/3] 138.42/138.40 3. recursive : [eval_sipmamergesort_init_77/14,eval_sipmamergesort_init_78/14,eval_sipmamergesort_init_79/14,eval_sipmamergesort_init_80/14,eval_sipmamergesort_init_81/14,eval_sipmamergesort_init_bb11_in/14,eval_sipmamergesort_init_bb2_in/14,eval_sipmamergesort_init_bb3_in_loop_cont/15,eval_sipmamergesort_init_bb7_in_loop_cont/15,eval_sipmamergesort_init_bb9_in_loop_cont/15] 138.42/138.40 4. recursive : [eval_sipmamergesort_init_83/22,eval_sipmamergesort_init_84/22,eval_sipmamergesort_init_85/22,eval_sipmamergesort_init_86/22,eval_sipmamergesort_init_bb12_in/22,eval_sipmamergesort_init_bb1_in/22,eval_sipmamergesort_init_bb2_in_loop_cont/23] 138.42/138.40 5. recursive : [eval_sipmamergesort_init_bb14_in/4,eval_sipmamergesort_init_bb15_in/4] 138.42/138.40 6. non_recursive : [eval_sipmamergesort_init_stop/13] 138.42/138.40 7. non_recursive : [eval_sipmamergesort_init_bb16_in/13] 138.42/138.40 8. non_recursive : [exit_location/1] 138.42/138.40 9. non_recursive : [eval_sipmamergesort_init_bb14_in_loop_cont/14] 138.42/138.40 10. non_recursive : [eval_sipmamergesort_init_bb13_in/13] 138.42/138.40 11. non_recursive : [eval_sipmamergesort_init_bb1_in_loop_cont/14] 138.42/138.40 12. non_recursive : [eval_sipmamergesort_init_26/13] 138.42/138.40 13. non_recursive : [eval_sipmamergesort_init_25/13] 138.42/138.40 14. non_recursive : [eval_sipmamergesort_init_24/13] 138.42/138.40 15. non_recursive : [eval_sipmamergesort_init_23/13] 138.42/138.40 16. non_recursive : [eval_sipmamergesort_init_22/13] 138.42/138.40 17. non_recursive : [eval_sipmamergesort_init_21/13] 138.42/138.40 18. non_recursive : [eval_sipmamergesort_init_20/13] 138.42/138.40 19. non_recursive : [eval_sipmamergesort_init_19/13] 138.42/138.40 20. non_recursive : [eval_sipmamergesort_init_18/13] 138.42/138.40 21. non_recursive : [eval_sipmamergesort_init_17/13] 138.42/138.40 22. non_recursive : [eval_sipmamergesort_init_16/13] 138.42/138.40 23. non_recursive : [eval_sipmamergesort_init_15/13] 138.42/138.40 24. non_recursive : [eval_sipmamergesort_init_14/13] 138.42/138.40 25. non_recursive : [eval_sipmamergesort_init_13/13] 138.42/138.40 26. non_recursive : [eval_sipmamergesort_init_12/13] 138.42/138.40 27. non_recursive : [eval_sipmamergesort_init_11/13] 138.42/138.40 28. non_recursive : [eval_sipmamergesort_init_10/13] 138.42/138.40 29. non_recursive : [eval_sipmamergesort_init_9/13] 138.42/138.40 30. non_recursive : [eval_sipmamergesort_init_8/13] 138.42/138.40 31. non_recursive : [eval_sipmamergesort_init_7/13] 138.42/138.40 32. non_recursive : [eval_sipmamergesort_init_6/13] 138.42/138.40 33. non_recursive : [eval_sipmamergesort_init_5/13] 138.42/138.40 34. non_recursive : [eval_sipmamergesort_init_4/13] 138.42/138.40 35. non_recursive : [eval_sipmamergesort_init_3/13] 138.42/138.40 36. non_recursive : [eval_sipmamergesort_init_2/13] 138.42/138.40 37. non_recursive : [eval_sipmamergesort_init_1/13] 138.42/138.40 38. non_recursive : [eval_sipmamergesort_init_0/13] 138.42/138.40 39. non_recursive : [eval_sipmamergesort_init_bb0_in/13] 138.42/138.40 40. non_recursive : [eval_sipmamergesort_init_start/13] 138.42/138.40 138.42/138.40 #### Obtained direct recursion through partial evaluation 138.42/138.40 0. SCC is partially evaluated into eval_sipmamergesort_init_bb3_in/7 138.42/138.40 1. SCC is partially evaluated into eval_sipmamergesort_init_bb7_in/4 138.42/138.40 2. SCC is partially evaluated into eval_sipmamergesort_init_bb9_in/3 138.42/138.40 3. SCC is partially evaluated into eval_sipmamergesort_init_bb2_in/14 138.42/138.40 4. SCC is partially evaluated into eval_sipmamergesort_init_bb1_in/22 138.42/138.40 5. SCC is partially evaluated into eval_sipmamergesort_init_bb14_in/4 138.42/138.40 6. SCC is completely evaluated into other SCCs 138.42/138.40 7. SCC is completely evaluated into other SCCs 138.42/138.40 8. SCC is completely evaluated into other SCCs 138.42/138.40 9. SCC is partially evaluated into eval_sipmamergesort_init_bb14_in_loop_cont/14 138.42/138.40 10. SCC is partially evaluated into eval_sipmamergesort_init_bb13_in/13 138.42/138.40 11. SCC is partially evaluated into eval_sipmamergesort_init_bb1_in_loop_cont/14 138.42/138.40 12. SCC is partially evaluated into eval_sipmamergesort_init_26/13 138.42/138.40 13. SCC is completely evaluated into other SCCs 138.42/138.40 14. SCC is completely evaluated into other SCCs 138.42/138.40 15. SCC is completely evaluated into other SCCs 138.42/138.40 16. SCC is completely evaluated into other SCCs 138.42/138.40 17. SCC is completely evaluated into other SCCs 138.42/138.40 18. SCC is completely evaluated into other SCCs 138.42/138.40 19. SCC is completely evaluated into other SCCs 138.42/138.40 20. SCC is completely evaluated into other SCCs 138.42/138.40 21. SCC is completely evaluated into other SCCs 138.42/138.40 22. SCC is completely evaluated into other SCCs 138.42/138.40 23. SCC is completely evaluated into other SCCs 138.42/138.40 24. SCC is completely evaluated into other SCCs 138.42/138.40 25. SCC is completely evaluated into other SCCs 138.42/138.40 26. SCC is completely evaluated into other SCCs 138.42/138.40 27. SCC is completely evaluated into other SCCs 138.42/138.40 28. SCC is completely evaluated into other SCCs 138.42/138.40 29. SCC is completely evaluated into other SCCs 138.42/138.40 30. SCC is completely evaluated into other SCCs 138.42/138.40 31. SCC is completely evaluated into other SCCs 138.42/138.40 32. SCC is completely evaluated into other SCCs 138.42/138.40 33. SCC is completely evaluated into other SCCs 138.42/138.40 34. SCC is completely evaluated into other SCCs 138.42/138.40 35. SCC is completely evaluated into other SCCs 138.42/138.40 36. SCC is completely evaluated into other SCCs 138.42/138.40 37. SCC is completely evaluated into other SCCs 138.42/138.40 38. SCC is completely evaluated into other SCCs 138.42/138.40 39. SCC is completely evaluated into other SCCs 138.42/138.40 40. SCC is partially evaluated into eval_sipmamergesort_init_start/13 138.42/138.40 138.42/138.40 Control-Flow Refinement of Cost Relations 138.42/138.40 ===================================== 138.42/138.40 138.42/138.40 ### Specialization of cost equations eval_sipmamergesort_init_bb3_in/7 138.42/138.40 * CE 40 is refined into CE [53] 138.42/138.40 * CE 39 is refined into CE [54] 138.42/138.40 * CE 41 is refined into CE [55] 138.42/138.40 * CE 37 is refined into CE [56] 138.42/138.40 * CE 38 is refined into CE [57] popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to Complexity_ITS 2019-03-21 04.46