[BACK]Return to bench2 CVS log [TXT][DIR] Up to [local] / OpenXM / src / k097 / lib / restriction
File: [local] / OpenXM / src / k097 / lib / restriction / bench2 (download)

Revision 1.2, Sat Jan 27 05:48:47 2001 UTC (23 years, 5 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, KNOPPIX_2006, HEAD, DEB_REL_1_2_3-9
Changes since 1.1: +4 -1 lines 

Increased the USER_DICTIONARY_SIZE to solve problems in bench and bench2.

#! /bin/sh
# $OpenXM: OpenXM/src/k097/lib/restriction/bench2,v 1.2 2001/01/27 05:48:47 takayama Exp $
# How to execute?
#   unsetenv DISPLAY   ( do not forget for oxc.)
#   nohup ./bench2 &

k0 <<EOF
NoX=true;
load("demo.k");;
nonquasi2(4,5);
quit;
EOF

k0 <<EOF
NoX=true;
load("demo.k");;
nonquasi2(4,6);
quit;
EOF

k0 <<EOF
NoX=true;
load("demo.k");;
nonquasi2(4,7);
quit;
EOF

k0 <<EOF
NoX=true;
load("demo.k");;
nonquasi2(4,8);
quit;
EOF

k0 <<EOF
NoX=true;
load("demo.k");;
nonquasi2(4,9);
quit;
EOF

k0 <<EOF
NoX=true;
load("demo.k");;
nonquasi2(4,10);
quit;
EOF

k0 <<EOF
NoX=true;
load("demo.k");;
nonquasi2(5,6);
quit;
EOF

k0 <<EOF
NoX=true;
load("demo.k");;
nonquasi2(5,7);
quit;
EOF

k0 <<EOF
NoX=true;
load("demo.k");;
nonquasi2(5,8);
quit;
EOF

k0 <<EOF
NoX=true;
load("demo.k");;
nonquasi2(5,9);
quit;
EOF

k0 <<EOF
NoX=true;
load("demo.k");;
nonquasi2(5,10);
quit;
EOF