Isartor-1b Corpus Results : Wed Jul 17 08:03:25 UTC 2024

VeraPDF Foundry v1.27.39

Dependencies

core-arlington v1.27.20-Tue Jul 09 18:26:00 UTC 2024

validation-model-arlington v1.27.39-Wed Jul 17 08:01:00 UTC 2024

6.1.2-t1-fail-a
Duration: 00:00:00.003 Memory: 175 MB
6.1.2-t2-fail-a
Duration: 00:00:00.003 Memory: 299 MB
6.1.3-t1-fail-a
Duration: 00:00:00.003 Memory: 307 MB
6.1.3-t2-fail-a
Duration: 00:00:00.045 Memory: 211 MB
6.1.3-t3-fail-a
Duration: 00:00:00.003 Memory: 199 MB
6.1.3-t4-fail-a
Duration: 00:00:00.005 Memory: 276 MB
6.1.4-t1-fail-a
Duration: 00:00:00.004 Memory: 292 MB
6.1.4-t2-fail-a
Duration: 00:00:00.003 Memory: 155 MB
6.1.6-t1-fail-a
Duration: 00:00:00.003 Memory: 125 MB
6.1.7-t1-fail-a
Duration: 00:00:00.005 Memory: 185 MB
6.1.7-t2-fail-a
Duration: 00:00:00.004 Memory: 157 MB
6.1.7-t3-fail-a
Duration: 00:00:00.004 Memory: 307 MB
6.1.7-t4-fail-a
Duration: 00:00:00.005 Memory: 207 MB
6.1.7-t4-fail-b
Duration: 00:00:00.004 Memory: 191 MB
6.1.7-t4-fail-c
Duration: 00:00:00.005 Memory: 296 MB
6.1.8-t1-fail-a
Duration: 00:00:00.006 Memory: 235 MB
6.1.8-t2-fail-a
Duration: 00:00:00.004 Memory: 163 MB
6.1.8-t3-fail-a
Duration: 00:00:00.005 Memory: 287 MB
6.1.8-t4-fail-a
Duration: 00:00:00.004 Memory: 296 MB
6.1.8-t5-fail-a
Duration: 00:00:00.003 Memory: 151 MB
6.1.8-t6-fail-a
Duration: 00:00:00.004 Memory: 251 MB
6.1.10-t1-fail-a
Duration: 00:00:00.021 Memory: 223 MB
6.1.10-t1-fail-b
Duration: 00:00:00.005 Memory: 299 MB
6.1.10-t1-fail-c
Duration: 00:00:00.006 Memory: 159 MB
6.1.11-t1-fail-a
Duration: 00:00:00.003 Memory: 155 MB
6.1.11-t2-fail-a
Duration: 00:00:00.005 Memory: 243 MB
6.1.12-t1-fail-a
Duration: 00:00:02.864 Memory: 252 MB
6.1.12-t1-fail-b
Duration: 00:00:00.005 Memory: 251 MB
6.1.12-t1-fail-c
Duration: 00:00:00.005 Memory: 167 MB
6.1.12-t1-fail-d
Duration: 00:00:00.017 Memory: 252 MB
6.1.13-t1-fail-a
Duration: 00:00:00.005 Memory: 251 MB
6.2.2-t1-fail-a
Duration: 00:00:00.005 Memory: 171 MB
6.2.2-t2-fail-a
Duration: 00:00:00.004 Memory: 243 MB
6.2.2-t2-fail-b
Duration: 00:00:00.005 Memory: 133 MB
6.2.2-t3-fail-a
Duration: 00:00:00.005 Memory: 105 MB
6.2.3.3-t1-fail-a
Duration: 00:00:00.004 Memory: 251 MB
6.2.3.3-t2-fail-a
Duration: 00:00:00.004 Memory: 179 MB
6.2.3.3-t2-fail-b
Duration: 00:00:00.007 Memory: 248 MB
6.2.3.3-t2-fail-c
Duration: 00:00:00.005 Memory: 151 MB
6.2.3.3-t2-fail-d
Duration: 00:00:00.007 Memory: 239 MB
6.2.3.3-t2-fail-e
Duration: 00:00:00.008 Memory: 264 MB
6.2.3.3-t2-fail-f
Duration: 00:00:00.004 Memory: 113 MB
6.2.3.3-t2-fail-g
Duration: 00:00:00.021 Memory: 287 MB
6.2.3.3-t2-fail-h
Duration: 00:00:00.004 Memory: 243 MB
6.2.3.3-t2-fail-i
Duration: 00:00:00.005 Memory: 169 MB
6.2.3.3-t2-fail-j
Duration: 00:00:00.007 Memory: 183 MB
6.2.3.3-t3-fail-a
Duration: 00:00:00.003 Memory: 279 MB
6.2.3.3-t3-fail-b
Duration: 00:00:00.005 Memory: 141 MB
6.2.3.3-t3-fail-c
Duration: 00:00:00.005 Memory: 239 MB
6.2.3.3-t3-fail-d
Duration: 00:00:00.006 Memory: 280 MB
6.2.3.3-t3-fail-e
Duration: 00:00:00.019 Memory: 248 MB
6.2.3.3-t4-fail-a
Duration: 00:00:00.003 Memory: 159 MB
6.2.3.3-t4-fail-b
Duration: 00:00:00.005 Memory: 299 MB
6.2.3.3-t4-fail-c
Duration: 00:00:00.005 Memory: 267 MB
6.2.3.3-t4-fail-d
Duration: 00:00:00.003 Memory: 211 MB
6.2.3.3-t5-fail-a
Duration: 00:00:00.005 Memory: 159 MB
6.2.3.3-t5-fail-b
Duration: 00:00:00.006 Memory: 199 MB
6.2.3.4-t1-fail-a
Duration: 00:00:00.005 Memory: 280 MB
6.2.3.4-t1-fail-b
Duration: 00:00:00.004 Memory: 264 MB
6.2.4-t1-fail-a
Duration: 00:00:00.014 Memory: 276 MB
6.2.4-t2-fail-a
Duration: 00:00:00.006 Memory: 231 MB
6.2.4-t3-fail-a
Duration: 00:00:00.006 Memory: 256 MB
6.2.4-t4-fail-a
Duration: 00:00:00.006 Memory: 215 MB
6.2.5-t1-fail-a
Duration: 00:00:00.032 Memory: 351 MB
6.2.6-t1-fail-a
Duration: 00:00:00.010 Memory: 187 MB
6.2.7-t1-fail-a
Duration: 00:00:00.018 Memory: 268 MB
6.2.7-t2-fail-a
Duration: 00:00:00.004 Memory: 231 MB
6.2.8-t1-fail-a
Duration: 00:00:00.006 Memory: 315 MB
6.2.8-t1-fail-b
Duration: 00:00:00.019 Memory: 93 MB
6.2.8-t1-fail-c
Duration: 00:00:00.005 Memory: 288 MB
6.2.8-t1-fail-d
Duration: 00:00:00.006 Memory: 203 MB
6.2.8-t2-fail-a
Duration: 00:00:00.017 Memory: 141 MB
6.2.8-t2-fail-b
Duration: 00:00:00.005 Memory: 211 MB
6.2.8-t2-fail-c
Duration: 00:00:00.004 Memory: 215 MB
6.2.9-t1-fail-a
Duration: 00:00:00.003 Memory: 117 MB
6.2.10-t1-fail-a
Duration: 00:00:00.003 Memory: 117 MB
6.2.10-t1-fail-b
Duration: 00:00:00.004 Memory: 288 MB
6.2.10-t1-fail-c
Duration: 00:00:00.005 Memory: 235 MB
6.3.2-t1-fail-a
Duration: 00:00:00.006 Memory: 121 MB
6.3.2-t1-fail-b
Duration: 00:00:00.006 Memory: 183 MB
6.3.2-t1-fail-c
Duration: 00:00:00.010 Memory: 219 MB
6.3.3.1-t1-fail-a
Duration: 00:00:00.008 Memory: 113 MB
6.3.3.1-t1-fail-b
Duration: 00:00:00.013 Memory: 219 MB
6.3.3.2-t1-fail-a
Duration: 00:00:00.011 Memory: 199 MB
6.3.3.3-t1-fail-a
Duration: 00:00:00.008 Memory: 327 MB
6.3.3.3-t2-fail-a
Duration: 00:00:00.009 Memory: 153 MB
6.3.4-t1-fail-a
Duration: 00:00:00.007 Memory: 259 MB
6.3.4-t1-fail-b
Duration: 00:00:00.012 Memory: 171 MB
6.3.4-t1-fail-c
Duration: 00:00:00.008 Memory: 97 MB
6.3.4-t1-fail-d
Duration: 00:00:00.007 Memory: 151 MB
6.3.4-t1-fail-e
Duration: 00:00:00.008 Memory: 295 MB
6.3.4-t1-fail-g
Duration: 00:00:00.009 Memory: 181 MB
6.3.4-t1-fail-h
Duration: 00:00:00.008 Memory: 235 MB
6.3.5-t1-fail-a
Duration: 00:00:00.006 Memory: 247 MB
6.3.5-t1-fail-b
Duration: 00:00:00.007 Memory: 260 MB
6.3.5-t1-fail-c
Duration: 00:00:00.010 Memory: 260 MB
6.3.5-t1-fail-d
Duration: 00:00:00.006 Memory: 347 MB
6.3.5-t2-fail-a
Duration: 00:00:00.006 Memory: 303 MB
6.3.5-t3-fail-a
Duration: 00:00:00.007 Memory: 217 MB
6.3.6-t1-fail-a
Duration: 00:00:00.010 Memory: 323 MB
6.3.6-t1-fail-b
Duration: 00:00:00.009 Memory: 275 MB
6.3.6-t1-fail-c
Duration: 00:00:00.009 Memory: 129 MB
6.3.7-t1-fail-a
Duration: 00:00:00.008 Memory: 355 MB
6.3.7-t2-fail-a
Duration: 00:00:00.020 Memory: 163 MB
6.3.7-t3-fail-a
Duration: 00:00:00.008 Memory: 271 MB
6.4-t1-fail-a
Duration: 00:00:00.015 Memory: 197 MB
6.4-t1-fail-b
Duration: 00:00:00.007 Memory: 175 MB
6.4-t2-fail-a
Duration: 00:00:00.006 Memory: 185 MB
6.4-t3-fail-a
Duration: 00:00:00.005 Memory: 161 MB
6.4-t4-fail-a
Duration: 00:00:00.007 Memory: 229 MB
6.4-t5-fail-a
Duration: 00:00:00.006 Memory: 291 MB
6.5.2-t1-fail-a
Duration: 00:00:00.006 Memory: 335 MB
6.5.2-t1-fail-b
Duration: 00:00:00.010 Memory: 259 MB
6.5.2-t1-fail-c
Duration: 00:00:00.007 Memory: 161 MB
6.5.2-t1-fail-d
Duration: 00:00:00.026 Memory: 147 MB
6.5.2-t1-fail-e
Duration: 00:00:00.009 Memory: 279 MB
6.5.2-t1-fail-f
Duration: 00:00:00.006 Memory: 109 MB
6.5.2-t1-fail-g
Duration: 00:00:00.005 Memory: 179 MB
6.5.2-t1-fail-h
Duration: 00:00:00.007 Memory: 227 MB
6.5.2-t2-fail-a
Duration: 00:00:00.026 Memory: 315 MB
6.5.2-t2-fail-b
Duration: 00:00:00.018 Memory: 264 MB
6.5.2-t2-fail-c
Duration: 00:00:00.026 Memory: 213 MB
6.5.3-t1-fail-a
Duration: 00:00:00.008 Memory: 296 MB
6.5.3-t2-fail-a
Duration: 00:00:00.011 Memory: 276 MB
6.5.3-t2-fail-b
Duration: 00:00:00.008 Memory: 275 MB
6.5.3-t2-fail-c
Duration: 00:00:00.015 Memory: 147 MB
6.5.3-t2-fail-d
Duration: 00:00:00.008 Memory: 288 MB
6.5.3-t2-fail-e
Duration: 00:00:00.011 Memory: 225 MB
6.5.3-t3-fail-a
Duration: 00:00:00.007 Memory: 199 MB
6.5.3-t3-fail-b
Duration: 00:00:00.013 Memory: 227 MB
6.5.3-t3-fail-c
Duration: 00:00:00.010 Memory: 149 MB
6.5.3-t3-fail-d
Duration: 00:00:00.011 Memory: 175 MB
6.5.3-t4-fail-a
Duration: 00:00:00.011 Memory: 195 MB
6.5.3-t4-fail-b
Duration: 00:00:00.014 Memory: 237 MB
6.5.3-t4-fail-c
Duration: 00:00:00.042 Memory: 177 MB
6.5.3-t4-fail-d
Duration: 00:00:00.010 Memory: 283 MB
6.6.1-t1-fail-a
Duration: 00:00:00.007 Memory: 187 MB
6.6.1-t1-fail-b
Duration: 00:00:00.007 Memory: 165 MB
6.6.1-t1-fail-c
Duration: 00:00:00.007 Memory: 239 MB
6.6.1-t1-fail-d
Duration: 00:00:00.006 Memory: 283 MB
6.6.1-t1-fail-e
Duration: 00:00:00.009 Memory: 284 MB
6.6.1-t1-fail-f
Duration: 00:00:00.023 Memory: 89 MB
6.6.1-t1-fail-g
Duration: 00:00:00.006 Memory: 163 MB
6.6.1-t1-fail-h
Duration: 00:00:00.006 Memory: 223 MB
6.6.1-t1-fail-i
Duration: 00:00:00.006 Memory: 201 MB
6.6.1-t2-fail-a
Duration: 00:00:00.006 Memory: 267 MB
6.6.1-t2-fail-b
Duration: 00:00:00.017 Memory: 284 MB
6.6.1-t2-fail-c
Duration: 00:00:00.015 Memory: 221 MB
6.6.1-t2-fail-d
Duration: 00:00:00.006 Memory: 267 MB
6.6.1-t2-fail-e
Duration: 00:00:00.005 Memory: 175 MB
6.6.1-t2-fail-f
Duration: 00:00:00.005 Memory: 227 MB
6.6.1-t2-fail-g
Duration: 00:00:00.006 Memory: 283 MB
6.6.1-t2-fail-h
Duration: 00:00:00.006 Memory: 183 MB
6.6.1-t2-fail-i
Duration: 00:00:00.006 Memory: 189 MB
6.6.1-t3-fail-a
Duration: 00:00:00.006 Memory: 155 MB
6.6.1-t3-fail-b
Duration: 00:00:00.005 Memory: 137 MB
6.6.1-t3-fail-c
Duration: 00:00:00.007 Memory: 271 MB
6.6.1-t3-fail-d
Duration: 00:00:00.004 Memory: 179 MB
6.6.1-t3-fail-e
Duration: 00:00:00.009 Memory: 272 MB
6.6.1-t3-fail-f
Duration: 00:00:00.006 Memory: 197 MB
6.6.1-t3-fail-g
Duration: 00:00:00.006 Memory: 331 MB
6.6.1-t3-fail-h
Duration: 00:00:00.010 Memory: 255 MB
6.6.1-t3-fail-i
Duration: 00:00:00.006 Memory: 145 MB
6.6.1-t4-fail-a
Duration: 00:00:00.017 Memory: 105 MB
6.6.1-t4-fail-b
Duration: 00:00:00.004 Memory: 195 MB
6.6.1-t4-fail-c
Duration: 00:00:00.006 Memory: 255 MB
6.6.1-t4-fail-d
Duration: 00:00:00.022 Memory: 151 MB
6.6.1-t4-fail-e
Duration: 00:00:00.019 Memory: 133 MB
6.6.1-t4-fail-f
Duration: 00:00:00.006 Memory: 287 MB
6.6.1-t4-fail-g
Duration: 00:00:00.006 Memory: 319 MB
6.6.1-t4-fail-h
Duration: 00:00:00.011 Memory: 256 MB
6.6.1-t4-fail-i
Duration: 00:00:00.006 Memory: 205 MB
6.6.2-t1-fail-a
Duration: 00:00:00.013 Memory: 272 MB
6.7.2-t1-fail-a
Duration: 00:00:00.004 Memory: 215 MB
6.7.2-t2-fail-a
Duration: 00:00:00.006 Memory: 187 MB
6.7.2-t2-fail-b
Duration: 00:00:00.006 Memory: 331 MB
6.7.2-t2-fail-c
Duration: 00:00:00.025 Memory: 247 MB
6.7.2-t3-fail-a
Duration: 00:00:00.005 Memory: 263 MB
6.7.3-t1-fail-a
Duration: 00:00:00.007 Memory: 233 MB
6.7.3-t1-fail-b
Duration: 00:00:00.006 Memory: 203 MB
6.7.3-t1-fail-c
Duration: 00:00:00.004 Memory: 191 MB
6.7.5-t1-fail-a
Duration: 00:00:00.005 Memory: 235 MB
6.7.5-t2-fail-a
Duration: 00:00:00.005 Memory: 205 MB
6.7.8-t1-fail-a
Duration: 00:00:00.007 Memory: 335 MB
6.7.8-t2-fail-a
Duration: 00:00:00.006 Memory: 223 MB
6.7.8-t2-fail-b
Duration: 00:00:00.004 Memory: 163 MB
6.7.8-t2-fail-c
Duration: 00:00:00.008 Memory: 300 MB
6.7.8-t2-fail-d
Duration: 00:00:00.027 Memory: 284 MB
6.7.8-t2-fail-e
Duration: 00:00:00.005 Memory: 296 MB
6.7.8-t2-fail-f
Duration: 00:00:00.005 Memory: 157 MB
6.7.8-t2-fail-g
Duration: 00:00:00.005 Memory: 259 MB
6.7.8-t2-fail-h
Duration: 00:00:00.005 Memory: 343 MB
6.7.8-t2-fail-i
Duration: 00:00:00.007 Memory: 221 MB
6.7.8-t2-fail-j
Duration: 00:00:00.005 Memory: 292 MB
6.7.8-t2-fail-k
Duration: 00:00:00.005 Memory: 355 MB
6.7.9-t1-fail-a
Duration: 00:00:00.005 Memory: 193 MB
6.7.11-t1-fail-a
Duration: 00:00:00.005 Memory: 275 MB
6.7.11-t1-fail-b
Duration: 00:00:00.006 Memory: 339 MB
6.7.11-t1-fail-c
Duration: 00:00:00.007 Memory: 167 MB
6.7.11-t1-fail-d
Duration: 00:00:00.006 Memory: 280 MB
6.9-t1-fail-a
Duration: 00:00:00.010 Memory: 268 MB
6.9-t2-fail-a
Duration: 00:00:00.014 Memory: 207 MB
6.9-t2-fail-b
Duration: 00:00:00.012 Memory: 263 MB
6.3.4-t1-fail-f
Duration: 00:00:00.008 Memory: 291 MB