C. Egy naplóállomány

Ebben a függelékben egy sec:hffeld. fejezetben bemutatott GUTS program által előállított naplóállományt mutatok meg. A tesztelt program valódi, a 2001-es tavaszi félév egyik beadott házi feladata. A szöveges részek mind a sablonokból jönnek, módosításuk könnyű.

                              Tesztnapló                              
                              ----------                              

A hallgató neve és azonosítója: LaposElemer.lapose
A program verziószáma:          2
A teszt időpontja:              május 15. 16:43
A tesztet futtató hoszt:        gaia.hanak.hu

A Prolog-program tesztelése
---------------------------

A házi feladat fordítása folyamatban...
{loading /home/guts/hwks/01s/bhw/LaposElemer.lapose/esatrak.ql...}
SICStus 3.8.1 (x86-linux-glibc2.1): Tue Dec 21 16:50:07 CET 1999
A fordítás sikeres volt.

 1. teszteset, időlimit =  10 sec
---------------------------------
{restoring /home/guts/hwks/01s/bhw/LaposElemer.lapose/satrak...}
{Warning: [P] - singleton variables in user:egyezik/2 in lines 14-18}

>>>>> A program lefutott 0.88 sec alatt, a megoldás HELYES.

 2. teszteset, időlimit =  10 sec
---------------------------------
{restoring /home/guts/hwks/01s/bhw/LaposElemer.lapose/satrak...}
{Warning: [P] - singleton variables in user:egyezik/2 in lines 14-18}

>>>>> A program lefutott 0.88 sec alatt, a megoldás HELYES.

 3. teszteset, időlimit =  20 sec
---------------------------------
{restoring /home/guts/hwks/01s/bhw/LaposElemer.lapose/satrak...}
{Warning: [P] - singleton variables in user:egyezik/2 in lines 14-18}

>>>>> A program lefutott 0.88 sec alatt, a megoldás HELYES.

 4. teszteset, időlimit =  20 sec
---------------------------------
{restoring /home/guts/hwks/01s/bhw/LaposElemer.lapose/satrak...}
{Warning: [P] - singleton variables in user:egyezik/2 in lines 14-18}

>>>>> A program lefutott 0.84 sec alatt, a megoldás HELYES.

 5. teszteset, időlimit =  30 sec
---------------------------------
{restoring /home/guts/hwks/01s/bhw/LaposElemer.lapose/satrak...}
{Warning: [P] - singleton variables in user:egyezik/2 in lines 14-18}

>>>>> A program lefutott 0.89 sec alatt, a megoldás HELYES.

 6. teszteset, időlimit =  30 sec
---------------------------------
{restoring /home/guts/hwks/01s/bhw/LaposElemer.lapose/satrak...}
{Warning: [P] - singleton variables in user:egyezik/2 in lines 14-18}

>>>>> A program lefutott 0.94 sec alatt, a megoldás HELYES.

 7. teszteset, időlimit =  40 sec
---------------------------------
{restoring /home/guts/hwks/01s/bhw/LaposElemer.lapose/satrak...}
{Warning: [P] - singleton variables in user:egyezik/2 in lines 14-18}

>>>>> A program lefutott 2.4 sec alatt, a megoldás HELYES.

 8. teszteset, időlimit =  40 sec
---------------------------------
{restoring /home/guts/hwks/01s/bhw/LaposElemer.lapose/satrak...}
{Warning: [P] - singleton variables in user:egyezik/2 in lines 14-18}

>>>>> A program lefutott 17.07 sec alatt, a megoldás HELYES.

 9. teszteset, időlimit =  50 sec
---------------------------------
{restoring /home/guts/hwks/01s/bhw/LaposElemer.lapose/satrak...}
{Warning: [P] - singleton variables in user:egyezik/2 in lines 14-18}

>>>>> Túllépte az időlimitet.

10. teszteset, időlimit =  50 sec
---------------------------------
{restoring /home/guts/hwks/01s/bhw/LaposElemer.lapose/satrak...}
{Warning: [P] - singleton variables in user:egyezik/2 in lines 14-18}

>>>>> A program lefutott 26.13 sec alatt, a megoldás HELYES.

------------------------
 9 megoldás jó a 10-ből.
------------------------

===============================================================
###############################################################
===============================================================

Az SML-program tesztelése
-------------------------

A házi feladat fordítása és szerkesztése folyamatban...
/usr/local/lib/mosml-2.0.0/bin/mosmlc -c Satrak.sml
/usr/local/lib/mosml-2.0.0/bin/mosmlc -o ESatrak ESatrak.uo
A fordítás sikeres volt.

 1. teszteset, időlimit =  10 sec
---------------------------------

>>>>> A program lefutott 0.01 sec alatt, a megoldás HELYES.

 2. teszteset, időlimit =  10 sec
---------------------------------

>>>>> A program lefutott 0.01 sec alatt, a megoldás HELYES.

 3. teszteset, időlimit =  20 sec
---------------------------------

>>>>> A program lefutott 0.02 sec alatt, a megoldás HELYES.

 4. teszteset, időlimit =  20 sec
---------------------------------

>>>>> A program lefutott 0.02 sec alatt, a megoldás HELYES.

 5. teszteset, időlimit =  30 sec
---------------------------------

>>>>> A program lefutott 0.03 sec alatt, a megoldás HELYES.

 6. teszteset, időlimit =  30 sec
---------------------------------

>>>>> A program lefutott 0.04 sec alatt, a megoldás HELYES.

 7. teszteset, időlimit =  40 sec
---------------------------------

>>>>> A program lefutott 33.21 sec alatt, a megoldás HELYES.

 8. teszteset, időlimit =  40 sec
---------------------------------

>>>>> A program lefutott 1.9 sec alatt, a megoldás HELYES.

 9. teszteset, időlimit =  50 sec
---------------------------------

>>>>> A program lefutott 5.4 sec alatt, a megoldás HELYES.

10. teszteset, időlimit =  50 sec
---------------------------------

>>>>> Túllépte az időlimitet.

------------------------
 9 megoldás jó a 10-ből.
------------------------