Isartor-1b Corpus Results : Fri Jul 25 19:48:30 UTC 2025

VeraPDF Foundry v1.29.88

Dependencies

validation-model-arlington v1.29.88-Fri Jul 25 19:44:00 UTC 2025

core-arlington v1.29.34-Fri Jul 25 14:53:00 UTC 2025

6.1.2-t1-fail-a
Duration: 00:00:00.005 Memory: 593 MB
6.1.2-t2-fail-a
Duration: 00:00:00.005 Memory: 505 MB
6.1.3-t1-fail-a
Duration: 00:00:00.004 Memory: 513 MB
6.1.3-t2-fail-a
Duration: 00:00:00.069 Memory: 417 MB
6.1.3-t3-fail-a
Duration: 00:00:00.004 Memory: 621 MB
6.1.3-t4-fail-a
Duration: 00:00:00.005 Memory: 329 MB
6.1.4-t1-fail-a
Duration: 00:00:00.011 Memory: 341 MB
6.1.4-t2-fail-a
Duration: 00:00:00.004 Memory: 573 MB
6.1.6-t1-fail-a
Duration: 00:00:00.007 Memory: 478 MB
6.1.7-t1-fail-a
Duration: 00:00:00.006 Memory: 538 MB
6.1.7-t2-fail-a
Duration: 00:00:00.004 Memory: 514 MB
6.1.7-t3-fail-a
Duration: 00:00:00.006 Memory: 513 MB
6.1.7-t4-fail-a
Duration: 00:00:00.005 Memory: 413 MB
6.1.7-t4-fail-b
Duration: 00:00:00.006 Memory: 609 MB
6.1.7-t4-fail-c
Duration: 00:00:00.011 Memory: 434 MB
6.1.8-t1-fail-a
Duration: 00:00:00.004 Memory: 126 MB
6.1.8-t2-fail-a
Duration: 00:00:00.004 Memory: 369 MB
6.1.8-t3-fail-a
Duration: 00:00:00.005 Memory: 178 MB
6.1.8-t4-fail-a
Duration: 00:00:00.004 Memory: 349 MB
6.1.8-t5-fail-a
Duration: 00:00:00.004 Memory: 569 MB
6.1.8-t6-fail-a
Duration: 00:00:00.003 Memory: 457 MB
6.1.10-t1-fail-a
Duration: 00:00:00.010 Memory: 110 MB
6.1.10-t1-fail-b
Duration: 00:00:00.005 Memory: 505 MB
6.1.10-t1-fail-c
Duration: 00:00:00.025 Memory: 365 MB
6.1.11-t1-fail-a
Duration: 00:00:00.006 Memory: 577 MB
6.1.11-t2-fail-a
Duration: 00:00:00.005 Memory: 449 MB
6.1.12-t1-fail-a
Duration: 00:00:04.284 Memory: 305 MB
6.1.12-t1-fail-b
Duration: 00:00:00.006 Memory: 457 MB
6.1.12-t1-fail-c
Duration: 00:00:00.006 Memory: 585 MB
6.1.12-t1-fail-d
Duration: 00:00:00.012 Memory: 390 MB
6.1.13-t1-fail-a
Duration: 00:00:00.005 Memory: 138 MB
6.2.2-t1-fail-a
Duration: 00:00:00.004 Memory: 377 MB
6.2.2-t2-fail-a
Duration: 00:00:00.004 Memory: 130 MB
6.2.2-t2-fail-b
Duration: 00:00:00.040 Memory: 490 MB
6.2.2-t3-fail-a
Duration: 00:00:00.007 Memory: 458 MB
6.2.3.3-t1-fail-a
Duration: 00:00:00.004 Memory: 142 MB
6.2.3.3-t2-fail-a
Duration: 00:00:00.004 Memory: 385 MB
6.2.3.3-t2-fail-b
Duration: 00:00:00.009 Memory: 390 MB
6.2.3.3-t2-fail-c
Duration: 00:00:00.005 Memory: 573 MB
6.2.3.3-t2-fail-d
Duration: 00:00:00.007 Memory: 445 MB
6.2.3.3-t2-fail-e
Duration: 00:00:00.006 Memory: 313 MB
6.2.3.3-t2-fail-f
Duration: 00:00:00.006 Memory: 470 MB
6.2.3.3-t2-fail-g
Duration: 00:00:00.031 Memory: 493 MB
6.2.3.3-t2-fail-h
Duration: 00:00:00.005 Memory: 134 MB
6.2.3.3-t2-fail-i
Duration: 00:00:00.006 Memory: 522 MB
6.2.3.3-t2-fail-j
Duration: 00:00:00.006 Memory: 389 MB
6.2.3.3-t3-fail-a
Duration: 00:00:00.003 Memory: 166 MB
6.2.3.3-t3-fail-b
Duration: 00:00:00.007 Memory: 498 MB
6.2.3.3-t3-fail-c
Duration: 00:00:00.004 Memory: 445 MB
6.2.3.3-t3-fail-d
Duration: 00:00:00.006 Memory: 333 MB
6.2.3.3-t3-fail-e
Duration: 00:00:00.007 Memory: 386 MB
6.2.3.3-t4-fail-a
Duration: 00:00:00.006 Memory: 365 MB
6.2.3.3-t4-fail-b
Duration: 00:00:00.005 Memory: 509 MB
6.2.3.3-t4-fail-c
Duration: 00:00:00.005 Memory: 473 MB
6.2.3.3-t4-fail-d
Duration: 00:00:00.025 Memory: 629 MB
6.2.3.3-t5-fail-a
Duration: 00:00:00.010 Memory: 577 MB
6.2.3.3-t5-fail-b
Duration: 00:00:00.005 Memory: 405 MB
6.2.3.4-t1-fail-a
Duration: 00:00:00.006 Memory: 418 MB
6.2.3.4-t1-fail-b
Duration: 00:00:00.005 Memory: 317 MB
6.2.4-t1-fail-a
Duration: 00:00:00.018 Memory: 414 MB
6.2.4-t2-fail-a
Duration: 00:00:00.006 Memory: 122 MB
6.2.4-t3-fail-a
Duration: 00:00:00.010 Memory: 309 MB
6.2.4-t4-fail-a
Duration: 00:00:00.007 Memory: 421 MB
6.2.5-t1-fail-a
Duration: 00:00:00.060 Memory: 557 MB
6.2.6-t1-fail-a
Duration: 00:00:00.018 Memory: 605 MB
6.2.7-t1-fail-a
Duration: 00:00:00.038 Memory: 321 MB
6.2.7-t2-fail-a
Duration: 00:00:00.013 Memory: 437 MB
6.2.8-t1-fail-a
Duration: 00:00:00.008 Memory: 521 MB
6.2.8-t1-fail-b
Duration: 00:00:00.031 Memory: 446 MB
6.2.8-t1-fail-c
Duration: 00:00:00.010 Memory: 341 MB
6.2.8-t1-fail-d
Duration: 00:00:00.005 Memory: 409 MB
6.2.8-t2-fail-a
Duration: 00:00:00.026 Memory: 498 MB
6.2.8-t2-fail-b
Duration: 00:00:00.006 Memory: 629 MB
6.2.8-t2-fail-c
Duration: 00:00:00.026 Memory: 106 MB
6.2.9-t1-fail-a
Duration: 00:00:00.004 Memory: 474 MB
6.2.10-t1-fail-a
Duration: 00:00:00.004 Memory: 470 MB
6.2.10-t1-fail-b
Duration: 00:00:00.008 Memory: 337 MB
6.2.10-t1-fail-c
Duration: 00:00:00.006 Memory: 441 MB
6.3.2-t1-fail-a
Duration: 00:00:00.013 Memory: 474 MB
6.3.2-t1-fail-b
Duration: 00:00:00.010 Memory: 605 MB
6.3.2-t1-fail-c
Duration: 00:00:00.010 Memory: 425 MB
6.3.3.1-t1-fail-a
Duration: 00:00:00.014 Memory: 466 MB
6.3.3.1-t1-fail-b
Duration: 00:00:00.009 Memory: 110 MB
6.3.3.2-t1-fail-a
Duration: 00:00:00.013 Memory: 401 MB
6.3.3.3-t1-fail-a
Duration: 00:00:00.008 Memory: 533 MB
6.3.3.3-t2-fail-a
Duration: 00:00:00.013 Memory: 510 MB
6.3.4-t1-fail-a
Duration: 00:00:00.006 Memory: 465 MB
6.3.4-t1-fail-b
Duration: 00:00:00.010 Memory: 589 MB
6.3.4-t1-fail-c
Duration: 00:00:00.015 Memory: 454 MB
6.3.4-t1-fail-d
Duration: 00:00:00.021 Memory: 353 MB
6.3.4-t1-fail-e
Duration: 00:00:00.010 Memory: 501 MB
6.3.4-t1-fail-g
Duration: 00:00:00.014 Memory: 538 MB
6.3.4-t1-fail-h
Duration: 00:00:00.010 Memory: 441 MB
6.3.5-t1-fail-a
Duration: 00:00:00.007 Memory: 453 MB
6.3.5-t1-fail-b
Duration: 00:00:00.012 Memory: 309 MB
6.3.5-t1-fail-c
Duration: 00:00:00.015 Memory: 398 MB
6.3.5-t1-fail-d
Duration: 00:00:00.007 Memory: 553 MB
6.3.5-t2-fail-a
Duration: 00:00:00.020 Memory: 509 MB
6.3.5-t3-fail-a
Duration: 00:00:00.012 Memory: 574 MB
6.3.6-t1-fail-a
Duration: 00:00:00.008 Memory: 529 MB
6.3.6-t1-fail-b
Duration: 00:00:00.009 Memory: 162 MB
6.3.6-t1-fail-c
Duration: 00:00:00.029 Memory: 482 MB
6.3.7-t1-fail-a
Duration: 00:00:00.014 Memory: 561 MB
6.3.7-t2-fail-a
Duration: 00:00:00.007 Memory: 369 MB
6.3.7-t3-fail-a
Duration: 00:00:00.008 Memory: 158 MB
6.4-t1-fail-a
Duration: 00:00:00.023 Memory: 550 MB
6.4-t1-fail-b
Duration: 00:00:00.007 Memory: 381 MB
6.4-t2-fail-a
Duration: 00:00:00.008 Memory: 542 MB
6.4-t3-fail-a
Duration: 00:00:00.006 Memory: 518 MB
6.4-t4-fail-a
Duration: 00:00:00.008 Memory: 586 MB
6.4-t5-fail-a
Duration: 00:00:00.006 Memory: 497 MB
6.5.2-t1-fail-a
Duration: 00:00:00.029 Memory: 541 MB
6.5.2-t1-fail-b
Duration: 00:00:00.008 Memory: 150 MB
6.5.2-t1-fail-c
Duration: 00:00:00.009 Memory: 514 MB
6.5.2-t1-fail-d
Duration: 00:00:00.028 Memory: 349 MB
6.5.2-t1-fail-e
Duration: 00:00:00.006 Memory: 485 MB
6.5.2-t1-fail-f
Duration: 00:00:00.071 Memory: 462 MB
6.5.2-t1-fail-g
Duration: 00:00:00.007 Memory: 601 MB
6.5.2-t1-fail-h
Duration: 00:00:00.008 Memory: 433 MB
6.5.2-t2-fail-a
Duration: 00:00:00.034 Memory: 521 MB
6.5.2-t2-fail-b
Duration: 00:00:00.028 Memory: 402 MB
6.5.2-t2-fail-c
Duration: 00:00:00.043 Memory: 570 MB
6.5.3-t1-fail-a
Duration: 00:00:00.012 Memory: 434 MB
6.5.3-t2-fail-a
Duration: 00:00:00.011 Memory: 325 MB
6.5.3-t2-fail-b
Duration: 00:00:00.008 Memory: 481 MB
6.5.3-t2-fail-c
Duration: 00:00:00.009 Memory: 569 MB
6.5.3-t2-fail-d
Duration: 00:00:00.012 Memory: 426 MB
6.5.3-t2-fail-e
Duration: 00:00:00.012 Memory: 582 MB
6.5.3-t3-fail-a
Duration: 00:00:00.011 Memory: 617 MB
6.5.3-t3-fail-b
Duration: 00:00:00.015 Memory: 114 MB
6.5.3-t3-fail-c
Duration: 00:00:00.014 Memory: 506 MB
6.5.3-t3-fail-d
Duration: 00:00:00.012 Memory: 377 MB
6.5.3-t4-fail-a
Duration: 00:00:00.011 Memory: 397 MB
6.5.3-t4-fail-b
Duration: 00:00:00.019 Memory: 594 MB
6.5.3-t4-fail-c
Duration: 00:00:00.079 Memory: 534 MB
6.5.3-t4-fail-d
Duration: 00:00:00.012 Memory: 170 MB
6.6.1-t1-fail-a
Duration: 00:00:00.009 Memory: 393 MB
6.6.1-t1-fail-b
Duration: 00:00:00.009 Memory: 522 MB
6.6.1-t1-fail-c
Duration: 00:00:00.007 Memory: 130 MB
6.6.1-t1-fail-d
Duration: 00:00:00.015 Memory: 489 MB
6.6.1-t1-fail-e
Duration: 00:00:00.008 Memory: 337 MB
6.6.1-t1-fail-f
Duration: 00:00:00.029 Memory: 442 MB
6.6.1-t1-fail-g
Duration: 00:00:00.014 Memory: 585 MB
6.6.1-t1-fail-h
Duration: 00:00:00.006 Memory: 429 MB
6.6.1-t1-fail-i
Duration: 00:00:00.009 Memory: 558 MB
6.6.1-t2-fail-a
Duration: 00:00:00.006 Memory: 154 MB
6.6.1-t2-fail-b
Duration: 00:00:00.025 Memory: 422 MB
6.6.1-t2-fail-c
Duration: 00:00:00.026 Memory: 578 MB
6.6.1-t2-fail-d
Duration: 00:00:00.007 Memory: 477 MB
6.6.1-t2-fail-e
Duration: 00:00:00.007 Memory: 593 MB
6.6.1-t2-fail-f
Duration: 00:00:00.006 Memory: 118 MB
6.6.1-t2-fail-g
Duration: 00:00:00.007 Memory: 489 MB
6.6.1-t2-fail-h
Duration: 00:00:00.007 Memory: 385 MB
6.6.1-t2-fail-i
Duration: 00:00:00.008 Memory: 546 MB
6.6.1-t3-fail-a
Duration: 00:00:00.007 Memory: 361 MB
6.6.1-t3-fail-b
Duration: 00:00:00.020 Memory: 494 MB
6.6.1-t3-fail-c
Duration: 00:00:00.008 Memory: 477 MB
6.6.1-t3-fail-d
Duration: 00:00:00.007 Memory: 597 MB
6.6.1-t3-fail-e
Duration: 00:00:00.015 Memory: 410 MB
6.6.1-t3-fail-f
Duration: 00:00:00.009 Memory: 554 MB
6.6.1-t3-fail-g
Duration: 00:00:00.020 Memory: 537 MB
6.6.1-t3-fail-h
Duration: 00:00:00.004 Memory: 142 MB
6.6.1-t3-fail-i
Duration: 00:00:00.009 Memory: 502 MB
6.6.1-t4-fail-a
Duration: 00:00:00.034 Memory: 458 MB
6.6.1-t4-fail-b
Duration: 00:00:00.006 Memory: 613 MB
6.6.1-t4-fail-c
Duration: 00:00:00.008 Memory: 461 MB
6.6.1-t4-fail-d
Duration: 00:00:00.031 Memory: 357 MB
6.6.1-t4-fail-e
Duration: 00:00:00.046 Memory: 486 MB
6.6.1-t4-fail-f
Duration: 00:00:00.006 Memory: 174 MB
6.6.1-t4-fail-g
Duration: 00:00:00.006 Memory: 525 MB
6.6.1-t4-fail-h
Duration: 00:00:00.015 Memory: 394 MB
6.6.1-t4-fail-i
Duration: 00:00:00.008 Memory: 562 MB
6.6.2-t1-fail-a
Duration: 00:00:00.031 Memory: 321 MB
6.7.2-t1-fail-a
Duration: 00:00:00.007 Memory: 633 MB
6.7.2-t2-fail-a
Duration: 00:00:00.005 Memory: 393 MB
6.7.2-t2-fail-b
Duration: 00:00:00.017 Memory: 537 MB
6.7.2-t2-fail-c
Duration: 00:00:00.005 Memory: 134 MB
6.7.2-t3-fail-a
Duration: 00:00:00.005 Memory: 154 MB
6.7.3-t1-fail-a
Duration: 00:00:00.029 Memory: 586 MB
6.7.3-t1-fail-b
Duration: 00:00:00.005 Memory: 409 MB
6.7.3-t1-fail-c
Duration: 00:00:00.010 Memory: 613 MB
6.7.5-t1-fail-a
Duration: 00:00:00.004 Memory: 122 MB
6.7.5-t2-fail-a
Duration: 00:00:00.007 Memory: 558 MB
6.7.8-t1-fail-a
Duration: 00:00:00.006 Memory: 545 MB
6.7.8-t2-fail-a
Duration: 00:00:00.007 Memory: 429 MB
6.7.8-t2-fail-b
Duration: 00:00:00.008 Memory: 581 MB
6.7.8-t2-fail-c
Duration: 00:00:00.009 Memory: 438 MB
6.7.8-t2-fail-d
Duration: 00:00:00.005 Memory: 333 MB
6.7.8-t2-fail-e
Duration: 00:00:00.007 Memory: 345 MB
6.7.8-t2-fail-f
Duration: 00:00:00.006 Memory: 510 MB
6.7.8-t2-fail-g
Duration: 00:00:00.005 Memory: 150 MB
6.7.8-t2-fail-h
Duration: 00:00:00.022 Memory: 549 MB
6.7.8-t2-fail-i
Duration: 00:00:00.009 Memory: 578 MB
6.7.8-t2-fail-j
Duration: 00:00:00.009 Memory: 430 MB
6.7.8-t2-fail-k
Duration: 00:00:00.005 Memory: 565 MB
6.7.9-t1-fail-a
Duration: 00:00:00.006 Memory: 546 MB
6.7.11-t1-fail-a
Duration: 00:00:00.006 Memory: 166 MB
6.7.11-t1-fail-b
Duration: 00:00:00.011 Memory: 545 MB
6.7.11-t1-fail-c
Duration: 00:00:00.005 Memory: 373 MB
6.7.11-t1-fail-d
Duration: 00:00:00.007 Memory: 418 MB
6.9-t1-fail-a
Duration: 00:00:00.015 Memory: 406 MB
6.9-t2-fail-a
Duration: 00:00:00.036 Memory: 625 MB
6.9-t2-fail-b
Duration: 00:00:00.034 Memory: 469 MB
6.3.4-t1-fail-f
Duration: 00:00:00.031 Memory: 182 MB