mirror of
https://github.com/TomHarte/CLK.git
synced 2024-10-31 18:04:37 +00:00
10 lines
7.0 KiB
JSON
10 lines
7.0 KiB
JSON
|
[{ "name" : "SWAP 0000", "initial state": {"pc": 256, "sr": 10012, "d0": 1624079910, "a0": 587712424, "d1": 1393894000, "a1": 1405417614, "d2": 277352876, "a2": 681221952, "d3": 1430289748, "a3": 1062025106, "d4": 2095350572, "a4": 1719383132, "d5": 2120220098, "a5": 1132345492, "d6": 1343032414, "a6": 330604330, "d7": 145185288, "a7": 2218779844, "usp": 926779520}, "final state": {"pc": 258, "sr": 10000, "d0": 2116444365, "a0": 587712424, "d1": 1393894000, "a1": 1405417614, "d2": 277352876, "a2": 681221952, "d3": 1430289748, "a3": 1062025106, "d4": 2095350572, "a4": 1719383132, "d5": 2120220098, "a5": 1132345492, "d6": 1343032414, "a6": 330604330, "d7": 145185288, "a7": 2218779844, "usp": 926779520}, "initial memory": [0, 132, 1, 63, 2, 228, 3, 196, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 64, 258, 224, 259, 208, 260, 200, 261, 74, 262, 112, 263, 70, 264, 168, 265, 198, -1], "final memory": [-1]},
|
||
|
{ "name" : "SWAP 0001", "initial state": {"pc": 256, "sr": 9989, "d0": 820645990, "a0": 707243722, "d1": 1457189702, "a1": 323249508, "d2": 1083827932, "a2": 1868354500, "d3": 939776076, "a3": 928195066, "d4": 74302454, "a4": 853262454, "d5": 1113345470, "a5": 2033753358, "d6": 972314786, "a6": 1942979060, "d7": 1491538278, "a7": 4048165808, "usp": 926779520}, "final state": {"pc": 258, "sr": 9992, "d0": 820645990, "a0": 707243722, "d1": 4081473242, "a1": 323249508, "d2": 1083827932, "a2": 1868354500, "d3": 939776076, "a3": 928195066, "d4": 74302454, "a4": 853262454, "d5": 1113345470, "a5": 2033753358, "d6": 972314786, "a6": 1942979060, "d7": 1491538278, "a7": 4048165808, "usp": 926779520}, "initial memory": [0, 241, 1, 74, 2, 27, 3, 176, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 65, 258, 144, 259, 52, 260, 160, 261, 132, 262, 88, 263, 236, 264, 192, 265, 130, -1], "final memory": [-1]},
|
||
|
{ "name" : "SWAP 0002", "initial state": {"pc": 256, "sr": 9992, "d0": 886473458, "a0": 164174332, "d1": 1865349366, "a1": 1909011982, "d2": 1960532262, "a2": 1358712100, "d3": 1824148320, "a3": 1680662956, "d4": 984269668, "a4": 1049892500, "d5": 553777234, "a5": 1817620554, "d6": 139862546, "a6": 793789310, "d7": 1322717610, "a7": 682632006, "usp": 926779520}, "final state": {"pc": 258, "sr": 9984, "d0": 886473458, "a0": 164174332, "d1": 1865349366, "a1": 1909011982, "d2": 1495692507, "a2": 1358712100, "d3": 1824148320, "a3": 1680662956, "d4": 984269668, "a4": 1049892500, "d5": 553777234, "a5": 1817620554, "d6": 139862546, "a6": 793789310, "d7": 1322717610, "a7": 682632006, "usp": 926779520}, "initial memory": [0, 40, 1, 176, 2, 35, 3, 70, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 66, 258, 240, 259, 16, 260, 64, 261, 62, 262, 88, 263, 100, 264, 24, 265, 212, -1], "final memory": [-1]},
|
||
|
{ "name" : "SWAP 0003", "initial state": {"pc": 256, "sr": 10005, "d0": 1018427096, "a0": 1838093532, "d1": 1259552688, "a1": 1285730228, "d2": 1555735544, "a2": 1287502688, "d3": 1633885782, "a3": 1012466850, "d4": 844960692, "a4": 2017429576, "d5": 2092476480, "a5": 319581348, "d6": 1059996088, "a6": 347131496, "d7": 1977399150, "a7": 1772563218, "usp": 926779520}, "final state": {"pc": 258, "sr": 10000, "d0": 1018427096, "a0": 1838093532, "d1": 1259552688, "a1": 1285730228, "d2": 1555735544, "a2": 1287502688, "d3": 508977507, "a3": 1012466850, "d4": 844960692, "a4": 2017429576, "d5": 2092476480, "a5": 319581348, "d6": 1059996088, "a6": 347131496, "d7": 1977399150, "a7": 1772563218, "usp": 926779520}, "initial memory": [0, 105, 1, 167, 2, 43, 3, 18, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 67, 258, 32, 259, 172, 260, 24, 261, 146, 262, 24, 263, 208, 264, 152, 265, 12, -1], "final memory": [-1]},
|
||
|
{ "name" : "SWAP 0004", "initial state": {"pc": 256, "sr": 10014, "d0": 1885840336, "a0": 937076384, "d1": 607397886, "a1": 1945202436, "d2": 1546495810, "a2": 1873800378, "d3": 960515836, "a3": 115269790, "d4": 755081152, "a4": 309127742, "d5": 1168068348, "a5": 747034508, "d6": 1576707608, "a6": 1219575594, "d7": 1924064130, "a7": 1825321318, "usp": 926779520}, "final state": {"pc": 258, "sr": 10008, "d0": 1885840336, "a0": 937076384, "d1": 607397886, "a1": 1945202436, "d2": 1546495810, "a2": 1873800378, "d3": 960515836, "a3": 115269790, "d4": 2680171777, "a4": 309127742, "d5": 1168068348, "a5": 747034508, "d6": 1576707608, "a6": 1219575594, "d7": 1924064130, "a7": 1825321318, "usp": 926779520}, "initial memory": [0, 108, 1, 204, 2, 49, 3, 102, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 68, 258, 0, 259, 138, 260, 112, 261, 14, 262, 120, 263, 244, 264, 192, 265, 46, -1], "final memory": [-1]},
|
||
|
{ "name" : "SWAP 0005", "initial state": {"pc": 256, "sr": 9990, "d0": 2050695228, "a0": 39293570, "d1": 1069663100, "a1": 1129551360, "d2": 1242112662, "a2": 614284846, "d3": 498994554, "a3": 1331532400, "d4": 677827542, "a4": 137961412, "d5": 1994251512, "a5": 1582613178, "d6": 1607900262, "a6": 247230904, "d7": 45489586, "a7": 1910817764, "usp": 926779520}, "final state": {"pc": 258, "sr": 9992, "d0": 2050695228, "a0": 39293570, "d1": 1069663100, "a1": 1129551360, "d2": 1242112662, "a2": 614284846, "d3": 498994554, "a3": 1331532400, "d4": 677827542, "a4": 137961412, "d5": 3707270877, "a5": 1582613178, "d6": 1607900262, "a6": 247230904, "d7": 45489586, "a7": 1910817764, "usp": 926779520}, "initial memory": [0, 113, 1, 228, 2, 195, 3, 228, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 69, 258, 120, 259, 146, 260, 128, 261, 150, 262, 24, 263, 28, 264, 136, 265, 164, -1], "final memory": [-1]},
|
||
|
{ "name" : "SWAP 0006", "initial state": {"pc": 256, "sr": 10011, "d0": 652182204, "a0": 2026968900, "d1": 469785146, "a1": 1733226746, "d2": 1529079256, "a2": 1873732114, "d3": 298268750, "a3": 1115440390, "d4": 776049152, "a4": 1821880066, "d5": 1389909432, "a5": 1516447142, "d6": 2028212012, "a6": 591209804, "d7": 1151356852, "a7": 1648476160, "usp": 926779520}, "final state": {"pc": 258, "sr": 10000, "d0": 652182204, "a0": 2026968900, "d1": 469785146, "a1": 1733226746, "d2": 1529079256, "a2": 1873732114, "d3": 298268750, "a3": 1115440390, "d4": 776049152, "a4": 1821880066, "d5": 1389909432, "a5": 1516447142, "d6": 254572772, "a6": 591209804, "d7": 1151356852, "a7": 1648476160, "usp": 926779520}, "initial memory": [0, 98, 1, 65, 2, 192, 3, 0, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 70, 258, 192, 259, 64, 260, 64, 261, 88, 262, 32, 263, 216, 264, 248, 265, 104, -1], "final memory": [-1]},
|
||
|
{ "name" : "SWAP 0007", "initial state": {"pc": 256, "sr": 9984, "d0": 966098564, "a0": 250717676, "d1": 94710180, "a1": 449065118, "d2": 508629640, "a2": 1179902668, "d3": 1553444420, "a3": 760144678, "d4": 1781670360, "a4": 371387142, "d5": 21783558, "a5": 1316234218, "d6": 1044056122, "a6": 719470986, "d7": 362379624, "a7": 1855606364, "usp": 926779520}, "final state": {"pc": 258, "sr": 9984, "d0": 966098564, "a0": 250717676, "d1": 94710180, "a1": 449065118, "d2": 508629640, "a2": 1179902668, "d3": 1553444420, "a3": 760144678, "d4": 1781670360, "a4": 371387142, "d5": 21783558, "a5": 1316234218, "d6": 1044056122, "a6": 719470986, "d7": 2036864409, "a7": 1855606364, "usp": 926779520}, "initial memory": [0, 110, 1, 154, 2, 78, 3, 92, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 71, 258, 128, 259, 132, 260, 96, 261, 90, 262, 200, 263, 252, 264, 128, 265, 12, -1], "final memory": [-1]},
|
||
|
{}]
|