diff --git a/qaplib/instances/wcsp/bur26akpge.wcsp.xz b/qaplib/instances/wcsp/bur26akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..44786002f590f83410194c79570ca400b297ad5e
Binary files /dev/null and b/qaplib/instances/wcsp/bur26akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/bur26bkpge.wcsp.xz b/qaplib/instances/wcsp/bur26bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..973416fb7b9a5e9c35805dbae7a48b5c33fca518
Binary files /dev/null and b/qaplib/instances/wcsp/bur26bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/bur26ckpge.wcsp.xz b/qaplib/instances/wcsp/bur26ckpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..4cfadc11c9fc2cc25d9cd10422ca00612db3056b
Binary files /dev/null and b/qaplib/instances/wcsp/bur26ckpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/bur26dkpge.wcsp.xz b/qaplib/instances/wcsp/bur26dkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..369ad1c26cb105af744b012e10c7f5930e9adfea
Binary files /dev/null and b/qaplib/instances/wcsp/bur26dkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/bur26ekpge.wcsp.xz b/qaplib/instances/wcsp/bur26ekpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..2bed71e2f6b2e8fc5ef94d800b0a3de7b8deec18
Binary files /dev/null and b/qaplib/instances/wcsp/bur26ekpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/bur26fkpge.wcsp.xz b/qaplib/instances/wcsp/bur26fkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..e53e9bfbf695fd5f3a801b10b79dd0f95284ae79
Binary files /dev/null and b/qaplib/instances/wcsp/bur26fkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/bur26gkpge.wcsp.xz b/qaplib/instances/wcsp/bur26gkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..568ffbc9dd30137f4aa0b0c1c39b8b0ab3da49c7
Binary files /dev/null and b/qaplib/instances/wcsp/bur26gkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/bur26hkpge.wcsp.xz b/qaplib/instances/wcsp/bur26hkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..dd162735a207f17112d6e53b624192c799679515
Binary files /dev/null and b/qaplib/instances/wcsp/bur26hkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr12akpge.wcsp.xz b/qaplib/instances/wcsp/chr12akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..1d8ccdf3a5c73d6564b114739c2054dfa707af01
Binary files /dev/null and b/qaplib/instances/wcsp/chr12akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr12bkpge.wcsp.xz b/qaplib/instances/wcsp/chr12bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..27f37c6e81b4202a71a9ee9fa58400e77bd2f94e
Binary files /dev/null and b/qaplib/instances/wcsp/chr12bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr12ckpge.wcsp.xz b/qaplib/instances/wcsp/chr12ckpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..676ad7e5c755db7f95520fbea5d759376182b399
Binary files /dev/null and b/qaplib/instances/wcsp/chr12ckpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr15akpge.wcsp.xz b/qaplib/instances/wcsp/chr15akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..de361bc5a76a006d24137868628ce52790e5c4b2
Binary files /dev/null and b/qaplib/instances/wcsp/chr15akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr15bkpge.wcsp.xz b/qaplib/instances/wcsp/chr15bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..f98ffdc3d372ab1dcdb98894d4287cb9605c0c07
Binary files /dev/null and b/qaplib/instances/wcsp/chr15bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr15ckpge.wcsp.xz b/qaplib/instances/wcsp/chr15ckpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..a8bdb4573c4f316c56c851079d74cba7bae45c44
Binary files /dev/null and b/qaplib/instances/wcsp/chr15ckpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr18akpge.wcsp.xz b/qaplib/instances/wcsp/chr18akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..9fea70667043f7ec4b17c8576445a3624ab46cc3
Binary files /dev/null and b/qaplib/instances/wcsp/chr18akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr18bkpge.wcsp.xz b/qaplib/instances/wcsp/chr18bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..a40597f68c112294f2b2d3ec89d0ab965246f9d5
Binary files /dev/null and b/qaplib/instances/wcsp/chr18bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr20akpge.wcsp.xz b/qaplib/instances/wcsp/chr20akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..49b22128c5c6597e25793978dab1cca597089aae
Binary files /dev/null and b/qaplib/instances/wcsp/chr20akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr20bkpge.wcsp.xz b/qaplib/instances/wcsp/chr20bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..6ccec32c148ab9fd8f4991d43c1c60322bf7be84
Binary files /dev/null and b/qaplib/instances/wcsp/chr20bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr20ckpge.wcsp.xz b/qaplib/instances/wcsp/chr20ckpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..c83eb44ad3c3c362ee879c2231bdf89aff7a65ff
Binary files /dev/null and b/qaplib/instances/wcsp/chr20ckpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr22akpge.wcsp.xz b/qaplib/instances/wcsp/chr22akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..1111134ed5bcc842279ced6f7c2494e1f788f190
Binary files /dev/null and b/qaplib/instances/wcsp/chr22akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr22bkpge.wcsp.xz b/qaplib/instances/wcsp/chr22bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..c4399feb4464ba5d8de002e91a44aed644eddee3
Binary files /dev/null and b/qaplib/instances/wcsp/chr22bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/chr25akpge.wcsp.xz b/qaplib/instances/wcsp/chr25akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..230b82e422e6723642530f4d41b9bbabccab417b
Binary files /dev/null and b/qaplib/instances/wcsp/chr25akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/els19kpge.wcsp.xz b/qaplib/instances/wcsp/els19kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..33d9b9270e5c0a1f356c7b016dd591812d9d1d66
Binary files /dev/null and b/qaplib/instances/wcsp/els19kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc16akpge.wcsp.xz b/qaplib/instances/wcsp/esc16akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..dada80985543c74b5dfc99e34f4fb2ba52325b37
Binary files /dev/null and b/qaplib/instances/wcsp/esc16akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc16bkpge.wcsp.xz b/qaplib/instances/wcsp/esc16bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..98a0d93f29cbb42952e68a9d67740d209a9b850f
Binary files /dev/null and b/qaplib/instances/wcsp/esc16bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc16ckpge.wcsp.xz b/qaplib/instances/wcsp/esc16ckpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..12122e05fba8277366c195090e55483a8f5d940c
Binary files /dev/null and b/qaplib/instances/wcsp/esc16ckpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc16dkpge.wcsp.xz b/qaplib/instances/wcsp/esc16dkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..b149af027f62d64ce98bf13035c8b0a08f50a7d2
Binary files /dev/null and b/qaplib/instances/wcsp/esc16dkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc16ekpge.wcsp.xz b/qaplib/instances/wcsp/esc16ekpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..8ede36b5f05deefe7a93ceef3eb8271727aaa26d
Binary files /dev/null and b/qaplib/instances/wcsp/esc16ekpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc16fkpge.wcsp.xz b/qaplib/instances/wcsp/esc16fkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..bef9b072d2e1481a0e668c2339f3c4649f64f5c2
Binary files /dev/null and b/qaplib/instances/wcsp/esc16fkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc16gkpge.wcsp.xz b/qaplib/instances/wcsp/esc16gkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..04e7af6453bafedaf60ba091fc23b3fab3549d70
Binary files /dev/null and b/qaplib/instances/wcsp/esc16gkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc16hkpge.wcsp.xz b/qaplib/instances/wcsp/esc16hkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..d61913101f482265fd2da56cbb1e41edb795a401
Binary files /dev/null and b/qaplib/instances/wcsp/esc16hkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc16ikpge.wcsp.xz b/qaplib/instances/wcsp/esc16ikpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..3985302b043b8afe8d907e4b9c404595abec49da
Binary files /dev/null and b/qaplib/instances/wcsp/esc16ikpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc16jkpge.wcsp.xz b/qaplib/instances/wcsp/esc16jkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..2d48473d9aea1278a9e4479ba1017e196955a282
Binary files /dev/null and b/qaplib/instances/wcsp/esc16jkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc32akpge.wcsp.xz b/qaplib/instances/wcsp/esc32akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..a5f4b2c170d197855416cb9492087411efcb1a72
Binary files /dev/null and b/qaplib/instances/wcsp/esc32akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc32bkpge.wcsp.xz b/qaplib/instances/wcsp/esc32bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..d103ce231c8803b73ffbedf51738d6237cb0f505
Binary files /dev/null and b/qaplib/instances/wcsp/esc32bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc32ckpge.wcsp.xz b/qaplib/instances/wcsp/esc32ckpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..e18fed1377f442e85a3bbdfcb81f1d69fdc74396
Binary files /dev/null and b/qaplib/instances/wcsp/esc32ckpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc32dkpge.wcsp.xz b/qaplib/instances/wcsp/esc32dkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..04e3be6f1d4cc0d1f2fa1c7b8cd62066aee3f41b
Binary files /dev/null and b/qaplib/instances/wcsp/esc32dkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc32ekpge.wcsp.xz b/qaplib/instances/wcsp/esc32ekpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..79aa46ff9ef6ed0dc09a20cf2a41420b16eb0df4
Binary files /dev/null and b/qaplib/instances/wcsp/esc32ekpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc32gkpge.wcsp.xz b/qaplib/instances/wcsp/esc32gkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..41d4ae6eb68d98c80567c33c06f04cdcac0df737
Binary files /dev/null and b/qaplib/instances/wcsp/esc32gkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc32hkpge.wcsp.xz b/qaplib/instances/wcsp/esc32hkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..cccbf4faf5db429868f32214f9ca374d195ea704
Binary files /dev/null and b/qaplib/instances/wcsp/esc32hkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/esc64akpge.wcsp.xz b/qaplib/instances/wcsp/esc64akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..15c34d0f1768c973e80942adb3443a6130f6a18b
Binary files /dev/null and b/qaplib/instances/wcsp/esc64akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/had12kpge.wcsp.xz b/qaplib/instances/wcsp/had12kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..8d4e40e259f73db4c95f1ec7c7e325b6db4d0d45
Binary files /dev/null and b/qaplib/instances/wcsp/had12kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/had14kpge.wcsp.xz b/qaplib/instances/wcsp/had14kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..03fbf59bb0a9e03ad759d1919a1c430f57550da8
Binary files /dev/null and b/qaplib/instances/wcsp/had14kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/had16kpge.wcsp.xz b/qaplib/instances/wcsp/had16kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..367f3937cad229cc596b14561616d1011b309cfa
Binary files /dev/null and b/qaplib/instances/wcsp/had16kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/had18kpge.wcsp.xz b/qaplib/instances/wcsp/had18kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..c113fc5033d1ef7ade032408ad193b7f3f6ce4dc
Binary files /dev/null and b/qaplib/instances/wcsp/had18kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/had20kpge.wcsp.xz b/qaplib/instances/wcsp/had20kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..712ba67e8e42e1c70719e7eaaa150042fdf3d395
Binary files /dev/null and b/qaplib/instances/wcsp/had20kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/kra30akpge.wcsp.xz b/qaplib/instances/wcsp/kra30akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..fd78302165697692491669fc0ab94ed2fcaf155b
Binary files /dev/null and b/qaplib/instances/wcsp/kra30akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/kra30bkpge.wcsp.xz b/qaplib/instances/wcsp/kra30bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..ac51561e36fbb23a451e18a633e5d903b98ae120
Binary files /dev/null and b/qaplib/instances/wcsp/kra30bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/kra32kpge.wcsp.xz b/qaplib/instances/wcsp/kra32kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..9d6daf9d5a46d344eea00f17f1e31df40812886b
Binary files /dev/null and b/qaplib/instances/wcsp/kra32kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa20akpge.wcsp.xz b/qaplib/instances/wcsp/lipa20akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..fc7c244ee66468caa73b9e6b5547b8ef440722af
Binary files /dev/null and b/qaplib/instances/wcsp/lipa20akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa20bkpge.wcsp.xz b/qaplib/instances/wcsp/lipa20bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..8459fe6e3d06d3906f7ac5a3ac6eab40768bf8f6
Binary files /dev/null and b/qaplib/instances/wcsp/lipa20bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa30akpge.wcsp.xz b/qaplib/instances/wcsp/lipa30akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..7f58bdab11b4e0698b47d7780522e2cdc6f3b277
Binary files /dev/null and b/qaplib/instances/wcsp/lipa30akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa30bkpge.wcsp.xz b/qaplib/instances/wcsp/lipa30bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..7d5af20357102863e5d578cd49fa12d2450e4f99
Binary files /dev/null and b/qaplib/instances/wcsp/lipa30bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa40akpge.wcsp.xz b/qaplib/instances/wcsp/lipa40akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..2e0d59972fe38a5258fe9829bcde3adcb4597267
Binary files /dev/null and b/qaplib/instances/wcsp/lipa40akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa40bkpge.wcsp.xz b/qaplib/instances/wcsp/lipa40bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..1830e67317dd9bb34496266767d6181b01f50831
Binary files /dev/null and b/qaplib/instances/wcsp/lipa40bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa50akpge.wcsp.xz b/qaplib/instances/wcsp/lipa50akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..869819d1af0c1bd9f973b834aaadcd2cd6774903
Binary files /dev/null and b/qaplib/instances/wcsp/lipa50akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa50bkpge.wcsp.xz b/qaplib/instances/wcsp/lipa50bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..11ff14064cad0e45552c07b12390f4778c7590f0
Binary files /dev/null and b/qaplib/instances/wcsp/lipa50bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa60akpge.wcsp.xz b/qaplib/instances/wcsp/lipa60akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..c5bfa94f32f5fd8c7ca23594cce6d2003f186154
Binary files /dev/null and b/qaplib/instances/wcsp/lipa60akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa60bkpge.wcsp.xz b/qaplib/instances/wcsp/lipa60bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..2a17cc844b37bcacceec197705c05cb37ff6c4f3
Binary files /dev/null and b/qaplib/instances/wcsp/lipa60bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa70akpge.wcsp.xz b/qaplib/instances/wcsp/lipa70akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..3fe3f3a74733b31712d1365ed1bec5da5aa3e7d3
Binary files /dev/null and b/qaplib/instances/wcsp/lipa70akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa70bkpge.wcsp.xz b/qaplib/instances/wcsp/lipa70bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..4b6f26195da1afd88b29200f23bf899de1aa11e6
Binary files /dev/null and b/qaplib/instances/wcsp/lipa70bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa80akpge.wcsp.xz b/qaplib/instances/wcsp/lipa80akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..48c17b32f799b74b1f3b566b5e04e82cea45b823
Binary files /dev/null and b/qaplib/instances/wcsp/lipa80akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa80bkpge.wcsp.xz b/qaplib/instances/wcsp/lipa80bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..b100da6f5775fdb0c034a22c5f52e7673f81020a
Binary files /dev/null and b/qaplib/instances/wcsp/lipa80bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa90akpge.wcsp.xz b/qaplib/instances/wcsp/lipa90akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..792aed5a747375cd8345a0e2c73b119270e54720
Binary files /dev/null and b/qaplib/instances/wcsp/lipa90akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/lipa90bkpge.wcsp.xz b/qaplib/instances/wcsp/lipa90bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..6458e2e69263d8577517610d7351cadc5960030b
Binary files /dev/null and b/qaplib/instances/wcsp/lipa90bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug12kpge.wcsp.xz b/qaplib/instances/wcsp/nug12kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..0ab84177977a4944b41c9252c6d7f26624d4b882
Binary files /dev/null and b/qaplib/instances/wcsp/nug12kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug14kpge.wcsp.xz b/qaplib/instances/wcsp/nug14kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..e1f9db5d3180d0c9966d184b545ec9d586c97501
Binary files /dev/null and b/qaplib/instances/wcsp/nug14kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug15kpge.wcsp.xz b/qaplib/instances/wcsp/nug15kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..3d03ee4b3e08101288e4492196e3b3ea2e8e3bc4
Binary files /dev/null and b/qaplib/instances/wcsp/nug15kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug16akpge.wcsp.xz b/qaplib/instances/wcsp/nug16akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..afb1b6041936765c5c0144335a3abafb2568ccf8
Binary files /dev/null and b/qaplib/instances/wcsp/nug16akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug16bkpge.wcsp.xz b/qaplib/instances/wcsp/nug16bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..22cb98666fa5b98605d6d3f0ba80dc35088b2053
Binary files /dev/null and b/qaplib/instances/wcsp/nug16bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug17kpge.wcsp.xz b/qaplib/instances/wcsp/nug17kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..7de88c69d57fabc34986b87726ee1514c725c815
Binary files /dev/null and b/qaplib/instances/wcsp/nug17kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug18kpge.wcsp.xz b/qaplib/instances/wcsp/nug18kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..fd21f5f2888ac5828b4e9ded494c4f8c9623b0ce
Binary files /dev/null and b/qaplib/instances/wcsp/nug18kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug20kpge.wcsp.xz b/qaplib/instances/wcsp/nug20kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..0b53fb76fa196707e51f1f39c76c709fd738c7b9
Binary files /dev/null and b/qaplib/instances/wcsp/nug20kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug21kpge.wcsp.xz b/qaplib/instances/wcsp/nug21kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..09e60be6bd680db1cc4ca3a6b0474c1b8cf62357
Binary files /dev/null and b/qaplib/instances/wcsp/nug21kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug22kpge.wcsp.xz b/qaplib/instances/wcsp/nug22kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..0d5cae0681ce6eb9ca1c71f00b641ea72d490a19
Binary files /dev/null and b/qaplib/instances/wcsp/nug22kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug24kpge.wcsp.xz b/qaplib/instances/wcsp/nug24kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..e5d67f09d53291f4e7df0dd9df650716093e7db0
Binary files /dev/null and b/qaplib/instances/wcsp/nug24kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug25kpge.wcsp.xz b/qaplib/instances/wcsp/nug25kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..959af68123fc44621e33d9e4b3e5e5964b88888c
Binary files /dev/null and b/qaplib/instances/wcsp/nug25kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug27kpge.wcsp.xz b/qaplib/instances/wcsp/nug27kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..0bf77fdc817db51e952be0bb35b43936d43accdb
Binary files /dev/null and b/qaplib/instances/wcsp/nug27kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug28kpge.wcsp.xz b/qaplib/instances/wcsp/nug28kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..8f91d7e898608c3755985efa73f6543f226eab47
Binary files /dev/null and b/qaplib/instances/wcsp/nug28kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/nug30kpge.wcsp.xz b/qaplib/instances/wcsp/nug30kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..987ced21f707449059ce3c9e04f7d97dc7864c9c
Binary files /dev/null and b/qaplib/instances/wcsp/nug30kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/rou12kpge.wcsp.xz b/qaplib/instances/wcsp/rou12kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..7b48f220e5c5dbeeea6fc61aa411c01981819ee4
Binary files /dev/null and b/qaplib/instances/wcsp/rou12kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/rou15kpge.wcsp.xz b/qaplib/instances/wcsp/rou15kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..af286a127d8c13d047cdb7cec574c155fc3ccf79
Binary files /dev/null and b/qaplib/instances/wcsp/rou15kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/rou20kpge.wcsp.xz b/qaplib/instances/wcsp/rou20kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..c2ca17a2ffb8ea4ec684e99bc4f16a1694c61455
Binary files /dev/null and b/qaplib/instances/wcsp/rou20kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/scr12kpge.wcsp.xz b/qaplib/instances/wcsp/scr12kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..aa6fa753530380a0e1b45a1e49e9ce970665ce1e
Binary files /dev/null and b/qaplib/instances/wcsp/scr12kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/scr15kpge.wcsp.xz b/qaplib/instances/wcsp/scr15kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..9aa453b28f5cac4d956c4e51ddf16ad54ca09049
Binary files /dev/null and b/qaplib/instances/wcsp/scr15kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/scr20kpge.wcsp.xz b/qaplib/instances/wcsp/scr20kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..5f874db7b5d1906677159ff1946bf152e9101885
Binary files /dev/null and b/qaplib/instances/wcsp/scr20kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko100akpge.wcsp.xz b/qaplib/instances/wcsp/sko100akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..f3ff0940794d1586466586d704da55328d53ca27
Binary files /dev/null and b/qaplib/instances/wcsp/sko100akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko100bkpge.wcsp.xz b/qaplib/instances/wcsp/sko100bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..1719c6500aba9f1d07a20cbd774766f9f577a986
Binary files /dev/null and b/qaplib/instances/wcsp/sko100bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko100ckpge.wcsp.xz b/qaplib/instances/wcsp/sko100ckpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..f0c4d07802daf85b58137e03ce09d025c7665deb
Binary files /dev/null and b/qaplib/instances/wcsp/sko100ckpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko100dkpge.wcsp.xz b/qaplib/instances/wcsp/sko100dkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..832372a51efb00d67164907cd771d7923ce39272
Binary files /dev/null and b/qaplib/instances/wcsp/sko100dkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko100ekpge.wcsp.xz b/qaplib/instances/wcsp/sko100ekpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..2c02214ae3dc4a145c2cbfd85e108bddd277964b
Binary files /dev/null and b/qaplib/instances/wcsp/sko100ekpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko100fkpge.wcsp.xz b/qaplib/instances/wcsp/sko100fkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..69c5111e19f987c1813d0fc90ef8d6801211845c
Binary files /dev/null and b/qaplib/instances/wcsp/sko100fkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko42kpge.wcsp.xz b/qaplib/instances/wcsp/sko42kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..3a5085737398e1f741be167254dc19a97e397d4d
Binary files /dev/null and b/qaplib/instances/wcsp/sko42kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko49kpge.wcsp.xz b/qaplib/instances/wcsp/sko49kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..abcd5487f8c73ad113ef62c95174af519e589df2
Binary files /dev/null and b/qaplib/instances/wcsp/sko49kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko56kpge.wcsp.xz b/qaplib/instances/wcsp/sko56kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..b55af9af05765011492238ae944fecd32bcbfaa2
Binary files /dev/null and b/qaplib/instances/wcsp/sko56kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko64kpge.wcsp.xz b/qaplib/instances/wcsp/sko64kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..b8ff8e8ca82bc146ae85d68dbb058a711f1ec35c
Binary files /dev/null and b/qaplib/instances/wcsp/sko64kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko72kpge.wcsp.xz b/qaplib/instances/wcsp/sko72kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..3e00b43149921e4cccf1a15f3044d98d0d4408db
Binary files /dev/null and b/qaplib/instances/wcsp/sko72kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko81kpge.wcsp.xz b/qaplib/instances/wcsp/sko81kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..377902e5cce57c9db59dc8478adfe0e5e84a004d
Binary files /dev/null and b/qaplib/instances/wcsp/sko81kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/sko90kpge.wcsp.xz b/qaplib/instances/wcsp/sko90kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..9fbb9a5a39336c8cb7bc86b16017c65a723a3994
Binary files /dev/null and b/qaplib/instances/wcsp/sko90kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/ste36akpge.wcsp.xz b/qaplib/instances/wcsp/ste36akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..9c6032fc6727a2af5490b5a0074ff6cee00b3189
Binary files /dev/null and b/qaplib/instances/wcsp/ste36akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/ste36bkpge.wcsp.xz b/qaplib/instances/wcsp/ste36bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..eb339fb2bee71ddd979bff62d9abc5236857527d
Binary files /dev/null and b/qaplib/instances/wcsp/ste36bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/ste36ckpge.wcsp.xz b/qaplib/instances/wcsp/ste36ckpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..69b6e0896132ac2a0b2f694f5a2a628cb34626ce
Binary files /dev/null and b/qaplib/instances/wcsp/ste36ckpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai100akpge.wcsp.xz b/qaplib/instances/wcsp/tai100akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..2ae1a4a43849962b92467284b144d866db9a55d9
Binary files /dev/null and b/qaplib/instances/wcsp/tai100akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai100bkpge.wcsp.xz b/qaplib/instances/wcsp/tai100bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..07699465dc461e3454bb1a12c3827ee882017d3e
Binary files /dev/null and b/qaplib/instances/wcsp/tai100bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai10akpge.wcsp.xz b/qaplib/instances/wcsp/tai10akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..3b4f63294383a8d384c4fba3a109fb8bb01d6df9
Binary files /dev/null and b/qaplib/instances/wcsp/tai10akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai10bkpge.wcsp.xz b/qaplib/instances/wcsp/tai10bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..1e0623cf2e8c979ef7fc9ef1e4029455b3d1920f
Binary files /dev/null and b/qaplib/instances/wcsp/tai10bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai12akpge.wcsp.xz b/qaplib/instances/wcsp/tai12akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..bc8b1ade69fa33ab42eb9f0de9a2da4cabb406d9
Binary files /dev/null and b/qaplib/instances/wcsp/tai12akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai12bkpge.wcsp.xz b/qaplib/instances/wcsp/tai12bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..6671201feaa495cfa8966c47e9ba987c97e625b6
Binary files /dev/null and b/qaplib/instances/wcsp/tai12bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai15akpge.wcsp.xz b/qaplib/instances/wcsp/tai15akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..cc09be95b49a783f35e0afb4c7fc993a94c3e736
Binary files /dev/null and b/qaplib/instances/wcsp/tai15akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai15bkpge.wcsp.xz b/qaplib/instances/wcsp/tai15bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..693a44fd22a6f2e60c16888b5e99323986f4f2b3
Binary files /dev/null and b/qaplib/instances/wcsp/tai15bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai17akpge.wcsp.xz b/qaplib/instances/wcsp/tai17akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..1cb7b639b0f8e0e100006f485a76517a5c21732d
Binary files /dev/null and b/qaplib/instances/wcsp/tai17akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai20akpge.wcsp.xz b/qaplib/instances/wcsp/tai20akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..c4d54d290f0acfe676ca4aaf3d0c8653a8a1cc43
Binary files /dev/null and b/qaplib/instances/wcsp/tai20akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai20bkpge.wcsp.xz b/qaplib/instances/wcsp/tai20bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..0c1aaec8ac8bea682ca560936834cd7d0ddc4488
Binary files /dev/null and b/qaplib/instances/wcsp/tai20bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai25akpge.wcsp.xz b/qaplib/instances/wcsp/tai25akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..8306949c549fdbbf2635c810fe862212ef1cc82a
Binary files /dev/null and b/qaplib/instances/wcsp/tai25akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai25bkpge.wcsp.xz b/qaplib/instances/wcsp/tai25bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..be5e48063e5354e6fc56eda7c21c15338e77b9c9
Binary files /dev/null and b/qaplib/instances/wcsp/tai25bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai30akpge.wcsp.xz b/qaplib/instances/wcsp/tai30akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..208dd2922eede8f3958fe129729848cfc3651bd9
Binary files /dev/null and b/qaplib/instances/wcsp/tai30akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai30bkpge.wcsp.xz b/qaplib/instances/wcsp/tai30bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..7380dbf7a1474e09db9586a2b973ed0877d0f448
Binary files /dev/null and b/qaplib/instances/wcsp/tai30bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai35akpge.wcsp.xz b/qaplib/instances/wcsp/tai35akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..d9b7cc3322f5e812cde3a3eeb4047129b60e14ca
Binary files /dev/null and b/qaplib/instances/wcsp/tai35akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai35bkpge.wcsp.xz b/qaplib/instances/wcsp/tai35bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..5e2492729315caff1e2541336b8b767f138016f6
Binary files /dev/null and b/qaplib/instances/wcsp/tai35bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai40akpge.wcsp.xz b/qaplib/instances/wcsp/tai40akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..7edb052353686aac523f5a99dbe2a0a8e115f868
Binary files /dev/null and b/qaplib/instances/wcsp/tai40akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai40bkpge.wcsp.xz b/qaplib/instances/wcsp/tai40bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..f9faff0bd194dd0b6bedc31e4b694bec380b1f1d
Binary files /dev/null and b/qaplib/instances/wcsp/tai40bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai50akpge.wcsp.xz b/qaplib/instances/wcsp/tai50akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..df340d4b07d2341590505a5ae2ca0bcb3e36ff84
Binary files /dev/null and b/qaplib/instances/wcsp/tai50akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai50bkpge.wcsp.xz b/qaplib/instances/wcsp/tai50bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..33999e5cef1725d94be09f30ef9b7ae972b8b39e
Binary files /dev/null and b/qaplib/instances/wcsp/tai50bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai60akpge.wcsp.xz b/qaplib/instances/wcsp/tai60akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..79ec732efb9f3a3ba72782d83fc6660c1341fbcc
Binary files /dev/null and b/qaplib/instances/wcsp/tai60akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai60bkpge.wcsp.xz b/qaplib/instances/wcsp/tai60bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..f1b3d95f6ec2c8678a58ba946e1a9e4459d7c773
Binary files /dev/null and b/qaplib/instances/wcsp/tai60bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai64ckpge.wcsp.xz b/qaplib/instances/wcsp/tai64ckpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..99a5c5d0573671a059d6651dc1112a0d942539cd
Binary files /dev/null and b/qaplib/instances/wcsp/tai64ckpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai80akpge.wcsp.xz b/qaplib/instances/wcsp/tai80akpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..beffd921e7cb9a431b9d4604c4cd4a579b6b6d5b
Binary files /dev/null and b/qaplib/instances/wcsp/tai80akpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tai80bkpge.wcsp.xz b/qaplib/instances/wcsp/tai80bkpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..9d475d4b6e567a62bb040e98a7ec8750689f1a0e
Binary files /dev/null and b/qaplib/instances/wcsp/tai80bkpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tho30kpge.wcsp.xz b/qaplib/instances/wcsp/tho30kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..4225149b5c427b5b1b016606bce87636bb646ed3
Binary files /dev/null and b/qaplib/instances/wcsp/tho30kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/tho40kpge.wcsp.xz b/qaplib/instances/wcsp/tho40kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..ac4beb6a4a36c427e889f98f5644e46091763157
Binary files /dev/null and b/qaplib/instances/wcsp/tho40kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/wil100kpge.wcsp.xz b/qaplib/instances/wcsp/wil100kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..fbcbf031deee938a2adce2d0fca912e56a5b6411
Binary files /dev/null and b/qaplib/instances/wcsp/wil100kpge.wcsp.xz differ
diff --git a/qaplib/instances/wcsp/wil50kpge.wcsp.xz b/qaplib/instances/wcsp/wil50kpge.wcsp.xz
new file mode 100644
index 0000000000000000000000000000000000000000..e7ae913a449185ad46b3ff40c1a2bd0ed2ffa46a
Binary files /dev/null and b/qaplib/instances/wcsp/wil50kpge.wcsp.xz differ
diff --git a/qaplib/readme.txt b/qaplib/readme.txt
index 5825b6c2e7acfb17fc73413e2a66e2338906b678..3c19e7d21586aeb96daef34609166c6374a62315 100644
--- a/qaplib/readme.txt
+++ b/qaplib/readme.txt
@@ -6,7 +6,7 @@ See https://www.opt.math.tugraz.at/qaplib/inst.html
or https://coral.ise.lehigh.edu/data-sets/qaplib/
Script qap2wcsp.awk generates .wcsp files with domain variables of size N and binary cost functions encoding the objective and the permutation constraint (with ALLDIFF=0).
-Additionnal linear inequality (at least one) / equality (exactly one) constraints per value can be added with ALLDIFF=1/ALLDIFF=2.
+Additionnal linear inequality (at most one) / equality (exactly one) / inequality (at least one) constraints per value can be added with ALLDIFF=1/ALLDIFF=2/ALLDIFF=3. We used ALLDIFF=3 to generate kpge.wcsp instances.
Script qap2opb.awk generates .opb files (converted into .lp format by scip -c "read file.opb write problem file.lp quit") based on QAP mixed integer programming model of
diff --git a/qaplib/scripts/qap2wcsp.awk b/qaplib/scripts/qap2wcsp.awk
index 050c5606c88dba73a5b0e51f3d831aff70e3fd96..53d2087ef8402977db359b144cb9be28bf5aea2d 100644
--- a/qaplib/scripts/qap2wcsp.awk
+++ b/qaplib/scripts/qap2wcsp.awk
@@ -1,3 +1,4 @@
+function abs(v) {v += 0; return v < 0 ? -v : v}
BEGIN {
RS = "@";
@@ -7,7 +8,7 @@ BEGIN {
{
N = $1;
- print FILENAME,N,N,N*(N-1)/2+N+((ALLDIFF>0)?1:0),top;
+ print FILENAME,N,N,N*(N-1)/2+N+((ALLDIFF==0)?0:1),top;
pos = 2;
for (i=0;i<N;i++) {
for (j=0;j<N;j++) {
@@ -32,7 +33,7 @@ BEGIN {
print 2,i,j,0,N*N;
for (u=0;u<N;u++) {
for (v=0;v<N;v++) {
- if (u==v) print u,v,((ALLDIFF <= 1)?top:0);
+ if (u==v) print u,v,((ALLDIFF >= 0)?top:0);
else print u,v,A[i,j]*B[u,v] + A[j,i]*B[v,u];
}
}
@@ -49,7 +50,8 @@ BEGIN {
for (i=0;i<N;i++) {
printf(" %d",i);
}
- if (ALLDIFF==2) print "",-1,"salldiffkp","hardeq",top;
+ if (abs(ALLDIFF)==1) print "",-1,"salldiffkp","hard",top;
+ else if (abs(ALLDIFF)==2) print "",-1,"salldiffkp","hardeq",top;
else print "",-1,"salldiffkp","hardge",top;
# print "",-1,"salldiffdp","var",top;
# print "",-1,"salldiff","var",top;