110
130
144
152
174
186
200
206
220
238
273
311
625
769
781
787
791
793
805
805
833
838
863
863
873
874
878
880
884
888
888
890
896
905
969
1054
1064
1081
1091
1097
1097
1099
1101
1101
1104
1113
1131
1147
1233
1533
1535
1537
1541
1541
1563
1572
1591
1591
1597
1605
1613
1615
1617
1624
1624
1632
1680
1680
1686
1688
1698
1698
1702
1702
1702
1732
1738
Overview
|
Average |
Total |
Wall Clock Time |
18.42 hours |
892.39 days |
CPU time |
45 seconds |
14.54 hours |
Interaction Time |
2.76 hours |
133.93 days |