1 Table summary of progress report

#

test file #

integral #

Sympy 1.10.1 under Python 3.10.4

Sympy 1.8 under Python 3.8.8

1

1

145

1 (pass)

-1 (time out)

2

1

146

1 (pass)

0 (not solved)

3

5

123

1 (pass)

-1 (time out)

4

5

237

1 (pass)

0 (not solved)

5

5

275

1 (pass)

-1 (time out)

6

8

70

1 (pass)

-1 (time out)

7

9

251

1 (pass)

-1 (time out)

8

10

86

1 (pass)

0 (not solved)

9

10

217

1 (pass)

-1 (time out)

10

10

396

1 (pass)

-1 (time out)

11

10

505

1 (pass)

-1 (time out)

12

10

510

1 (pass)

-1 (time out)

13

10

582

1 (pass)

-1 (time out)

14

10

663

1 (pass)

-1 (time out)

15

10

704

1 (pass)

-1 (time out)

16

13

365

1 (pass)

-1 (time out)

17

13

438

1 (pass)

-1 (time out)

18

13

682

1 (pass)

-1 (time out)

19

13

683

1 (pass)

-1 (time out)

20

13

688

1 (pass)

-1 (time out)

21

13

689

1 (pass)

-1 (time out)

22

13

692

1 (pass)

-1 (time out)

23

13

693

1 (pass)

-1 (time out)

24

13

694

1 (pass)

-1 (time out)

25

13

695

1 (pass)

-1 (time out)

26

13

741

1 (pass)

-1 (time out)

27

13

742

1 (pass)

-1 (time out)

28

13

744

1 (pass)

-1 (time out)

29

13

749

1 (pass)

-1 (time out)

30

13

753

1 (pass)

-1 (time out)

31

13

989

1 (pass)

-1 (time out)

32

13

1136

1 (pass)

-1 (time out)

33

13

1144

1 (pass)

-1 (time out)

34

13

1152

1 (pass)

-1 (time out)

35

13

1383

1 (pass)

-1 (time out)

36

13

1394

1 (pass)

-1 (time out)

37

13

1406

1 (pass)

-1 (time out)

38

14

50

1 (pass)

-1 (time out)

39

14

55

1 (pass)

-1 (time out)

40

14

353

1 (pass)

-1 (time out)

41

14

363

1 (pass)

-1 (time out)

42

14

407

1 (pass)

-1 (time out)

43

14

408

1 (pass)

-1 (time out)

44

14

409

1 (pass)

-1 (time out)

45

14

419

1 (pass)

-1 (time out)

46

14

420

1 (pass)

-1 (time out)

47

14

421

1 (pass)

-1 (time out)

48

14

422

1 (pass)

-1 (time out)

49

14

443

1 (pass)

-1 (time out)

50

14

461

1 (pass)

-1 (time out)

51

14

462

1 (pass)

-1 (time out)

52

14

466

1 (pass)

-1 (time out)

53

14

467

1 (pass)

-1 (time out)

54

14

469

1 (pass)

-1 (time out)

55

14

470

1 (pass)

-1 (time out)

56

14

471

1 (pass)

-1 (time out)

57

14

472

1 (pass)

-1 (time out)

58

14

473

1 (pass)

-1 (time out)

59

14

474

1 (pass)

-1 (time out)

60

14

475

1 (pass)

-1 (time out)

61

14

487

1 (pass)

-1 (time out)

62

14

498

1 (pass)

-1 (time out)

63

14

509

1 (pass)

-1 (time out)

64

14

524

1 (pass)

-1 (time out)

65

14

527

1 (pass)

-1 (time out)

66

14

534

1 (pass)

-1 (time out)

67

14

539

1 (pass)

-1 (time out)

68

14

543

1 (pass)

-1 (time out)

69

14

578

1 (pass)

-1 (time out)

70

14

723

1 (pass)

-1 (time out)

71

14

724

1 (pass)

-1 (time out)

72

14

827

1 (pass)

-1 (time out)

73

14

948

1 (pass)

-1 (time out)

74

14

990

1 (pass)

-1 (time out)

75

14

991

1 (pass)

-1 (time out)

76

14

1717

1 (pass)

-1 (time out)

77

14

1752

1 (pass)

-1 (time out)

78

14

1780

1 (pass)

-1 (time out)

79

14

1781

1 (pass)

-1 (time out)

80

14

1782

1 (pass)

-1 (time out)

81

14

1788

1 (pass)

-1 (time out)

82

14

1799

1 (pass)

-1 (time out)

83

14

1800

1 (pass)

-1 (time out)

84

14

1810

1 (pass)

-1 (time out)

85

14

1822

1 (pass)

-1 (time out)

86

14

1836

1 (pass)

-1 (time out)

87

14

1837

1 (pass)

-1 (time out)

88

14

1838

1 (pass)

-1 (time out)

89

14

1846

1 (pass)

-1 (time out)

90

14

1847

1 (pass)

-1 (time out)

91

14

1850

1 (pass)

-1 (time out)

92

14

1851

1 (pass)

-1 (time out)

93

14

1854

1 (pass)

-1 (time out)

94

14

1855

1 (pass)

-1 (time out)

95

14

1856

1 (pass)

-1 (time out)

96

14

1903

1 (pass)

-1 (time out)

97

14

1914

1 (pass)

-1 (time out)

98

14

2008

1 (pass)

-1 (time out)

99

14

2045

1 (pass)

-1 (time out)

100

14

2046

1 (pass)

-1 (time out)

101

14

2052

1 (pass)

-1 (time out)

102

14

2057

1 (pass)

-1 (time out)

103

14

2068

1 (pass)

-1 (time out)

104

14

2142

1 (pass)

-1 (time out)

105

14

2185

1 (pass)

-1 (time out)

106

14

2203

1 (pass)

-1 (time out)

107

14

2264

1 (pass)

-1 (time out)

108

14

2274

1 (pass)

-1 (time out)

109

14

2286

1 (pass)

-1 (time out)

110

14

2287

1 (pass)

