#

test file #

integral #

Rubi 4.17.3 under Mathematica 13.3.1

Rubi 4.16.1 under Mathematica 13.3.1

1

55

208

0 (not solved)

1 (pass)

2

55

209

0 (not solved)

1 (pass)

3

55

210

0 (not solved)

1 (pass)

4

55

211

0 (not solved)

1 (pass)

5

55

212

0 (not solved)

1 (pass)

6

199

556

-1 (time out)

1 (pass)

7

199

557

-1 (time out)

1 (pass)

8

199

558

-1 (time out)

1 (pass)

9

199

559

-1 (time out)

1 (pass)

10

199

573

-1 (time out)

1 (pass)

11

199

574

-1 (time out)

1 (pass)

12

199

575

-1 (time out)

1 (pass)

13

199

576

-1 (time out)

1 (pass)

14

199

590

-1 (time out)

1 (pass)

15

199

591

-1 (time out)

1 (pass)

16

199

592

-1 (time out)

1 (pass)

17

199

593

-1 (time out)

1 (pass)

18

199

606

-1 (time out)

1 (pass)

19

199

607

-1 (time out)

1 (pass)

20

199

608

-1 (time out)

1 (pass)

21

199

609

-1 (time out)

1 (pass)

22

199

736

-1 (time out)

1 (pass)

23

199

737

-1 (time out)

1 (pass)

24

199

738

-1 (time out)

1 (pass)

25

209

294

0 (not solved)

1 (pass)

26

209

628

-1 (time out)

1 (pass)

27

209

629

-1 (time out)

1 (pass)

28

209

795

0 (not solved)

1 (pass)

29

209

902

-1 (time out)

1 (pass)

30

209

982

-1 (time out)

1 (pass)

31

209

1054

0 (not solved)

1 (pass)

32

209

1255

0 (not solved)

1 (pass)

33

209

1606

0 (not solved)

1 (pass)

34

209

1607

0 (not solved)

1 (pass)

35

209

1754

0 (not solved)

1 (pass)

36

209

1755

0 (not solved)

1 (pass)

37

209

1788

0 (not solved)

1 (pass)

38

209

1893

0 (not solved)

1 (pass)

39

209

1944

-1 (time out)

1 (pass)

40

209

1945

-1 (time out)

1 (pass)

41

209

2053

0 (not solved)

1 (pass)

42

209

2059

0 (not solved)

1 (pass)

43

209

2140

-1 (time out)

1 (pass)

44

209

2324

-1 (time out)

1 (pass)

45

209

2325

-1 (time out)

1 (pass)

46

209

2382

-1 (time out)

1 (pass)

47

209

2491

0 (not solved)

1 (pass)

48

209

2700

0 (not solved)

1 (pass)

49

209

2799

0 (not solved)

1 (pass)

50

209

2935

0 (not solved)

1 (pass)

51

209

2953

0 (not solved)

1 (pass)

52

210

60

0 (not solved)

1 (pass)

53

210

95

0 (not solved)

1 (pass)

54

210

286

0 (not solved)

1 (pass)

55

210

333

0 (not solved)

1 (pass)

56

210

426

0 (not solved)

1 (pass)

57

210

458

0 (not solved)

1 (pass)

58

210

577

0 (not solved)

1 (pass)

59

210

670

0 (not solved)

1 (pass)

60

210

710

0 (not solved)

1 (pass)

61

210

730

0 (not solved)

1 (pass)

62

210

848

0 (not solved)

1 (pass)

63

210

923

0 (not solved)

1 (pass)

64

210

1116

0 (not solved)

1 (pass)

65

210

1208

0 (not solved)

1 (pass)

66

210

1249

0 (not solved)

1 (pass)

67

210

1273

0 (not solved)

1 (pass)

68

210

1389

0 (not solved)

1 (pass)

69

210

1416

0 (not solved)

1 (pass)

70

210

1609

0 (not solved)

1 (pass)

71

210

1754

0 (not solved)

1 (pass)

72

210

1830

0 (not solved)

1 (pass)

73

210

2029

0 (not solved)

1 (pass)

74

210

2269

-1 (time out)

1 (pass)

75

210

2360

0 (not solved)

1 (pass)

76

210

2457

0 (not solved)

1 (pass)

77

210

2468

0 (not solved)

1 (pass)

78

210

2524

-1 (time out)

1 (pass)

79

210

2695

0 (not solved)

1 (pass)

80

210

2706

0 (not solved)

1 (pass)

81

210

2758

0 (not solved)

1 (pass)

82

210

2806

-1 (time out)

1 (pass)

83

210

2968

0 (not solved)

1 (pass)

84

210

3064

0 (not solved)

