Return to bench2 CVS log

Up to [local] / OpenXM / src / k097 / lib / restriction

Annotation of OpenXM/src/k097/lib/restriction/bench2, Revision 1.1

1.1     ! takayama    1: #! /bin/sh
        !             2: # $OpenXM$
        !             3:
        !             4: k0 <<EOF
        !             5: NoX=true;
        !             6: load("demo.k");;
        !             7: nonquasi2(4,5);
        !             8: quit;
        !             9: EOF
        !            10:
        !            11: k0 <<EOF
        !            12: NoX=true;
        !            13: load("demo.k");;
        !            14: nonquasi2(4,6);
        !            15: quit;
        !            16: EOF
        !            17:
        !            18: k0 <<EOF
        !            19: NoX=true;
        !            20: load("demo.k");;
        !            21: nonquasi2(4,7);
        !            22: quit;
        !            23: EOF
        !            24:
        !            25: k0 <<EOF
        !            26: NoX=true;
        !            27: load("demo.k");;
        !            28: nonquasi2(4,8);
        !            29: quit;
        !            30: EOF
        !            31:
        !            32: k0 <<EOF
        !            33: NoX=true;
        !            34: load("demo.k");;
        !            35: nonquasi2(4,9);
        !            36: quit;
        !            37: EOF
        !            38:
        !            39: k0 <<EOF
        !            40: NoX=true;
        !            41: load("demo.k");;
        !            42: nonquasi2(4,10);
        !            43: quit;
        !            44: EOF
        !            45:
        !            46: k0 <<EOF
        !            47: NoX=true;
        !            48: load("demo.k");;
        !            49: nonquasi2(5,6);
        !            50: quit;
        !            51: EOF
        !            52:
        !            53: k0 <<EOF
        !            54: NoX=true;
        !            55: load("demo.k");;
        !            56: nonquasi2(5,7);
        !            57: quit;
        !            58: EOF
        !            59:
        !            60: k0 <<EOF
        !            61: NoX=true;
        !            62: load("demo.k");;
        !            63: nonquasi2(5,8);
        !            64: quit;
        !            65: EOF
        !            66:
        !            67: k0 <<EOF
        !            68: NoX=true;
        !            69: load("demo.k");;
        !            70: nonquasi2(5,9);
        !            71: quit;
        !            72: EOF
        !            73:
        !            74: k0 <<EOF
        !            75: NoX=true;
        !            76: load("demo.k");;
        !            77: nonquasi2(5,10);
        !            78: quit;
        !            79: EOF
        !            80:
        !            81: