./goblint --conf conf/svcomp23.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:2596:3-2647:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:2665:3-2679:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:2867:5-2883:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:2947:3-2966:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:3075:3-3118:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:3173:3-3211:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:4015:3-4033:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:4088:11-4104:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:4158:13-4174:13 with factor 6
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:4247:9-4263:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:4354:9-4383:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:4396:11-4427:11 with factor 4
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:4586:9-4610:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:5425:5-5444:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:5452:5-5481:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:6073:3-6086:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:6212:3-6253:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:6273:3-6300:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:6337:5-6430:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:6471:5-6507:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:7228:5-7247:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:7288:3-7322:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:7341:3-7350:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:7368:3-7382:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:7396:3-7412:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:7698:3-7711:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:8579:3-8615:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:8768:3-8790:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:8880:3-8897:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:8941:3-8957:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:9096:3-9115:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/parport.i.cil-1.c:9340:5-9368:5 with factor 5
Collected factors:
functions: 244
functionCalls: 858
loops: 43
loopBreaks: 0
controlFlowStatements: 2560
expressions: 13092
instructions: 2957
integralVars: (32,548)
arrayVars: (7,7)
pointerVars: (4,617)

Complexity estimates:
File: 3381382
malloc wrapper: ExAllocatePoolWithTag
no thread creation -> disabeling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn"
Total: 3381382