1 (pass)

85

210

3082

0 (not solved)

1 (pass)

86

210

3083

0 (not solved)

1 (pass)

87

210

3205

0 (not solved)

1 (pass)

88

210

3305

0 (not solved)

1 (pass)

89

210

3316

0 (not solved)

1 (pass)

90

210

3361

0 (not solved)

1 (pass)

91

210

3371

0 (not solved)

1 (pass)

92

210

3375

0 (not solved)

1 (pass)

93

210

3429

0 (not solved)

1 (pass)

94

210

3454

0 (not solved)

1 (pass)

95

210

3481

0 (not solved)

1 (pass)

96

210

3487

0 (not solved)

1 (pass)

97

210

3520

0 (not solved)

1 (pass)

98

210

3533

0 (not solved)

1 (pass)

99

210

3576

0 (not solved)

1 (pass)

100

210

3755

0 (not solved)

1 (pass)

101

210

3803

0 (not solved)

1 (pass)

102

210

3820

0 (not solved)

1 (pass)

103

210

4133

0 (not solved)

1 (pass)

104

210

4330

0 (not solved)

1 (pass)

105

210

4416

0 (not solved)

1 (pass)

106

210

4445

0 (not solved)

1 (pass)

107

210

4476

0 (not solved)

1 (pass)

108

210

4479

0 (not solved)

1 (pass)

109

210

4507

0 (not solved)

1 (pass)

110

210

4608

0 (not solved)

1 (pass)

111

210

4701

-1 (time out)

1 (pass)

112

210

4803

0 (not solved)

1 (pass)

113

210

4865

0 (not solved)

1 (pass)

114

210

4901

0 (not solved)

1 (pass)

115

210

4910

-1 (time out)

1 (pass)

116

210

4955

0 (not solved)

1 (pass)

117

210

5082

0 (not solved)

1 (pass)

118

210

5086

0 (not solved)

1 (pass)

119

210

5093

0 (not solved)

1 (pass)

120

210

5293

0 (not solved)

1 (pass)

121

210

5363

0 (not solved)

1 (pass)

122

210

5530

0 (not solved)

1 (pass)

123

210

5537

0 (not solved)

1 (pass)

124

210

5747

0 (not solved)

1 (pass)

125

210

5776

0 (not solved)

1 (pass)

126

210

5802

0 (not solved)

1 (pass)

127

210

5873

0 (not solved)

1 (pass)

128

210

5956

-1 (time out)

1 (pass)

129

210

5981

0 (not solved)

1 (pass)

130

210

6200

0 (not solved)

1 (pass)

131

210

6410

0 (not solved)

1 (pass)

132

210

6448

0 (not solved)

1 (pass)

133

210

6466

0 (not solved)

1 (pass)

134

210

6472

0 (not solved)

1 (pass)

135

210

6474

0 (not solved)

1 (pass)

136

210

6603

0 (not solved)

1 (pass)

137

210

6684

0 (not solved)

1 (pass)

138

210

6810

0 (not solved)

1 (pass)

139

210

6966

0 (not solved)

1 (pass)

140

210

7014

0 (not solved)

1 (pass)

141

210

7016

0 (not solved)

1 (pass)

142

210

7133

0 (not solved)

1 (pass)

143

210

7186

0 (not solved)

1 (pass)

144

210

7215

0 (not solved)

1 (pass)

145

210

7263

-1 (time out)

1 (pass)

146

210

7336

0 (not solved)

1 (pass)

147

210

7576

0 (not solved)

1 (pass)

148

210

7585

0 (not solved)

1 (pass)

149

210

7592

0 (not solved)

1 (pass)

150

210

7792

0 (not solved)

1 (pass)

151

210

8462

0 (not solved)

1 (pass)

152

210

8574

0 (not solved)

1 (pass)

153

210

8591

0 (not solved)

1 (pass)

154

210

8595

0 (not solved)

1 (pass)

155

210

8689

0 (not solved)

1 (pass)

156

210

8809

0 (not solved)

1 (pass)

157

210

8936

0 (not solved)

1 (pass)

158

210

8945

-1 (time out)

1 (pass)

159

210

9197

0 (not solved)

1 (pass)

160

210

9403

0 (not solved)

1 (pass)

161

210

9502

0 (not solved)

1 (pass)

162

210

9744

0 (not solved)

1 (pass)

163

210

9872

0 (not solved)

1 (pass)

164

210

10136

0 (not solved)

1 (pass)

165

210

10238

0 (not solved)

1 (pass)

166

210

10275

0 (not solved)

1 (pass)

167

213

10

0 (not solved)

1 (pass)

168

213

11

0 (not solved)

1 (pass)