Isartor-1b Corpus Results : Fri Aug 09 17:07:48 UTC 2024

VeraPDF Foundry v1.27.72

Dependencies

core-arlington v1.27.37-Fri Aug 09 16:58:00 UTC 2024

validation-model-arlington v1.27.72-Fri Aug 09 17:01:00 UTC 2024

6.1.2-t1-fail-a
Duration: 00:00:00.004 Memory: 326 MB
6.1.2-t2-fail-a
Duration: 00:00:00.004 Memory: 234 MB
6.1.3-t1-fail-a
Duration: 00:00:00.002 Memory: 242 MB
6.1.3-t2-fail-a
Duration: 00:00:00.050 Memory: 462 MB
6.1.3-t3-fail-a
Duration: 00:00:00.003 Memory: 350 MB
6.1.3-t4-fail-a
Duration: 00:00:00.007 Memory: 374 MB
6.1.4-t1-fail-a
Duration: 00:00:00.004 Memory: 390 MB
6.1.4-t2-fail-a
Duration: 00:00:00.003 Memory: 302 MB
6.1.6-t1-fail-a
Duration: 00:00:00.004 Memory: 317 MB
6.1.7-t1-fail-a
Duration: 00:00:00.016 Memory: 95 MB
6.1.7-t2-fail-a
Duration: 00:00:00.003 Memory: 353 MB
6.1.7-t3-fail-a
Duration: 00:00:00.004 Memory: 242 MB
6.1.7-t4-fail-a
Duration: 00:00:00.004 Memory: 458 MB
6.1.7-t4-fail-b
Duration: 00:00:00.004 Memory: 338 MB
6.1.7-t4-fail-c
Duration: 00:00:00.005 Memory: 277 MB
6.1.8-t1-fail-a
Duration: 00:00:00.004 Memory: 386 MB
6.1.8-t2-fail-a
Duration: 00:00:00.003 Memory: 418 MB
6.1.8-t3-fail-a
Duration: 00:00:00.013 Memory: 438 MB
6.1.8-t4-fail-a
Duration: 00:00:00.003 Memory: 394 MB
6.1.8-t5-fail-a
Duration: 00:00:00.004 Memory: 298 MB
6.1.8-t6-fail-a
Duration: 00:00:00.004 Memory: 186 MB
6.1.10-t1-fail-a
Duration: 00:00:00.007 Memory: 370 MB
6.1.10-t1-fail-b
Duration: 00:00:00.005 Memory: 234 MB
6.1.10-t1-fail-c
Duration: 00:00:00.004 Memory: 410 MB
6.1.11-t1-fail-a
Duration: 00:00:00.004 Memory: 306 MB
6.1.11-t2-fail-a
Duration: 00:00:00.005 Memory: 178 MB
6.1.12-t1-fail-a
Duration: 00:00:04.080 Memory: 350 MB
6.1.12-t1-fail-b
Duration: 00:00:00.007 Memory: 186 MB
6.1.12-t1-fail-c
Duration: 00:00:00.004 Memory: 318 MB
6.1.12-t1-fail-d
Duration: 00:00:00.020 Memory: 233 MB
6.1.13-t1-fail-a
Duration: 00:00:00.006 Memory: 398 MB
6.2.2-t1-fail-a
Duration: 00:00:00.004 Memory: 422 MB
6.2.2-t2-fail-a
Duration: 00:00:00.004 Memory: 390 MB
6.2.2-t2-fail-b
Duration: 00:00:00.006 Memory: 329 MB
6.2.2-t3-fail-a
Duration: 00:00:00.005 Memory: 301 MB
6.2.3.3-t1-fail-a
Duration: 00:00:00.004 Memory: 402 MB
6.2.3.3-t2-fail-a
Duration: 00:00:00.004 Memory: 430 MB
6.2.3.3-t2-fail-b
Duration: 00:00:00.006 Memory: 229 MB
6.2.3.3-t2-fail-c
Duration: 00:00:00.005 Memory: 302 MB
6.2.3.3-t2-fail-d
Duration: 00:00:00.009 Memory: 174 MB
6.2.3.3-t2-fail-e
Duration: 00:00:00.008 Memory: 358 MB
6.2.3.3-t2-fail-f
Duration: 00:00:00.005 Memory: 309 MB
6.2.3.3-t2-fail-g
Duration: 00:00:00.029 Memory: 222 MB
6.2.3.3-t2-fail-h
Duration: 00:00:00.005 Memory: 394 MB
6.2.3.3-t2-fail-i
Duration: 00:00:00.004 Memory: 361 MB
6.2.3.3-t2-fail-j
Duration: 00:00:00.005 Memory: 434 MB
6.2.3.3-t3-fail-a
Duration: 00:00:00.003 Memory: 430 MB
6.2.3.3-t3-fail-b
Duration: 00:00:00.004 Memory: 337 MB
6.2.3.3-t3-fail-c
Duration: 00:00:00.011 Memory: 178 MB
6.2.3.3-t3-fail-d
Duration: 00:00:00.007 Memory: 378 MB
6.2.3.3-t3-fail-e
Duration: 00:00:00.025 Memory: 225 MB
6.2.3.3-t4-fail-a
Duration: 00:00:00.003 Memory: 410 MB
6.2.3.3-t4-fail-b
Duration: 00:00:00.004 Memory: 238 MB
6.2.3.3-t4-fail-c
Duration: 00:00:00.005 Memory: 202 MB
6.2.3.3-t4-fail-d
Duration: 00:00:00.003 Memory: 362 MB
6.2.3.3-t5-fail-a
Duration: 00:00:00.022 Memory: 306 MB
6.2.3.3-t5-fail-b
Duration: 00:00:00.005 Memory: 450 MB
6.2.3.4-t1-fail-a
Duration: 00:00:00.005 Memory: 257 MB
6.2.3.4-t1-fail-b
Duration: 00:00:00.005 Memory: 362 MB
6.2.4-t1-fail-a
Duration: 00:00:00.017 Memory: 253 MB
6.2.4-t2-fail-a
Duration: 00:00:00.018 Memory: 382 MB
6.2.4-t3-fail-a
Duration: 00:00:00.006 Memory: 354 MB
6.2.4-t4-fail-a
Duration: 00:00:00.027 Memory: 150 MB
6.2.5-t1-fail-a
Duration: 00:00:00.045 Memory: 286 MB
6.2.6-t1-fail-a
Duration: 00:00:00.028 Memory: 338 MB
6.2.7-t1-fail-a
Duration: 00:00:00.020 Memory: 366 MB
6.2.7-t2-fail-a
Duration: 00:00:00.006 Memory: 166 MB
6.2.8-t1-fail-a
Duration: 00:00:00.009 Memory: 254 MB
6.2.8-t1-fail-b
Duration: 00:00:00.040 Memory: 289 MB
6.2.8-t1-fail-c
Duration: 00:00:00.006 Memory: 386 MB
6.2.8-t1-fail-d
Duration: 00:00:00.004 Memory: 454 MB
6.2.8-t2-fail-a
Duration: 00:00:00.017 Memory: 333 MB
6.2.8-t2-fail-b
Duration: 00:00:00.006 Memory: 358 MB
6.2.8-t2-fail-c
Duration: 00:00:00.005 Memory: 366 MB
6.2.9-t1-fail-a
Duration: 00:00:00.004 Memory: 313 MB
6.2.10-t1-fail-a
Duration: 00:00:00.003 Memory: 309 MB
6.2.10-t1-fail-b
Duration: 00:00:00.004 Memory: 386 MB
6.2.10-t1-fail-c
Duration: 00:00:00.006 Memory: 170 MB
6.3.2-t1-fail-a
Duration: 00:00:00.007 Memory: 317 MB
6.3.2-t1-fail-b
Duration: 00:00:00.025 Memory: 334 MB
6.3.2-t1-fail-c
Duration: 00:00:00.009 Memory: 154 MB
6.3.3.1-t1-fail-a
Duration: 00:00:00.008 Memory: 305 MB
6.3.3.1-t1-fail-b
Duration: 00:00:00.014 Memory: 370 MB
6.3.3.2-t1-fail-a
Duration: 00:00:00.010 Memory: 450 MB
6.3.3.3-t1-fail-a
Duration: 00:00:00.009 Memory: 262 MB
6.3.3.3-t2-fail-a
Duration: 00:00:00.009 Memory: 349 MB
6.3.4-t1-fail-a
Duration: 00:00:00.007 Memory: 194 MB
6.3.4-t1-fail-b
Duration: 00:00:00.021 Memory: 318 MB
6.3.4-t1-fail-c
Duration: 00:00:00.010 Memory: 293 MB
6.3.4-t1-fail-d
Duration: 00:00:00.007 Memory: 398 MB
6.3.4-t1-fail-e
Duration: 00:00:00.029 Memory: 230 MB
6.3.4-t1-fail-g
Duration: 00:00:00.054 Memory: 95 MB
6.3.4-t1-fail-h
Duration: 00:00:00.007 Memory: 170 MB
6.3.5-t1-fail-a
Duration: 00:00:00.007 Memory: 182 MB
6.3.5-t1-fail-b
Duration: 00:00:00.008 Memory: 354 MB
6.3.5-t1-fail-c
Duration: 00:00:00.011 Memory: 237 MB
6.3.5-t1-fail-d
Duration: 00:00:00.008 Memory: 282 MB
6.3.5-t2-fail-a
Duration: 00:00:00.008 Memory: 238 MB
6.3.5-t3-fail-a
Duration: 00:00:00.012 Memory: 127 MB
6.3.6-t1-fail-a
Duration: 00:00:00.012 Memory: 258 MB
6.3.6-t1-fail-b
Duration: 00:00:00.016 Memory: 422 MB
6.3.6-t1-fail-c
Duration: 00:00:00.014 Memory: 321 MB
6.3.7-t1-fail-a
Duration: 00:00:00.010 Memory: 290 MB
6.3.7-t2-fail-a
Duration: 00:00:00.005 Memory: 414 MB
6.3.7-t3-fail-a
Duration: 00:00:00.008 Memory: 418 MB
6.4-t1-fail-a
Duration: 00:00:00.018 Memory: 107 MB
6.4-t1-fail-b
Duration: 00:00:00.005 Memory: 426 MB
6.4-t2-fail-a
Duration: 00:00:00.007 Memory: 99 MB
6.4-t3-fail-a
Duration: 00:00:00.004 Memory: 357 MB
6.4-t4-fail-a
Duration: 00:00:00.006 Memory: 143 MB
6.4-t5-fail-a
Duration: 00:00:00.021 Memory: 226 MB
6.5.2-t1-fail-a
Duration: 00:00:00.007 Memory: 270 MB
6.5.2-t1-fail-b
Duration: 00:00:00.008 Memory: 406 MB
6.5.2-t1-fail-c
Duration: 00:00:00.006 Memory: 353 MB
6.5.2-t1-fail-d
Duration: 00:00:00.005 Memory: 394 MB
6.5.2-t1-fail-e
Duration: 00:00:00.009 Memory: 214 MB
6.5.2-t1-fail-f
Duration: 00:00:00.028 Memory: 301 MB
6.5.2-t1-fail-g
Duration: 00:00:00.005 Memory: 330 MB
6.5.2-t1-fail-h
Duration: 00:00:00.007 Memory: 162 MB
6.5.2-t2-fail-a
Duration: 00:00:00.052 Memory: 250 MB
6.5.2-t2-fail-b
Duration: 00:00:00.021 Memory: 245 MB
6.5.2-t2-fail-c
Duration: 00:00:00.037 Memory: 127 MB
6.5.3-t1-fail-a
Duration: 00:00:00.009 Memory: 273 MB
6.5.3-t2-fail-a
Duration: 00:00:00.010 Memory: 374 MB
6.5.3-t2-fail-b
Duration: 00:00:00.007 Memory: 210 MB
6.5.3-t2-fail-c
Duration: 00:00:00.009 Memory: 298 MB
6.5.3-t2-fail-d
Duration: 00:00:00.009 Memory: 269 MB
6.5.3-t2-fail-e
Duration: 00:00:00.010 Memory: 139 MB
6.5.3-t3-fail-a
Duration: 00:00:00.009 Memory: 346 MB
6.5.3-t3-fail-b
Duration: 00:00:00.028 Memory: 374 MB
6.5.3-t3-fail-c
Duration: 00:00:00.011 Memory: 345 MB
6.5.3-t3-fail-d
Duration: 00:00:00.009 Memory: 426 MB
6.5.3-t4-fail-a
Duration: 00:00:00.011 Memory: 446 MB
6.5.3-t4-fail-b
Duration: 00:00:00.017 Memory: 151 MB
6.5.3-t4-fail-c
Duration: 00:00:00.054 Memory: 373 MB
6.5.3-t4-fail-d
Duration: 00:00:00.027 Memory: 434 MB
6.6.1-t1-fail-a
Duration: 00:00:00.006 Memory: 438 MB
6.6.1-t1-fail-b
Duration: 00:00:00.005 Memory: 361 MB
6.6.1-t1-fail-c
Duration: 00:00:00.007 Memory: 390 MB
6.6.1-t1-fail-d
Duration: 00:00:00.006 Memory: 218 MB
6.6.1-t1-fail-e
Duration: 00:00:00.017 Memory: 382 MB
6.6.1-t1-fail-f
Duration: 00:00:00.025 Memory: 285 MB
6.6.1-t1-fail-g
Duration: 00:00:00.007 Memory: 314 MB
6.6.1-t1-fail-h
Duration: 00:00:00.006 Memory: 158 MB
6.6.1-t1-fail-i
Duration: 00:00:00.009 Memory: 115 MB
6.6.1-t2-fail-a
Duration: 00:00:00.005 Memory: 418 MB
6.6.1-t2-fail-b
Duration: 00:00:00.022 Memory: 265 MB
6.6.1-t2-fail-c
Duration: 00:00:00.015 Memory: 131 MB
6.6.1-t2-fail-d
Duration: 00:00:00.005 Memory: 206 MB
6.6.1-t2-fail-e
Duration: 00:00:00.005 Memory: 322 MB
6.6.1-t2-fail-f
Duration: 00:00:00.005 Memory: 378 MB
6.6.1-t2-fail-g
Duration: 00:00:00.005 Memory: 218 MB
6.6.1-t2-fail-h
Duration: 00:00:00.004 Memory: 430 MB
6.6.1-t2-fail-i
Duration: 00:00:00.009 Memory: 103 MB
6.6.1-t3-fail-a
Duration: 00:00:00.006 Memory: 406 MB
6.6.1-t3-fail-b
Duration: 00:00:00.006 Memory: 329 MB
6.6.1-t3-fail-c
Duration: 00:00:00.007 Memory: 206 MB
6.6.1-t3-fail-d
Duration: 00:00:00.006 Memory: 326 MB
6.6.1-t3-fail-e
Duration: 00:00:00.015 Memory: 253 MB
6.6.1-t3-fail-f
Duration: 00:00:00.009 Memory: 111 MB
6.6.1-t3-fail-g
Duration: 00:00:00.006 Memory: 266 MB
6.6.1-t3-fail-h
Duration: 00:00:00.019 Memory: 406 MB
6.6.1-t3-fail-i
Duration: 00:00:00.005 Memory: 341 MB
6.6.1-t4-fail-a
Duration: 00:00:00.034 Memory: 297 MB
6.6.1-t4-fail-b
Duration: 00:00:00.005 Memory: 346 MB
6.6.1-t4-fail-c
Duration: 00:00:00.007 Memory: 190 MB
6.6.1-t4-fail-d
Duration: 00:00:00.015 Memory: 402 MB
6.6.1-t4-fail-e
Duration: 00:00:00.007 Memory: 325 MB
6.6.1-t4-fail-f
Duration: 00:00:00.005 Memory: 434 MB
6.6.1-t4-fail-g
Duration: 00:00:00.008 Memory: 254 MB
6.6.1-t4-fail-h
Duration: 00:00:00.015 Memory: 233 MB
6.6.1-t4-fail-i
Duration: 00:00:00.007 Memory: 119 MB
6.6.2-t1-fail-a
Duration: 00:00:00.014 Memory: 370 MB
6.7.2-t1-fail-a
Duration: 00:00:00.016 Memory: 362 MB
6.7.2-t2-fail-a
Duration: 00:00:00.005 Memory: 438 MB
6.7.2-t2-fail-b
Duration: 00:00:00.007 Memory: 266 MB
6.7.2-t2-fail-c
Duration: 00:00:00.007 Memory: 398 MB
6.7.2-t3-fail-a
Duration: 00:00:00.006 Memory: 414 MB
6.7.3-t1-fail-a
Duration: 00:00:00.008 Memory: 143 MB
6.7.3-t1-fail-b
Duration: 00:00:00.004 Memory: 454 MB
6.7.3-t1-fail-c
Duration: 00:00:00.004 Memory: 342 MB
6.7.5-t1-fail-a
Duration: 00:00:00.009 Memory: 382 MB
6.7.5-t2-fail-a
Duration: 00:00:00.007 Memory: 115 MB
6.7.8-t1-fail-a
Duration: 00:00:00.008 Memory: 274 MB
6.7.8-t2-fail-a
Duration: 00:00:00.005 Memory: 158 MB
6.7.8-t2-fail-b
Duration: 00:00:00.005 Memory: 310 MB
6.7.8-t2-fail-c
Duration: 00:00:00.007 Memory: 281 MB
6.7.8-t2-fail-d
Duration: 00:00:00.014 Memory: 378 MB
6.7.8-t2-fail-e
Duration: 00:00:00.005 Memory: 390 MB
6.7.8-t2-fail-f
Duration: 00:00:00.005 Memory: 349 MB
6.7.8-t2-fail-g
Duration: 00:00:00.006 Memory: 410 MB
6.7.8-t2-fail-h
Duration: 00:00:00.006 Memory: 278 MB
6.7.8-t2-fail-i
Duration: 00:00:00.007 Memory: 135 MB
6.7.8-t2-fail-j
Duration: 00:00:00.006 Memory: 269 MB
6.7.8-t2-fail-k
Duration: 00:00:00.006 Memory: 294 MB
6.7.9-t1-fail-a
Duration: 00:00:00.007 Memory: 103 MB
6.7.11-t1-fail-a
Duration: 00:00:00.010 Memory: 426 MB
6.7.11-t1-fail-b
Duration: 00:00:00.008 Memory: 278 MB
6.7.11-t1-fail-c
Duration: 00:00:00.005 Memory: 418 MB
6.7.11-t1-fail-d
Duration: 00:00:00.005 Memory: 261 MB
6.9-t1-fail-a
Duration: 00:00:00.010 Memory: 249 MB
6.9-t2-fail-a
Duration: 00:00:00.025 Memory: 354 MB
6.9-t2-fail-b
Duration: 00:00:00.015 Memory: 198 MB
6.3.4-t1-fail-f
Duration: 00:00:00.008 Memory: 442 MB