Isartor-1b Corpus Results : Wed Mar 26 10:39:27 UTC 2025

VeraPDF Foundry v1.29.18

Dependencies

validation-model-arlington v1.29.18-Wed Mar 26 10:32:00 UTC 2025

core-arlington v1.29.8-Wed Mar 26 10:29:00 UTC 2025

6.1.2-t1-fail-a
Duration: 00:00:00.005 Memory: 356 MB
6.1.2-t2-fail-a
Duration: 00:00:00.003 Memory: 264 MB
6.1.3-t1-fail-a
Duration: 00:00:00.003 Memory: 272 MB
6.1.3-t2-fail-a
Duration: 00:00:00.061 Memory: 180 MB
6.1.3-t3-fail-a
Duration: 00:00:00.004 Memory: 380 MB
6.1.3-t4-fail-a
Duration: 00:00:00.007 Memory: 433 MB
6.1.4-t1-fail-a
Duration: 00:00:00.007 Memory: 449 MB
6.1.4-t2-fail-a
Duration: 00:00:00.008 Memory: 332 MB
6.1.6-t1-fail-a
Duration: 00:00:00.006 Memory: 391 MB
6.1.7-t1-fail-a
Duration: 00:00:00.006 Memory: 156 MB
6.1.7-t2-fail-a
Duration: 00:00:00.003 Memory: 128 MB
6.1.7-t3-fail-a
Duration: 00:00:00.004 Memory: 272 MB
6.1.7-t4-fail-a
Duration: 00:00:00.005 Memory: 172 MB
6.1.7-t4-fail-b
Duration: 00:00:00.006 Memory: 368 MB
6.1.7-t4-fail-c
Duration: 00:00:00.006 Memory: 347 MB
6.1.8-t1-fail-a
Duration: 00:00:00.003 Memory: 416 MB
6.1.8-t2-fail-a
Duration: 00:00:00.004 Memory: 477 MB
6.1.8-t3-fail-a
Duration: 00:00:00.003 Memory: 468 MB
6.1.8-t4-fail-a
Duration: 00:00:00.004 Memory: 453 MB
6.1.8-t5-fail-a
Duration: 00:00:00.004 Memory: 328 MB
6.1.8-t6-fail-a
Duration: 00:00:00.004 Memory: 216 MB
6.1.10-t1-fail-a
Duration: 00:00:00.009 Memory: 400 MB
6.1.10-t1-fail-b
Duration: 00:00:00.006 Memory: 264 MB
6.1.10-t1-fail-c
Duration: 00:00:00.017 Memory: 469 MB
6.1.11-t1-fail-a
Duration: 00:00:00.005 Memory: 336 MB
6.1.11-t2-fail-a
Duration: 00:00:00.005 Memory: 208 MB
6.1.12-t1-fail-a
Duration: 00:00:04.183 Memory: 409 MB
6.1.12-t1-fail-b
Duration: 00:00:00.010 Memory: 216 MB
6.1.12-t1-fail-c
Duration: 00:00:00.021 Memory: 348 MB
6.1.12-t1-fail-d
Duration: 00:00:00.011 Memory: 303 MB
6.1.13-t1-fail-a
Duration: 00:00:00.005 Memory: 428 MB
6.2.2-t1-fail-a
Duration: 00:00:00.005 Memory: 481 MB
6.2.2-t2-fail-a
Duration: 00:00:00.004 Memory: 420 MB
6.2.2-t2-fail-b
Duration: 00:00:00.005 Memory: 104 MB
6.2.2-t3-fail-a
Duration: 00:00:00.005 Memory: 371 MB
6.2.3.3-t1-fail-a
Duration: 00:00:00.004 Memory: 432 MB
6.2.3.3-t2-fail-a
Duration: 00:00:00.004 Memory: 489 MB
6.2.3.3-t2-fail-b
Duration: 00:00:00.007 Memory: 303 MB
6.2.3.3-t2-fail-c
Duration: 00:00:00.009 Memory: 332 MB
6.2.3.3-t2-fail-d
Duration: 00:00:00.007 Memory: 204 MB
6.2.3.3-t2-fail-e
Duration: 00:00:00.010 Memory: 417 MB
6.2.3.3-t2-fail-f
Duration: 00:00:00.005 Memory: 379 MB
6.2.3.3-t2-fail-g
Duration: 00:00:00.024 Memory: 256 MB
6.2.3.3-t2-fail-h
Duration: 00:00:00.005 Memory: 424 MB
6.2.3.3-t2-fail-i
Duration: 00:00:00.009 Memory: 140 MB
6.2.3.3-t2-fail-j
Duration: 00:00:00.007 Memory: 493 MB
6.2.3.3-t3-fail-a
Duration: 00:00:00.004 Memory: 456 MB
6.2.3.3-t3-fail-b
Duration: 00:00:00.006 Memory: 116 MB
6.2.3.3-t3-fail-c
Duration: 00:00:00.037 Memory: 208 MB
6.2.3.3-t3-fail-d
Duration: 00:00:00.007 Memory: 437 MB
6.2.3.3-t3-fail-e
Duration: 00:00:00.012 Memory: 299 MB
6.2.3.3-t4-fail-a
Duration: 00:00:00.004 Memory: 469 MB
6.2.3.3-t4-fail-b
Duration: 00:00:00.004 Memory: 268 MB
6.2.3.3-t4-fail-c
Duration: 00:00:00.018 Memory: 232 MB
6.2.3.3-t4-fail-d
Duration: 00:00:00.004 Memory: 392 MB
6.2.3.3-t5-fail-a
Duration: 00:00:00.006 Memory: 336 MB
6.2.3.3-t5-fail-b
Duration: 00:00:00.007 Memory: 164 MB
6.2.3.4-t1-fail-a
Duration: 00:00:00.005 Memory: 331 MB
6.2.3.4-t1-fail-b
Duration: 00:00:00.006 Memory: 421 MB
6.2.4-t1-fail-a
Duration: 00:00:00.017 Memory: 327 MB
6.2.4-t2-fail-a
Duration: 00:00:00.006 Memory: 412 MB
6.2.4-t3-fail-a
Duration: 00:00:00.008 Memory: 413 MB
6.2.4-t4-fail-a
Duration: 00:00:00.007 Memory: 180 MB
6.2.5-t1-fail-a
Duration: 00:00:00.043 Memory: 316 MB
6.2.6-t1-fail-a
Duration: 00:00:00.030 Memory: 368 MB
6.2.7-t1-fail-a
Duration: 00:00:00.027 Memory: 425 MB
6.2.7-t2-fail-a
Duration: 00:00:00.004 Memory: 196 MB
6.2.8-t1-fail-a
Duration: 00:00:00.007 Memory: 284 MB
6.2.8-t1-fail-b
Duration: 00:00:00.025 Memory: 359 MB
6.2.8-t1-fail-c
Duration: 00:00:00.010 Memory: 445 MB
6.2.8-t1-fail-d
Duration: 00:00:00.006 Memory: 168 MB
6.2.8-t2-fail-a
Duration: 00:00:00.039 Memory: 112 MB
6.2.8-t2-fail-b
Duration: 00:00:00.007 Memory: 388 MB
6.2.8-t2-fail-c
Duration: 00:00:00.005 Memory: 396 MB
6.2.9-t1-fail-a
Duration: 00:00:00.004 Memory: 383 MB
6.2.10-t1-fail-a
Duration: 00:00:00.006 Memory: 383 MB
6.2.10-t1-fail-b
Duration: 00:00:00.033 Memory: 445 MB
6.2.10-t1-fail-c
Duration: 00:00:00.005 Memory: 204 MB
6.3.2-t1-fail-a
Duration: 00:00:00.010 Memory: 387 MB
6.3.2-t1-fail-b
Duration: 00:00:00.009 Memory: 364 MB
6.3.2-t1-fail-c
Duration: 00:00:00.011 Memory: 184 MB
6.3.3.1-t1-fail-a
Duration: 00:00:00.014 Memory: 379 MB
6.3.3.1-t1-fail-b
Duration: 00:00:00.010 Memory: 400 MB
6.3.3.2-t1-fail-a
Duration: 00:00:00.015 Memory: 164 MB
6.3.3.3-t1-fail-a
Duration: 00:00:00.012 Memory: 292 MB
6.3.3.3-t2-fail-a
Duration: 00:00:00.022 Memory: 124 MB
6.3.4-t1-fail-a
Duration: 00:00:00.007 Memory: 224 MB
6.3.4-t1-fail-b
Duration: 00:00:00.020 Memory: 348 MB
6.3.4-t1-fail-c
Duration: 00:00:00.011 Memory: 363 MB
6.3.4-t1-fail-d
Duration: 00:00:00.009 Memory: 457 MB
6.3.4-t1-fail-e
Duration: 00:00:00.007 Memory: 260 MB
6.3.4-t1-fail-g
Duration: 00:00:00.009 Memory: 152 MB
6.3.4-t1-fail-h
Duration: 00:00:00.008 Memory: 200 MB
6.3.5-t1-fail-a
Duration: 00:00:00.008 Memory: 212 MB
6.3.5-t1-fail-b
Duration: 00:00:00.010 Memory: 417 MB
6.3.5-t1-fail-c
Duration: 00:00:00.013 Memory: 311 MB
6.3.5-t1-fail-d
Duration: 00:00:00.013 Memory: 312 MB
6.3.5-t2-fail-a
Duration: 00:00:00.009 Memory: 272 MB
6.3.5-t3-fail-a
Duration: 00:00:00.008 Memory: 188 MB
6.3.6-t1-fail-a
Duration: 00:00:00.008 Memory: 288 MB
6.3.6-t1-fail-b
Duration: 00:00:00.010 Memory: 452 MB
6.3.6-t1-fail-c
Duration: 00:00:00.050 Memory: 100 MB
6.3.7-t1-fail-a
Duration: 00:00:00.009 Memory: 320 MB
6.3.7-t2-fail-a
Duration: 00:00:00.010 Memory: 473 MB
6.3.7-t3-fail-a
Duration: 00:00:00.007 Memory: 448 MB
6.4-t1-fail-a
Duration: 00:00:00.022 Memory: 168 MB
6.4-t1-fail-b
Duration: 00:00:00.008 Memory: 485 MB
6.4-t2-fail-a
Duration: 00:00:00.007 Memory: 156 MB
6.4-t3-fail-a
Duration: 00:00:00.005 Memory: 132 MB
6.4-t4-fail-a
Duration: 00:00:00.005 Memory: 200 MB
6.4-t5-fail-a
Duration: 00:00:00.005 Memory: 256 MB
6.5.2-t1-fail-a
Duration: 00:00:00.007 Memory: 300 MB
6.5.2-t1-fail-b
Duration: 00:00:00.008 Memory: 436 MB
6.5.2-t1-fail-c
Duration: 00:00:00.007 Memory: 132 MB
6.5.2-t1-fail-d
Duration: 00:00:00.007 Memory: 457 MB
6.5.2-t1-fail-e
Duration: 00:00:00.007 Memory: 244 MB
6.5.2-t1-fail-f
Duration: 00:00:00.010 Memory: 375 MB
6.5.2-t1-fail-g
Duration: 00:00:00.005 Memory: 360 MB
6.5.2-t1-fail-h
Duration: 00:00:00.006 Memory: 192 MB
6.5.2-t2-fail-a
Duration: 00:00:00.029 Memory: 280 MB
6.5.2-t2-fail-b
Duration: 00:00:00.026 Memory: 315 MB
6.5.2-t2-fail-c
Duration: 00:00:00.033 Memory: 184 MB
6.5.3-t1-fail-a
Duration: 00:00:00.011 Memory: 347 MB
6.5.3-t2-fail-a
Duration: 00:00:00.010 Memory: 433 MB
6.5.3-t2-fail-b
Duration: 00:00:00.008 Memory: 240 MB
6.5.3-t2-fail-c
Duration: 00:00:00.014 Memory: 328 MB
6.5.3-t2-fail-d
Duration: 00:00:00.009 Memory: 339 MB
6.5.3-t2-fail-e
Duration: 00:00:00.008 Memory: 200 MB
6.5.3-t3-fail-a
Duration: 00:00:00.011 Memory: 376 MB
6.5.3-t3-fail-b
Duration: 00:00:00.016 Memory: 404 MB
6.5.3-t3-fail-c
Duration: 00:00:00.015 Memory: 120 MB
6.5.3-t3-fail-d
Duration: 00:00:00.012 Memory: 485 MB
6.5.3-t4-fail-a
Duration: 00:00:00.013 Memory: 160 MB
6.5.3-t4-fail-b
Duration: 00:00:00.014 Memory: 208 MB
6.5.3-t4-fail-c
Duration: 00:00:00.061 Memory: 148 MB
6.5.3-t4-fail-d
Duration: 00:00:00.011 Memory: 464 MB
6.6.1-t1-fail-a
Duration: 00:00:00.006 Memory: 497 MB
6.6.1-t1-fail-b
Duration: 00:00:00.007 Memory: 136 MB
6.6.1-t1-fail-c
Duration: 00:00:00.007 Memory: 420 MB
6.6.1-t1-fail-d
Duration: 00:00:00.014 Memory: 248 MB
6.6.1-t1-fail-e
Duration: 00:00:00.011 Memory: 441 MB
6.6.1-t1-fail-f
Duration: 00:00:00.024 Memory: 355 MB
6.6.1-t1-fail-g
Duration: 00:00:00.009 Memory: 344 MB
6.6.1-t1-fail-h
Duration: 00:00:00.007 Memory: 192 MB
6.6.1-t1-fail-i
Duration: 00:00:00.015 Memory: 172 MB
6.6.1-t2-fail-a
Duration: 00:00:00.006 Memory: 444 MB
6.6.1-t2-fail-b
Duration: 00:00:00.023 Memory: 335 MB
6.6.1-t2-fail-c
Duration: 00:00:00.016 Memory: 192 MB
6.6.1-t2-fail-d
Duration: 00:00:00.007 Memory: 236 MB
6.6.1-t2-fail-e
Duration: 00:00:00.006 Memory: 352 MB
6.6.1-t2-fail-f
Duration: 00:00:00.006 Memory: 408 MB
6.6.1-t2-fail-g
Duration: 00:00:00.009 Memory: 252 MB
6.6.1-t2-fail-h
Duration: 00:00:00.006 Memory: 489 MB
6.6.1-t2-fail-i
Duration: 00:00:00.006 Memory: 160 MB
6.6.1-t3-fail-a
Duration: 00:00:00.007 Memory: 465 MB
6.6.1-t3-fail-b
Duration: 00:00:00.006 Memory: 108 MB
6.6.1-t3-fail-c
Duration: 00:00:00.008 Memory: 240 MB
6.6.1-t3-fail-d
Duration: 00:00:00.007 Memory: 356 MB
6.6.1-t3-fail-e
Duration: 00:00:00.014 Memory: 323 MB
6.6.1-t3-fail-f
Duration: 00:00:00.007 Memory: 168 MB
6.6.1-t3-fail-g
Duration: 00:00:00.007 Memory: 300 MB
6.6.1-t3-fail-h
Duration: 00:00:00.009 Memory: 432 MB
6.6.1-t3-fail-i
Duration: 00:00:00.007 Memory: 116 MB
6.6.1-t4-fail-a
Duration: 00:00:00.026 Memory: 371 MB
6.6.1-t4-fail-b
Duration: 00:00:00.010 Memory: 376 MB
6.6.1-t4-fail-c
Duration: 00:00:00.014 Memory: 220 MB
6.6.1-t4-fail-d
Duration: 00:00:00.017 Memory: 461 MB
6.6.1-t4-fail-e
Duration: 00:00:00.010 Memory: 104 MB
6.6.1-t4-fail-f
Duration: 00:00:00.006 Memory: 464 MB
6.6.1-t4-fail-g
Duration: 00:00:00.006 Memory: 284 MB
6.6.1-t4-fail-h
Duration: 00:00:00.014 Memory: 307 MB
6.6.1-t4-fail-i
Duration: 00:00:00.007 Memory: 180 MB
6.6.2-t1-fail-a
Duration: 00:00:00.021 Memory: 429 MB
6.7.2-t1-fail-a
Duration: 00:00:00.005 Memory: 392 MB
6.7.2-t2-fail-a
Duration: 00:00:00.026 Memory: 156 MB
6.7.2-t2-fail-b
Duration: 00:00:00.005 Memory: 296 MB
6.7.2-t2-fail-c
Duration: 00:00:00.005 Memory: 428 MB
6.7.2-t3-fail-a
Duration: 00:00:00.005 Memory: 444 MB
6.7.3-t1-fail-a
Duration: 00:00:00.006 Memory: 204 MB
6.7.3-t1-fail-b
Duration: 00:00:00.006 Memory: 172 MB
6.7.3-t1-fail-c
Duration: 00:00:00.008 Memory: 372 MB
6.7.5-t1-fail-a
Duration: 00:00:00.005 Memory: 412 MB
6.7.5-t2-fail-a
Duration: 00:00:00.007 Memory: 176 MB
6.7.8-t1-fail-a
Duration: 00:00:00.011 Memory: 304 MB
6.7.8-t2-fail-a
Duration: 00:00:00.013 Memory: 188 MB
6.7.8-t2-fail-b
Duration: 00:00:00.007 Memory: 340 MB
6.7.8-t2-fail-c
Duration: 00:00:00.007 Memory: 351 MB
6.7.8-t2-fail-d
Duration: 00:00:00.006 Memory: 437 MB
6.7.8-t2-fail-e
Duration: 00:00:00.005 Memory: 449 MB
6.7.8-t2-fail-f
Duration: 00:00:00.006 Memory: 128 MB
6.7.8-t2-fail-g
Duration: 00:00:00.006 Memory: 440 MB
6.7.8-t2-fail-h
Duration: 00:00:00.005 Memory: 308 MB
6.7.8-t2-fail-i
Duration: 00:00:00.005 Memory: 196 MB
6.7.8-t2-fail-j
Duration: 00:00:00.010 Memory: 343 MB
6.7.8-t2-fail-k
Duration: 00:00:00.007 Memory: 324 MB
6.7.9-t1-fail-a
Duration: 00:00:00.006 Memory: 164 MB
6.7.11-t1-fail-a
Duration: 00:00:00.006 Memory: 456 MB
6.7.11-t1-fail-b
Duration: 00:00:00.012 Memory: 308 MB
6.7.11-t1-fail-c
Duration: 00:00:00.006 Memory: 477 MB
6.7.11-t1-fail-d
Duration: 00:00:00.006 Memory: 331 MB
6.9-t1-fail-a
Duration: 00:00:00.012 Memory: 319 MB
6.9-t2-fail-a
Duration: 00:00:00.021 Memory: 384 MB
6.9-t2-fail-b
Duration: 00:00:00.022 Memory: 228 MB
6.3.4-t1-fail-f
Duration: 00:00:00.013 Memory: 472 MB