Points Collected during
MAT-74506 Model Checking and Petri Nets

day AKASHTJKJL NLRHRL
12-01
11-25 * m1* s1 * s1* s1
11-24 * s1* s1* s1 * m1* m3 s2 s2
11-22 *** ** s3
11-18 * s2* m2 * m2* m2
11-17 * *
11-15 * s1** * s1* s1
11-11 ** m3 s1 * s1* m3 s1 s3
11-10 * s2 s1* s1 * s1 s3s3 s3* s3 s2
11-08 ** s3 s3 s1 * s3 s3 s3* s3 s3 s3
11-04 * s1 ** s1
11-03 * s2* m1* s2 * m3* m2
11-01 * m2** m2 * m2* m3
10-28 *** * s2 s2* s1 s3
10-27 * s3m3 s3* m2 s2
10-25 ** m2* * m3* m3* m3
10-14 * s3* s3* s3* s3* s3 s1 * s3 s1s1
10-13 * s1* s1 s3* s3* s2 s2 * s2 s3* s3 s3
10-11 * m1* m1** m3 * m2* m3
10-07 **** (24)* 24 * 24**
10-06 * 23* 23* 23* 23 *
10-04 *** s2* s2* s2 s2 s2 * s2 s2 s2* s2 s2*
email 1717–23 21
09-30 * 22* 22* 22 23 * 22 23*
09-29 ** 18-1* 18* 18 *
09-27 18-11918-1 19 18-1 1919
09-23 ** 17** **
09-22 *** 21* 21 * 21* 21*
09-20 *** 20* 20 * 20* 20*
09-16 * s1** m2 * m2* m3*
09-15 * s1 s1 s1 s2** s2 s3 s2 s1 s3 s2 s2* s3 s3 s2 s1* s2 s1 s1
09-13 * s1* s2 * s2* s2
09-09 ** s2* s2* s2* s2 * s2* s2
09-08 * m3* s2* s2 m2* s2 * m2* m2
09-06 * s2* s2 s2* s2 s2* s2 s1* s2 s2 * s2 s2* s2 s2* s2
09-02 ** s* s* s* s ** sss
09-01 ** s* s* s * s* s*
08-30 ***** ***

*= present
s= small assignment
m= medium-size assignment
b= big assignment
1= accepted, but not good
2= good, but not very good
3= very good