Isartor-1b Corpus Results : Fri Sep 12 18:24:40 UTC 2025

VeraPDF Foundry v1.29.145

Dependencies

validation-model-arlington v1.29.145-Fri Sep 12 18:22:00 UTC 2025

core-arlington v1.29.42-Wed Sep 10 20:23:00 UTC 2025

6.1.2-t1-fail-a
Duration: 00:00:00.003 Memory: 385 MB
6.1.2-t2-fail-a
Duration: 00:00:00.005 Memory: 297 MB
6.1.3-t1-fail-a
Duration: 00:00:00.004 Memory: 305 MB
6.1.3-t2-fail-a
Duration: 00:00:00.064 Memory: 209 MB
6.1.3-t3-fail-a
Duration: 00:00:00.004 Memory: 409 MB
6.1.3-t4-fail-a
Duration: 00:00:00.006 Memory: 500 MB
6.1.4-t1-fail-a
Duration: 00:00:00.004 Memory: 516 MB
6.1.4-t2-fail-a
Duration: 00:00:00.003 Memory: 365 MB
6.1.6-t1-fail-a
Duration: 00:00:00.004 Memory: 451 MB
6.1.7-t1-fail-a
Duration: 00:00:00.006 Memory: 511 MB
6.1.7-t2-fail-a
Duration: 00:00:00.004 Memory: 487 MB
6.1.7-t3-fail-a
Duration: 00:00:00.005 Memory: 301 MB
6.1.7-t4-fail-a
Duration: 00:00:00.006 Memory: 201 MB
6.1.7-t4-fail-b
Duration: 00:00:00.005 Memory: 401 MB
6.1.7-t4-fail-c
Duration: 00:00:00.006 Memory: 411 MB
6.1.8-t1-fail-a
Duration: 00:00:00.003 Memory: 445 MB
6.1.8-t2-fail-a
Duration: 00:00:00.006 Memory: 161 MB
6.1.8-t3-fail-a
Duration: 00:00:00.003 Memory: 154 MB
6.1.8-t4-fail-a
Duration: 00:00:00.004 Memory: 520 MB
6.1.8-t5-fail-a
Duration: 00:00:00.004 Memory: 361 MB
6.1.8-t6-fail-a
Duration: 00:00:00.004 Memory: 249 MB
6.1.10-t1-fail-a
Duration: 00:00:00.007 Memory: 433 MB
6.1.10-t1-fail-b
Duration: 00:00:00.008 Memory: 293 MB
6.1.10-t1-fail-c
Duration: 00:00:00.019 Memory: 536 MB
6.1.11-t1-fail-a
Duration: 00:00:00.005 Memory: 365 MB
6.1.11-t2-fail-a
Duration: 00:00:00.007 Memory: 241 MB
6.1.12-t1-fail-a
Duration: 00:00:03.574 Memory: 476 MB
6.1.12-t1-fail-b
Duration: 00:00:00.007 Memory: 245 MB
6.1.12-t1-fail-c
Duration: 00:00:00.006 Memory: 377 MB
6.1.12-t1-fail-d
Duration: 00:00:00.012 Memory: 363 MB
6.1.13-t1-fail-a
Duration: 00:00:00.010 Memory: 461 MB
6.2.2-t1-fail-a
Duration: 00:00:00.006 Memory: 165 MB
6.2.2-t2-fail-a
Duration: 00:00:00.003 Memory: 453 MB
6.2.2-t2-fail-b
Duration: 00:00:00.006 Memory: 463 MB
6.2.2-t3-fail-a
Duration: 00:00:00.006 Memory: 435 MB
6.2.3.3-t1-fail-a
Duration: 00:00:00.005 Memory: 461 MB
6.2.3.3-t2-fail-a
Duration: 00:00:00.005 Memory: 173 MB
6.2.3.3-t2-fail-b
Duration: 00:00:00.007 Memory: 363 MB
6.2.3.3-t2-fail-c
Duration: 00:00:00.005 Memory: 361 MB
6.2.3.3-t2-fail-d
Duration: 00:00:00.008 Memory: 233 MB
6.2.3.3-t2-fail-e
Duration: 00:00:00.010 Memory: 484 MB
6.2.3.3-t2-fail-f
Duration: 00:00:00.009 Memory: 443 MB
6.2.3.3-t2-fail-g
Duration: 00:00:00.033 Memory: 285 MB
6.2.3.3-t2-fail-h
Duration: 00:00:00.005 Memory: 453 MB
6.2.3.3-t2-fail-i
Duration: 00:00:00.012 Memory: 495 MB
6.2.3.3-t2-fail-j
Duration: 00:00:00.008 Memory: 177 MB
6.2.3.3-t3-fail-a
Duration: 00:00:00.004 Memory: 489 MB
6.2.3.3-t3-fail-b
Duration: 00:00:00.006 Memory: 471 MB
6.2.3.3-t3-fail-c
Duration: 00:00:00.006 Memory: 237 MB
6.2.3.3-t3-fail-d
Duration: 00:00:00.007 Memory: 504 MB
6.2.3.3-t3-fail-e
Duration: 00:00:00.013 Memory: 359 MB
6.2.3.3-t4-fail-a
Duration: 00:00:00.005 Memory: 536 MB
6.2.3.3-t4-fail-b
Duration: 00:00:00.006 Memory: 297 MB
6.2.3.3-t4-fail-c
Duration: 00:00:00.006 Memory: 261 MB
6.2.3.3-t4-fail-d
Duration: 00:00:00.004 Memory: 421 MB
6.2.3.3-t5-fail-a
Duration: 00:00:00.007 Memory: 369 MB
6.2.3.3-t5-fail-b
Duration: 00:00:00.007 Memory: 193 MB
6.2.3.4-t1-fail-a
Duration: 00:00:00.009 Memory: 391 MB
6.2.3.4-t1-fail-b
Duration: 00:00:00.005 Memory: 488 MB
6.2.4-t1-fail-a
Duration: 00:00:00.020 Memory: 387 MB
6.2.4-t2-fail-a
Duration: 00:00:00.006 Memory: 441 MB
6.2.4-t3-fail-a
Duration: 00:00:00.008 Memory: 480 MB
6.2.4-t4-fail-a
Duration: 00:00:00.009 Memory: 209 MB
6.2.5-t1-fail-a
Duration: 00:00:00.042 Memory: 349 MB
6.2.6-t1-fail-a
Duration: 00:00:00.015 Memory: 397 MB
6.2.7-t1-fail-a
Duration: 00:00:00.029 Memory: 492 MB
6.2.7-t2-fail-a
Duration: 00:00:00.005 Memory: 225 MB
6.2.8-t1-fail-a
Duration: 00:00:00.010 Memory: 313 MB
6.2.8-t1-fail-b
Duration: 00:00:00.023 Memory: 423 MB
6.2.8-t1-fail-c
Duration: 00:00:00.005 Memory: 512 MB
6.2.8-t1-fail-d
Duration: 00:00:00.006 Memory: 197 MB
6.2.8-t2-fail-a
Duration: 00:00:00.027 Memory: 467 MB
6.2.8-t2-fail-b
Duration: 00:00:00.007 Memory: 417 MB
6.2.8-t2-fail-c
Duration: 00:00:00.005 Memory: 425 MB
6.2.9-t1-fail-a
Duration: 00:00:00.005 Memory: 447 MB
6.2.10-t1-fail-a
Duration: 00:00:00.004 Memory: 443 MB
6.2.10-t1-fail-b
Duration: 00:00:00.005 Memory: 512 MB
6.2.10-t1-fail-c
Duration: 00:00:00.006 Memory: 233 MB
6.3.2-t1-fail-a
Duration: 00:00:00.008 Memory: 451 MB
6.3.2-t1-fail-b
Duration: 00:00:00.009 Memory: 393 MB
6.3.2-t1-fail-c
Duration: 00:00:00.011 Memory: 213 MB
6.3.3.1-t1-fail-a
Duration: 00:00:00.012 Memory: 439 MB
6.3.3.1-t1-fail-b
Duration: 00:00:00.009 Memory: 429 MB
6.3.3.2-t1-fail-a
Duration: 00:00:00.014 Memory: 193 MB
6.3.3.3-t1-fail-a
Duration: 00:00:00.008 Memory: 325 MB
6.3.3.3-t2-fail-a
Duration: 00:00:00.010 Memory: 483 MB
6.3.4-t1-fail-a
Duration: 00:00:00.009 Memory: 253 MB
6.3.4-t1-fail-b
Duration: 00:00:00.007 Memory: 381 MB
6.3.4-t1-fail-c
Duration: 00:00:00.011 Memory: 427 MB
6.3.4-t1-fail-d
Duration: 00:00:00.007 Memory: 528 MB
6.3.4-t1-fail-e
Duration: 00:00:00.012 Memory: 293 MB
6.3.4-t1-fail-g
Duration: 00:00:00.011 Memory: 511 MB
6.3.4-t1-fail-h
Duration: 00:00:00.011 Memory: 229 MB
6.3.5-t1-fail-a
Duration: 00:00:00.008 Memory: 241 MB
6.3.5-t1-fail-b
Duration: 00:00:00.010 Memory: 484 MB
6.3.5-t1-fail-c
Duration: 00:00:00.014 Memory: 371 MB
6.3.5-t1-fail-d
Duration: 00:00:00.007 Memory: 341 MB
6.3.5-t2-fail-a
Duration: 00:00:00.008 Memory: 301 MB
6.3.5-t3-fail-a
Duration: 00:00:00.009 Memory: 124 MB
6.3.6-t1-fail-a
Duration: 00:00:00.013 Memory: 321 MB
6.3.6-t1-fail-b
Duration: 00:00:00.008 Memory: 485 MB
6.3.6-t1-fail-c
Duration: 00:00:00.013 Memory: 455 MB
6.3.7-t1-fail-a
Duration: 00:00:00.011 Memory: 353 MB
6.3.7-t2-fail-a
Duration: 00:00:00.037 Memory: 157 MB
6.3.7-t3-fail-a
Duration: 00:00:00.007 Memory: 481 MB
6.4-t1-fail-a
Duration: 00:00:00.020 Memory: 523 MB
6.4-t1-fail-b
Duration: 00:00:00.008 Memory: 173 MB
6.4-t2-fail-a
Duration: 00:00:00.007 Memory: 515 MB
6.4-t3-fail-a
Duration: 00:00:00.006 Memory: 491 MB
6.4-t4-fail-a
Duration: 00:00:00.006 Memory: 136 MB
6.4-t5-fail-a
Duration: 00:00:00.008 Memory: 285 MB
6.5.2-t1-fail-a
Duration: 00:00:00.007 Memory: 333 MB
6.5.2-t1-fail-b
Duration: 00:00:00.008 Memory: 469 MB
6.5.2-t1-fail-c
Duration: 00:00:00.007 Memory: 487 MB
6.5.2-t1-fail-d
Duration: 00:00:00.007 Memory: 524 MB
6.5.2-t1-fail-e
Duration: 00:00:00.007 Memory: 273 MB
6.5.2-t1-fail-f
Duration: 00:00:00.012 Memory: 435 MB
6.5.2-t1-fail-g
Duration: 00:00:00.006 Memory: 389 MB
6.5.2-t1-fail-h
Duration: 00:00:00.007 Memory: 221 MB
6.5.2-t2-fail-a
Duration: 00:00:00.047 Memory: 309 MB
6.5.2-t2-fail-b
Duration: 00:00:00.031 Memory: 375 MB
6.5.2-t2-fail-c
Duration: 00:00:00.037 Memory: 120 MB
6.5.3-t1-fail-a
Duration: 00:00:00.010 Memory: 407 MB
6.5.3-t2-fail-a
Duration: 00:00:00.010 Memory: 500 MB
6.5.3-t2-fail-b
Duration: 00:00:00.010 Memory: 273 MB
6.5.3-t2-fail-c
Duration: 00:00:00.010 Memory: 357 MB
6.5.3-t2-fail-d
Duration: 00:00:00.010 Memory: 403 MB
6.5.3-t2-fail-e
Duration: 00:00:00.010 Memory: 132 MB
6.5.3-t3-fail-a
Duration: 00:00:00.011 Memory: 409 MB
6.5.3-t3-fail-b
Duration: 00:00:00.016 Memory: 437 MB
6.5.3-t3-fail-c
Duration: 00:00:00.013 Memory: 479 MB
6.5.3-t3-fail-d
Duration: 00:00:00.015 Memory: 169 MB
6.5.3-t4-fail-a
Duration: 00:00:00.014 Memory: 189 MB
6.5.3-t4-fail-b
Duration: 00:00:00.015 Memory: 144 MB
6.5.3-t4-fail-c
Duration: 00:00:00.064 Memory: 507 MB
6.5.3-t4-fail-d
Duration: 00:00:00.015 Memory: 493 MB
6.6.1-t1-fail-a
Duration: 00:00:00.008 Memory: 181 MB
6.6.1-t1-fail-b
Duration: 00:00:00.007 Memory: 495 MB
6.6.1-t1-fail-c
Duration: 00:00:00.007 Memory: 449 MB
6.6.1-t1-fail-d
Duration: 00:00:00.007 Memory: 277 MB
6.6.1-t1-fail-e
Duration: 00:00:00.007 Memory: 508 MB
6.6.1-t1-fail-f
Duration: 00:00:00.020 Memory: 419 MB
6.6.1-t1-fail-g
Duration: 00:00:00.006 Memory: 373 MB
6.6.1-t1-fail-h
Duration: 00:00:00.007 Memory: 221 MB
6.6.1-t1-fail-i
Duration: 00:00:00.007 Memory: 108 MB
6.6.1-t2-fail-a
Duration: 00:00:00.005 Memory: 477 MB
6.6.1-t2-fail-b
Duration: 00:00:00.019 Memory: 399 MB
6.6.1-t2-fail-c
Duration: 00:00:00.017 Memory: 128 MB
6.6.1-t2-fail-d
Duration: 00:00:00.007 Memory: 265 MB
6.6.1-t2-fail-e
Duration: 00:00:00.006 Memory: 385 MB
6.6.1-t2-fail-f
Duration: 00:00:00.005 Memory: 437 MB
6.6.1-t2-fail-g
Duration: 00:00:00.006 Memory: 281 MB
6.6.1-t2-fail-h
Duration: 00:00:00.007 Memory: 177 MB
6.6.1-t2-fail-i
Duration: 00:00:00.006 Memory: 519 MB
6.6.1-t3-fail-a
Duration: 00:00:00.007 Memory: 532 MB
6.6.1-t3-fail-b
Duration: 00:00:00.010 Memory: 467 MB
6.6.1-t3-fail-c
Duration: 00:00:00.010 Memory: 269 MB
6.6.1-t3-fail-d
Duration: 00:00:00.005 Memory: 389 MB
6.6.1-t3-fail-e
Duration: 00:00:00.014 Memory: 383 MB
6.6.1-t3-fail-f
Duration: 00:00:00.043 Memory: 104 MB
6.6.1-t3-fail-g
Duration: 00:00:00.005 Memory: 329 MB
6.6.1-t3-fail-h
Duration: 00:00:00.005 Memory: 465 MB
6.6.1-t3-fail-i
Duration: 00:00:00.006 Memory: 475 MB
6.6.1-t4-fail-a
Duration: 00:00:00.038 Memory: 431 MB
6.6.1-t4-fail-b
Duration: 00:00:00.006 Memory: 405 MB
6.6.1-t4-fail-c
Duration: 00:00:00.010 Memory: 249 MB
6.6.1-t4-fail-d
Duration: 00:00:00.017 Memory: 528 MB
6.6.1-t4-fail-e
Duration: 00:00:00.014 Memory: 459 MB
6.6.1-t4-fail-f
Duration: 00:00:00.016 Memory: 154 MB
6.6.1-t4-fail-g
Duration: 00:00:00.008 Memory: 317 MB
6.6.1-t4-fail-h
Duration: 00:00:00.017 Memory: 367 MB
6.6.1-t4-fail-i
Duration: 00:00:00.007 Memory: 112 MB
6.6.2-t1-fail-a
Duration: 00:00:00.021 Memory: 496 MB
6.7.2-t1-fail-a
Duration: 00:00:00.007 Memory: 425 MB
6.7.2-t2-fail-a
Duration: 00:00:00.007 Memory: 185 MB
6.7.2-t2-fail-b
Duration: 00:00:00.006 Memory: 325 MB
6.7.2-t2-fail-c
Duration: 00:00:00.005 Memory: 457 MB
6.7.2-t3-fail-a
Duration: 00:00:00.006 Memory: 473 MB
6.7.3-t1-fail-a
Duration: 00:00:00.005 Memory: 136 MB
6.7.3-t1-fail-b
Duration: 00:00:00.007 Memory: 201 MB
6.7.3-t1-fail-c
Duration: 00:00:00.005 Memory: 401 MB
6.7.5-t1-fail-a
Duration: 00:00:00.005 Memory: 445 MB
6.7.5-t2-fail-a
Duration: 00:00:00.006 Memory: 108 MB
6.7.8-t1-fail-a
Duration: 00:00:00.005 Memory: 333 MB
6.7.8-t2-fail-a
Duration: 00:00:00.006 Memory: 217 MB
6.7.8-t2-fail-b
Duration: 00:00:00.005 Memory: 369 MB
6.7.8-t2-fail-c
Duration: 00:00:00.006 Memory: 411 MB
6.7.8-t2-fail-d
Duration: 00:00:00.006 Memory: 508 MB
6.7.8-t2-fail-e
Duration: 00:00:00.009 Memory: 520 MB
6.7.8-t2-fail-f
Duration: 00:00:00.006 Memory: 483 MB
6.7.8-t2-fail-g
Duration: 00:00:00.004 Memory: 473 MB
6.7.8-t2-fail-h
Duration: 00:00:00.006 Memory: 341 MB
6.7.8-t2-fail-i
Duration: 00:00:00.007 Memory: 128 MB
6.7.8-t2-fail-j
Duration: 00:00:00.007 Memory: 403 MB
6.7.8-t2-fail-k
Duration: 00:00:00.006 Memory: 353 MB
6.7.9-t1-fail-a
Duration: 00:00:00.006 Memory: 519 MB
6.7.11-t1-fail-a
Duration: 00:00:00.004 Memory: 485 MB
6.7.11-t1-fail-b
Duration: 00:00:00.005 Memory: 337 MB
6.7.11-t1-fail-c
Duration: 00:00:00.009 Memory: 161 MB
6.7.11-t1-fail-d
Duration: 00:00:00.007 Memory: 395 MB
6.9-t1-fail-a
Duration: 00:00:00.016 Memory: 383 MB
6.9-t2-fail-a
Duration: 00:00:00.022 Memory: 417 MB
6.9-t2-fail-b
Duration: 00:00:00.023 Memory: 261 MB
6.3.4-t1-fail-f
Duration: 00:00:00.017 Memory: 162 MB