./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/diskperf.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/diskperf.i.cil-1.c:2635:7-2647:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/diskperf.i.cil-1.c:3068:9-3080:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/diskperf.i.cil-1.c:3258:3-3263:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ntdrivers/diskperf.i.cil-1.c:3329:3-3334:3 with factor 12
Collected factors:
functions: 127
functionCalls: 286
loops: 10
loopBreaks: 0
controlFlowStatements: 685
expressions: 7467
instructions: 1072
integralVars: (23,256)
arrayVars: (3,0)
pointerVars: (2,254)

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