![]() ![]() | ![]() |
File: [local] / OpenXM / src / k097 / lib / restriction / bench2 (download)
Revision 1.2, Sat Jan 27 05:48:47 2001 UTC (23 years, 7 months ago) by takayama
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