details

property	value
status	complete
benchmark	ex36.koat
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n030.star.cs.uiowa.edu
space	T2

run statistics

property	value
solver	CoFloCo 2018
configuration	its
runtime (wallclock)	94.4314 seconds
cpu usage	94.3918
user time	94.0533
system time	0.338526
max virtual memory	566948.0
max residence set size	263048.0

stage attributes

key	value
starexec-result	MAYBE

output

94.25/94.22 MAYBE 94.25/94.22 94.25/94.22 Preprocessing Cost Relations 94.25/94.22 ===================================== 94.25/94.22 94.25/94.22 #### Computed strongly connected components 94.25/94.22 0. recursive : [f49/5] 94.25/94.22 1. non_recursive : [exit_location/1] 94.25/94.22 2. recursive : [f58/12] 94.25/94.22 3. recursive : [f102/7] 94.25/94.22 4. recursive : [f114/5] 94.25/94.22 5. recursive : [f127/3] 94.25/94.22 6. non_recursive : [f135/56] 94.25/94.22 7. recursive : [f294/5] 94.25/94.22 8. recursive : [f304/7] 94.25/94.22 9. recursive : [f313/9] 94.25/94.22 10. recursive : [f322/11] 94.25/94.22 11. recursive : [f332/9] 94.25/94.22 12. recursive : [f341/7] 94.25/94.22 13. recursive : [f353/5] 94.25/94.22 14. recursive : [f362/3] 94.25/94.22 15. recursive : [f372/5] 94.25/94.22 16. recursive : [f382/7] 94.25/94.22 17. recursive : [f394/5] 94.25/94.22 18. recursive : [f391/7,f394_loop_cont/8] 94.25/94.22 19. recursive : [f406/7] 94.25/94.22 20. recursive : [f403/9,f406_loop_cont/10] 94.25/94.22 21. recursive : [f419/3] 94.25/94.22 22. recursive : [f430/3] 94.25/94.22 23. recursive : [f443/5] 94.25/94.22 24. recursive : [f452/3] 94.25/94.22 25. recursive : [f458/7] 94.25/94.22 26. recursive : [f473/9] 94.25/94.22 27. recursive : [f486/9,f489/9] 94.25/94.22 28. recursive : [f426/21,f430_loop_cont/22,f436/21,f443_loop_cont/22,f452_loop_cont/22,f458_loop_cont/22,f473_loop_cont/22,f486_loop_cont/22] 94.25/94.22 29. recursive : [f502/3] 94.25/94.22 30. non_recursive : [f502_loop_cont/57] 94.25/94.22 31. non_recursive : [f426_loop_cont/57] 94.25/94.22 32. non_recursive : [f419_loop_cont/57] 94.25/94.22 33. non_recursive : [f403_loop_cont/57] 94.25/94.22 34. non_recursive : [f391_loop_cont/57] 94.25/94.22 35. non_recursive : [f382_loop_cont/57] 94.25/94.22 36. non_recursive : [f372_loop_cont/57] 94.25/94.22 37. non_recursive : [f368/56] 94.25/94.22 38. non_recursive : [f362_loop_cont/57] 94.25/94.22 39. non_recursive : [f353_loop_cont/57] 94.25/94.22 40. non_recursive : [f349/56] 94.25/94.22 41. non_recursive : [f341_loop_cont/57] 94.25/94.22 42. non_recursive : [f332_loop_cont/57] 94.25/94.22 43. non_recursive : [f322_loop_cont/57] 94.25/94.22 44. non_recursive : [f313_loop_cont/57] 94.25/94.22 45. non_recursive : [f304_loop_cont/57] 94.25/94.22 46. non_recursive : [f294_loop_cont/57] 94.25/94.22 47. non_recursive : [f144/56] 94.25/94.22 48. recursive : [f239/5] 94.25/94.22 49. recursive : [f252/5] 94.25/94.22 50. recursive : [f260/13] 94.25/94.22 51. recursive : [f274/7] 94.25/94.22 52. recursive : [f247/19,f252_loop_cont/20,f260_loop_cont/20,f274_loop_cont/20] 94.25/94.22 53. non_recursive : [f247_loop_cont/57] 94.25/94.22 54. non_recursive : [f239_loop_cont/57] 94.25/94.22 55. non_recursive : [f142/56] 94.25/94.22 56. recursive : [f193/5] 94.25/94.22 57. recursive : [f202/3] 94.25/94.22 58. recursive : [f208/7] 94.25/94.22 59. recursive : [f223/5] 94.25/94.22 60. non_recursive : [f223_loop_cont/57] 94.25/94.22 61. non_recursive : [f208_loop_cont/57] 94.25/94.22 62. non_recursive : [f202_loop_cont/57] 94.25/94.22 63. non_recursive : [f193_loop_cont/57] 94.25/94.22 64. non_recursive : [f140/56] 94.25/94.22 65. recursive : [f152/9] 94.25/94.22 66. recursive : [f165/9] 94.25/94.22 67. recursive : [f178/5] 94.25/94.22 68. non_recursive : [f178_loop_cont/57] 94.25/94.22 69. non_recursive : [f165_loop_cont/57] 94.25/94.22 70. non_recursive : [f152_loop_cont/57] 94.25/94.22 71. non_recursive : [f138/56] 94.25/94.22 72. non_recursive : [f127_loop_cont/57] 94.25/94.22 73. non_recursive : [f124/56] 94.25/94.22 74. non_recursive : [f114_loop_cont/57] 94.25/94.22 75. non_recursive : [f102_loop_cont/57] 94.25/94.22 76. non_recursive : [f69/56] 94.25/94.22 77. non_recursive : [f67/56] 94.25/94.22 78. recursive : [f77/5] 94.25/94.22 79. recursive : [f89/3] 94.25/94.22 80. non_recursive : [f89_loop_cont/57] 94.25/94.22 81. non_recursive : [f86/56] 94.25/94.22 82. non_recursive : [f77_loop_cont/57] 94.25/94.22 83. non_recursive : [f58_loop_cont/57] 94.25/94.22 84. non_recursive : [f49_loop_cont/57] 94.25/94.22 85. non_recursive : [f0/56] 94.25/94.22 94.25/94.22 #### Obtained direct recursion through partial evaluation 94.25/94.22 0. SCC is partially evaluated into f49/5 94.25/94.22 1. SCC is completely evaluated into other SCCs 94.25/94.22 2. SCC is partially evaluated into f58/12 94.25/94.22 3. SCC is partially evaluated into f102/7 94.25/94.22 4. SCC is partially evaluated into f114/5 94.25/94.22 5. SCC is partially evaluated into f127/3 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