Isartor-1b Corpus Results : Mon Jun 23 17:33:03 UTC 2025

VeraPDF Foundry v1.29.66

Dependencies

core-arlington v1.29.28-Sun Jun 15 18:25:00 UTC 2025

validation-model-arlington v1.29.66-Mon Jun 23 17:30:00 UTC 2025

6.1.2-t1-fail-a
Duration: 00:00:00.003 Memory: 203 MB
6.1.2-t2-fail-a
Duration: 00:00:00.004 Memory: 115 MB
6.1.3-t1-fail-a
Duration: 00:00:00.003 Memory: 123 MB
6.1.3-t2-fail-a
Duration: 00:00:00.098 Memory: 707 MB
6.1.3-t3-fail-a
Duration: 00:00:00.004 Memory: 231 MB
6.1.3-t4-fail-a
Duration: 00:00:00.005 Memory: 619 MB
6.1.4-t1-fail-a
Duration: 00:00:00.003 Memory: 635 MB
6.1.4-t2-fail-a
Duration: 00:00:00.003 Memory: 183 MB
6.1.6-t1-fail-a
Duration: 00:00:00.006 Memory: 410 MB
6.1.7-t1-fail-a
Duration: 00:00:00.007 Memory: 470 MB
6.1.7-t2-fail-a
Duration: 00:00:00.007 Memory: 442 MB
6.1.7-t3-fail-a
Duration: 00:00:00.004 Memory: 123 MB
6.1.7-t4-fail-a
Duration: 00:00:00.014 Memory: 703 MB
6.1.7-t4-fail-b
Duration: 00:00:00.005 Memory: 219 MB
6.1.7-t4-fail-c
Duration: 00:00:00.009 Memory: 366 MB
6.1.8-t1-fail-a
Duration: 00:00:00.003 Memory: 267 MB
6.1.8-t2-fail-a
Duration: 00:00:00.004 Memory: 659 MB
6.1.8-t3-fail-a
Duration: 00:00:00.004 Memory: 315 MB
6.1.8-t4-fail-a
Duration: 00:00:00.004 Memory: 639 MB
6.1.8-t5-fail-a
Duration: 00:00:00.004 Memory: 179 MB
6.1.8-t6-fail-a
Duration: 00:00:00.005 Memory: 747 MB
6.1.10-t1-fail-a
Duration: 00:00:00.005 Memory: 251 MB
6.1.10-t1-fail-b
Duration: 00:00:00.007 Memory: 115 MB
6.1.10-t1-fail-c
Duration: 00:00:00.015 Memory: 655 MB
6.1.11-t1-fail-a
Duration: 00:00:00.006 Memory: 187 MB
6.1.11-t2-fail-a
Duration: 00:00:00.005 Memory: 739 MB
6.1.12-t1-fail-a
Duration: 00:00:04.291 Memory: 595 MB
6.1.12-t1-fail-b
Duration: 00:00:00.008 Memory: 747 MB
6.1.12-t1-fail-c
Duration: 00:00:00.005 Memory: 195 MB
6.1.12-t1-fail-d
Duration: 00:00:00.014 Memory: 322 MB
6.1.13-t1-fail-a
Duration: 00:00:00.005 Memory: 279 MB
6.2.2-t1-fail-a
Duration: 00:00:00.005 Memory: 667 MB
6.2.2-t2-fail-a
Duration: 00:00:00.004 Memory: 271 MB
6.2.2-t2-fail-b
Duration: 00:00:00.008 Memory: 418 MB
6.2.2-t3-fail-a
Duration: 00:00:00.008 Memory: 390 MB
6.2.3.3-t1-fail-a
Duration: 00:00:00.004 Memory: 283 MB
6.2.3.3-t2-fail-a
Duration: 00:00:00.005 Memory: 675 MB
6.2.3.3-t2-fail-b
Duration: 00:00:00.011 Memory: 322 MB
6.2.3.3-t2-fail-c
Duration: 00:00:00.010 Memory: 183 MB
6.2.3.3-t2-fail-d
Duration: 00:00:00.007 Memory: 735 MB
6.2.3.3-t2-fail-e
Duration: 00:00:00.010 Memory: 603 MB
6.2.3.3-t2-fail-f
Duration: 00:00:00.008 Memory: 398 MB
6.2.3.3-t2-fail-g
Duration: 00:00:00.028 Memory: 783 MB
6.2.3.3-t2-fail-h
Duration: 00:00:00.005 Memory: 275 MB
6.2.3.3-t2-fail-i
Duration: 00:00:00.007 Memory: 454 MB
6.2.3.3-t2-fail-j
Duration: 00:00:00.009 Memory: 679 MB
6.2.3.3-t3-fail-a
Duration: 00:00:00.003 Memory: 307 MB
6.2.3.3-t3-fail-b
Duration: 00:00:00.006 Memory: 430 MB
6.2.3.3-t3-fail-c
Duration: 00:00:00.005 Memory: 735 MB
6.2.3.3-t3-fail-d
Duration: 00:00:00.007 Memory: 623 MB
6.2.3.3-t3-fail-e
Duration: 00:00:00.014 Memory: 318 MB
6.2.3.3-t4-fail-a
Duration: 00:00:00.005 Memory: 655 MB
6.2.3.3-t4-fail-b
Duration: 00:00:00.005 Memory: 119 MB
6.2.3.3-t4-fail-c
Duration: 00:00:00.006 Memory: 763 MB
6.2.3.3-t4-fail-d
Duration: 00:00:00.004 Memory: 239 MB
6.2.3.3-t5-fail-a
Duration: 00:00:00.007 Memory: 187 MB
6.2.3.3-t5-fail-b
Duration: 00:00:00.028 Memory: 695 MB
6.2.3.4-t1-fail-a
Duration: 00:00:00.008 Memory: 350 MB
6.2.3.4-t1-fail-b
Duration: 00:00:00.005 Memory: 607 MB
6.2.4-t1-fail-a
Duration: 00:00:00.026 Memory: 346 MB
6.2.4-t2-fail-a
Duration: 00:00:00.006 Memory: 263 MB
6.2.4-t3-fail-a
Duration: 00:00:00.007 Memory: 599 MB
6.2.4-t4-fail-a
Duration: 00:00:00.015 Memory: 711 MB
6.2.5-t1-fail-a
Duration: 00:00:00.041 Memory: 167 MB
6.2.6-t1-fail-a
Duration: 00:00:00.024 Memory: 215 MB
6.2.7-t1-fail-a
Duration: 00:00:00.025 Memory: 611 MB
6.2.7-t2-fail-a
Duration: 00:00:00.006 Memory: 727 MB
6.2.8-t1-fail-a
Duration: 00:00:00.007 Memory: 131 MB
6.2.8-t1-fail-b
Duration: 00:00:00.032 Memory: 378 MB
6.2.8-t1-fail-c
Duration: 00:00:00.005 Memory: 631 MB
6.2.8-t1-fail-d
Duration: 00:00:00.006 Memory: 699 MB
6.2.8-t2-fail-a
Duration: 00:00:00.027 Memory: 426 MB
6.2.8-t2-fail-b
Duration: 00:00:00.006 Memory: 239 MB
6.2.8-t2-fail-c
Duration: 00:00:00.005 Memory: 247 MB
6.2.9-t1-fail-a
Duration: 00:00:00.007 Memory: 402 MB
6.2.10-t1-fail-a
Duration: 00:00:00.006 Memory: 402 MB
6.2.10-t1-fail-b
Duration: 00:00:00.003 Memory: 627 MB
6.2.10-t1-fail-c
Duration: 00:00:00.007 Memory: 731 MB
6.3.2-t1-fail-a
Duration: 00:00:00.012 Memory: 406 MB
6.3.2-t1-fail-b
Duration: 00:00:00.009 Memory: 215 MB
6.3.2-t1-fail-c
Duration: 00:00:00.023 Memory: 715 MB
6.3.3.1-t1-fail-a
Duration: 00:00:00.015 Memory: 398 MB
6.3.3.1-t1-fail-b
Duration: 00:00:00.011 Memory: 251 MB
6.3.3.2-t1-fail-a
Duration: 00:00:00.014 Memory: 691 MB
6.3.3.3-t1-fail-a
Duration: 00:00:00.007 Memory: 143 MB
6.3.3.3-t2-fail-a
Duration: 00:00:00.028 Memory: 438 MB
6.3.4-t1-fail-a
Duration: 00:00:00.006 Memory: 755 MB
6.3.4-t1-fail-b
Duration: 00:00:00.006 Memory: 199 MB
6.3.4-t1-fail-c
Duration: 00:00:00.016 Memory: 382 MB
6.3.4-t1-fail-d
Duration: 00:00:00.007 Memory: 643 MB
6.3.4-t1-fail-e
Duration: 00:00:00.015 Memory: 111 MB
6.3.4-t1-fail-g
Duration: 00:00:00.012 Memory: 466 MB
6.3.4-t1-fail-h
Duration: 00:00:00.010 Memory: 731 MB
6.3.5-t1-fail-a
Duration: 00:00:00.008 Memory: 743 MB
6.3.5-t1-fail-b
Duration: 00:00:00.008 Memory: 599 MB
6.3.5-t1-fail-c
Duration: 00:00:00.036 Memory: 330 MB
6.3.5-t1-fail-d
Duration: 00:00:00.006 Memory: 163 MB
6.3.5-t2-fail-a
Duration: 00:00:00.017 Memory: 119 MB
6.3.5-t3-fail-a
Duration: 00:00:00.012 Memory: 502 MB
6.3.6-t1-fail-a
Duration: 00:00:00.009 Memory: 139 MB
6.3.6-t1-fail-b
Duration: 00:00:00.010 Memory: 303 MB
6.3.6-t1-fail-c
Duration: 00:00:00.017 Memory: 414 MB
6.3.7-t1-fail-a
Duration: 00:00:00.010 Memory: 171 MB
6.3.7-t2-fail-a
Duration: 00:00:00.008 Memory: 659 MB
6.3.7-t3-fail-a
Duration: 00:00:00.008 Memory: 299 MB
6.4-t1-fail-a
Duration: 00:00:00.022 Memory: 482 MB
6.4-t1-fail-b
Duration: 00:00:00.008 Memory: 671 MB
6.4-t2-fail-a
Duration: 00:00:00.008 Memory: 470 MB
6.4-t3-fail-a
Duration: 00:00:00.007 Memory: 450 MB
6.4-t4-fail-a
Duration: 00:00:00.007 Memory: 514 MB
6.4-t5-fail-a
Duration: 00:00:00.006 Memory: 787 MB
6.5.2-t1-fail-a
Duration: 00:00:00.006 Memory: 151 MB
6.5.2-t1-fail-b
Duration: 00:00:00.007 Memory: 287 MB
6.5.2-t1-fail-c
Duration: 00:00:00.008 Memory: 446 MB
6.5.2-t1-fail-d
Duration: 00:00:00.006 Memory: 639 MB
6.5.2-t1-fail-e
Duration: 00:00:00.006 Memory: 775 MB
6.5.2-t1-fail-f
Duration: 00:00:00.013 Memory: 394 MB
6.5.2-t1-fail-g
Duration: 00:00:00.005 Memory: 211 MB
6.5.2-t1-fail-h
Duration: 00:00:00.008 Memory: 723 MB
6.5.2-t2-fail-a
Duration: 00:00:00.034 Memory: 131 MB
6.5.2-t2-fail-b
Duration: 00:00:00.033 Memory: 334 MB
6.5.2-t2-fail-c
Duration: 00:00:00.039 Memory: 498 MB
6.5.3-t1-fail-a
Duration: 00:00:00.014 Memory: 366 MB
6.5.3-t2-fail-a
Duration: 00:00:00.009 Memory: 615 MB
6.5.3-t2-fail-b
Duration: 00:00:00.008 Memory: 771 MB
6.5.3-t2-fail-c
Duration: 00:00:00.020 Memory: 179 MB
6.5.3-t2-fail-d
Duration: 00:00:00.014 Memory: 358 MB
6.5.3-t2-fail-e
Duration: 00:00:00.011 Memory: 514 MB
6.5.3-t3-fail-a
Duration: 00:00:00.023 Memory: 227 MB
6.5.3-t3-fail-b
Duration: 00:00:00.014 Memory: 255 MB
6.5.3-t3-fail-c
Duration: 00:00:00.025 Memory: 434 MB
6.5.3-t3-fail-d
Duration: 00:00:00.011 Memory: 667 MB
6.5.3-t4-fail-a
Duration: 00:00:00.026 Memory: 687 MB
6.5.3-t4-fail-b
Duration: 00:00:00.022 Memory: 522 MB
6.5.3-t4-fail-c
Duration: 00:00:00.061 Memory: 462 MB
6.5.3-t4-fail-d
Duration: 00:00:00.022 Memory: 311 MB
6.6.1-t1-fail-a
Duration: 00:00:00.007 Memory: 683 MB
6.6.1-t1-fail-b
Duration: 00:00:00.010 Memory: 450 MB
6.6.1-t1-fail-c
Duration: 00:00:00.007 Memory: 271 MB
6.6.1-t1-fail-d
Duration: 00:00:00.006 Memory: 779 MB
6.6.1-t1-fail-e
Duration: 00:00:00.007 Memory: 627 MB
6.6.1-t1-fail-f
Duration: 00:00:00.029 Memory: 374 MB
6.6.1-t1-fail-g
Duration: 00:00:00.006 Memory: 195 MB
6.6.1-t1-fail-h
Duration: 00:00:00.008 Memory: 719 MB
6.6.1-t1-fail-i
Duration: 00:00:00.009 Memory: 486 MB
6.6.1-t2-fail-a
Duration: 00:00:00.005 Memory: 295 MB
6.6.1-t2-fail-b
Duration: 00:00:00.030 Memory: 354 MB
6.6.1-t2-fail-c
Duration: 00:00:00.020 Memory: 506 MB
6.6.1-t2-fail-d
Duration: 00:00:00.005 Memory: 763 MB
6.6.1-t2-fail-e
Duration: 00:00:00.006 Memory: 203 MB
6.6.1-t2-fail-f
Duration: 00:00:00.005 Memory: 259 MB
6.6.1-t2-fail-g
Duration: 00:00:00.005 Memory: 779 MB
6.6.1-t2-fail-h
Duration: 00:00:00.007 Memory: 675 MB
6.6.1-t2-fail-i
Duration: 00:00:00.009 Memory: 474 MB
6.6.1-t3-fail-a
Duration: 00:00:00.007 Memory: 651 MB
6.6.1-t3-fail-b
Duration: 00:00:00.009 Memory: 422 MB
6.6.1-t3-fail-c
Duration: 00:00:00.007 Memory: 767 MB
6.6.1-t3-fail-d
Duration: 00:00:00.005 Memory: 207 MB
6.6.1-t3-fail-e
Duration: 00:00:00.025 Memory: 342 MB
6.6.1-t3-fail-f
Duration: 00:00:00.009 Memory: 482 MB
6.6.1-t3-fail-g
Duration: 00:00:00.005 Memory: 147 MB
6.6.1-t3-fail-h
Duration: 00:00:00.005 Memory: 283 MB
6.6.1-t3-fail-i
Duration: 00:00:00.010 Memory: 430 MB
6.6.1-t4-fail-a
Duration: 00:00:00.033 Memory: 390 MB
6.6.1-t4-fail-b
Duration: 00:00:00.006 Memory: 223 MB
6.6.1-t4-fail-c
Duration: 00:00:00.006 Memory: 751 MB
6.6.1-t4-fail-d
Duration: 00:00:00.017 Memory: 647 MB
6.6.1-t4-fail-e
Duration: 00:00:00.012 Memory: 418 MB
6.6.1-t4-fail-f
Duration: 00:00:00.006 Memory: 315 MB
6.6.1-t4-fail-g
Duration: 00:00:00.005 Memory: 135 MB
6.6.1-t4-fail-h
Duration: 00:00:00.025 Memory: 326 MB
6.6.1-t4-fail-i
Duration: 00:00:00.009 Memory: 494 MB
6.6.2-t1-fail-a
Duration: 00:00:00.025 Memory: 611 MB
6.7.2-t1-fail-a
Duration: 00:00:00.005 Memory: 243 MB
6.7.2-t2-fail-a
Duration: 00:00:00.006 Memory: 683 MB
6.7.2-t2-fail-b
Duration: 00:00:00.005 Memory: 147 MB
6.7.2-t2-fail-c
Duration: 00:00:00.005 Memory: 275 MB
6.7.2-t3-fail-a
Duration: 00:00:00.005 Memory: 291 MB
6.7.3-t1-fail-a
Duration: 00:00:00.009 Memory: 518 MB
6.7.3-t1-fail-b
Duration: 00:00:00.005 Memory: 699 MB
6.7.3-t1-fail-c
Duration: 00:00:00.005 Memory: 223 MB
6.7.5-t1-fail-a
Duration: 00:00:00.005 Memory: 263 MB
6.7.5-t2-fail-a
Duration: 00:00:00.008 Memory: 490 MB
6.7.8-t1-fail-a
Duration: 00:00:00.011 Memory: 155 MB
6.7.8-t2-fail-a
Duration: 00:00:00.020 Memory: 719 MB
6.7.8-t2-fail-b
Duration: 00:00:00.006 Memory: 191 MB
6.7.8-t2-fail-c
Duration: 00:00:00.010 Memory: 370 MB
6.7.8-t2-fail-d
Duration: 00:00:00.007 Memory: 623 MB
6.7.8-t2-fail-e
Duration: 00:00:00.005 Memory: 635 MB
6.7.8-t2-fail-f
Duration: 00:00:00.009 Memory: 442 MB
6.7.8-t2-fail-g
Duration: 00:00:00.005 Memory: 291 MB
6.7.8-t2-fail-h
Duration: 00:00:00.005 Memory: 159 MB
6.7.8-t2-fail-i
Duration: 00:00:00.010 Memory: 510 MB
6.7.8-t2-fail-j
Duration: 00:00:00.012 Memory: 362 MB
6.7.8-t2-fail-k
Duration: 00:00:00.005 Memory: 175 MB
6.7.9-t1-fail-a
Duration: 00:00:00.008 Memory: 478 MB
6.7.11-t1-fail-a
Duration: 00:00:00.005 Memory: 307 MB
6.7.11-t1-fail-b
Duration: 00:00:00.006 Memory: 155 MB
6.7.11-t1-fail-c
Duration: 00:00:00.007 Memory: 663 MB
6.7.11-t1-fail-d
Duration: 00:00:00.010 Memory: 350 MB
6.9-t1-fail-a
Duration: 00:00:00.028 Memory: 338 MB
6.9-t2-fail-a
Duration: 00:00:00.019 Memory: 235 MB
6.9-t2-fail-b
Duration: 00:00:00.019 Memory: 759 MB
6.3.4-t1-fail-f
Duration: 00:00:00.015 Memory: 323 MB