-1 (time out)

111

14

2361

1 (pass)

-1 (time out)

112

14

2388

1 (pass)

-1 (time out)

113

14

2426

1 (pass)

-1 (time out)

114

14

2468

1 (pass)

-1 (time out)

115

14

2479

1 (pass)

-1 (time out)

116

14

3180

1 (pass)

-1 (time out)

117

16

1

1 (pass)

-1 (time out)

118

16

10

1 (pass)

-1 (time out)

119

16

18

1 (pass)

-1 (time out)

120

16

19

1 (pass)

-1 (time out)

121

16

25

1 (pass)

-1 (time out)

122

16

26

1 (pass)

-1 (time out)

123

17

4

1 (pass)

-1 (time out)

124

19

296

1 (pass)

-1 (time out)

125

19

302

1 (pass)

-1 (time out)

126

19

306

1 (pass)

-1 (time out)

127

19

307

1 (pass)

-1 (time out)

128

19

308

1 (pass)

-1 (time out)

129

19

924

1 (pass)

-1 (time out)

130

19

936

1 (pass)

-1 (time out)

131

19

1052

1 (pass)

-1 (time out)

132

19

1055

1 (pass)

-1 (time out)

133

19

1067

1 (pass)

-1 (time out)

134

19

1069

1 (pass)

-1 (time out)

135

19

1070

1 (pass)

-1 (time out)

136

19

1071

1 (pass)

-1 (time out)

137

21

375

1 (pass)

-1 (time out)

138

21

380

1 (pass)

-1 (time out)

139

21

381

1 (pass)

-1 (time out)

140

21

385

1 (pass)

-1 (time out)

141

21

387

1 (pass)

-1 (time out)

142

21

415

1 (pass)

-1 (time out)

143

21

416

1 (pass)

-1 (time out)

144

21

423

1 (pass)

-1 (time out)

145

21

424

1 (pass)

-1 (time out)

146

21

427

1 (pass)

-1 (time out)

147

21

430

1 (pass)

-1 (time out)

148

21

431

1 (pass)

-1 (time out)

149

21

435

1 (pass)

-1 (time out)

150

21

436

1 (pass)

-1 (time out)

151

21

437

1 (pass)

-1 (time out)

152

21

441

1 (pass)

-1 (time out)

153

21

442

1 (pass)

-1 (time out)

154

21

447

1 (pass)

-1 (time out)

155

21

448

1 (pass)

-1 (time out)

156

21

449

1 (pass)

-1 (time out)

157

21

454

1 (pass)

-1 (time out)

158

21

456

1 (pass)

-1 (time out)

159

21

457

1 (pass)

-1 (time out)

160

21

458

1 (pass)

-1 (time out)

161

21

518

1 (pass)

-1 (time out)

162

21

520

1 (pass)

-1 (time out)

163

21

533

1 (pass)

-1 (time out)

164

21

535

1 (pass)

-1 (time out)

165

21

550

1 (pass)

-1 (time out)

166

21

552

1 (pass)

-1 (time out)

167

21

603

1 (pass)

-1 (time out)

168

21

604

1 (pass)

-1 (time out)

169

21

622

1 (pass)

-1 (time out)

170

21

624

1 (pass)

-1 (time out)

171

21

633

1 (pass)

-1 (time out)

172

21

635

1 (pass)

-1 (time out)

173

21

645

1 (pass)

-1 (time out)

174

21

647

1 (pass)

-1 (time out)

175

21

807

1 (pass)

-1 (time out)

176

21

808

1 (pass)

-1 (time out)

177

21

816

1 (pass)

-1 (time out)

178

21

817

1 (pass)

-1 (time out)

179

21

820

1 (pass)

-1 (time out)

180

21

821

1 (pass)

-1 (time out)

181

21

1010

1 (pass)

0 (not solved)

182

21

1119

1 (pass)

-1 (time out)

183

21

1121

1 (pass)

-1 (time out)

184

21

1127

1 (pass)

-1 (time out)

185

21

1129

1 (pass)

-1 (time out)

186

21

1134

1 (pass)

-1 (time out)

187

21

1136

1 (pass)

-1 (time out)

188

23

7

1 (pass)

-1 (time out)

189

23

15

1 (pass)

-1 (time out)

190

23

39

1 (pass)

-1 (time out)

191

23

46

1 (pass)

-1 (time out)

192

24

47

1 (pass)

-1 (time out)

193

24

48

1 (pass)

-1 (time out)

194

24

49

1 (pass)

-1 (time out)

195

24

50

1 (pass)

-1 (time out)

196

24

51

1 (pass)

-1 (time out)

197

24

57

1 (pass)

-1 (time out)

198

24

148

1 (pass)

-1 (time out)

199

24

149

1 (pass)

-1 (time out)

200

24

150

1 (pass)

-1 (time out)

201

24

160

1 (pass)

-1 (time out)

202

24

161

1 (pass)

-1 (time out)

203

24

162

1 (pass)

-1 (time out)

204

24

163

1 (pass)

-1 (time out)

205

24

164

1 (pass)

-1 (time out)

206

24

165

1 (pass)

-1 (time out)

207

24

166

1 (pass)

-1 (time out)

208

24

172

1 (pass)

-1 (time out)

209

24

173

1 (pass)

-1 (time out)

210

24

174

1 (pass)

-1 (time out)

211

25

590

1 (pass)

-1 (time out)

212

25

598

1 (pass)

-1 (time out)

213

25

738

1 (pass)

-1 (time out)

214

25

745

1 (pass)

-1 (time out)

215

25

1483

1 (pass)

-1 (time out)

216

25

1484

1 (pass)

-1 (time out)

217

25

1485

1 (pass)

-1 (time out)

218

25

1486

1 (pass)

-1 (time out)

219

25

1487

1 (pass)

-1 (time out)

220

25

1673

1 (pass)

-1 (time out)

221

25

1679

1 (pass)

-1 (time out)

222

25

1680

1 (pass)

-1 (time out)

223

25

1682

1 (pass)

