|
Name |
|
Date |
Size |
#Lines |
LOC |
| .. | | 03-May-2022 | - |
| bug1.alexdual | H A D | 16-Jun-2020 | 50 | 6 | 5 |
| bug1.assoprimes | H A D | 16-Jun-2020 | 15 | 3 | 2 |
| bug1.frobInstance | H A D | 16-Jun-2020 | 14 | 2 | 1 |
| bug1.intersection | H A D | 16-Jun-2020 | 116 | 12 | 11 |
| bug1.irrdecom | H A D | 16-Jun-2020 | 193 | 21 | 20 |
| bug1.irrdecom_ideal | H A D | 16-Jun-2020 | 49 | 6 | 5 |
| bug1.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug1.minimize | H A D | 16-Jun-2020 | 116 | 12 | 11 |
| bug1.multi | H A D | 16-Jun-2020 | 712 | 53 | 52 |
| bug1.opt_irr | H A D | 16-Jun-2020 | 19 | 4 | 3 |
| bug1.opt_irr_min | H A D | 16-Jun-2020 | 17 | 4 | 3 |
| bug1.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug1.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug1.primdecom | H A D | 16-Jun-2020 | 116 | 12 | 11 |
| bug1.radical | H A D | 16-Jun-2020 | 48 | 6 | 5 |
| bug1.test | H A D | 16-Jun-2020 | 166 | 12 | 11 |
| bug1.uni | H A D | 16-Jun-2020 | 133 | 16 | 15 |
| bug10.alexdual | H A D | 16-Jun-2020 | 40 | 6 | 5 |
| bug10.assoprimes | H A D | 16-Jun-2020 | 13 | 3 | 2 |
| bug10.frobInstance | H A D | 16-Jun-2020 | 12 | 2 | 1 |
| bug10.frobNumber | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug10.intersection | H A D | 16-Jun-2020 | 67 | 9 | 8 |
| bug10.irrdecom | H A D | 16-Jun-2020 | 124 | 17 | 16 |
| bug10.irrdecom_ideal | H A D | 16-Jun-2020 | 40 | 6 | 5 |
| bug10.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug10.minimize | H A D | 16-Jun-2020 | 67 | 9 | 8 |
| bug10.multi | H A D | 16-Jun-2020 | 314 | 25 | 24 |
| bug10.opt_irr | H A D | 16-Jun-2020 | 24 | 5 | 4 |
| bug10.opt_irr_min | H A D | 16-Jun-2020 | 15 | 4 | 3 |
| bug10.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug10.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug10.primdecom | H A D | 16-Jun-2020 | 67 | 9 | 8 |
| bug10.radical | H A D | 16-Jun-2020 | 31 | 5 | 4 |
| bug10.test | H A D | 16-Jun-2020 | 95 | 9 | 8 |
| bug10.uni | H A D | 16-Jun-2020 | 56 | 8 | 7 |
| bug11.alexdual | H A D | 16-Jun-2020 | 380 | 27 | 26 |
| bug11.assoprimes | H A D | 16-Jun-2020 | 19 | 3 | 2 |
| bug11.frobInstance | H A D | 16-Jun-2020 | 34 | 2 | 1 |
| bug11.frobNumber | H A D | 16-Jun-2020 | 6 | 2 | 1 |
| bug11.intersection | H A D | 16-Jun-2020 | 560 | 39 | 38 |
| bug11.irrdecom | H A D | 16-Jun-2020 | 2.3 KiB | 176 | 175 |
| bug11.irrdecom_ideal | H A D | 16-Jun-2020 | 380 | 27 | 26 |
| bug11.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug11.minimize | H A D | 16-Jun-2020 | 560 | 39 | 38 |
| bug11.multi | H A D | 16-Jun-2020 | 17.5 KiB | 891 | 890 |
| bug11.opt_irr | H A D | 16-Jun-2020 | 67 | 7 | 6 |
| bug11.opt_irr_min | H A D | 16-Jun-2020 | 21 | 4 | 3 |
| bug11.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug11.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug11.primdecom | H A D | 16-Jun-2020 | 560 | 39 | 38 |
| bug11.radical | H A D | 16-Jun-2020 | 94 | 8 | 7 |
| bug11.test | H A D | 16-Jun-2020 | 849 | 39 | 38 |
| bug11.uni | H A D | 16-Jun-2020 | 145 | 16 | 15 |
| bug12.alexdual | H A D | 16-Jun-2020 | 283 | 25 | 24 |
| bug12.assoprimes | H A D | 16-Jun-2020 | 15 | 3 | 2 |
| bug12.frobInstance | H A D | 16-Jun-2020 | 25 | 2 | 1 |
| bug12.frobNumber | H A D | 16-Jun-2020 | 6 | 2 | 1 |
| bug12.intersection | H A D | 16-Jun-2020 | 330 | 31 | 30 |
| bug12.irrdecom | H A D | 16-Jun-2020 | 1.1 KiB | 116 | 115 |
| bug12.irrdecom_ideal | H A D | 16-Jun-2020 | 265 | 25 | 24 |
| bug12.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug12.minimize | H A D | 16-Jun-2020 | 330 | 31 | 30 |
| bug12.multi | H A D | 16-Jun-2020 | 3.5 KiB | 205 | 204 |
| bug12.opt_irr | H A D | 16-Jun-2020 | 19 | 4 | 3 |
| bug12.opt_irr_min | H A D | 16-Jun-2020 | 29 | 5 | 4 |
| bug12.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug12.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug12.primdecom | H A D | 16-Jun-2020 | 330 | 31 | 30 |
| bug12.radical | H A D | 16-Jun-2020 | 48 | 6 | 5 |
| bug12.test | H A D | 16-Jun-2020 | 484 | 31 | 30 |
| bug12.uni | H A D | 16-Jun-2020 | 197 | 22 | 21 |
| bug13.alexdual | H A D | 16-Jun-2020 | 31 | 5 | 4 |
| bug13.assoprimes | H A D | 16-Jun-2020 | 13 | 3 | 2 |
| bug13.frobInstance | H A D | 16-Jun-2020 | 12 | 2 | 1 |
| bug13.frobNumber | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug13.intersection | H A D | 16-Jun-2020 | 58 | 8 | 7 |
| bug13.irrdecom | H A D | 16-Jun-2020 | 93 | 13 | 12 |
| bug13.irrdecom_ideal | H A D | 16-Jun-2020 | 31 | 5 | 4 |
| bug13.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug13.minimize | H A D | 16-Jun-2020 | 58 | 8 | 7 |
| bug13.multi | H A D | 16-Jun-2020 | 242 | 20 | 19 |
| bug13.opt_irr | H A D | 16-Jun-2020 | 33 | 6 | 5 |
| bug13.opt_irr_min | H A D | 16-Jun-2020 | 33 | 6 | 5 |
| bug13.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug13.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug13.primdecom | H A D | 16-Jun-2020 | 58 | 8 | 7 |
| bug13.radical | H A D | 16-Jun-2020 | 31 | 5 | 4 |
| bug13.test | H A D | 16-Jun-2020 | 83 | 8 | 7 |
| bug13.uni | H A D | 16-Jun-2020 | 63 | 9 | 8 |
| bug14.alexdual | H A D | 16-Jun-2020 | 651 | 49 | 48 |
| bug14.assoprimes | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug14.frobInstance | H A D | 16-Jun-2020 | 29 | 2 | 1 |
| bug14.frobNumber | H A D | 16-Jun-2020 | 6 | 2 | 1 |
| bug14.intersection | H A D | 16-Jun-2020 | 620 | 49 | 48 |
| bug14.irrdecom | H A D | 16-Jun-2020 | 3.2 KiB | 283 | 282 |
| bug14.irrdecom_ideal | H A D | 16-Jun-2020 | 623 | 49 | 48 |
| bug14.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug14.minimize | H A D | 16-Jun-2020 | 620 | 49 | 48 |
| bug14.multi | H A D | 16-Jun-2020 | 13.9 KiB | 720 | 719 |
| bug14.opt_irr | H A D | 16-Jun-2020 | 35 | 5 | 4 |
| bug14.opt_irr_min | H A D | 16-Jun-2020 | 124 | 12 | 11 |
| bug14.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug14.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug14.primdecom | H A D | 16-Jun-2020 | 620 | 49 | 48 |
| bug14.radical | H A D | 16-Jun-2020 | 69 | 7 | 6 |
| bug14.test | H A D | 16-Jun-2020 | 916 | 49 | 48 |
| bug14.uni | H A D | 16-Jun-2020 | 217 | 23 | 22 |
| bug15.alexdual | H A D | 16-Jun-2020 | 92 | 10 | 9 |
| bug15.assoprimes | H A D | 16-Jun-2020 | 15 | 3 | 2 |
| bug15.frobInstance | H A D | 16-Jun-2020 | 23 | 2 | 1 |
| bug15.frobNumber | H A D | 16-Jun-2020 | 6 | 2 | 1 |
| bug15.intersection | H A D | 16-Jun-2020 | 159 | 16 | 15 |
| bug15.irrdecom | H A D | 16-Jun-2020 | 384 | 41 | 40 |
| bug15.irrdecom_ideal | H A D | 16-Jun-2020 | 92 | 10 | 9 |
| bug15.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug15.minimize | H A D | 16-Jun-2020 | 159 | 16 | 15 |
| bug15.multi | H A D | 16-Jun-2020 | 1.2 KiB | 83 | 82 |
| bug15.opt_irr | H A D | 16-Jun-2020 | 18 | 4 | 3 |
| bug15.opt_irr_min | H A D | 16-Jun-2020 | 17 | 4 | 3 |
| bug15.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug15.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug15.primdecom | H A D | 16-Jun-2020 | 159 | 16 | 15 |
| bug15.radical | H A D | 16-Jun-2020 | 48 | 6 | 5 |
| bug15.test | H A D | 16-Jun-2020 | 241 | 16 | 15 |
| bug15.uni | H A D | 16-Jun-2020 | 137 | 16 | 15 |
| bug16.alexdual | H A D | 16-Jun-2020 | 365 | 32 | 31 |
| bug16.assoprimes | H A D | 16-Jun-2020 | 15 | 3 | 2 |
| bug16.frobInstance | H A D | 16-Jun-2020 | 25 | 2 | 1 |
| bug16.frobNumber | H A D | 16-Jun-2020 | 6 | 2 | 1 |
| bug16.intersection | H A D | 16-Jun-2020 | 362 | 33 | 32 |
| bug16.irrdecom | H A D | 16-Jun-2020 | 1.4 KiB | 151 | 150 |
| bug16.irrdecom_ideal | H A D | 16-Jun-2020 | 363 | 32 | 31 |
| bug16.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug16.minimize | H A D | 16-Jun-2020 | 362 | 33 | 32 |
| bug16.multi | H A D | 16-Jun-2020 | 4.5 KiB | 243 | 242 |
| bug16.opt_irr | H A D | 16-Jun-2020 | 20 | 4 | 3 |
| bug16.opt_irr_min | H A D | 16-Jun-2020 | 18 | 4 | 3 |
| bug16.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug16.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug16.primdecom | H A D | 16-Jun-2020 | 362 | 33 | 32 |
| bug16.radical | H A D | 16-Jun-2020 | 48 | 6 | 5 |
| bug16.test | H A D | 16-Jun-2020 | 518 | 33 | 32 |
| bug16.uni | H A D | 16-Jun-2020 | 191 | 22 | 21 |
| bug17.alexdual | H A D | 16-Jun-2020 | 11 | 3 | 2 |
| bug17.assoprimes | H A D | 16-Jun-2020 | 11 | 3 | 2 |
| bug17.frobInstance | H A D | 16-Jun-2020 | 8 | 2 | 1 |
| bug17.intersection | H A D | 16-Jun-2020 | 18 | 4 | 3 |
| bug17.irrdecom | H A D | 16-Jun-2020 | 18 | 4 | 3 |
| bug17.irrdecom_ideal | H A D | 16-Jun-2020 | 11 | 3 | 2 |
| bug17.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug17.minimize | H A D | 16-Jun-2020 | 18 | 4 | 3 |
| bug17.multi | H A D | 16-Jun-2020 | 59 | 7 | 6 |
| bug17.opt_irr | H A D | 16-Jun-2020 | 13 | 4 | 3 |
| bug17.opt_irr_min | H A D | 16-Jun-2020 | 13 | 4 | 3 |
| bug17.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug17.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug17.primdecom | H A D | 16-Jun-2020 | 18 | 4 | 3 |
| bug17.radical | H A D | 16-Jun-2020 | 18 | 4 | 3 |
| bug17.test | H A D | 16-Jun-2020 | 24 | 4 | 3 |
| bug17.uni | H A D | 16-Jun-2020 | 42 | 7 | 6 |
| bug18.alexdual | H A D | 16-Jun-2020 | 9 | 3 | 2 |
| bug18.assoprimes | H A D | 16-Jun-2020 | 9 | 3 | 2 |
| bug18.frobInstance | H A D | 16-Jun-2020 | 10 | 2 | 1 |
| bug18.frobNumber | H A D | 16-Jun-2020 | 8 | 2 | 1 |
| bug18.intersection | H A D | 16-Jun-2020 | 12 | 3 | 2 |
| bug18.irrdecom | H A D | 16-Jun-2020 | 12 | 3 | 2 |
| bug18.irrdecom_ideal | H A D | 16-Jun-2020 | 12 | 3 | 2 |
| bug18.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug18.minimize | H A D | 16-Jun-2020 | 12 | 3 | 2 |
| bug18.multi | H A D | 16-Jun-2020 | 36 | 5 | 4 |
| bug18.opt_irr | H A D | 16-Jun-2020 | 17 | 4 | 3 |
| bug18.opt_irr_min | H A D | 16-Jun-2020 | 17 | 4 | 3 |
| bug18.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug18.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug18.primdecom | H A D | 16-Jun-2020 | 12 | 3 | 2 |
| bug18.radical | H A D | 16-Jun-2020 | 9 | 3 | 2 |
| bug18.test | H A D | 16-Jun-2020 | 16 | 3 | 2 |
| bug18.uni | H A D | 16-Jun-2020 | 30 | 5 | 4 |
| bug19.alexdual | H A D | 16-Jun-2020 | 3.7 KiB | 195 | 194 |
| bug19.assoprimes | H A D | 16-Jun-2020 | 23 | 3 | 2 |
| bug19.frobInstance | H A D | 16-Jun-2020 | 45 | 10 | 9 |
| bug19.frobNumber | H A D | 16-Jun-2020 | 6 | 2 | 1 |
| bug19.intersection | H A D | 16-Jun-2020 | 3.4 KiB | 186 | 185 |
| bug19.irrdecom | H A D | 16-Jun-2020 | 29.4 KiB | 1,738 | 1,737 |
| bug19.irrdecom_ideal | H A D | 16-Jun-2020 | 3.6 KiB | 195 | 194 |
| bug19.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug19.minimize | H A D | 16-Jun-2020 | 3.4 KiB | 186 | 185 |
| bug19.multi | H A D | 16-Jun-2020 | 560.4 KiB | 22,223 | 22,222 |
| bug19.opt_irr | H A D | 16-Jun-2020 | 199 | 13 | 12 |
| bug19.opt_irr_min | H A D | 16-Jun-2020 | 102 | 8 | 7 |
| bug19.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug19.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug19.primdecom | H A D | 16-Jun-2020 | 3.4 KiB | 186 | 185 |
| bug19.radical | H A D | 16-Jun-2020 | 156 | 10 | 9 |
| bug19.test | H A D | 16-Jun-2020 | 5 KiB | 186 | 185 |
| bug19.uni | H A D | 16-Jun-2020 | 232 | 23 | 22 |
| bug2.alexdual | H A D | 16-Jun-2020 | 59 | 7 | 6 |
| bug2.assoprimes | H A D | 16-Jun-2020 | 15 | 3 | 2 |
| bug2.frobInstance | H A D | 16-Jun-2020 | 14 | 2 | 1 |
| bug2.frobNumber | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug2.intersection | H A D | 16-Jun-2020 | 115 | 12 | 11 |
| bug2.irrdecom | H A D | 16-Jun-2020 | 240 | 26 | 25 |
| bug2.irrdecom_ideal | H A D | 16-Jun-2020 | 59 | 7 | 6 |
| bug2.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug2.minimize | H A D | 16-Jun-2020 | 115 | 12 | 11 |
| bug2.multi | H A D | 16-Jun-2020 | 853 | 59 | 58 |
| bug2.opt_irr | H A D | 16-Jun-2020 | 18 | 4 | 3 |
| bug2.opt_irr_min | H A D | 16-Jun-2020 | 17 | 4 | 3 |
| bug2.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug2.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug2.primdecom | H A D | 16-Jun-2020 | 115 | 12 | 11 |
| bug2.radical | H A D | 16-Jun-2020 | 48 | 6 | 5 |
| bug2.test | H A D | 16-Jun-2020 | 165 | 12 | 11 |
| bug2.uni | H A D | 16-Jun-2020 | 112 | 14 | 13 |
| bug20.alexdual | H A D | 16-Jun-2020 | 164 | 12 | 11 |
| bug20.assoprimes | H A D | 16-Jun-2020 | 19 | 3 | 2 |
| bug20.frobInstance | H A D | 16-Jun-2020 | 32 | 8 | 7 |
| bug20.frobNumber | H A D | 16-Jun-2020 | 5 | 2 | 1 |
| bug20.intersection | H A D | 16-Jun-2020 | 279 | 20 | 19 |
| bug20.irrdecom | H A D | 16-Jun-2020 | 944 | 71 | 70 |
| bug20.irrdecom_ideal | H A D | 16-Jun-2020 | 159 | 12 | 11 |
| bug20.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug20.minimize | H A D | 16-Jun-2020 | 279 | 20 | 19 |
| bug20.multi | H A D | 16-Jun-2020 | 7.2 KiB | 387 | 386 |
| bug20.opt_irr | H A D | 16-Jun-2020 | 23 | 4 | 3 |
| bug20.opt_irr_min | H A D | 16-Jun-2020 | 22 | 4 | 3 |
| bug20.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug20.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug20.primdecom | H A D | 16-Jun-2020 | 279 | 20 | 19 |
| bug20.radical | H A D | 16-Jun-2020 | 94 | 8 | 7 |
| bug20.test | H A D | 16-Jun-2020 | 411 | 20 | 19 |
| bug20.uni | H A D | 16-Jun-2020 | 282 | 30 | 29 |
| bug21.alexdual | H A D | 16-Jun-2020 | 297 | 17 | 16 |
| bug21.assoprimes | H A D | 16-Jun-2020 | 23 | 3 | 2 |
| bug21.frobInstance | H A D | 16-Jun-2020 | 42 | 10 | 9 |
| bug21.frobNumber | H A D | 16-Jun-2020 | 5 | 2 | 1 |
| bug21.intersection | H A D | 16-Jun-2020 | 519 | 29 | 28 |
| bug21.irrdecom | H A D | 16-Jun-2020 | 2.3 KiB | 136 | 135 |
| bug21.irrdecom_ideal | H A D | 16-Jun-2020 | 291 | 17 | 16 |
| bug21.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug21.minimize | H A D | 16-Jun-2020 | 519 | 29 | 28 |
| bug21.multi | H A D | 16-Jun-2020 | 48.5 KiB | 2,211 | 2,210 |
| bug21.opt_irr | H A D | 16-Jun-2020 | 27 | 4 | 3 |
| bug21.opt_irr_min | H A D | 16-Jun-2020 | 83 | 7 | 6 |
| bug21.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug21.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug21.primdecom | H A D | 16-Jun-2020 | 519 | 29 | 28 |
| bug21.radical | H A D | 16-Jun-2020 | 156 | 10 | 9 |
| bug21.test | H A D | 16-Jun-2020 | 776 | 29 | 28 |
| bug21.uni | H A D | 16-Jun-2020 | 212 | 23 | 22 |
| bug22.alexdual | H A D | 16-Jun-2020 | 175 | 11 | 10 |
| bug22.assoprimes | H A D | 16-Jun-2020 | 23 | 3 | 2 |
| bug22.frobInstance | H A D | 16-Jun-2020 | 27 | 10 | 9 |
| bug22.intersection | H A D | 16-Jun-2020 | 499 | 28 | 27 |
| bug22.irrdecom | H A D | 16-Jun-2020 | 1.4 KiB | 82 | 81 |
| bug22.irrdecom_ideal | H A D | 16-Jun-2020 | 175 | 11 | 10 |
| bug22.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug22.minimize | H A D | 16-Jun-2020 | 499 | 28 | 27 |
| bug22.multi | H A D | 16-Jun-2020 | 30.7 KiB | 1,547 | 1,546 |
| bug22.opt_irr | H A D | 16-Jun-2020 | 140 | 10 | 9 |
| bug22.opt_irr_min | H A D | 16-Jun-2020 | 44 | 5 | 4 |
| bug22.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug22.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug22.primdecom | H A D | 16-Jun-2020 | 499 | 28 | 27 |
| bug22.radical | H A D | 16-Jun-2020 | 156 | 10 | 9 |
| bug22.test | H A D | 16-Jun-2020 | 733 | 28 | 27 |
| bug22.uni | H A D | 16-Jun-2020 | 136 | 15 | 14 |
| bug23.alexdual | H A D | 16-Jun-2020 | 89 | 7 | 6 |
| bug23.assoprimes | H A D | 16-Jun-2020 | 21 | 3 | 2 |
| bug23.frobInstance | H A D | 16-Jun-2020 | 24 | 9 | 8 |
| bug23.frobNumber | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug23.intersection | H A D | 16-Jun-2020 | 294 | 19 | 18 |
| bug23.irrdecom | H A D | 16-Jun-2020 | 615 | 41 | 40 |
| bug23.irrdecom_ideal | H A D | 16-Jun-2020 | 89 | 7 | 6 |
| bug23.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug23.minimize | H A D | 16-Jun-2020 | 294 | 19 | 18 |
| bug23.multi | H A D | 16-Jun-2020 | 8.4 KiB | 483 | 482 |
| bug23.opt_irr | H A D | 16-Jun-2020 | 24 | 4 | 3 |
| bug23.opt_irr_min | H A D | 16-Jun-2020 | 23 | 4 | 3 |
| bug23.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug23.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug23.primdecom | H A D | 16-Jun-2020 | 294 | 19 | 18 |
| bug23.radical | H A D | 16-Jun-2020 | 123 | 9 | 8 |
| bug23.test | H A D | 16-Jun-2020 | 432 | 19 | 18 |
| bug23.uni | H A D | 16-Jun-2020 | 106 | 13 | 12 |
| bug24.alexdual | H A D | 16-Jun-2020 | 64 | 6 | 5 |
| bug24.assoprimes | H A D | 16-Jun-2020 | 19 | 3 | 2 |
| bug24.frobInstance | H A D | 16-Jun-2020 | 22 | 8 | 7 |
| bug24.frobNumber | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug24.intersection | H A D | 16-Jun-2020 | 139 | 11 | 10 |
| bug24.irrdecom | H A D | 16-Jun-2020 | 376 | 29 | 28 |
| bug24.irrdecom_ideal | H A D | 16-Jun-2020 | 64 | 6 | 5 |
| bug24.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug24.minimize | H A D | 16-Jun-2020 | 139 | 11 | 10 |
| bug24.multi | H A D | 16-Jun-2020 | 2.7 KiB | 163 | 162 |
| bug24.opt_irr | H A D | 16-Jun-2020 | 22 | 4 | 3 |
| bug24.opt_irr_min | H A D | 16-Jun-2020 | 36 | 5 | 4 |
| bug24.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug24.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug24.primdecom | H A D | 16-Jun-2020 | 139 | 11 | 10 |
| bug24.radical | H A D | 16-Jun-2020 | 94 | 8 | 7 |
| bug24.test | H A D | 16-Jun-2020 | 202 | 11 | 10 |
| bug24.uni | H A D | 16-Jun-2020 | 133 | 16 | 15 |
| bug26.alexdual | H A D | 16-Jun-2020 | 613 | 34 | 33 |
| bug26.assoprimes | H A D | 16-Jun-2020 | 23 | 3 | 2 |
| bug26.frobInstance | H A D | 16-Jun-2020 | 36 | 10 | 9 |
| bug26.frobNumber | H A D | 16-Jun-2020 | 5 | 2 | 1 |
| bug26.intersection | H A D | 16-Jun-2020 | 1.3 KiB | 70 | 69 |
| bug26.irrdecom | H A D | 16-Jun-2020 | 4.9 KiB | 289 | 288 |
| bug26.irrdecom_ideal | H A D | 16-Jun-2020 | 613 | 34 | 33 |
| bug26.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug26.minimize | H A D | 16-Jun-2020 | 1.3 KiB | 70 | 69 |
| bug26.multi | H A D | 16-Jun-2020 | 98 KiB | 4,484 | 4,483 |
| bug26.opt_irr | H A D | 16-Jun-2020 | 26 | 4 | 3 |
| bug26.opt_irr_min | H A D | 16-Jun-2020 | 293 | 18 | 17 |
| bug26.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug26.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug26.primdecom | H A D | 16-Jun-2020 | 1.3 KiB | 70 | 69 |
| bug26.radical | H A D | 16-Jun-2020 | 156 | 10 | 9 |
| bug26.test | H A D | 16-Jun-2020 | 1.9 KiB | 70 | 69 |
| bug26.uni | H A D | 16-Jun-2020 | 158 | 17 | 16 |
| bug27.alexdual | H A D | 16-Jun-2020 | 328 | 19 | 18 |
| bug27.assoprimes | H A D | 16-Jun-2020 | 23 | 3 | 2 |
| bug27.frobInstance | H A D | 16-Jun-2020 | 27 | 10 | 9 |
| bug27.frobNumber | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug27.intersection | H A D | 16-Jun-2020 | 689 | 38 | 37 |
| bug27.irrdecom | H A D | 16-Jun-2020 | 2.6 KiB | 154 | 153 |
| bug27.irrdecom_ideal | H A D | 16-Jun-2020 | 328 | 19 | 18 |
| bug27.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug27.minimize | H A D | 16-Jun-2020 | 689 | 38 | 37 |
| bug27.multi | H A D | 16-Jun-2020 | 51.8 KiB | 2,476 | 2,475 |
| bug27.opt_irr | H A D | 16-Jun-2020 | 45 | 5 | 4 |
| bug27.opt_irr_min | H A D | 16-Jun-2020 | 64 | 6 | 5 |
| bug27.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug27.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug27.primdecom | H A D | 16-Jun-2020 | 689 | 38 | 37 |
| bug27.radical | H A D | 16-Jun-2020 | 156 | 10 | 9 |
| bug27.test | H A D | 16-Jun-2020 | 1,013 | 38 | 37 |
| bug27.uni | H A D | 16-Jun-2020 | 129 | 14 | 13 |
| bug3.alexdual | H A D | 16-Jun-2020 | 295 | 27 | 26 |
| bug3.assoprimes | H A D | 16-Jun-2020 | 15 | 3 | 2 |
| bug3.frobInstance | H A D | 16-Jun-2020 | 23 | 2 | 1 |
| bug3.frobNumber | H A D | 16-Jun-2020 | 6 | 2 | 1 |
| bug3.intersection | H A D | 16-Jun-2020 | 224 | 21 | 20 |
| bug3.irrdecom | H A D | 16-Jun-2020 | 1.2 KiB | 126 | 125 |
| bug3.irrdecom_ideal | H A D | 16-Jun-2020 | 303 | 27 | 26 |
| bug3.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug3.minimize | H A D | 16-Jun-2020 | 224 | 21 | 20 |
| bug3.multi | H A D | 16-Jun-2020 | 3.4 KiB | 177 | 176 |
| bug3.opt_irr | H A D | 16-Jun-2020 | 19 | 4 | 3 |
| bug3.opt_irr_min | H A D | 16-Jun-2020 | 18 | 4 | 3 |
| bug3.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug3.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug3.primdecom | H A D | 16-Jun-2020 | 224 | 21 | 20 |
| bug3.radical | H A D | 16-Jun-2020 | 48 | 6 | 5 |
| bug3.test | H A D | 16-Jun-2020 | 314 | 21 | 20 |
| bug3.uni | H A D | 16-Jun-2020 | 362 | 39 | 38 |
| bug4.alexdual | H A D | 16-Jun-2020 | 70 | 8 | 7 |
| bug4.assoprimes | H A D | 16-Jun-2020 | 15 | 3 | 2 |
| bug4.frobInstance | H A D | 16-Jun-2020 | 15 | 2 | 1 |
| bug4.intersection | H A D | 16-Jun-2020 | 137 | 14 | 13 |
| bug4.irrdecom | H A D | 16-Jun-2020 | 288 | 31 | 30 |
| bug4.irrdecom_ideal | H A D | 16-Jun-2020 | 70 | 8 | 7 |
| bug4.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug4.minimize | H A D | 16-Jun-2020 | 137 | 14 | 13 |
| bug4.multi | H A D | 16-Jun-2020 | 928 | 67 | 66 |
| bug4.opt_irr | H A D | 16-Jun-2020 | 61 | 8 | 7 |
| bug4.opt_irr_min | H A D | 16-Jun-2020 | 17 | 4 | 3 |
| bug4.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug4.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug4.primdecom | H A D | 16-Jun-2020 | 137 | 14 | 13 |
| bug4.radical | H A D | 16-Jun-2020 | 48 | 6 | 5 |
| bug4.test | H A D | 16-Jun-2020 | 197 | 14 | 13 |
| bug4.uni | H A D | 16-Jun-2020 | 77 | 10 | 9 |
| bug5.alexdual | H A D | 16-Jun-2020 | 13 | 3 | 2 |
| bug5.assoprimes | H A D | 16-Jun-2020 | 13 | 3 | 2 |
| bug5.frobInstance | H A D | 16-Jun-2020 | 10 | 2 | 1 |
| bug5.intersection | H A D | 16-Jun-2020 | 31 | 5 | 4 |
| bug5.irrdecom | H A D | 16-Jun-2020 | 31 | 5 | 4 |
| bug5.irrdecom_ideal | H A D | 16-Jun-2020 | 13 | 3 | 2 |
| bug5.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug5.minimize | H A D | 16-Jun-2020 | 31 | 5 | 4 |
| bug5.multi | H A D | 16-Jun-2020 | 101 | 11 | 10 |
| bug5.opt_irr | H A D | 16-Jun-2020 | 15 | 4 | 3 |
| bug5.opt_irr_min | H A D | 16-Jun-2020 | 15 | 4 | 3 |
| bug5.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug5.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug5.primdecom | H A D | 16-Jun-2020 | 31 | 5 | 4 |
| bug5.radical | H A D | 16-Jun-2020 | 31 | 5 | 4 |
| bug5.test | H A D | 16-Jun-2020 | 44 | 5 | 4 |
| bug5.uni | H A D | 16-Jun-2020 | 44 | 7 | 6 |
| bug6.alexdual | H A D | 16-Jun-2020 | 56 | 6 | 5 |
| bug6.assoprimes | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug6.frobInstance | H A D | 16-Jun-2020 | 18 | 2 | 1 |
| bug6.intersection | H A D | 16-Jun-2020 | 187 | 16 | 15 |
| bug6.irrdecom | H A D | 16-Jun-2020 | 276 | 25 | 24 |
| bug6.irrdecom_ideal | H A D | 16-Jun-2020 | 56 | 6 | 5 |
| bug6.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug6.minimize | H A D | 16-Jun-2020 | 187 | 16 | 15 |
| bug6.multi | H A D | 16-Jun-2020 | 1.5 KiB | 101 | 100 |
| bug6.opt_irr | H A D | 16-Jun-2020 | 19 | 4 | 3 |
| bug6.opt_irr_min | H A D | 16-Jun-2020 | 45 | 6 | 5 |
| bug6.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug6.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug6.primdecom | H A D | 16-Jun-2020 | 187 | 16 | 15 |
| bug6.radical | H A D | 16-Jun-2020 | 69 | 7 | 6 |
| bug6.test | H A D | 16-Jun-2020 | 271 | 16 | 15 |
| bug6.uni | H A D | 16-Jun-2020 | 69 | 9 | 8 |
| bug7.alexdual | H A D | 16-Jun-2020 | 81 | 9 | 8 |
| bug7.assoprimes | H A D | 16-Jun-2020 | 15 | 3 | 2 |
| bug7.frobInstance | H A D | 16-Jun-2020 | 15 | 2 | 1 |
| bug7.frobNumber | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug7.intersection | H A D | 16-Jun-2020 | 148 | 15 | 14 |
| bug7.irrdecom | H A D | 16-Jun-2020 | 336 | 36 | 35 |
| bug7.irrdecom_ideal | H A D | 16-Jun-2020 | 81 | 9 | 8 |
| bug7.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug7.minimize | H A D | 16-Jun-2020 | 148 | 15 | 14 |
| bug7.multi | H A D | 16-Jun-2020 | 1 KiB | 73 | 72 |
| bug7.opt_irr | H A D | 16-Jun-2020 | 62 | 8 | 7 |
| bug7.opt_irr_min | H A D | 16-Jun-2020 | 17 | 4 | 3 |
| bug7.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug7.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug7.primdecom | H A D | 16-Jun-2020 | 148 | 15 | 14 |
| bug7.radical | H A D | 16-Jun-2020 | 48 | 6 | 5 |
| bug7.test | H A D | 16-Jun-2020 | 213 | 15 | 14 |
| bug7.uni | H A D | 16-Jun-2020 | 95 | 12 | 11 |
| bug8.alexdual | H A D | 16-Jun-2020 | 92 | 10 | 9 |
| bug8.assoprimes | H A D | 16-Jun-2020 | 15 | 3 | 2 |
| bug8.frobInstance | H A D | 16-Jun-2020 | 15 | 2 | 1 |
| bug8.frobNumber | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug8.intersection | H A D | 16-Jun-2020 | 148 | 15 | 14 |
| bug8.irrdecom | H A D | 16-Jun-2020 | 384 | 41 | 40 |
| bug8.irrdecom_ideal | H A D | 16-Jun-2020 | 92 | 10 | 9 |
| bug8.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug8.minimize | H A D | 16-Jun-2020 | 148 | 15 | 14 |
| bug8.multi | H A D | 16-Jun-2020 | 1.2 KiB | 79 | 78 |
| bug8.opt_irr | H A D | 16-Jun-2020 | 61 | 8 | 7 |
| bug8.opt_irr_min | H A D | 16-Jun-2020 | 39 | 6 | 5 |
| bug8.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug8.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug8.primdecom | H A D | 16-Jun-2020 | 148 | 15 | 14 |
| bug8.radical | H A D | 16-Jun-2020 | 48 | 6 | 5 |
| bug8.test | H A D | 16-Jun-2020 | 213 | 15 | 14 |
| bug8.uni | H A D | 16-Jun-2020 | 86 | 11 | 10 |
| bug9.alexdual | H A D | 16-Jun-2020 | 31 | 5 | 4 |
| bug9.assoprimes | H A D | 16-Jun-2020 | 13 | 3 | 2 |
| bug9.frobInstance | H A D | 16-Jun-2020 | 11 | 2 | 1 |
| bug9.intersection | H A D | 16-Jun-2020 | 58 | 8 | 7 |
| bug9.irrdecom | H A D | 16-Jun-2020 | 93 | 13 | 12 |
| bug9.irrdecom_ideal | H A D | 16-Jun-2020 | 31 | 5 | 4 |
| bug9.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| bug9.minimize | H A D | 16-Jun-2020 | 58 | 8 | 7 |
| bug9.multi | H A D | 16-Jun-2020 | 240 | 21 | 20 |
| bug9.opt_irr | H A D | 16-Jun-2020 | 15 | 4 | 3 |
| bug9.opt_irr_min | H A D | 16-Jun-2020 | 24 | 5 | 4 |
| bug9.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug9.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| bug9.primdecom | H A D | 16-Jun-2020 | 58 | 8 | 7 |
| bug9.radical | H A D | 16-Jun-2020 | 31 | 5 | 4 |
| bug9.test | H A D | 16-Jun-2020 | 82 | 8 | 7 |
| bug9.uni | H A D | 16-Jun-2020 | 64 | 9 | 8 |
| makerandom | H A D | 16-Jun-2020 | 319 | 13 | 7 |
| runrandomtests | H A D | 16-Jun-2020 | 182 | 16 | 12 |
| test2.alexdual | H A D | 16-Jun-2020 | 272 | 24 | 23 |
| test2.assoprimes | H A D | 16-Jun-2020 | 15 | 3 | 2 |
| test2.frobInstance | H A D | 16-Jun-2020 | 23 | 1 | 1 |
| test2.frobNumber | H A D | 16-Jun-2020 | 6 | 2 | 1 |
| test2.intersection | H A D | 16-Jun-2020 | 340 | 32 | 31 |
| test2.irrdecom | H A D | 16-Jun-2020 | 1 KiB | 111 | 110 |
| test2.irrdecom_ideal | H A D | 16-Jun-2020 | 252 | 24 | 23 |
| test2.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| test2.minimize | H A D | 16-Jun-2020 | 340 | 32 | 31 |
| test2.multi | H A D | 16-Jun-2020 | 3.6 KiB | 209 | 208 |
| test2.opt_irr | H A D | 16-Jun-2020 | 53 | 7 | 6 |
| test2.opt_irr_min | H A D | 16-Jun-2020 | 29 | 5 | 4 |
| test2.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| test2.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| test2.primdecom | H A D | 16-Jun-2020 | 340 | 32 | 31 |
| test2.radical | H A D | 16-Jun-2020 | 48 | 6 | 5 |
| test2.test | H A D | 16-Jun-2020 | 506 | 32 | 31 |
| test2.uni | H A D | 16-Jun-2020 | 172 | 19 | 18 |
| test3.alexdual | H A D | 16-Jun-2020 | 305 | 23 | 22 |
| test3.assoprimes | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| test3.frobInstance | H A D | 16-Jun-2020 | 26 | 1 | 1 |
| test3.frobNumber | H A D | 16-Jun-2020 | 5 | 2 | 1 |
| test3.intersection | H A D | 16-Jun-2020 | 363 | 28 | 27 |
| test3.irrdecom | H A D | 16-Jun-2020 | 1.4 KiB | 127 | 126 |
| test3.irrdecom_ideal | H A D | 16-Jun-2020 | 299 | 23 | 22 |
| test3.maxstandard | H A D | 16-Jun-2020 | 4 | 2 | 1 |
| test3.minimize | H A D | 16-Jun-2020 | 363 | 28 | 27 |
| test3.multi | H A D | 16-Jun-2020 | 7 KiB | 363 | 362 |
| test3.opt_irr | H A D | 16-Jun-2020 | 22 | 4 | 3 |
| test3.opt_irr_min | H A D | 16-Jun-2020 | 59 | 7 | 6 |
| test3.opt_std | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| test3.opt_std_min | H A D | 16-Jun-2020 | 17 | 3 | 2 |
| test3.primdecom | H A D | 16-Jun-2020 | 363 | 28 | 27 |
| test3.radical | H A D | 16-Jun-2020 | 69 | 7 | 6 |
| test3.test | H A D | 16-Jun-2020 | 518 | 28 | 27 |
| test3.uni | H A D | 16-Jun-2020 | 450 | 48 | 47 |