Print["WHOLEBIZ.M -- test suites revised 2004 June 7 "]; Print[""];

initialstartdate = IntegerPart[Date[]]; 

<< o:/wholebiz/qwiktest.m

<< o:/wholebiz/slowtest.m

<< o:/wholebiz/hardtest.m

<< o:/wholebiz/challeng.m

(* MISC.M *)

<< o:/wholebiz/assert.m

<< o:/wholebiz/cardinal.m

<< o:/wholebiz/funstest.m

example[un1,"class[w,exists[u,v,and[member[u,x],member[v,x],
equal[w,union[u,v]]]]]","image[CUP,cart[x,x]]"]

example[un2,"class[w,member[w,class[z,exists[u,v,
and[member[u,x],member[v,x],equal[z,union[u,v]]]]]]]",
"Normalize image[CUP,cart[x,x]]"]

<< o:/wholebiz/function.m

<< o:/wholebiz/power.m

<< o:/wholebiz/novatest.m

<< o:/wholebiz/pairtest.m

(* QAIF.M    Revised 1999 July 10 *)
kount = count

<< o:/wholebiz/thm_po.m
<< o:/wholebiz/thm_eq.m
<< o:/wholebiz/thm_sp1.m
<< o:/wholebiz/thm_up.m
<< o:/wholebiz/thm_ss.m
<< o:/wholebiz/thm_op.m
<< o:/wholebiz/thm_i.m
<< o:/wholebiz/thm_c.m
<< o:/wholebiz/thm_u.m
<< o:/wholebiz/thm_d.m
<< o:/wholebiz/thm_su.m
<< o:/wholebiz/thm_la.m
<< o:/wholebiz/thm_cp.m
<< o:/wholebiz/thm_rs.m      (* corrected *)
<< o:/wholebiz/thm_do.m
<< o:/wholebiz/thm_in.m
<< o:/wholebiz/thm_ra.m
<< o:/wholebiz/thm_im.m
<< o:/wholebiz/thm_sc.m
<< o:/wholebiz/thm_pc.m
<< o:/wholebiz/thm_rl.m
<< o:/wholebiz/thm_co.m
<< o:/wholebiz/thm_sv.m
<< o:/wholebiz/thm_fu.m
<< o:/wholebiz/thm_sr.m
<< o:/wholebiz/thm_id.m
<< o:/wholebiz/thm_rp.m
<< o:/wholebiz/thm_di.m
<< o:/wholebiz/thm_sp2.m
<< o:/wholebiz/thm_re.m
<< o:/wholebiz/thm_ap.m
<< o:/wholebiz/thm_ca.m

Print[""]; Print["Total number of examples for QAIF: ", count - kount];

elapsedtime = IntegerPart[Date[]] - initialstartdate

Print[""]; Print["Total Elapsed Time for all Examples:  ", 
elapsedtime[[6]] + 60 (elapsedtime[[5]] + 
60 (elapsedtime[[4]] + 24 elapsedtime[[3]])),
" Seconds"]