Petitverse

ちなみにアンケートの趣旨を要約すると
『作品をDLして実行する際に3枚のGRPを数十分かけて解凍するのはOK or 嫌』
ということです。

以下、私の意見です
・作品を公開するとき、画像等のリソースは圧縮したほうが良い
・ただし、解凍に10分以上かかるなら、考える
・許容できる解凍時間はこのぐらいだと思う
GRP1枚（512*512px）あたり20-30秒
かつ　すべてのファイルの解凍が2分以下
ただし　「時間が掛かる」趣旨の注意書きが表示されるなら5分程度まではあり

プチコンの性能を考えたとき、512*512px*3枚で数十分解凍に掛かると言うのは、圧縮プログラムが相当効率的ではないと推測される。
したがって、他の人が製作したより速いライブラリを組み込むのでベターな選択ではないかと思う。

[end of 私の意見]

締めくくったけどもう一言書きたいので書く


圧縮は、転送量と計算量のトレードオフなので、圧縮率が良いのが一概に正しいわけではない。
ダウンロード時間と解凍時間の合計がなるべく短くなるのが良い。

一例として、スマートフォンで通信制限が掛かったときの速度128kbpsで考えると
128キロビット毎秒 = 16キロバイト毎秒なので
GRP1枚 = 約524キロバイト
524 / 16 = 約32.75(秒)
3枚なので3を乗じて 約98.25(秒)
ということでダウンロードにかかる時間はおおよそ100秒。

したがって
（GRPファイル3個の合計）解凍時間が1分40秒以上ならば圧縮することは合理的ではないと考えられる。

（書き忘れ）キロはSI接頭辞（1000倍）とする
[end of 追記]