Isartor-1b Corpus Results : Thu Feb 27 17:58:14 UTC 2025

VeraPDF Foundry v1.29.12

Dependencies

validation-model-arlington v1.29.12-Wed Feb 26 18:17:00 UTC 2025

core-arlington v1.29.6-Wed Feb 26 18:12:00 UTC 2025

6.1.2-t1-fail-a
Duration: 00:00:00.006 Memory: 515 MB
6.1.2-t2-fail-a
Duration: 00:00:00.005 Memory: 427 MB
6.1.3-t1-fail-a
Duration: 00:00:00.005 Memory: 435 MB
6.1.3-t2-fail-a
Duration: 00:00:00.052 Memory: 339 MB
6.1.3-t3-fail-a
Duration: 00:00:00.008 Memory: 539 MB
6.1.3-t4-fail-a
Duration: 00:00:00.017 Memory: 251 MB
6.1.4-t1-fail-a
Duration: 00:00:00.023 Memory: 263 MB
6.1.4-t2-fail-a
Duration: 00:00:00.006 Memory: 495 MB
6.1.6-t1-fail-a
Duration: 00:00:00.005 Memory: 198 MB
6.1.7-t1-fail-a
Duration: 00:00:00.008 Memory: 258 MB
6.1.7-t2-fail-a
Duration: 00:00:00.007 Memory: 230 MB
6.1.7-t3-fail-a
Duration: 00:00:00.020 Memory: 431 MB
6.1.7-t4-fail-a
Duration: 00:00:00.006 Memory: 335 MB
6.1.7-t4-fail-b
Duration: 00:00:00.006 Memory: 531 MB
6.1.7-t4-fail-c
Duration: 00:00:00.007 Memory: 154 MB
6.1.8-t1-fail-a
Duration: 00:00:00.010 Memory: 575 MB
6.1.8-t2-fail-a
Duration: 00:00:00.006 Memory: 291 MB
6.1.8-t3-fail-a
Duration: 00:00:00.004 Memory: 627 MB
6.1.8-t4-fail-a
Duration: 00:00:00.023 Memory: 267 MB
6.1.8-t5-fail-a
Duration: 00:00:00.005 Memory: 491 MB
6.1.8-t6-fail-a
Duration: 00:00:00.005 Memory: 379 MB
6.1.10-t1-fail-a
Duration: 00:00:00.013 Memory: 563 MB
6.1.10-t1-fail-b
Duration: 00:00:00.006 Memory: 423 MB
6.1.10-t1-fail-c
Duration: 00:00:00.038 Memory: 283 MB
6.1.11-t1-fail-a
Duration: 00:00:00.006 Memory: 495 MB
6.1.11-t2-fail-a
Duration: 00:00:00.030 Memory: 371 MB
6.1.12-t1-fail-a
Duration: 00:00:06.265 Memory: 227 MB
6.1.12-t1-fail-b
Duration: 00:00:00.011 Memory: 375 MB
6.1.12-t1-fail-c
Duration: 00:00:00.009 Memory: 507 MB
6.1.12-t1-fail-d
Duration: 00:00:00.019 Memory: 110 MB
6.1.13-t1-fail-a
Duration: 00:00:00.013 Memory: 591 MB
6.2.2-t1-fail-a
Duration: 00:00:00.006 Memory: 295 MB
6.2.2-t2-fail-a
Duration: 00:00:00.011 Memory: 583 MB
6.2.2-t2-fail-b
Duration: 00:00:00.005 Memory: 206 MB
6.2.2-t3-fail-a
Duration: 00:00:00.005 Memory: 178 MB
6.2.3.3-t1-fail-a
Duration: 00:00:00.011 Memory: 591 MB
6.2.3.3-t2-fail-a
Duration: 00:00:00.005 Memory: 303 MB
6.2.3.3-t2-fail-b
Duration: 00:00:00.009 Memory: 106 MB
6.2.3.3-t2-fail-c
Duration: 00:00:00.007 Memory: 491 MB
6.2.3.3-t2-fail-d
Duration: 00:00:00.008 Memory: 367 MB
6.2.3.3-t2-fail-e
Duration: 00:00:00.015 Memory: 235 MB
6.2.3.3-t2-fail-f
Duration: 00:00:00.026 Memory: 186 MB
6.2.3.3-t2-fail-g
Duration: 00:00:00.056 Memory: 415 MB
6.2.3.3-t2-fail-h
Duration: 00:00:00.014 Memory: 583 MB
6.2.3.3-t2-fail-i
Duration: 00:00:00.030 Memory: 242 MB
6.2.3.3-t2-fail-j
Duration: 00:00:00.010 Memory: 307 MB
6.2.3.3-t3-fail-a
Duration: 00:00:00.005 Memory: 619 MB
6.2.3.3-t3-fail-b
Duration: 00:00:00.005 Memory: 214 MB
6.2.3.3-t3-fail-c
Duration: 00:00:00.007 Memory: 367 MB
6.2.3.3-t3-fail-d
Duration: 00:00:00.046 Memory: 251 MB
6.2.3.3-t3-fail-e
Duration: 00:00:00.012 Memory: 106 MB
6.2.3.3-t4-fail-a
Duration: 00:00:00.005 Memory: 287 MB
6.2.3.3-t4-fail-b
Duration: 00:00:00.005 Memory: 427 MB
6.2.3.3-t4-fail-c
Duration: 00:00:00.027 Memory: 391 MB
6.2.3.3-t4-fail-d
Duration: 00:00:00.010 Memory: 551 MB
6.2.3.3-t5-fail-a
Duration: 00:00:00.010 Memory: 499 MB
6.2.3.3-t5-fail-b
Duration: 00:00:00.009 Memory: 327 MB
6.2.3.4-t1-fail-a
Duration: 00:00:00.026 Memory: 138 MB
6.2.3.4-t1-fail-b
Duration: 00:00:00.006 Memory: 235 MB
6.2.4-t1-fail-a
Duration: 00:00:00.024 Memory: 134 MB
6.2.4-t2-fail-a
Duration: 00:00:00.017 Memory: 571 MB
6.2.4-t3-fail-a
Duration: 00:00:00.009 Memory: 227 MB
6.2.4-t4-fail-a
Duration: 00:00:00.010 Memory: 343 MB
6.2.5-t1-fail-a
Duration: 00:00:00.183 Memory: 479 MB
6.2.6-t1-fail-a
Duration: 00:00:00.017 Memory: 527 MB
6.2.7-t1-fail-a
Duration: 00:00:00.025 Memory: 239 MB
6.2.7-t2-fail-a
Duration: 00:00:00.006 Memory: 355 MB
6.2.8-t1-fail-a
Duration: 00:00:00.016 Memory: 443 MB
6.2.8-t1-fail-b
Duration: 00:00:00.049 Memory: 166 MB
6.2.8-t1-fail-c
Duration: 00:00:00.013 Memory: 263 MB
6.2.8-t1-fail-d
Duration: 00:00:00.006 Memory: 327 MB
6.2.8-t2-fail-a
Duration: 00:00:00.023 Memory: 214 MB
6.2.8-t2-fail-b
Duration: 00:00:00.018 Memory: 551 MB
6.2.8-t2-fail-c
Duration: 00:00:00.012 Memory: 555 MB
6.2.9-t1-fail-a
Duration: 00:00:00.007 Memory: 190 MB
6.2.10-t1-fail-a
Duration: 00:00:00.006 Memory: 190 MB
6.2.10-t1-fail-b
Duration: 00:00:00.038 Memory: 259 MB
6.2.10-t1-fail-c
Duration: 00:00:00.008 Memory: 363 MB
6.3.2-t1-fail-a
Duration: 00:00:00.018 Memory: 194 MB
6.3.2-t1-fail-b
Duration: 00:00:00.010 Memory: 523 MB
6.3.2-t1-fail-c
Duration: 00:00:00.013 Memory: 347 MB
6.3.3.1-t1-fail-a
Duration: 00:00:00.013 Memory: 186 MB
6.3.3.1-t1-fail-b
Duration: 00:00:00.021 Memory: 559 MB
6.3.3.2-t1-fail-a
Duration: 00:00:00.035 Memory: 323 MB
6.3.3.3-t1-fail-a
Duration: 00:00:00.012 Memory: 455 MB
6.3.3.3-t2-fail-a
Duration: 00:00:00.013 Memory: 226 MB
6.3.4-t1-fail-a
Duration: 00:00:00.018 Memory: 387 MB
6.3.4-t1-fail-b
Duration: 00:00:00.012 Memory: 511 MB
6.3.4-t1-fail-c
Duration: 00:00:00.011 Memory: 170 MB
6.3.4-t1-fail-d
Duration: 00:00:00.016 Memory: 275 MB
6.3.4-t1-fail-e
Duration: 00:00:00.011 Memory: 423 MB
6.3.4-t1-fail-g
Duration: 00:00:00.012 Memory: 254 MB
6.3.4-t1-fail-h
Duration: 00:00:00.012 Memory: 359 MB
6.3.5-t1-fail-a
Duration: 00:00:00.020 Memory: 375 MB
6.3.5-t1-fail-b
Duration: 00:00:00.017 Memory: 231 MB
6.3.5-t1-fail-c
Duration: 00:00:00.021 Memory: 118 MB
6.3.5-t1-fail-d
Duration: 00:00:00.024 Memory: 471 MB
6.3.5-t2-fail-a
Duration: 00:00:00.009 Memory: 431 MB
6.3.5-t3-fail-a
Duration: 00:00:00.011 Memory: 290 MB
6.3.6-t1-fail-a
Duration: 00:00:00.012 Memory: 451 MB
6.3.6-t1-fail-b
Duration: 00:00:00.031 Memory: 615 MB
6.3.6-t1-fail-c
Duration: 00:00:00.015 Memory: 202 MB
6.3.7-t1-fail-a
Duration: 00:00:00.011 Memory: 483 MB
6.3.7-t2-fail-a
Duration: 00:00:00.037 Memory: 287 MB
6.3.7-t3-fail-a
Duration: 00:00:00.010 Memory: 611 MB
6.4-t1-fail-a
Duration: 00:00:00.018 Memory: 270 MB
6.4-t1-fail-b
Duration: 00:00:00.013 Memory: 303 MB
6.4-t2-fail-a
Duration: 00:00:00.008 Memory: 258 MB
6.4-t3-fail-a
Duration: 00:00:00.007 Memory: 234 MB
6.4-t4-fail-a
Duration: 00:00:00.005 Memory: 302 MB
6.4-t5-fail-a
Duration: 00:00:00.035 Memory: 419 MB
6.5.2-t1-fail-a
Duration: 00:00:00.008 Memory: 463 MB
6.5.2-t1-fail-b
Duration: 00:00:00.018 Memory: 599 MB
6.5.2-t1-fail-c
Duration: 00:00:00.033 Memory: 234 MB
6.5.2-t1-fail-d
Duration: 00:00:00.025 Memory: 271 MB
6.5.2-t1-fail-e
Duration: 00:00:00.021 Memory: 407 MB
6.5.2-t1-fail-f
Duration: 00:00:00.018 Memory: 182 MB
6.5.2-t1-fail-g
Duration: 00:00:00.008 Memory: 519 MB
6.5.2-t1-fail-h
Duration: 00:00:00.008 Memory: 355 MB
6.5.2-t2-fail-a
Duration: 00:00:00.072 Memory: 439 MB
6.5.2-t2-fail-b
Duration: 00:00:00.103 Memory: 122 MB
6.5.2-t2-fail-c
Duration: 00:00:00.057 Memory: 286 MB
6.5.3-t1-fail-a
Duration: 00:00:00.013 Memory: 154 MB
6.5.3-t2-fail-a
Duration: 00:00:00.023 Memory: 247 MB
6.5.3-t2-fail-b
Duration: 00:00:00.038 Memory: 403 MB
6.5.3-t2-fail-c
Duration: 00:00:00.010 Memory: 487 MB
6.5.3-t2-fail-d
Duration: 00:00:00.019 Memory: 146 MB
6.5.3-t2-fail-e
Duration: 00:00:00.011 Memory: 298 MB
6.5.3-t3-fail-a
Duration: 00:00:00.017 Memory: 539 MB
6.5.3-t3-fail-b
Duration: 00:00:00.023 Memory: 567 MB
6.5.3-t3-fail-c
Duration: 00:00:00.021 Memory: 222 MB
6.5.3-t3-fail-d
Duration: 00:00:00.012 Memory: 299 MB
6.5.3-t4-fail-a
Duration: 00:00:00.029 Memory: 319 MB
6.5.3-t4-fail-b
Duration: 00:00:00.032 Memory: 310 MB
6.5.3-t4-fail-c
Duration: 00:00:00.143 Memory: 250 MB
6.5.3-t4-fail-d
Duration: 00:00:00.067 Memory: 623 MB
6.6.1-t1-fail-a
Duration: 00:00:00.010 Memory: 311 MB
6.6.1-t1-fail-b
Duration: 00:00:00.017 Memory: 238 MB
6.6.1-t1-fail-c
Duration: 00:00:00.020 Memory: 579 MB
6.6.1-t1-fail-d
Duration: 00:00:00.020 Memory: 407 MB
6.6.1-t1-fail-e
Duration: 00:00:00.045 Memory: 259 MB
6.6.1-t1-fail-f
Duration: 00:00:00.034 Memory: 162 MB
6.6.1-t1-fail-g
Duration: 00:00:00.012 Memory: 503 MB
6.6.1-t1-fail-h
Duration: 00:00:00.008 Memory: 351 MB
6.6.1-t1-fail-i
Duration: 00:00:00.008 Memory: 274 MB
6.6.1-t2-fail-a
Duration: 00:00:00.006 Memory: 607 MB
6.6.1-t2-fail-b
Duration: 00:00:00.055 Memory: 142 MB
6.6.1-t2-fail-c
Duration: 00:00:00.044 Memory: 294 MB
6.6.1-t2-fail-d
Duration: 00:00:00.021 Memory: 395 MB
6.6.1-t2-fail-e
Duration: 00:00:00.008 Memory: 515 MB
6.6.1-t2-fail-f
Duration: 00:00:00.013 Memory: 567 MB
6.6.1-t2-fail-g
Duration: 00:00:00.012 Memory: 411 MB
6.6.1-t2-fail-h
Duration: 00:00:00.007 Memory: 307 MB
6.6.1-t2-fail-i
Duration: 00:00:00.007 Memory: 262 MB
6.6.1-t3-fail-a
Duration: 00:00:00.028 Memory: 279 MB
6.6.1-t3-fail-b
Duration: 00:00:00.006 Memory: 210 MB
6.6.1-t3-fail-c
Duration: 00:00:00.022 Memory: 399 MB
6.6.1-t3-fail-d
Duration: 00:00:00.009 Memory: 519 MB
6.6.1-t3-fail-e
Duration: 00:00:00.038 Memory: 130 MB
6.6.1-t3-fail-f
Duration: 00:00:00.008 Memory: 270 MB
6.6.1-t3-fail-g
Duration: 00:00:00.021 Memory: 459 MB
6.6.1-t3-fail-h
Duration: 00:00:00.012 Memory: 595 MB
6.6.1-t3-fail-i
Duration: 00:00:00.007 Memory: 218 MB
6.6.1-t4-fail-a
Duration: 00:00:00.055 Memory: 174 MB
6.6.1-t4-fail-b
Duration: 00:00:00.008 Memory: 535 MB
6.6.1-t4-fail-c
Duration: 00:00:00.009 Memory: 383 MB
6.6.1-t4-fail-d
Duration: 00:00:00.019 Memory: 279 MB
6.6.1-t4-fail-e
Duration: 00:00:00.008 Memory: 206 MB
6.6.1-t4-fail-f
Duration: 00:00:00.007 Memory: 627 MB
6.6.1-t4-fail-g
Duration: 00:00:00.012 Memory: 447 MB
6.6.1-t4-fail-h
Duration: 00:00:00.041 Memory: 114 MB
6.6.1-t4-fail-i
Duration: 00:00:00.007 Memory: 278 MB
6.6.2-t1-fail-a
Duration: 00:00:00.038 Memory: 243 MB
6.7.2-t1-fail-a
Duration: 00:00:00.012 Memory: 555 MB
6.7.2-t2-fail-a
Duration: 00:00:00.035 Memory: 315 MB
6.7.2-t2-fail-b
Duration: 00:00:00.007 Memory: 455 MB
6.7.2-t2-fail-c
Duration: 00:00:00.014 Memory: 587 MB
6.7.2-t3-fail-a
Duration: 00:00:00.008 Memory: 603 MB
6.7.3-t1-fail-a
Duration: 00:00:00.007 Memory: 306 MB
6.7.3-t1-fail-b
Duration: 00:00:00.009 Memory: 331 MB
6.7.3-t1-fail-c
Duration: 00:00:00.008 Memory: 531 MB
6.7.5-t1-fail-a
Duration: 00:00:00.015 Memory: 575 MB
6.7.5-t2-fail-a
Duration: 00:00:00.008 Memory: 278 MB
6.7.8-t1-fail-a
Duration: 00:00:00.006 Memory: 463 MB
6.7.8-t2-fail-a
Duration: 00:00:00.006 Memory: 347 MB
6.7.8-t2-fail-b
Duration: 00:00:00.010 Memory: 503 MB
6.7.8-t2-fail-c
Duration: 00:00:00.007 Memory: 158 MB
6.7.8-t2-fail-d
Duration: 00:00:00.011 Memory: 255 MB
6.7.8-t2-fail-e
Duration: 00:00:00.025 Memory: 267 MB
6.7.8-t2-fail-f
Duration: 00:00:00.011 Memory: 230 MB
6.7.8-t2-fail-g
Duration: 00:00:00.013 Memory: 603 MB
6.7.8-t2-fail-h
Duration: 00:00:00.011 Memory: 471 MB
6.7.8-t2-fail-i
Duration: 00:00:00.013 Memory: 298 MB
6.7.8-t2-fail-j
Duration: 00:00:00.058 Memory: 150 MB
6.7.8-t2-fail-k
Duration: 00:00:00.007 Memory: 483 MB
6.7.9-t1-fail-a
Duration: 00:00:00.008 Memory: 266 MB
6.7.11-t1-fail-a
Duration: 00:00:00.015 Memory: 615 MB
6.7.11-t1-fail-b
Duration: 00:00:00.007 Memory: 467 MB
6.7.11-t1-fail-c
Duration: 00:00:00.007 Memory: 295 MB
6.7.11-t1-fail-d
Duration: 00:00:00.007 Memory: 138 MB
6.9-t1-fail-a
Duration: 00:00:00.030 Memory: 126 MB
6.9-t2-fail-a
Duration: 00:00:00.028 Memory: 547 MB
6.9-t2-fail-b
Duration: 00:00:00.091 Memory: 391 MB
6.3.4-t1-fail-f
Duration: 00:00:00.050 Memory: 631 MB