-1 (time out)

224

25

1686

1 (pass)

-1 (time out)

225

25

1687

1 (pass)

-1 (time out)

226

25

2266

1 (pass)

-1 (time out)

227

25

2276

1 (pass)

-1 (time out)

228

25

2546

1 (pass)

-1 (time out)

229

25

2556

1 (pass)

-1 (time out)

230

25

2557

1 (pass)

-1 (time out)

231

25

2558

1 (pass)

-1 (time out)

232

25

2559

1 (pass)

-1 (time out)

233

25

2562

1 (pass)

-1 (time out)

234

25

2563

1 (pass)

-1 (time out)

235

25

2566

1 (pass)

-1 (time out)

236

25

2567

1 (pass)

-1 (time out)

237

25

2568

1 (pass)

-1 (time out)

238

25

2569

1 (pass)

-1 (time out)

239

25

2570

1 (pass)

-1 (time out)

240

25

2571

1 (pass)

-1 (time out)

241

25

2572

1 (pass)

-1 (time out)

242

25

2573

1 (pass)

-1 (time out)

243

25

2576

1 (pass)

-1 (time out)

244

25

2584

1 (pass)

-1 (time out)

245

25

2585

1 (pass)

-1 (time out)

246

25

2586

1 (pass)

-1 (time out)

247

25

2587

1 (pass)

-1 (time out)

248

25

2588

1 (pass)

-1 (time out)

249

25

2589

1 (pass)

-1 (time out)

250

25

2590

1 (pass)

-1 (time out)

251

25

2591

1 (pass)

-1 (time out)

252

25

2605

1 (pass)

-1 (time out)

253

25

2614

1 (pass)

-1 (time out)

254

25

2623

1 (pass)

-1 (time out)

255

25

2624

1 (pass)

-2 (exception)

Exception raised: HeuristicGCDFailed

256

25

2630

1 (pass)

-1 (time out)

257

25

2639

1 (pass)

-1 (time out)

258

25

2643

1 (pass)

-1 (time out)

259

25

2667

1 (pass)

-1 (time out)

260

25

2725

1 (pass)

-1 (time out)

261

25

2740

1 (pass)

-1 (time out)

262

25

2798

1 (pass)

-1 (time out)

263

25

2799

1 (pass)

-1 (time out)

264

25

2800

1 (pass)

-1 (time out)

265

25

2801

1 (pass)

-1 (time out)

266

25

2851

1 (pass)

-1 (time out)

267

25

3017

1 (pass)

-1 (time out)

268

25

3020

1 (pass)

-1 (time out)

269

25

3077

1 (pass)

-1 (time out)

270

25

3078

1 (pass)

-1 (time out)

271

26

31

1 (pass)

-1 (time out)

272

26

61

1 (pass)

-1 (time out)

273

26

134

1 (pass)

-1 (time out)

274

26

139

1 (pass)

-1 (time out)

275

26

291

1 (pass)

-1 (time out)

276

26

292

1 (pass)

-1 (time out)

277

27

128

1 (pass)

-1 (time out)

278

27

155

1 (pass)

-1 (time out)

279

27

162

1 (pass)

-1 (time out)

280

27

164

1 (pass)

-1 (time out)

281

27

165

1 (pass)

-1 (time out)

282

27

166

1 (pass)

-1 (time out)

283

27

167

1 (pass)

-1 (time out)

284

27

168

1 (pass)

-1 (time out)

285

27

248

1 (pass)

-1 (time out)

286

27

249

1 (pass)

-1 (time out)

287

27

252

1 (pass)

-1 (time out)

288

27

253

1 (pass)

-1 (time out)

289

27

254

1 (pass)

-1 (time out)

290

27

257

1 (pass)

-1 (time out)

291

27

258

1 (pass)

-1 (time out)

292

27

295

1 (pass)

-1 (time out)

293

27

536

1 (pass)

-1 (time out)

294

27

553

1 (pass)

-1 (time out)

295

27

557

1 (pass)

-1 (time out)

296

27

558

1 (pass)

-1 (time out)

297

27

562

1 (pass)

-1 (time out)

298

27

946

1 (pass)

-1 (time out)

299

27

1045

1 (pass)

-1 (time out)

300

27

1046

1 (pass)

-2 (exception)

Exception raised: HeuristicGCDFailed

301

27

1064

1 (pass)

-1 (time out)

302

28

1

1 (pass)

-1 (time out)

303

28

2

1 (pass)

-1 (time out)

304

28

9

1 (pass)

-1 (time out)

305

28

10

1 (pass)

-1 (time out)

306

28

17

1 (pass)

-1 (time out)

307

28

18

1 (pass)

-1 (time out)

308

29

3

1 (pass)

-1 (time out)

309

29

5

1 (pass)

-1 (time out)

310

29

6

1 (pass)

-1 (time out)

311

29

65

1 (pass)

-1 (time out)

312

29

68

1 (pass)

-1 (time out)

313

29

69

1 (pass)

-1 (time out)

314

29

586

1 (pass)

-1 (time out)

315

30

336

1 (pass)

-1 (time out)

316

33

370

1 (pass)

-1 (time out)

317

33

371

1 (pass)

-1 (time out)

318

33

372

1 (pass)

-1 (time out)

319

33

440

1 (pass)

-1 (time out)

320

33

656

1 (pass)

-1 (time out)

321

33

721

1 (pass)

-1 (time out)

322

33

1281

1 (pass)

-1 (time out)

323

33

1315

1 (pass)

-1 (time out)

324

33

1438

1 (pass)

-1 (time out)

325

33

1646

1 (pass)

-1 (time out)

326

33

1647

1 (pass)

-1 (time out)

327

33

1648

1 (pass)

-1 (time out)

328

33

1659

1 (pass)

-1 (time out)

329

33

1671

1 (pass)

-1 (time out)

330

33

1731

1 (pass)

-1 (time out)

331

33

1993

1 (pass)

-1 (time out)

332

33

1996

1 (pass)

-1 (time out)

333

33

2001

1 (pass)

-1 (time out)

334

33

2288

1 (pass)

-1 (time out)

335

33

2316

1 (pass)

-1 (time out)

336

33

2317

1 (pass)

-1 (time out)

337

33

2325

1 (pass)

-1 (time out)

338

33

2549

1 (pass)

-1 (time out)

339

33

2550

1 (pass)

-1 (time out)

340

34

178

1 (pass)

-1 (time out)

341

34

184

1 (pass)

-1 (time out)

342

34

190

1 (pass)

-1 (time out)

343

34

192

1 (pass)

-1 (time out)

344

34

419

1 (pass)

-1 (time out)

345

34

466

1 (pass)

-1 (time out)

346

34

478

1 (pass)

-1 (time out)

347

34

479

1 (pass)

-1 (time out)

348

34

482

1 (pass)

-1 (time out)

349

34

483

1 (pass)

-1 (time out)

350

34

778

1 (pass)

-1 (time out)

351

34

779

1 (pass)

-1 (time out)

352

34

841

1 (pass)

-1 (time out)

353

34

842

1 (pass)

-1 (time out)

354

34

1009

1 (pass)

-1 (time out)

355

34

1010

1 (pass)

-1 (time out)

356

34

1013

1 (pass)

-1 (time out)

357

34

1114

1 (pass)

-1 (time out)

358

34

1127

1 (pass)

-1 (time out)

359

34

1229

1 (pass)

-1 (time out)

360

34

1241

1 (pass)

-1 (time out)

361

34

1251

1 (pass)

-1 (time out)

362

34

1444

1 (pass)

-1 (time out)

363

34

1447

1 (pass)

-1 (time out)

364

34

1448

1 (pass)

-1 (time out)

365

34

1487

1 (pass)

-1 (time out)

366

34

1488

1 (pass)

-1 (time out)

367

34

1610

1 (pass)

-1 (time out)

368

34

1611

1 (pass)

-1 (time out)

369

34

1612

1 (pass)

-1 (time out)

370

34

1654

1 (pass)

-1 (time out)

371

34

1655

1 (pass)

-1 (time out)

372

34

1804

1 (pass)

-1 (time out)

373

34

1805

1 (pass)

-1 (time out)

374

34

1806

1 (pass)

-1 (time out)

375

34

1807

1 (pass)

-1 (time out)

376

34

1810

1 (pass)

-1 (time out)

377

34

1820

1 (pass)

-1 (time out)

378

34

1884

1 (pass)

-1 (time out)

379

34

2065

1 (pass)

-1 (time out)

380

34

2066

1 (pass)

-1 (time out)

381

34

2067

1 (pass)

-1 (time out)

382

34

2068

1 (pass)

-1 (time out)

383

34

2078

1 (pass)

-1 (time out)

384

34

2146

1 (pass)

-1 (time out)

385

34

2147

1 (pass)

-1 (time out)

386

34

2570

1 (pass)

-1 (time out)

387

34

2640

1 (pass)

-1 (time out)

388

34

2641

1 (pass)

-1 (time out)

389

35

359

1 (pass)

-1 (time out)

390

35

360

1 (pass)

-1 (time out)

391

35

361

1 (pass)

-1 (time out)

392

35

430

1 (pass)

-1 (time out)

393

35

589

1 (pass)

-1 (time out)

394

35

805

1 (pass)

-1 (time out)

395

35

925

1 (pass)

-1 (time out)

396

35

926

1 (pass)

-1 (time out)

397

38

367

1 (pass)

-1 (time out)

398

38

368

1 (pass)

-1 (time out)

399

38

369

1 (pass)

-1 (time out)

400

39

317

1 (pass)

-1 (time out)

401

39

326

1 (pass)

-1 (time out)

402

40

284

1 (pass)

-1 (time out)

403

41

55

1 (pass)

-1 (time out)

404

41

65

1 (pass)

-1 (time out)

405

43

37

1 (pass)

-1 (time out)

406

43

38

1 (pass)

-1 (time out)

407

43

131

1 (pass)

-1 (time out)

408

43

132

1 (pass)

-1 (time out)

409

46

565

1 (pass)

-1 (time out)

410

46

597

1 (pass)

-1 (time out)

411

47

50

1 (pass)

-1 (time out)

412

47

61

1 (pass)

-1 (time out)

413

47

62

1 (pass)

-1 (time out)

414

48

41

1 (pass)

-1 (time out)

415

48

130

1 (pass)

-1 (time out)

416

48

134

1 (pass)

-1 (time out)

417

51

209

1 (pass)

-1 (time out)

418

51

217

1 (pass)

-1 (time out)

419

51

255

1 (pass)

-1 (time out)

420

52

178

1 (pass)

-1 (time out)

421

52

179

1 (pass)

-1 (time out)

422

52

182

1 (pass)

-1 (time out)

423

52

183

1 (pass)

-1 (time out)

424

52

184

1 (pass)

-1 (time out)

425

52

185

1 (pass)

-1 (time out)

426

52

249

1 (pass)

-1 (time out)

427

52

420

1 (pass)

-1 (time out)

428

52

445

1 (pass)

-1 (time out)

429

52

486

1 (pass)

-1 (time out)

430

52

553

1 (pass)

-1 (time out)

431

52

554

1 (pass)

-1 (time out)

432

52

555

1 (pass)

-1 (time out)

433

52

624

1 (pass)

-1 (time out)

434

52

675

1 (pass)

-1 (time out)

435

52

690

1 (pass)

-1 (time out)

436

52

1015

1 (pass)

-1 (time out)

437

53

31

1 (pass)

-1 (time out)

438

53

37

1 (pass)

-1 (time out)

439

55

13

1 (pass)

-1 (time out)

440

55

16

1 (pass)

-1 (time out)

441

55

183

1 (pass)

-1 (time out)

442

55

184

1 (pass)

-1 (time out)

443

55

189

1 (pass)

-1 (time out)

444

55

190

1 (pass)

-1 (time out)

445

55

191

1 (pass)

