1 Table summary of progress report

#

test file #

integral #

Rubi 4.17.3 under Mathematica 13.3.1

Rubi 4.16.1 under Mathematica 13.3.1

1

209

514

1 (pass)

-1 (time out)

2

209

539

1 (pass)

0 (not solved)

3

209

540

1 (pass)

0 (not solved)

4

209

568

1 (pass)

-1 (time out)

5

209

637

1 (pass)

0 (not solved)

6

209

638

1 (pass)

0 (not solved)

7

209

657

1 (pass)

0 (not solved)

8

209

677

1 (pass)

0 (not solved)

9

209

874

1 (pass)

0 (not solved)

10

209

946

1 (pass)

0 (not solved)

11

209

972

1 (pass)

0 (not solved)

12

209

985

1 (pass)

0 (not solved)

13

209

1009

1 (pass)

0 (not solved)

14

209

1045

1 (pass)

0 (not solved)

15

209

1061

1 (pass)

0 (not solved)

16

209

1125

1 (pass)

0 (not solved)

17

209

1770

1 (pass)

0 (not solved)

18

209

1771

1 (pass)

0 (not solved)

19

209

2229

1 (pass)

0 (not solved)

20

209

2230

1 (pass)

0 (not solved)

21

209

2231

1 (pass)

0 (not solved)

22

209

2232

1 (pass)

0 (not solved)

23

209

2357

1 (pass)

0 (not solved)

24

209

2667

1 (pass)

0 (not solved)

25

209

2668

1 (pass)

0 (not solved)

26

209

2964

1 (pass)

0 (not solved)

27

209

2965

1 (pass)

0 (not solved)

28

210

98

1 (pass)

0 (not solved)

29

210

327

1 (pass)

0 (not solved)

30

210

374

1 (pass)

0 (not solved)

31

210

856

1 (pass)

0 (not solved)

32

210

1137

1 (pass)

0 (not solved)

33

210

1241

1 (pass)

-1 (time out)

34

210

1451

1 (pass)

0 (not solved)

35

210

1465

1 (pass)

0 (not solved)

36

210

1677

1 (pass)

0 (not solved)

37

210

1711

1 (pass)

0 (not solved)

38

210

1761

1 (pass)

0 (not solved)

39

210

1911

1 (pass)

0 (not solved)

40

210

2067

1 (pass)

0 (not solved)

41

210

2159

1 (pass)

-1 (time out)

42

210

2167

1 (pass)

0 (not solved)

43

210

2218

1 (pass)

0 (not solved)

44

210

2239

1 (pass)

0 (not solved)

45

210

3222

1 (pass)

0 (not solved)

46

210

3912

1 (pass)

0 (not solved)

47

210

4078

1 (pass)

0 (not solved)

48

210

4594

1 (pass)

0 (not solved)

49

210

4711

1 (pass)

0 (not solved)

50

210

4744

1 (pass)

0 (not solved)

51

210

5610

1 (pass)

0 (not solved)

52

210

5924

1 (pass)

0 (not solved)

53

210

6144

1 (pass)

-1 (time out)

54

210

7238

1 (pass)

0 (not solved)

55

210

7254

1 (pass)

0 (not solved)

56

210

7500

1 (pass)

0 (not solved)

57

210

7715

1 (pass)

0 (not solved)

58

210

7758

1 (pass)

0 (not solved)

59

210

7911

1 (pass)

0 (not solved)

60

210

8564

1 (pass)

0 (not solved)

61

210

8627

1 (pass)

0 (not solved)

62

210

8679

1 (pass)

0 (not solved)

63

210

8755

1 (pass)

0 (not solved)

64

210

8869

1 (pass)

0 (not solved)

65

210

9068

1 (pass)

0 (not solved)

66

210

9153

1 (pass)

-1 (time out)

67

210

9410

1 (pass)

0 (not solved)

68

210

9671

1 (pass)

0 (not solved)

69

210

9738

1 (pass)

0 (not solved)

70

210

10166

1 (pass)

-1 (time out)

71

211

20

1 (pass)

0 (not solved)

72

211

257

1 (pass)

0 (not solved)