Isartor-1b Corpus Results : Tue Jun 03 14:40:00 UTC 2025

VeraPDF Foundry v1.29.57

Dependencies

validation-model-arlington v1.29.57-Tue Jun 03 14:36:00 UTC 2025

core-arlington v1.29.26-Tue Jun 03 14:34:00 UTC 2025

6.1.2-t1-fail-a
Duration: 00:00:00.007 Memory: 694 MB
6.1.2-t2-fail-a
Duration: 00:00:00.004 Memory: 606 MB
6.1.3-t1-fail-a
Duration: 00:00:00.011 Memory: 614 MB
6.1.3-t2-fail-a
Duration: 00:00:00.079 Memory: 518 MB
6.1.3-t3-fail-a
Duration: 00:00:00.006 Memory: 722 MB
6.1.3-t4-fail-a
Duration: 00:00:00.008 Memory: 430 MB
6.1.4-t1-fail-a
Duration: 00:00:00.005 Memory: 442 MB
6.1.4-t2-fail-a
Duration: 00:00:00.006 Memory: 674 MB
6.1.6-t1-fail-a
Duration: 00:00:00.006 Memory: 260 MB
6.1.7-t1-fail-a
Duration: 00:00:00.012 Memory: 320 MB
6.1.7-t2-fail-a
Duration: 00:00:00.005 Memory: 296 MB
6.1.7-t3-fail-a
Duration: 00:00:00.004 Memory: 614 MB
6.1.7-t4-fail-a
Duration: 00:00:00.007 Memory: 514 MB
6.1.7-t4-fail-b
Duration: 00:00:00.011 Memory: 710 MB
6.1.7-t4-fail-c
Duration: 00:00:00.007 Memory: 220 MB
6.1.8-t1-fail-a
Duration: 00:00:00.012 Memory: 171 MB
6.1.8-t2-fail-a
Duration: 00:00:00.006 Memory: 470 MB
6.1.8-t3-fail-a
Duration: 00:00:00.003 Memory: 219 MB
6.1.8-t4-fail-a
Duration: 00:00:00.006 Memory: 450 MB
6.1.8-t5-fail-a
Duration: 00:00:00.006 Memory: 670 MB
6.1.8-t6-fail-a
Duration: 00:00:00.005 Memory: 558 MB
6.1.10-t1-fail-a
Duration: 00:00:00.006 Memory: 742 MB
6.1.10-t1-fail-b
Duration: 00:00:00.013 Memory: 606 MB
6.1.10-t1-fail-c
Duration: 00:00:00.022 Memory: 466 MB
6.1.11-t1-fail-a
Duration: 00:00:00.009 Memory: 678 MB
6.1.11-t2-fail-a
Duration: 00:00:00.008 Memory: 550 MB
6.1.12-t1-fail-a
Duration: 00:00:04.934 Memory: 406 MB
6.1.12-t1-fail-b
Duration: 00:00:00.009 Memory: 558 MB
6.1.12-t1-fail-c
Duration: 00:00:00.010 Memory: 686 MB
6.1.12-t1-fail-d
Duration: 00:00:00.012 Memory: 176 MB
6.1.13-t1-fail-a
Duration: 00:00:00.006 Memory: 183 MB
6.2.2-t1-fail-a
Duration: 00:00:00.007 Memory: 474 MB
6.2.2-t2-fail-a
Duration: 00:00:00.005 Memory: 175 MB
6.2.2-t2-fail-b
Duration: 00:00:00.023 Memory: 272 MB
6.2.2-t3-fail-a
Duration: 00:00:00.022 Memory: 244 MB
6.2.3.3-t1-fail-a
Duration: 00:00:00.005 Memory: 187 MB
6.2.3.3-t2-fail-a
Duration: 00:00:00.006 Memory: 486 MB
6.2.3.3-t2-fail-b
Duration: 00:00:00.008 Memory: 172 MB
6.2.3.3-t2-fail-c
Duration: 00:00:00.009 Memory: 674 MB
6.2.3.3-t2-fail-d
Duration: 00:00:00.010 Memory: 546 MB
6.2.3.3-t2-fail-e
Duration: 00:00:00.012 Memory: 414 MB
6.2.3.3-t2-fail-f
Duration: 00:00:00.005 Memory: 252 MB
6.2.3.3-t2-fail-g
Duration: 00:00:00.063 Memory: 594 MB
6.2.3.3-t2-fail-h
Duration: 00:00:00.006 Memory: 179 MB
6.2.3.3-t2-fail-i
Duration: 00:00:00.005 Memory: 304 MB
6.2.3.3-t2-fail-j
Duration: 00:00:00.008 Memory: 490 MB
6.2.3.3-t3-fail-a
Duration: 00:00:00.005 Memory: 211 MB
6.2.3.3-t3-fail-b
Duration: 00:00:00.006 Memory: 280 MB
6.2.3.3-t3-fail-c
Duration: 00:00:00.016 Memory: 546 MB
6.2.3.3-t3-fail-d
Duration: 00:00:00.026 Memory: 430 MB
6.2.3.3-t3-fail-e
Duration: 00:00:00.014 Memory: 168 MB
6.2.3.3-t4-fail-a
Duration: 00:00:00.006 Memory: 466 MB
6.2.3.3-t4-fail-b
Duration: 00:00:00.007 Memory: 610 MB
6.2.3.3-t4-fail-c
Duration: 00:00:00.012 Memory: 574 MB
6.2.3.3-t4-fail-d
Duration: 00:00:00.004 Memory: 730 MB
6.2.3.3-t5-fail-a
Duration: 00:00:00.011 Memory: 678 MB
6.2.3.3-t5-fail-b
Duration: 00:00:00.008 Memory: 506 MB
6.2.3.4-t1-fail-a
Duration: 00:00:00.006 Memory: 200 MB
6.2.3.4-t1-fail-b
Duration: 00:00:00.007 Memory: 418 MB
6.2.4-t1-fail-a
Duration: 00:00:00.024 Memory: 196 MB
6.2.4-t2-fail-a
Duration: 00:00:00.008 Memory: 167 MB
6.2.4-t3-fail-a
Duration: 00:00:00.008 Memory: 410 MB
6.2.4-t4-fail-a
Duration: 00:00:00.038 Memory: 522 MB
6.2.5-t1-fail-a
Duration: 00:00:00.052 Memory: 658 MB
6.2.6-t1-fail-a
Duration: 00:00:00.022 Memory: 706 MB
6.2.7-t1-fail-a
Duration: 00:00:00.051 Memory: 422 MB
6.2.7-t2-fail-a
Duration: 00:00:00.006 Memory: 538 MB
6.2.8-t1-fail-a
Duration: 00:00:00.012 Memory: 622 MB
6.2.8-t1-fail-b
Duration: 00:00:00.026 Memory: 232 MB
6.2.8-t1-fail-c
Duration: 00:00:00.007 Memory: 442 MB
6.2.8-t1-fail-d
Duration: 00:00:00.009 Memory: 510 MB
6.2.8-t2-fail-a
Duration: 00:00:00.061 Memory: 276 MB
6.2.8-t2-fail-b
Duration: 00:00:00.008 Memory: 730 MB
6.2.8-t2-fail-c
Duration: 00:00:00.005 Memory: 738 MB
6.2.9-t1-fail-a
Duration: 00:00:00.005 Memory: 256 MB
6.2.10-t1-fail-a
Duration: 00:00:00.004 Memory: 252 MB
6.2.10-t1-fail-b
Duration: 00:00:00.015 Memory: 438 MB
6.2.10-t1-fail-c
Duration: 00:00:00.010 Memory: 542 MB
6.3.2-t1-fail-a
Duration: 00:00:00.008 Memory: 260 MB
6.3.2-t1-fail-b
Duration: 00:00:00.018 Memory: 706 MB
6.3.2-t1-fail-c
Duration: 00:00:00.030 Memory: 526 MB
6.3.3.1-t1-fail-a
Duration: 00:00:00.011 Memory: 248 MB
6.3.3.1-t1-fail-b
Duration: 00:00:00.009 Memory: 738 MB
6.3.3.2-t1-fail-a
Duration: 00:00:00.019 Memory: 502 MB
6.3.3.3-t1-fail-a
Duration: 00:00:00.034 Memory: 634 MB
6.3.3.3-t2-fail-a
Duration: 00:00:00.022 Memory: 288 MB
6.3.4-t1-fail-a
Duration: 00:00:00.022 Memory: 566 MB
6.3.4-t1-fail-b
Duration: 00:00:00.015 Memory: 690 MB
6.3.4-t1-fail-c
Duration: 00:00:00.014 Memory: 236 MB
6.3.4-t1-fail-d
Duration: 00:00:00.013 Memory: 454 MB
6.3.4-t1-fail-e
Duration: 00:00:00.018 Memory: 602 MB
6.3.4-t1-fail-g
Duration: 00:00:00.011 Memory: 320 MB
6.3.4-t1-fail-h
Duration: 00:00:00.013 Memory: 542 MB
6.3.5-t1-fail-a
Duration: 00:00:00.011 Memory: 554 MB
6.3.5-t1-fail-b
Duration: 00:00:00.012 Memory: 410 MB
6.3.5-t1-fail-c
Duration: 00:00:00.014 Memory: 180 MB
6.3.5-t1-fail-d
Duration: 00:00:00.012 Memory: 654 MB
6.3.5-t2-fail-a
Duration: 00:00:00.007 Memory: 610 MB
6.3.5-t3-fail-a
Duration: 00:00:00.008 Memory: 352 MB
6.3.6-t1-fail-a
Duration: 00:00:00.017 Memory: 630 MB
6.3.6-t1-fail-b
Duration: 00:00:00.010 Memory: 207 MB
6.3.6-t1-fail-c
Duration: 00:00:00.018 Memory: 264 MB
6.3.7-t1-fail-a
Duration: 00:00:00.016 Memory: 662 MB
6.3.7-t2-fail-a
Duration: 00:00:00.013 Memory: 470 MB
6.3.7-t3-fail-a
Duration: 00:00:00.010 Memory: 203 MB
6.4-t1-fail-a
Duration: 00:00:00.020 Memory: 332 MB
6.4-t1-fail-b
Duration: 00:00:00.011 Memory: 482 MB
6.4-t2-fail-a
Duration: 00:00:00.016 Memory: 324 MB
6.4-t3-fail-a
Duration: 00:00:00.007 Memory: 300 MB
6.4-t4-fail-a
Duration: 00:00:00.007 Memory: 105 MB
6.4-t5-fail-a
Duration: 00:00:00.012 Memory: 598 MB
6.5.2-t1-fail-a
Duration: 00:00:00.013 Memory: 642 MB
6.5.2-t1-fail-b
Duration: 00:00:00.010 Memory: 191 MB
6.5.2-t1-fail-c
Duration: 00:00:00.009 Memory: 296 MB
6.5.2-t1-fail-d
Duration: 00:00:00.009 Memory: 450 MB
6.5.2-t1-fail-e
Duration: 00:00:00.028 Memory: 586 MB
6.5.2-t1-fail-f
Duration: 00:00:00.009 Memory: 244 MB
6.5.2-t1-fail-g
Duration: 00:00:00.011 Memory: 702 MB
6.5.2-t1-fail-h
Duration: 00:00:00.019 Memory: 534 MB
6.5.2-t2-fail-a
Duration: 00:00:00.041 Memory: 622 MB
6.5.2-t2-fail-b
Duration: 00:00:00.025 Memory: 188 MB
6.5.2-t2-fail-c
Duration: 00:00:00.037 Memory: 348 MB
6.5.3-t1-fail-a
Duration: 00:00:00.009 Memory: 216 MB
6.5.3-t2-fail-a
Duration: 00:00:00.022 Memory: 426 MB
6.5.3-t2-fail-b
Duration: 00:00:00.057 Memory: 582 MB
6.5.3-t2-fail-c
Duration: 00:00:00.015 Memory: 670 MB
6.5.3-t2-fail-d
Duration: 00:00:00.013 Memory: 212 MB
6.5.3-t2-fail-e
Duration: 00:00:00.019 Memory: 101 MB
6.5.3-t3-fail-a
Duration: 00:00:00.018 Memory: 718 MB
6.5.3-t3-fail-b
Duration: 00:00:00.025 Memory: 159 MB
6.5.3-t3-fail-c
Duration: 00:00:00.018 Memory: 284 MB
6.5.3-t3-fail-d
Duration: 00:00:00.015 Memory: 478 MB
6.5.3-t4-fail-a
Duration: 00:00:00.018 Memory: 498 MB
6.5.3-t4-fail-b
Duration: 00:00:00.015 Memory: 109 MB
6.5.3-t4-fail-c
Duration: 00:00:00.083 Memory: 312 MB
6.5.3-t4-fail-d
Duration: 00:00:00.011 Memory: 215 MB
6.6.1-t1-fail-a
Duration: 00:00:00.009 Memory: 494 MB
6.6.1-t1-fail-b
Duration: 00:00:00.011 Memory: 304 MB
6.6.1-t1-fail-c
Duration: 00:00:00.010 Memory: 175 MB
6.6.1-t1-fail-d
Duration: 00:00:00.013 Memory: 590 MB
6.6.1-t1-fail-e
Duration: 00:00:00.007 Memory: 438 MB
6.6.1-t1-fail-f
Duration: 00:00:00.039 Memory: 228 MB
6.6.1-t1-fail-g
Duration: 00:00:00.015 Memory: 686 MB
6.6.1-t1-fail-h
Duration: 00:00:00.009 Memory: 530 MB
6.6.1-t1-fail-i
Duration: 00:00:00.008 Memory: 340 MB
6.6.1-t2-fail-a
Duration: 00:00:00.006 Memory: 199 MB
6.6.1-t2-fail-b
Duration: 00:00:00.026 Memory: 208 MB
6.6.1-t2-fail-c
Duration: 00:00:00.016 Memory: 356 MB
6.6.1-t2-fail-d
Duration: 00:00:00.010 Memory: 574 MB
6.6.1-t2-fail-e
Duration: 00:00:00.012 Memory: 694 MB
6.6.1-t2-fail-f
Duration: 00:00:00.007 Memory: 163 MB
6.6.1-t2-fail-g
Duration: 00:00:00.011 Memory: 590 MB
6.6.1-t2-fail-h
Duration: 00:00:00.011 Memory: 486 MB
6.6.1-t2-fail-i
Duration: 00:00:00.007 Memory: 324 MB
6.6.1-t3-fail-a
Duration: 00:00:00.009 Memory: 462 MB
6.6.1-t3-fail-b
Duration: 00:00:00.007 Memory: 272 MB
6.6.1-t3-fail-c
Duration: 00:00:00.014 Memory: 578 MB
6.6.1-t3-fail-d
Duration: 00:00:00.011 Memory: 698 MB
6.6.1-t3-fail-e
Duration: 00:00:00.014 Memory: 196 MB
6.6.1-t3-fail-f
Duration: 00:00:00.007 Memory: 336 MB
6.6.1-t3-fail-g
Duration: 00:00:00.026 Memory: 638 MB
6.6.1-t3-fail-h
Duration: 00:00:00.006 Memory: 187 MB
6.6.1-t3-fail-i
Duration: 00:00:00.007 Memory: 284 MB
6.6.1-t4-fail-a
Duration: 00:00:00.023 Memory: 240 MB
6.6.1-t4-fail-b
Duration: 00:00:00.011 Memory: 714 MB
6.6.1-t4-fail-c
Duration: 00:00:00.011 Memory: 562 MB
6.6.1-t4-fail-d
Duration: 00:00:00.020 Memory: 458 MB
6.6.1-t4-fail-e
Duration: 00:00:00.030 Memory: 268 MB
6.6.1-t4-fail-f
Duration: 00:00:00.006 Memory: 219 MB
6.6.1-t4-fail-g
Duration: 00:00:00.011 Memory: 626 MB
6.6.1-t4-fail-h
Duration: 00:00:00.013 Memory: 176 MB
6.6.1-t4-fail-i
Duration: 00:00:00.007 Memory: 344 MB
6.6.2-t1-fail-a
Duration: 00:00:00.036 Memory: 422 MB
6.7.2-t1-fail-a
Duration: 00:00:00.005 Memory: 734 MB
6.7.2-t2-fail-a
Duration: 00:00:00.008 Memory: 494 MB
6.7.2-t2-fail-b
Duration: 00:00:00.009 Memory: 638 MB
6.7.2-t2-fail-c
Duration: 00:00:00.006 Memory: 179 MB
6.7.2-t3-fail-a
Duration: 00:00:00.005 Memory: 195 MB
6.7.3-t1-fail-a
Duration: 00:00:00.006 Memory: 105 MB
6.7.3-t1-fail-b
Duration: 00:00:00.011 Memory: 510 MB
6.7.3-t1-fail-c
Duration: 00:00:00.012 Memory: 714 MB
6.7.5-t1-fail-a
Duration: 00:00:00.006 Memory: 167 MB
6.7.5-t2-fail-a
Duration: 00:00:00.006 Memory: 340 MB
6.7.8-t1-fail-a
Duration: 00:00:00.013 Memory: 646 MB
6.7.8-t2-fail-a
Duration: 00:00:00.008 Memory: 530 MB
6.7.8-t2-fail-b
Duration: 00:00:00.011 Memory: 682 MB
6.7.8-t2-fail-c
Duration: 00:00:00.007 Memory: 220 MB
6.7.8-t2-fail-d
Duration: 00:00:00.008 Memory: 434 MB
6.7.8-t2-fail-e
Duration: 00:00:00.009 Memory: 446 MB
6.7.8-t2-fail-f
Duration: 00:00:00.012 Memory: 292 MB
6.7.8-t2-fail-g
Duration: 00:00:00.006 Memory: 195 MB
6.7.8-t2-fail-h
Duration: 00:00:00.009 Memory: 650 MB
6.7.8-t2-fail-i
Duration: 00:00:00.005 Memory: 360 MB
6.7.8-t2-fail-j
Duration: 00:00:00.026 Memory: 212 MB
6.7.8-t2-fail-k
Duration: 00:00:00.010 Memory: 666 MB
6.7.9-t1-fail-a
Duration: 00:00:00.005 Memory: 328 MB
6.7.11-t1-fail-a
Duration: 00:00:00.005 Memory: 211 MB
6.7.11-t1-fail-b
Duration: 00:00:00.013 Memory: 646 MB
6.7.11-t1-fail-c
Duration: 00:00:00.008 Memory: 474 MB
6.7.11-t1-fail-d
Duration: 00:00:00.005 Memory: 204 MB
6.9-t1-fail-a
Duration: 00:00:00.012 Memory: 192 MB
6.9-t2-fail-a
Duration: 00:00:00.020 Memory: 726 MB
6.9-t2-fail-b
Duration: 00:00:00.028 Memory: 570 MB
6.3.4-t1-fail-f
Duration: 00:00:00.015 Memory: 227 MB