1.4 Pass/Fail per test file for each CAS system

The following table gives the number of passed integrals and number of failed integrals per test number. There are 208 tests. Each tests corresponds to one input file.

Table 1.6:Pass/Fail per test file for each CAS



















Test #
Rubi
MMA
Maple
Maxima
FriCAS
Sympy
Giac
Mupad
I.A.



















Pass Fail Pass Fail Pass Fail Pass Fail Pass Fail Pass Fail Pass Fail Pass Fail Pass Fail



















1 1603 0 1603 0 1532 71 1328 275 1603 0 1148 455 1276 327 1241 362 1016 587
2 2554 0 2554 0 2483 71 2048 506 2535 19 1483 1071 2403 151 1884 670 1469 1085
3 48 0 48 0 48 0 38 10 46 2 40 8 41 7 48 0 36 12
4 28 0 28 0 28 0 16 12 28 0 13 15 28 0 4 24 24 4
5 60 0 60 0 60 0 27 33 44 16 14 46 33 27 40 20 58 2
6 697 0 697 0 648 49 632 65 674 23 664 33 616 81 627 70 415 282
7 158 0 158 0 132 26 79 79 141 17 62 96 108 50 65 93 83 75
8 884 0 884 0 856 28 682 202 856 28 516 368 822 62 730 154 550 334
9 30 0 30 0 30 0 22 8 28 2 21 9 26 4 22 8 8 22
10 14 0 14 0 14 0 14 0 14 0 13 1 14 0 14 0 2 12
11 170 0 170 0 170 0 170 0 158 12 136 34 170 0 129 41 88 82
12 2466 0 2451 15 2282 184 2196 270 2370 96 2139 327 1990 476 2092 374 1499 967
13 239 0 239 0 176 63 167 72 213 26 113 126 134 105 168 71 165 74
14 702 0 702 0 522 180 391 311 663 39 301 401 535 167 531 171 515 187
15 12 0 12 0 12 0 12 0 12 0 3 9 11 1 12 0 0 12
16 427 0 427 0 424 3 422 5 341 86 285 142 420 7 425 2 17 410
17 340 0 340 0 291 49 153 187 256 84 114 226 238 102 176 164 208 132
18 228 0 228 0 226 2 212 16 228 0 126 102 213 15 197 31 142 86
19 113 0 113 0 113 0 108 5 113 0 47 66 106 7 113 0 71 42
20 2119 0 2119 0 2097 22 1428 691 2096 23 1013 1106 1678 441 1582 537 1178 941
21 2337 0 2337 0 2337 0 1720 617 2299 38 1153 1184 2153 184 1684 653 1350 987
22 632 0 632 0 631 1 328 304 591 41 174 458 276 356 271 361 486 146
23 118 0 118 0 118 0 67 51 111 7 43 75 90 28 53 65 72 46
24 143 0 142 1 141 2 15 128 69 74 11 132 50 93 19 124 131 12
25 375 0 375 0 375 0 290 85 330 45 141 234 335 40 195 180 208 167
26 858 0 858 0 857 1 688 170 846 12 463 395 799 59 685 173 511 347
27 212 0 212 0 212 0 109 103 206 6 159 53 173 39 178 34 23 189
28 300 0 300 0 300 0 173 127 256 44 106 194 264 36 214 86 149 151
29 106 0 102 4 106 0 83 23 83 23 47 59 100 6 106 0 5 101
30 143 0 143 0 143 0 73 70 115 28 79 64 139 4 143 0 14 129
31 9 0 9 0 9 0 0 9 9 0 0 9 5 4 1 8 9 0
32 549 0 549 0 496 53 303 246 535 14 282 267 412 137 360 189 219 330
33 44 0 44 0 44 0 12 32 42 2 36 8 32 12 44 0 0 44
34 119 0 119 0 119 0 66 53 105 14 69 50 107 12 119 0 10 109
35 8 0 5 3 2 6 2 6 7 1 1 7 4 4 5 3 2 6
36 130 0 129 1 128 2 24 106 129 1 53 77 106 24 72 58 69 61
37 487 3 490 0 489 1 409 81 431 59 430 60 421 69 482 8 12 478
38 705 9 699 15 627 87 375 339 687 27 205 509 474 240 407 307 623 91
39 1587 856 1724 719 1510 933 570 1873 1937 506 547 1896 718 1725 801 1642 2426 17