-1 (time out)

446

55

193

1 (pass)

-1 (time out)

447

55

588

1 (pass)

-1 (time out)

448

55

592

1 (pass)

-1 (time out)

449

55

596

1 (pass)

-1 (time out)

450

56

89

1 (pass)

-1 (time out)

451

56

95

1 (pass)

-1 (time out)

452

56

146

1 (pass)

-1 (time out)

453

57

62

1 (pass)

-1 (time out)

454

57

63

1 (pass)

-1 (time out)

455

57

64

1 (pass)

-1 (time out)

456

57

65

1 (pass)

-1 (time out)

457

57

66

1 (pass)

-1 (time out)

458

57

67

1 (pass)

-1 (time out)

459

57

68

1 (pass)

-1 (time out)

460

57

69

1 (pass)

-1 (time out)

461

57

70

1 (pass)

-1 (time out)

462

57

71

1 (pass)

-1 (time out)

463

57

72

1 (pass)

-1 (time out)

464

57

73

1 (pass)

-1 (time out)

465

57

144

1 (pass)

-1 (time out)

466

57

145

1 (pass)

-1 (time out)

467

57

146

1 (pass)

-1 (time out)

468

57

225

1 (pass)

-1 (time out)

469

57

232

1 (pass)

-1 (time out)

470

57

233

1 (pass)

-1 (time out)

471

57

234

1 (pass)

-1 (time out)

472

57

318

1 (pass)

-1 (time out)

473

57

352

1 (pass)

-1 (time out)

474

57

353

1 (pass)

-1 (time out)

475

57

361

1 (pass)

-1 (time out)

476

57

379

1 (pass)

-1 (time out)

477

57

408

1 (pass)

-1 (time out)

478

57

415

1 (pass)

-1 (time out)

479

57

424

1 (pass)

-1 (time out)

480

57

425

1 (pass)

-1 (time out)

481

57

441

1 (pass)

-1 (time out)

482

58

5

1 (pass)

-1 (time out)

483

58

208

1 (pass)

-1 (time out)

484

61

9

1 (pass)

-1 (time out)

485

61

48

1 (pass)

-1 (time out)

486

62

143

1 (pass)

-1 (time out)

487

63

11

1 (pass)

-1 (time out)

488

63

20

1 (pass)

-1 (time out)

489

63

52

1 (pass)

-1 (time out)

490

63

60

1 (pass)

-1 (time out)

491

63

192

1 (pass)

-1 (time out)

492

63

268

1 (pass)

-1 (time out)

493

63

289

1 (pass)

-1 (time out)

494

63

315

1 (pass)

-1 (time out)

495

63

322

1 (pass)

-1 (time out)

496

63

332

1 (pass)

-1 (time out)

497

63

335

1 (pass)

-1 (time out)

498

63

336

1 (pass)

-1 (time out)

499

63

406

1 (pass)

-1 (time out)

500

63

426

1 (pass)

-1 (time out)

501

63

447

1 (pass)

-1 (time out)

502

63

465

1 (pass)

-1 (time out)

503

63

494

1 (pass)

-1 (time out)

504

63

630

1 (pass)

-1 (time out)

505

64

18

1 (pass)

-1 (time out)

506

64

20

1 (pass)

-1 (time out)

507

64

38

1 (pass)

-1 (time out)

508

64

77

1 (pass)

-1 (time out)

509

65

192

1 (pass)

-1 (time out)

510

65

208

1 (pass)

-1 (time out)

511

65

255

1 (pass)

-1 (time out)

512

66

227

1 (pass)

-1 (time out)

513

66

301

1 (pass)

-1 (time out)

514

69

145

1 (pass)

-1 (time out)

515

69

146

1 (pass)

-1 (time out)

516

70

75

1 (pass)

-1 (time out)

517

70

92

1 (pass)

-1 (time out)

518

70

94

1 (pass)

-1 (time out)

519

70

129

1 (pass)

-1 (time out)

520

70

131

1 (pass)

-1 (time out)

521

70

433

1 (pass)

-1 (time out)

522

70

495

1 (pass)

-1 (time out)

523

70

496

1 (pass)

-1 (time out)

524

70

632

1 (pass)

-1 (time out)

525

73

178

1 (pass)

-1 (time out)

526

73

260

1 (pass)

-1 (time out)

527

73

439

1 (pass)

-1 (time out)

528

73

458

1 (pass)

-1 (time out)

529

73

461

1 (pass)

-1 (time out)

530

73

470

1 (pass)

-1 (time out)

531

73

471

1 (pass)

-1 (time out)

532

73

682

1 (pass)

-1 (time out)

533

73

700

1 (pass)

-1 (time out)

534

74

420

1 (pass)

-1 (time out)

535

74

440

1 (pass)

-1 (time out)

536

74

554

1 (pass)

-1 (time out)

537

74

565

1 (pass)

-1 (time out)

538

74

566

1 (pass)

-1 (time out)

539

74

567

1 (pass)

-1 (time out)

540

74

624

1 (pass)

-1 (time out)

541

74

634

1 (pass)

-1 (time out)

542

74

644

1 (pass)

-1 (time out)

543

74

645

1 (pass)

-1 (time out)

544

74

678

1 (pass)

-1 (time out)

545

74

679

1 (pass)

-1 (time out)

546

74

697

1 (pass)

-1 (time out)

547

74

698

1 (pass)

-1 (time out)

548

74

699

1 (pass)

-1 (time out)

549

74

706

1 (pass)

-1 (time out)

550

74

707

1 (pass)

-1 (time out)

551

74

725

1 (pass)

-1 (time out)

552

74

741

1 (pass)

-1 (time out)

553

74

1021

1 (pass)

-1 (time out)

554

74

1235

1 (pass)

-1 (time out)

555

76

37

1 (pass)

-1 (time out)

556

76

49

1 (pass)

-1 (time out)

557

76

50

1 (pass)

-1 (time out)

558

76

51

1 (pass)

-1 (time out)

559

76

80

1 (pass)

-1 (time out)

560

