📄 gp.test.karp
字号:
scorneq_ r0 1 % false?break % 3rpb r0 137 %} scorneq_ r0 1 % false?break % 30rpb r0 71 %) scorneq_ r0 1 % false?break % 244rpb r0 43 %` scorneq_ r0 1 % false?break % 1955end_test%108th false code 9 108start 0rpb r0 71 %) scorneq_ r0 1 % false?break % 4rpb r0 43 %` scorneq_ r0 1 % false?break % 35rpb r0 31 %{ scorneq_ r0 1 % false?break % 282rpb r0 103 %] scorneq_ r0 1 % false?break % 2261end_test%56th false code 6 56start 0rpb r0 5 %( scorneq_ r0 1 % false?break % 0rpb r0 137 %} scorneq_ r0 1 % false?break % 6rpb r0 167 %' scorneq_ r0 1 % false?break % 55rpb r0 5 %( scorneq_ r0 1 % false?break % 440end_test%137th false code 3 137start 0rpb r0 103 %] scorneq_ r0 1 % false?break % 5rpb r0 137 %} scorneq_ r0 1 % false?break % 46rpb r0 5 %( scorneq_ r0 1 % false?break % 368rpb r0 31 %{ scorneq_ r0 1 % false?break % 2946end_test%141th false code 4 141start 0rpb r0 13 %[ scorneq_ r0 1 % false?break % 1rpb r0 43 %` scorneq_ r0 1 % false?break % 11rpb r0 71 %) scorneq_ r0 1 % false?break % 92rpb r0 31 %{ scorneq_ r0 1 % false?break % 738end_test%Random choice 0 12 497%Random choice 1 29 583%Random choice 2 12 262%Random choice 3 24 842%Random choice 4 3 456%Random choice 5 4 192%Random choice 6 22 1016%Random choice 7 22 410%Random choice 8 5 833%Random choice 9 15 914%Random choice 10 17 993%Random choice 11 13 813%Random choice 12 19 434%Random choice 13 12 226%Random choice 14 6 550%Random choice 15 9 565% 16 zero sum nak tests of length 5%497th false code 12 497start 0rpb r0 13 %[ scorneq_ r0 1 % false?break % 1rpb r0 5 %( scorneq_ r0 1 % false?break % 8rpb r0 167 %' scorneq_ r0 1 % false?break % 71rpb r0 167 %' scorneq_ r0 1 % false?break % 575rpb r0 13 %[ scorneq_ r0 1 % false?break % 4601end_test%583th false code 29 583start 0rpb r0 167 %' scorneq_ r0 1 % false?break % 7rpb r0 13 %[ scorneq_ r0 1 % false?break % 57rpb r0 71 %) scorneq_ r0 1 % false?break % 460rpb r0 103 %] scorneq_ r0 1 % false?break % 3685rpb r0 137 %} scorneq_ r0 1 % false?break % 29486end_test%262th false code 12 262start 0rpb r0 31 %{ scorneq_ r0 1 % false?break % 2rpb r0 13 %[ scorneq_ r0 1 % false?break % 17rpb r0 71 %) scorneq_ r0 1 % false?break % 140rpb r0 71 %) scorneq_ r0 1 % false?break % 1124rpb r0 13 %[ scorneq_ r0 1 % false?break % 8993end_test%842th false code 24 842start 0rpb r0 31 %{ scorneq_ r0 1 % false?break % 2rpb r0 31 %{ scorneq_ r0 1 % false?break % 18rpb r0 5 %( scorneq_ r0 1 % false?break % 144rpb r0 103 %] scorneq_ r0 1 % false?break % 1157rpb r0 167 %' scorneq_ r0 1 % false?break % 9263end_test%456th false code 3 456start 0rpb r0 71 %) scorneq_ r0 1 % false?break % 4rpb r0 137 %} scorneq_ r0 1 % false?break % 38rpb r0 5 %( scorneq_ r0 1 % false?break % 304rpb r0 43 %` scorneq_ r0 1 % false?break % 2435rpb r0 13 %[ scorneq_ r0 1 % false?break % 19481end_test%192th false code 4 192start 0rpb r0 5 %( scorneq_ r0 1 % false?break % 0rpb r0 5 %( scorneq_ r0 1 % false?break % 0rpb r0 71 %) scorneq_ r0 1 % false?break % 4rpb r0 43 %` scorneq_ r0 1 % false?break % 35rpb r0 5 %( scorneq_ r0 1 % false?break % 280end_test%1016th false code 22 1016start 0rpb r0 5 %( scorneq_ r0 1 % false?break % 0rpb r0 137 %} scorneq_ r0 1 % false?break % 6rpb r0 167 %' scorneq_ r0 1 % false?break % 55rpb r0 43 %` scorneq_ r0 1 % false?break % 443rpb r0 167 %' scorneq_ r0 1 % false?break % 3551end_test%410th false code 22 410start 0rpb r0 31 %{ scorneq_ r0 1 % false?break % 2rpb r0 137 %} scoreq_ r0 1 % true?break % 22rpb r0 103 %] scorneq_ r0 1 % false?break % 181rpb r0 31 %{ scorneq_ r0 1 % false?break % 1450rpb r0 103 %] scorneq_ r0 1 % false?break % 11605end_test%833th false code 5 833start 0rpb r0 103 %] scorneq_ r0 1 % false?break % 5rpb r0 5 %( scorneq_ r0 1 % false?break % 40rpb r0 71 %) scorneq_ r0 1 % false?break % 324rpb r0 13 %[ scorneq_ r0 1 % false?break % 2593rpb r0 43 %` scorneq_ r0 1 % false?break % 20747end_test%914th false code 15 914start 0rpb r0 137 %} scorneq_ r0 1 % false?break % 6rpb r0 71 %) scorneq_ r0 1 % false?break % 52rpb r0 103 %] scorneq_ r0 1 % false?break % 421rpb r0 137 %} scorneq_ r0 1 % false?break % 3374rpb r0 43 %` scorneq_ r0 1 % false?break % 26995end_test%993th false code 17 993start 0rpb r0 103 %] scorneq_ r0 1 % false?break % 5rpb r0 5 %( scorneq_ r0 1 % false?break % 40rpb r0 31 %{ scorneq_ r0 1 % false?break % 322rpb r0 43 %` scorneq_ r0 1 % false?break % 2579rpb r0 167 %' scorneq_ r0 1 % false?break % 20639end_test%813th false code 13 813start 0rpb r0 103 %] scorneq_ r0 1 % false?break % 5rpb r0 43 %` scorneq_ r0 1 % false?break % 43rpb r0 137 %} scorneq_ r0 1 % false?break % 350rpb r0 71 %) scorneq_ r0 1 % false?break % 2804rpb r0 43 %` scorneq_ r0 1 % false?break % 22435end_test%434th false code 19 434start 0rpb r0 137 %} scorneq_ r0 1 % false?break % 6rpb r0 71 %) scorneq_ r0 1 % false?break % 52rpb r0 43 %` scorneq_ r0 1 % false?break % 419rpb r0 31 %{ scorneq_ r0 1 % false?break % 3354rpb r0 103 %] scorneq_ r0 1 % false?break % 26837end_test%226th false code 12 226start 0rpb r0 31 %{ scorneq_ r0 1 % false?break % 2rpb r0 5 %( scorneq_ r0 1 % false?break % 16rpb r0 137 %} scorneq_ r0 1 % false?break % 134rpb r0 167 %' scorneq_ r0 1 % false?break % 1079rpb r0 5 %( scorneq_ r0 1 % false?break % 8632end_test%550th false code 6 550start 0rpb r0 31 %{ scorneq_ r0 1 % false?break % 2rpb r0 103 %] scorneq_ r0 1 % false?break % 21rpb r0 137 %} scorneq_ r0 1 % false?break % 174rpb r0 5 %( scorneq_ r0 1 % false?break % 1392rpb r0 31 %{ scorneq_ r0 1 % false?break % 11138end_test%565th false code 9 565start 0rpb r0 103 %] scorneq_ r0 1 % false?break % 5rpb r0 13 %[ scorneq_ r0 1 % false?break % 41rpb r0 43 %` scorneq_ r0 1 % false?break % 331rpb r0 71 %) scorneq_ r0 1 % false?break % 2652rpb r0 31 %{ scorneq_ r0 1 % false?break % 21218end_test%Random choice 0 1 31%Random choice 1 4 36%Random choice 2 1 16%Random choice 3 3 52%Random choice 4 0 28%Random choice 5 0 12%Random choice 6 3 63%Random choice 7 3 25%Random choice 8 0 52%Random choice 9 2 57%Random choice 10 2 62%Random choice 11 2 50%Random choice 12 3 27%Random choice 13 1 14%Random choice 14 1 34%Random choice 15 1 35%Random choice 16 2 34%Random choice 17 2 23%Random choice 18 2 6%Random choice 19 1 47%Random choice 20 4 19%Random choice 21 3 37%Random choice 22 4 63%Random choice 23 0 45%Random choice 24 1 61%Random choice 25 2 21%Random choice 26 0 62%Random choice 27 3 40%Random choice 28 4 53%Random choice 29 0 10%Random choice 30 4 45%Random choice 31 1 62%Copy on 0 10start 0rpb r0 31 %{ scorneq_ r0 1 % false?break % 2rpb r0 137 %} scoreq_ r0 1 % true?break % 22rpb r0 31 %{ scorneq_ r0 1 % false?break % 178rpb r0 137 %} scoreq_ r0 1 % true?break % 1430rpb r0 5 %( scorneq_ r0 1 % false?break % 11440rpb r0 71 %) scoreq_ r0 1 % true?break % 91524end_test%Copy on 0 12start 0rpb r0 5 %( scorneq_ r0 1 % false?break % 0rpb r0 71 %) scoreq_ r0 1 % true?break % 4rpb r0 43 %` scorneq_ r0 1 % false?break % 35rpb r0 167 %' scoreq_ r0 1 % true?break % 287rpb r0 5 %( scorneq_ r0 1 % false?break % 2296rpb r0 71 %) scoreq_ r0 1 % true?break % 18372end_test%Copy on 0 28start 0rpb r0 5 %( scorneq_ r0 1 % false?break % 0rpb r0 71 %) scoreq_ r0 1 % true?break % 4rpb r0 43 %` scorneq_ r0 1 % false?break % 35rpb r0 167 %' scoreq_ r0 1 % true?break % 287rpb r0 13 %[ scorneq_ r0 1 % false?break % 2297rpb r0 103 %] scoreq_ r0 1 % true?break % 18381end_test%Copy on 0 45start 0rpb r0 13 %[ scorneq_ r0 1 % false?break % 1rpb r0 103 %] scoreq_ r0 1 % true?break % 13rpb r0 43 %` scorneq_ r0 1 % false?break % 107rpb r0 167 %' scoreq_ r0 1 % true?break % 863rpb r0 31 %{ scorneq_ r0 1 % false?break % 6906rpb r0 137 %} scoreq_ r0 1 % true?break % 55254end_test%Copy on 0 52start 0rpb r0 5 %( scorneq_ r0 1 % false?break % 0rpb r0 71 %) scoreq_ r0 1 % true?break % 4rpb r0 13 %[ scorneq_ r0 1 % false?break % 33rpb r0 103 %] scoreq_ r0 1 % true?break % 269rpb r0 43 %` scorneq_ r0 1 % false?break % 2155rpb r0 167 %' scoreq_ r0 1 % true?break % 17247end_test%Copy on 0 62start 0rpb r0 31 %{ scorneq_ r0 1 % false?break % 2rpb r0 137 %} scoreq_ r0 1 % true?break % 22rpb r0 43 %` scorneq_ r0 1 % false?break % 179rpb r0 167 %' scoreq_ r0 1 % true?break % 1439rpb r0 43 %` scorneq_ r0 1 % false?break % 11515rpb r0 167 %' scoreq_ r0 1 % true?break % 92127end_test%Copy on 1 14start 0rpb r0 43 %` scorneq_ r0 1 % false?break % 3rpb r0 31 %{ scorneq_ r0 1 % false?break % 26rpb r0 137 %} scorneq_ r0 1 % false?break % 214rpb r0 167 %' scoreq_ r0 1 % true?break % 1719rpb r0 5 %( scorneq_ r0 1 % false?break % 13752rpb r0 71 %) scoreq_ r0 1 % true?break % 110020end_test%Copy on 1 16start 0rpb r0 5 %( scorneq_ r0 1 % false?break % 0rpb r0 5 %( scorneq_ r0 1 % false?break % 0rpb r0 71 %) scorneq_ r0 1 % false?break % 4rpb r0 71 %) scoreq_ r0 1 % true?break % 36rpb r0 13 %[ scorneq_ r0 1 % false?break % 289rpb r0 103 %] scoreq_ r0 1 % true?break % 2317end_test%Copy on 1 31start 0rpb r0 43 %` scorneq_ r0 1 % false?break % 3rpb r0 43 %` scorneq_ r0 1 % false?break % 27rpb r0 167 %' scorneq_ r0 1 % false?break % 223rpb r0 167 %' scoreq_ r0 1 % true?break % 1791rpb r0 13 %[ scorneq_ r0 1 % false?break % 14329rpb r0 103 %] scoreq_ r0 1 % true?break % 114637end_test%Copy on 1 34start 0rpb r0 5 %( scorneq_ r0 1 % false?break % 0rpb r0 31 %{ scorneq_ r0 1 % false?break % 2rpb r0 137 %} scorneq_ r0 1 % false?break % 22rpb r0 71 %) scoreq_ r0 1 % true?break % 180rpb r0 31 %{ scorneq_ r0 1 % false?break % 1442rpb r0 137 %} scoreq_ r0 1 % true?break % 11542end_test%Copy on 1 35start 0rpb r0 5 %( scorneq_ r0 1 % false?break % 0rpb r0 43 %` scorneq_ r0 1 % false?break % 3rpb r0 167 %' scorneq_ r0 1 % false?break % 31rpb r0 71 %) scoreq_ r0 1 % true?break % 252rpb r0 31 %{ scorneq_ r0 1 % false?break % 2018rpb r0 137 %} scoreq_ r0 1 % true?break % 16150end_test%Copy on 1 47start 0rpb r0 43 %` scorneq_ r0 1 % false?break % 3rpb r0 43 %` scorneq_ r0 1 % false?break % 27rpb r0 167 %' scorneq_ r0 1 % false?break % 223rpb r0 167 %' scoreq_ r0 1 % true?break % 1791rpb r0 31 %{ scorneq_ r0 1 % false?break % 14330rpb r0 137 %} scoreq_ r0 1 % true?break % 114646end_test%Copy on 1 61start 0rpb r0 43 %` scorneq_ r0 1 % false?break % 3rpb r0 13 %[ scorneq_ r0 1 % false?break % 25rpb r0 103 %] scorneq_ r0 1 % false?break % 205rpb r0 167 %' scoreq_ r0 1 % true?break % 1647rpb r0 43 %` scorneq_ r0 1 % false?break % 13179rpb r0 167 %' scoreq_ r0 1 % true?break % 105439end_test%Copy on 1 62start 0rpb r0 43 %` scorneq_ r0 1 % false?break % 3rpb r0 31 %{ scorneq_ r0 1 % false?break % 26rpb r0 137 %} scorneq_ r0 1 % false?break % 214rpb r0 167 %' scoreq_ r0 1 % true?break % 1719rpb r0 43 %` scorneq_ r0 1 % false?break % 13755rpb r0 167 %' scoreq_ r0 1 % true?break % 110047end_test%Copy on 2 6start 0rpb r0 31 %{ scorneq_ r0 1 % false?break % 2rpb r0 137 %} scoreq_ r0 1 % true?break % 22rpb r0 5 %( scorneq_ r0 1 % false?break % 176rpb r0 13 %[ scorneq_ r0 1 % false?break % 1409rpb r0 103 %] scorneq_ r0 1 % false?break % 11277rpb r0 71 %) scoreq_ r0 1 % true?break % 90220end_test%Copy on 2 21start 0rpb r0 13 %[ scorneq_ r0 1 % false?break % 1rpb r0 103 %] scoreq_ r0 1 % true?break % 13rpb r0 13 %[ scorneq_ r0 1 % false?break % 105rpb r0 13 %[ scorneq_ r0 1 % false?break % 841rpb r0 103 %] scorneq_ r0 1 % false?break % 6733rpb r0 103 %] scoreq_ r0 1 % true?break % 53869end_test%Copy on 2 23start 0rpb r0 43 %` scorneq_ r0 1 % false?break % 3rpb r0 167 %' scoreq_ r0 1 % true?break % 31rpb r0 13 %[ scorneq_ r0 1 % false?break % 249rpb r0 13 %[ scorneq_ r0 1 % false?break % 1993rpb r0 103 %] scorneq_ r0 1 % false?break % 15949rpb r0 103 %] scoreq_ r0 1 % true?break % 127597end_test%Copy on 2 34start 0rpb r0 31 %{ scorneq_ r0 1 % false?break % 2rpb r0 137 %} scoreq_ r0 1 % true?break % 22rpb r0 31 %{ scorneq_ r0 1 % false?break % 178rpb r0 5 %( scorneq_ r0 1 % false?break % 1424rpb r0 71 %) scorneq_ r0 1 % false?break % 11396⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -