COMP 105 type unifier test results sorted by earnings

You can view the same data sorted by test case.

A test case earns "failure francs" for each submitted solution that does not handle that test case correctly. Here is the algorithm for distributing failure francs:

The better your tests are at getting other people's solutions to fail, the more francs you earn. Each solution distributes the same number of francs, but the francs go only to tests that make it fail. A test that exposes a fault in a high-quality solution earns lots of francs!

To avoid revealing any private information, each student is identified by a number chosen at random. You should have received your number by email.

The table below shows the number of "failure francs" earned by each test case (a row) from each solution (a column). An empty entry means the solution handled the test case correctly. A dash means that the type checker and the test case came from the same student—and you can't earn francs by making your own code fail.

Test Earned Test AntApeAspAukBatBeeBoaCodCowCubDoeDogEelEftElkEmuEweFoxGnuHenHogOx
Cow (test 3) 98.13 (tuple 'a), ('a bool)         28.5    4.16.3          2.2  28.528.5      
Asp (test 3) 98.13 (int 'a), ('a bool)       28.5    4.1  6.3          2.2  28.528.5      
Ox (test 2) 66.56 (list 'a), (list ('a 'c))   57.0  3.4  3.4    2.9                        
Hen (test 3) 48.78 ('container 'a), (list (list 'b)) 19.0    3.4  3.419.04.1                          
Fox (test 1) 48.78 ('a 'y), ('b 'z) 19.0    3.4  3.419.04.1                          
Ox (test 3) 44.71 (list ('b 'a)), (list ('a 'b)) 19.0    3.4  3.419.0                            
Eft (test 2) 15.85 (function ('a 'b (list 'a)) int), (function ('b 'b 'b) int)       3.4  3.4  4.12.9          2.2            
Bat (test 1) 12.63 (int 'a (tuple int bool) 'a 'bool), (int int (tuple 'a bool) 'bool int)             4.1  6.3          2.2            
Bee (test 3) 12.63 (list (pair 'a 'b) bool), (list (pair 'b 'a) 'a)             4.1  6.3          2.2            
Cub (test 1) 11.78 (tuple int 'a), 'a       3.4  3.4    2.9          2.2            
Ape (test 1) 11.78 (list (list 'a)), 'a     3.4  3.4    2.9            2.2            
Asp (test 1) 11.78 (tuple 'a 'b), 'a     3.4  3.4    2.9            2.2            
Doe (test 2) 11.78 (function ('a) 'a), 'a       3.4  3.4    2.9          2.2            
Hen (test 1) 11.78 (function ('a) int), 'a       3.4  3.4    2.9            2.2          
Ewe (test 2) 11.78 (tuple 'a 'b), 'a       3.4  3.4    2.9            2.2          
Elk (test 1) 9.56 'a, (pair 'a 'b)       3.4  3.4    2.9                        
Gnu (test 3) 9.56 (list 'a), (list (list 'a))       3.4  3.4    2.9                        
Dog (test 3) 9.56 (list 'a), (list ('b 'a))       3.4  3.4    2.9                        
Boa (test 1) 9.56 'a, (list 'a)       3.4  3.4  2.9                          
Ant (test 1) 9.56 'a, (list (tuple 'a 'b))     3.4  3.4    2.9                          
Bat (test 2) 9.56 'a, (tuple (list (tuple int 'a)) 'b)       3.43.4    2.9                          
Auk (test 2) 9.14 ((tuple) 'a), ((tuple int 'x) b)             4.12.9            2.2            
Eel (test 2) 6.33 (tuple 'int 'bool), (tuple 'bool 'int)                   6.3                      
Gnu (test 1) 6.33 'a, 'a                   6.3                      
Boa (test 3) 6.33 '@ta, '@ta                 6.3                        
Eft (test 1) 6.33 'a, 'a                   6.3                      
Cod (test 2) 6.33 (function ('a 'a) 'b), (function (int int) bool)                 6.3                        
Eft (test 3) 6.29 (function ('a 'b 'c 'b) int), (function (int 'a 'c bool) int)               4.1            2.2            
Gnu (test 2) 6.29 (tuple 'a 'b 'a), (tuple int bool bool)               4.1              2.2          
Doe (test 3) 5.07 (function ('a 'a) (list 'c)), (function ('b) (list (list 'a)))                 2.9          2.2            
Dog (test 1) 5.07 (tuple 'a 'b 'c), (tuple int (list 'a))                 2.9          2.2            
Cod (test 3) 5.07 (function (bool int) 'a), (function ('a) 'a)               2.9            2.2            
Ox (test 1) 5.07 (tuple 'a 'b 'c), (tuple int (list 'a))                 2.9            2.2          
Fox (test 2) 5.07 (list 'a), (list 'a 'b)                 2.9            2.2          
Eel (test 3) 4.07 (tuple 'a), (list 'a)               4.1                          
Auk (test 1) 4.07 ((tuple 'x 'y) 'a), (list b)             4.1                            
Ape (test 3) 4.07 (list int), (tuple int)             4.1                            
Cub (test 2) 4.07 (list 'a), (tuple 'b)               4.1                          
Cow (test 1) 2.22 (list 'a), 'b                             2.2            
Ewe (test 1) 2.22 int, 'a                               2.2          
Fox (test 3) 2.22 list, (list 'a)                               2.2          
Hen (test 2) 2.22 (function ('a 'b 'c) (tuple 'b 'c)), (function (int 'a 'c) (tuple bool 'd))                               2.2          
Elk (test 2) 2.22 (pair int bool), (pair 'a 'a)                             2.2            
Ant (test 3) 2.22 ('a 'a 'a list (list int) int int int), ('a list (list int) 'a 'a int bool (list int))                             2.2            
Bat (test 3) 2.22 (tuple 'a 'a), (tuple int bool)                             2.2            
Doe (test 1) 2.22 (tuple 'a int), (tuple bool 'a)                             2.2            
Ape (test 2) 0.00 (function ('a 'b) 'c), (function (int 'd) bool)                                           
Cod (test 1) 0.00 (list 'a), (function ((list (list 'b))) 'b)                                           
Ant (test 2) 0.00 'a, (list (tuple 'b 'c))                                           
Bee (test 2) 0.00 (list (pair 'a 'b) bool), (list (pair 'b 'a) a)                                           
Asp (test 2) 0.00 (list (tuple 'a int)), (list (tuple 'b bool))                                           
Auk (test 3) 0.00 'a, ((tuple int 'x) b)                                           
Dog (test 2) 0.00 (list 'a), (list ('c 'b))                                           
Bee (test 1) 0.00 (pair 'a 'b), nil                                           
Ewe (test 3) 0.00 'a, int                                           
Eel (test 1) 0.00 (tuple (list 'a) int), (tuple int (list 'a))                                           
Cow (test 2) 0.00 (list int), (list bool)                                           
Boa (test 2) 0.00 (function (int 'b) 'c), (function (b 'c) 'bool)                                           
Elk (test 3) 0.00 'a, int                                           
Cub (test 3) 0.00 (tuple 'a), (tuple 'a)                                           
Back to the COMP 105 home page.