76

218

1 (pass)

-1 (time out)

561

76

219

1 (pass)

-1 (time out)

562

76

220

1 (pass)

-1 (time out)

563

76

221

1 (pass)

-1 (time out)

564

76

248

1 (pass)

-1 (time out)

565

76

265

1 (pass)

-1 (time out)

566

76

272

1 (pass)

-1 (time out)

567

79

81

1 (pass)

-1 (time out)

568

79

89

1 (pass)

-1 (time out)

569

79

396

1 (pass)

-1 (time out)

570

82

142

1 (pass)

-1 (time out)

571

82

153

1 (pass)

-1 (time out)

572

82

175

1 (pass)

-1 (time out)

573

86

25

1 (pass)

-1 (time out)

574

89

792

1 (pass)

-1 (time out)

575

89

852

1 (pass)

-1 (time out)

576

89

853

1 (pass)

-1 (time out)

577

89

867

1 (pass)

-1 (time out)

578

89

875

1 (pass)

-1 (time out)

579

92

292

1 (pass)

-1 (time out)

580

93

91

1 (pass)

-1 (time out)

581

93

92

1 (pass)

-1 (time out)

582

93

118

1 (pass)

-1 (time out)

583

93

290

1 (pass)

-1 (time out)

584

93

291

1 (pass)

-1 (time out)

585

93

317

1 (pass)

-1 (time out)

586

94

595

1 (pass)

-1 (time out)

587

95

31

1 (pass)

-1 (time out)

588

98

304

1 (pass)

-1 (time out)

589

98

321

1 (pass)

-1 (time out)

590

98

326

1 (pass)

-1 (time out)

591

98

330

1 (pass)

-1 (time out)

592

98

332

1 (pass)

-1 (time out)

593

101

486

1 (pass)

0 (not solved)

594

101

487

1 (pass)

0 (not solved)

595

103

28

1 (pass)

-2 (exception)

Exception raised: NotInvertible

596

103

29

1 (pass)

-2 (exception)

Exception raised: NotInvertible

597

103

38

1 (pass)

-2 (exception)

Exception raised: NotInvertible

598

103

40

1 (pass)

-2 (exception)

Exception raised: NotInvertible

599

103

1094

1 (pass)

-1 (time out)

600

103

1099

1 (pass)

-1 (time out)

601

104

12

1 (pass)

-2 (exception)

Exception raised: NotInvertible

602

104

13

1 (pass)

-2 (exception)

Exception raised: NotInvertible

603

104

30

1 (pass)

-2 (exception)

Exception raised: NotInvertible

604

104

31

1 (pass)

-2 (exception)

Exception raised: NotInvertible

605

105

62

1 (pass)

-1 (time out)

606

105

68

1 (pass)

-1 (time out)

607

105

74

1 (pass)

-1 (time out)

608

105

77

1 (pass)

-1 (time out)

609

105

78

1 (pass)

-1 (time out)

610

106

227

1 (pass)

-1 (time out)

611

106

228

1 (pass)

-1 (time out)

612

106

234

1 (pass)

-1 (time out)

613

115

148

1 (pass)

-1 (time out)

614

115

167

1 (pass)

-1 (time out)

615

115

180

1 (pass)

-1 (time out)

616

115

182

1 (pass)

-1 (time out)

617

126

363

1 (pass)

-1 (time out)

618

126

364

1 (pass)

-1 (time out)

619

126

365

1 (pass)

-1 (time out)

620

135

1

1 (pass)

-1 (time out)

621

135

2

1 (pass)

-1 (time out)

622

135

13

1 (pass)

-1 (time out)

623

135

23

1 (pass)

-1 (time out)

624

135

24

1 (pass)

-1 (time out)

625

135

39

1 (pass)

-1 (time out)

626

135

52

1 (pass)

-1 (time out)

627

135

129

1 (pass)

-1 (time out)

628

135

130

1 (pass)

-1 (time out)

629

135

141

1 (pass)

-1 (time out)

630

135

151

1 (pass)

-1 (time out)

631

135

152

1 (pass)

-1 (time out)

632

135

190

1 (pass)

-1 (time out)

633

135

208

1 (pass)

-1 (time out)

634

135

226

1 (pass)

-1 (time out)

635

135

246

1 (pass)

-1 (time out)

636

136

9

1 (pass)

-1 (time out)

637

136

113

1 (pass)

-1 (time out)

638

136

275

1 (pass)

-1 (time out)

639

137

52

1 (pass)

-1 (time out)

640

137

57

1 (pass)

-1 (time out)

641

139

23

1 (pass)

-1 (time out)

642

139

24

1 (pass)

-1 (time out)

643

139

223

1 (pass)

-1 (time out)

644

139

225

1 (pass)

-1 (time out)

645

140

43

1 (pass)

-1 (time out)

646

140

45

1 (pass)

-1 (time out)

647

140

46

1 (pass)

-1 (time out)

648

141

211

1 (pass)

-1 (time out)

649

141

479

1 (pass)

-1 (time out)

650

141

480

1 (pass)

-1 (time out)

651

141

704

1 (pass)

-1 (time out)

652

141

893

1 (pass)

-1 (time out)

653

141

942

1 (pass)

-1 (time out)

654

144

463

1 (pass)

-1 (time out)

655

148

96

1 (pass)

-1 (time out)

656

148

103

1 (pass)

-1 (time out)

657

148

113

1 (pass)

-1 (time out)

658

150

42

1 (pass)

-1 (time out)

659

150

125

1 (pass)

-1 (time out)

660

150

477

1 (pass)

0 (not solved)

661

150

546

1 (pass)

0 (not solved)

662

150

622

1 (pass)

0 (not solved)

663

150

859

1 (pass)

0 (not solved)

664

150

928

1 (pass)

0 (not solved)

665

150

986

1 (pass)

0 (not solved)

666

150

1056

1 (pass)

0 (not solved)

667

150

1159

1 (pass)

-1 (time out)

668

152

248

1 (pass)

0 (not solved)

669

152

249

1 (pass)

0 (not solved)

670

152

250

1 (pass)

0 (not solved)

671

152

251

1 (pass)

0 (not solved)

672

152

252

1 (pass)

0 (not solved)

673

152

263

1 (pass)

0 (not solved)

674

152

264

1 (pass)

0 (not solved)

675

152

265

1 (pass)

0 (not solved)

676

152

266

1 (pass)

0 (not solved)

677

152

277

1 (pass)

0 (not solved)

678

152

278

1 (pass)

0 (not solved)

679

152

279

1 (pass)

-1 (time out)

680

152

291

1 (pass)

0 (not solved)

681

152

292

1 (pass)

0 (not solved)

682

152

343

1 (pass)

0 (not solved)

683

153

127

1 (pass)

-1 (time out)

684

153

132

1 (pass)

-1 (time out)

685

160

231

1 (pass)

-1 (time out)

686

163

74

1 (pass)

-1 (time out)

687

163

92

1 (pass)

-2 (exception)

Exception raised: NotInvertible

688

163

93

1 (pass)

-2 (exception)

Exception raised: NotInvertible

689

163

94

1 (pass)

-2 (exception)

Exception raised: NotInvertible

690

163

95

1 (pass)

-2 (exception)

Exception raised: NotInvertible

691

164

34

1 (pass)

-1 (time out)

692

164

35

1 (pass)

-1 (time out)

693

164

182

1 (pass)

-1 (time out)

694

164

183

1 (pass)

-1 (time out)

695

164

207

1 (pass)

-1 (time out)

696

170

26

1 (pass)

-1 (time out)

697

172

63

1 (pass)

-1 (time out)

698

173

207

1 (pass)

0 (not solved)

699

175

33

1 (pass)

-1 (time out)

700

176

1

1 (pass)

-1 (time out)

701

179

31

1 (pass)

-1 (time out)

702

179

157

1 (pass)

-1 (time out)

703

185

172

1 (pass)

-1 (time out)

704

185

178

1 (pass)

-1 (time out)

705

185

187

1 (pass)

-1 (time out)

706

185

689

1 (pass)

-1 (time out)

707

185

692

1 (pass)

-1 (time out)

708

185

706

1 (pass)

-1 (time out)

709

185

810

1 (pass)

-1 (time out)

710

185

913

1 (pass)

-1 (time out)

711

185

931

1 (pass)

-1 (time out)

712

185

952

1 (pass)

-1 (time out)

713

185

959

1 (pass)

-1 (time out)

714

185

960

1 (pass)

-1 (time out)

715

187

63

1 (pass)

-1 (time out)

716

187

64

1 (pass)

-1 (time out)

717

187

72

1 (pass)

-1 (time out)

718

187

73

1 (pass)

-1 (time out)

719

187

74

1 (pass)

-1 (time out)

720

187

252

1 (pass)

-1 (time out)

721

192

194

1 (pass)

-1 (time out)

722

195

37

1 (pass)

-1 (time out)

723

196

444

1 (pass)

0 (not solved)

724

196

445

1 (pass)

0 (not solved)

725

196

446

1 (pass)

-1 (time out)

726

196

1315

1 (pass)

0 (not solved)

727

197

89

1 (pass)

-2 (exception)

Exception raised: TypeError

728

197

97

1 (pass)

-2 (exception)

Exception raised: TypeError

729

197

98

1 (pass)

-2 (exception)

Exception raised: TypeError

730

197

105

1 (pass)

-2 (exception)

Exception raised: TypeError

731

197

106

1 (pass)

-2 (exception)

Exception raised: TypeError

732

197

107

1 (pass)

-2 (exception)

Exception raised: TypeError

733

197

130

1 (pass)

-1 (time out)

734

197

131

1 (pass)

-1 (time out)

735

197

132

1 (pass)

-1 (time out)

736

197

133

1 (pass)

-1 (time out)

737

197

144

1 (pass)

-2 (exception)

Exception raised: TypeError

738

197

152

1 (pass)

-2 (exception)

Exception raised: TypeError

739

197

153

1 (pass)

-2 (exception)

Exception raised: TypeError

740

197

159

1 (pass)

-2 (exception)

Exception raised: TypeError

741

197

160

1 (pass)

-2 (exception)

Exception raised: TypeError

742

197

161

1 (pass)

-2 (exception)

Exception raised: TypeError

743

197

162

1 (pass)

-2 (exception)

Exception raised: TypeError

744

197

168

1 (pass)

-1 (time out)

745

197

176

1 (pass)

-1 (time out)

746

197

184

1 (pass)

-1 (time out)

747

198

108

1 (pass)

-1 (time out)

748

198

162

1 (pass)

-2 (exception)

Exception raised: TypeError

749

198

170

1 (pass)

-2 (exception)

Exception raised: TypeError

750

198

171

1 (pass)

-2 (exception)

Exception raised: TypeError

751

198

178

1 (pass)

-2 (exception)

Exception raised: TypeError

752

198

179

1 (pass)

-2 (exception)

Exception raised: TypeError

753

198

180

1 (pass)

-2 (exception)

Exception raised: TypeError

754

199

246

1 (pass)

-1 (time out)

755

199

321

1 (pass)

-1 (time out)

756

199

333

1 (pass)

0 (not solved)

757

199

334

1 (pass)

0 (not solved)

758

199

336

1 (pass)

-1 (time out)

759

199

369

1 (pass)

0 (not solved)

760

199

370

1 (pass)

0 (not solved)

761

199

371

1 (pass)

-1 (time out)

762

199

740

1 (pass)

0 (not solved)

763

201

80

1 (pass)

0 (not solved)

764

204

4

1 (pass)

-2 (exception)

Exception raised: AttributeError

765

204

64

1 (pass)

-1 (time out)

766

204

67

1 (pass)

-2 (exception)

Exception raised: AttributeError

767

204

68

1 (pass)

-2 (exception)

Exception raised: AttributeError

768

204

71

1 (pass)

-2 (exception)

Exception raised: AttributeError

769

204

72

1 (pass)

-2 (exception)

Exception raised: AttributeError

770

204

73

1 (pass)

-2 (exception)

Exception raised: AttributeError

771

204

74

1 (pass)

-1 (time out)

772

204

107

1 (pass)

-2 (exception)

Exception raised: AttributeError

773

204

167

1 (pass)

-1 (time out)

774

204

170

1 (pass)

-2 (exception)

Exception raised: AttributeError

775

204

171

1 (pass)

-2 (exception)

Exception raised: AttributeError

776

204

174

1 (pass)

-2 (exception)

Exception raised: AttributeError

777

204

175

1 (pass)

-2 (exception)

Exception raised: AttributeError

778

204

176

1 (pass)

-2 (exception)

Exception raised: AttributeError

779

204

177

1 (pass)

-1 (time out)

780

204

210

1 (pass)

-2 (exception)

Exception raised: AttributeError

781

204

270

1 (pass)

-1 (time out)

782

204

273

1 (pass)

-2 (exception)

Exception raised: AttributeError

783

204

274

1 (pass)

-2 (exception)

Exception raised: AttributeError

784

204

275

1 (pass)

-2 (exception)

Exception raised: AttributeError

785

204

278

1 (pass)

-2 (exception)

Exception raised: AttributeError

786

204

279

1 (pass)

-2 (exception)

Exception raised: AttributeError

787

204

280

1 (pass)

-2 (exception)

Exception raised: AttributeError

788

204

281

1 (pass)

-2 (exception)

Exception raised: AttributeError

789

204

282

1 (pass)

-1 (time out)

790

205

9

1 (pass)

-2 (exception)

Exception raised: AttributeError

791

205

71

1 (pass)

-1 (time out)

792

205

118

1 (pass)

-2 (exception)

Exception raised: AttributeError

793

205

180

1 (pass)

-1 (time out)

794

206

6

1 (pass)

-2 (exception)

Exception raised: AttributeError

795

206

74

1 (pass)

-2 (exception)

Exception raised: AttributeError

796

207

6

1 (pass)

-2 (exception)

Exception raised: AttributeError

797

207

74

1 (pass)

-2 (exception)

Exception raised: AttributeError

798

208

31

1 (pass)

-1 (time out)

799

209

491

1 (pass)

-1 (time out)

800

209

533

1 (pass)

-1 (time out)

801

209

555

1 (pass)

-1 (time out)

802

209

1123

1 (pass)

-2 (exception)

Exception raised: SympifyError

803

209

1373

1 (pass)

-1 (time out)

804

209

1374

1 (pass)

-1 (time out)

805

209

1473

1 (pass)

-1 (time out)

806

209

2027

1 (pass)

-2 (exception)

Exception raised: SympifyError

807

209

2178

1 (pass)

-2 (exception)

Exception raised: SympifyError

808

209

2179

1 (pass)

-2 (exception)

Exception raised: SympifyError

809

210

327

1 (pass)

-1 (time out)

810

210

355

1 (pass)

-2 (exception)

Exception raised: CoercionFailed

811

210

369

1 (pass)

-1 (time out)

812

210

434

1 (pass)

-1 (time out)

813

210

893

1 (pass)

-1 (time out)

814

210

1056

1 (pass)

-1 (time out)

815

210

1394

1 (pass)

-1 (time out)

816

210

1777

1 (pass)

-1 (time out)

817

210

1847

1 (pass)

-1 (time out)

818

210

2047

1 (pass)

-1 (time out)

819

210

2096

1 (pass)

-2 (exception)

Exception raised: CoercionFailed

820

210

2165

1 (pass)

-1 (time out)

821

210

2406

1 (pass)

-1 (time out)

822

210

2485

1 (pass)

-1 (time out)

823

210

2524

1 (pass)

-1 (time out)

824

210

2856

1 (pass)

-1 (time out)

825

210

3015

1 (pass)

-1 (time out)

826

210

3068

1 (pass)

-1 (time out)

827

210

3362

1 (pass)

-1 (time out)

828

210

3434

1 (pass)

-1 (time out)

829

210

3539

1 (pass)

-1 (time out)

830

210

3683

1 (pass)

-1 (time out)

831

210

3697

1 (pass)

-2 (exception)

Exception raised: CoercionFailed

832

210

4243

1 (pass)

-1 (time out)

833

210

4408

1 (pass)

-1 (time out)

834

210

4741

1 (pass)

-1 (time out)

835

210

4810

1 (pass)

-1 (time out)

836

210

4950

1 (pass)

-1 (time out)

837

210

5263

1 (pass)

-1 (time out)

838

210

5546

1 (pass)

-1 (time out)

839

210

5602

1 (pass)

-1 (time out)

840

210

5723

1 (pass)

-2 (exception)

Exception raised: CoercionFailed

841

210

5812

1 (pass)

-1 (time out)

842

210

5926

1 (pass)

-1 (time out)

843

210

6723

1 (pass)

-1 (time out)

844

210

6731

1 (pass)

-1 (time out)

845

210

6748

1 (pass)

-1 (time out)

846

210

6870

1 (pass)

-2 (exception)

Exception raised: CoercionFailed

847

210

6874

1 (pass)

-1 (time out)

848

210

6975

1 (pass)

-1 (time out)

849

210

7352

1 (pass)

-1 (time out)

850

210

7827

1 (pass)

0 (not solved)

851

210

7854

1 (pass)

-1 (time out)

852

210

8409

1 (pass)

-1 (time out)

853

210

8484

1 (pass)

-1 (time out)

854

210

8897

1 (pass)

-1 (time out)

855

210

9060

1 (pass)

-1 (time out)

856

210

9595

1 (pass)

-1 (time out)

857

210

9704

1 (pass)

-1 (time out)

858

210

9924

1 (pass)

-1 (time out)

859

210

10025

1 (pass)

-2 (exception)

Exception raised: CoercionFailed

860

210

10117

1 (pass)

-1 (time out)

861

210

10291

1 (pass)

-1 (time out)