MAYBE Errors: Stacktrace: at <0xffffffff> at (wrapper managed-to-native) Microsoft.Z3.Native/LIB.Z3_fixedpoint_dec_ref (intptr,intptr) [0x00002] in <1589d34e42ba4cbeb3351b894afd3b19>:0 at Microsoft.Z3.Native.Z3_fixedpoint_dec_ref (intptr,intptr) [0x00001] in <1589d34e42ba4cbeb3351b894afd3b19>:0 at Microsoft.Z3.Fixedpoint/DecRefQueue.DecRef (Microsoft.Z3.Context,intptr) [0x00007] in <1589d34e42ba4cbeb3351b894afd3b19>:0 at Microsoft.Z3.IDecRefQueue.Clear (Microsoft.Z3.Context) [0x0002b] in <1589d34e42ba4cbeb3351b894afd3b19>:0 at Microsoft.Z3.Context.Dispose () [0x000bd] in <1589d34e42ba4cbeb3351b894afd3b19>:0 at Microsoft.Research.T2.MuZ/MuZWrapper.CallSpacer (System.Collections.Generic.Dictionary`2,Microsoft.FSharp.Collections.FSharpList`1>,Microsoft.Z3.BoolExpr) [0x0014d] in <597f493e96b5f0a0a74503833e497f59>:0 at Microsoft.Research.T2.MuZ/MuZWrapper.Microsoft-Research-T2-SafetyInterface-SafetyProver-ErrorLocationReachable () [0x000c5] in <597f493e96b5f0a0a74503833e497f59>:0 at Microsoft.Research.T2.Termination.prover (Microsoft.Research.T2.Parameters/parameters,Microsoft.Research.T2.Programs/Program,Microsoft.Research.T2.CTL/CTL_Formula,bool,Microsoft.Research.T2.Utils/SetDictionary`2>,Microsoft.FSharp.Core.FSharpOption`1>,bool,bool,bool) [0x0037a] in <597f493e96b5f0a0a74503833e497f59>:0 at Microsoft.Research.T2.Termination.bottomUp (Microsoft.Research.T2.Parameters/parameters,Microsoft.Research.T2.Programs/Program,Microsoft.Research.T2.CTL/CTL_Formula,bool,int,Microsoft.FSharp.Core.FSharpOption`1>,Microsoft.Research.T2.Utils/SetDictionary`2>) [0x0029e] in <597f493e96b5f0a0a74503833e497f59>:0 at Microsoft.Research.T2.Termination.bottomUpProver (Microsoft.Research.T2.Parameters/parameters,Microsoft.Research.T2.Programs/Program,Microsoft.Research.T2.CTL/CTL_Formula,bool,Microsoft.FSharp.Core.FSharpOption`1>) [0x000c2] in <597f493e96b5f0a0a74503833e497f59>:0 at Microsoft.Research.T2.Main.main$cont@113-1 (Microsoft.Research.T2.Arguments/runMode,Microsoft.Research.T2.Parameters/parameters,string,Microsoft.Research.T2.Programs/Program,Microsoft.FSharp.Core.Unit) [0x00071] in <597f4945c11a1123a745038345497f59>:0 at Microsoft.Research.T2.Main.main (string[]) [0x00261] in <597f4945c11a1123a745038345497f59>:0 at (wrapper runtime-invoke) .runtime_invoke_int_object (object,intptr,intptr,intptr) [0x00054] in <597f4945c11a1123a745038345497f59>:0 /proc/self/maps: 00400000-00aec000 r-xp 00000000 fd:02 50855952 /export/starexec/sandbox2/solver/bin/T2_static 00ceb000-00cf0000 r-xp 006eb000 fd:02 50855952 /export/starexec/sandbox2/solver/bin/T2_static 00cf0000-00cf3000 rwxp 006f0000 fd:02 50855952 /export/starexec/sandbox2/solver/bin/T2_static 00cf3000-00d27000 rwxp 00000000 00:00 0 012ac000-1527b000 rwxp 00000000 00:00 0 [heap] 411ee000-41371000 rwxp 00000000 00:00 0 413ed000-413fd000 rwxp 00000000 00:00 0 2adecdb4a000-2adecdb6c000 r-xp 00000000 fd:01 137726 /usr/lib64/ld-2.17.so 2adecdb6c000-2adecdb6d000 rwxp 00000000 00:00 0 2adecdb6d000-2adecdb6e000 rwxs 00000000 00:13 225497651 /dev/shm/mono.49115 2adecdb6e000-2adecdb91000 rwxp 00000000 00:00 0 2adecdb91000-2adecdb97000 rwxp 00000000 00:00 0 2adecdb97000-2adecdbf6000 ---p 00000000 00:00 0 2adecdbf6000-2adecdbf8000 rwxp 00000000 00:00 0 2adecdbf8000-2adecdc78000 rwxp 00000000 00:00 0 2adecdc78000-2adecdc8f000 r-xp 00000000 fd:02 50855958 /export/starexec/sandbox2/solver/lib/System.Numerics.dll 2adecdc8f000-2adecdce1000 r-xp 00000000 fd:01 201506 /usr/lib/mono/gac/Mono.Security/4.0.0.0__0738eb9f132ed756/Mono.Security.dll 2adecdce1000-2adecdce4000 rwxp 00000000 00:00 0 2adecdce4000-2adecdd6b000 rwxp 00000000 00:00 0 2adecdd6b000-2adecdd6c000 r-xp 00021000 fd:01 137726 /usr/lib64/ld-2.17.so 2adecdd6c000-2adecdd6d000 rwxp 00022000 fd:01 137726 /usr/lib64/ld-2.17.so 2adecdd6d000-2adecdd6e000 rwxp 00000000 00:00 0 2adecdd6e000-2adecde6f000 r-xp 00000000 fd:01 145635 /usr/lib64/libm-2.17.so 2adecde6f000-2adece06e000 ---p 00101000 fd:01 145635 /usr/lib64/libm-2.17.so 2adece06e000-2adece06f000 r-xp 00100000 fd:01 145635 /usr/lib64/libm-2.17.so 2adece06f000-2adece070000 rwxp 00101000 fd:01 145635 /usr/lib64/libm-2.17.so 2adece070000-2adece077000 r-xp 00000000 fd:01 145649 /usr/lib64/librt-2.17.so 2adece077000-2adece276000 ---p 00007000 fd:01 145649 /usr/lib64/librt-2.17.so 2adece276000-2adece277000 r-xp 00006000 fd:01 145649 /usr/lib64/librt-2.17.so 2adece277000-2adece278000 rwxp 00007000 fd:01 145649 /usr/lib64/librt-2.17.so 2adece278000-2adece27a000 r-xp 00000000 fd:01 145633 /usr/lib64/libdl-2.17.so 2adece27a000-2adece47a000 ---p 00002000 fd:01 145633 /usr/lib64/libdl-2.17.so 2adece47a000-2adece47b000 r-xp 00002000 fd:01 145633 /usr/lib64/libdl-2.17.so 2adece47b000-2adece47c000 rwxp 00003000 fd:01 145633 /usr/lib64/libdl-2.17.so 2adece47c000-2adece493000 r-xp 00000000 fd:01 137763 /usr/lib64/libpthread-2.17.so 2adece493000-2adece692000 ---p 00017000 fd:01 137763 /usr/lib64/libpthread-2.17.so 2adece692000-2adece693000 r-xp 00016000 fd:01 137763 /usr/lib64/libpthread-2.17.so 2adece693000-2adece694000 rwxp 00017000 fd:01 137763 /usr/lib64/libpthread-2.17.so 2adece694000-2adece698000 rwxp 00000000 00:00 0 2adece698000-2adece6ad000 r-xp 00000000 fd:01 138029 /usr/lib64/libgcc_s-4.8.5-20150702.so.1 2adece6ad000-2adece8ac000 ---p 00015000 fd:01 138029 /usr/lib64/libgcc_s-4.8.5-20150702.so.1 2adece8ac000-2adece8ad000 r-xp 00014000 fd:01 138029 /usr/lib64/libgcc_s-4.8.5-20150702.so.1 2adece8ad000-2adece8ae000 rwxp 00015000 fd:01 138029 /usr/lib64/libgcc_s-4.8.5-20150702.so.1 2adece8ae000-2adecea71000 r-xp 00000000 fd:01 137737 /usr/lib64/libc-2.17.so 2adecea71000-2adecec70000 ---p 001c3000 fd:01 137737 /usr/lib64/libc-2.17.so 2adecec70000-2adecec74000 r-xp 001c2000 fd:01 137737 /usr/lib64/libc-2.17.so 2adecec74000-2adecec76000 rwxp 001c6000 fd:01 137737 /usr/lib64/libc-2.17.so 2adecec76000-2adecec7b000 rwxp 00000000 00:00 0 2adecec7b000-2aded51a4000 r-xp 00000000 fd:01 424572 /usr/lib/locale/locale-archive 2aded51a4000-2aded51a5000 ---p 00000000 00:00 0 2aded51a5000-2aded53c7000 rwxp 00000000 00:00 0 2aded53ce000-2aded53cf000 rwxp 00000000 00:00 0 2aded53d1000-2aded53d2000 rwxp 00000000 00:00 0 2aded53d4000-2aded53d5000 ---p 00000000 00:00 0 2aded53d5000-2aded53dc000 rwxp 00000000 00:00 0 2aded53e0000-2aded53e2000 rwxp 00000000 00:00 0 2aded53e5000-2aded53e6000 rwxp 00000000 00:00 0 2aded53eb000-2aded53ec000 rwxp 00000000 00:00 0 2aded53f1000-2aded53f2000 rwxp 00000000 00:00 0 2aded53f3000-2aded53f9000 rwxp 00000000 00:00 0 2aded53fa000-2aded5400000 rwxp 00000000 00:00 0 2aded5400000-2aded6800000 rwxp 00000000 00:00 0 2aded6800000-2aded6ba9000 r-xp 00000000 fd:02 50855962 /export/starexec/sandbox2/solver/lib/mscorlib.dll 2aded6baa000-2aded6bb2000 ---p 00000000 00:00 0 2aded6bb2000-2aded6bb3000 ---p 00000000 00:00 0 2aded6bb3000-2aded6bb4000 rwxp 00000000 00:00 0 2aded6bb4000-2aded6bbc000 ---p 00000000 00:00 0 2aded6bbc000-2aded6db6000 rwxp 00000000 00:00 0 2aded6db7000-2aded6ded000 rwxp 00000000 00:00 0 2aded6dee000-2aded6df2000 rwxp 00000000 00:00 0 2aded6df3000-2aded6df4000 rwxp 00000000 00:00 0 2aded6df8000-2aded6df9000 rwxp 00000000 00:00 0 2aded6e00000-2aded6f00000 rwxp 00000000 00:00 0 2aded6f00000-2aded718b000 r-xp 00000000 fd:02 50855959 /export/starexec/sandbox2/solver/lib/System.dll 2aded718c000-2aded71e0000 rwxp 00000000 00:00 0 2aded71e4000-2aded71e7000 rwxp 00000000 00:00 0 2aded71e8000-2aded7215000 rwxp 00000000 00:00 0 2aded7218000-2aded7219000 rwxp 00000000 00:00 0 2aded721a000-2aded722d000 rwxp 00000000 00:00 0 2aded7238000-2aded728c000 rwxp 00000000 00:00 0 2aded728c000-2aded7375000 r-xp 00000000 fd:01 137751 /usr/lib64/libstdc++.so.6.0.19 2aded7375000-2aded7574000 ---p 000e9000 fd:01 137751 /usr/lib64/libstdc++.so.6.0.19 2aded7574000-2aded757c000 r-xp 000e8000 fd:01 137751 /usr/lib64/libstdc++.so.6.0.19 2aded757c000-2aded757e000 rwxp 000f0000 fd:01 137751 /usr/lib64/libstdc++.so.6.0.19 2aded757e000-2aded7593000 rwxp 00000000 00:00 0 2aded7593000-2aded75b8000 r-xp 00000000 fd:01 148163 /usr/lib64/libgomp.so.1.0.0 2aded75b8000-2aded77b7000 ---p 00025000 fd:01 148163 /usr/lib64/libgomp.so.1.0.0 2aded77b7000-2aded77b8000 r-xp 00024000 fd:01 148163 /usr/lib64/libgomp.so.1.0.0 2aded77b8000-2aded77b9000 rwxp 00025000 fd:01 148163 /usr/lib64/libgomp.so.1.0.0 2aded77b9000-2aded78b0000 r-xp 00000000 fd:02 50855960 /export/starexec/sandbox2/solver/lib/System.Core.dll 2aded78b0000-2aded78cc000 rwxp 00000000 00:00 0 2aded78e4000-2aded78e6000 rwxp 00000000 00:00 0 2aded78fc000-2aded7904000 rwxp 00000000 00:00 0 2aded792a000-2aded792b000 rwxp 00000000 00:00 0 2aded792c000-2aded79bc000 rwxp 00000000 00:00 0 2aded79c4000-2aded79f4000 rwxp 00000000 00:00 0 2aded79fc000-2aded7a0c000 rwxp 00000000 00:00 0 2aded7a0f000-2aded7a10000 rwxp 00000000 00:00 0 2aded7a14000-2aded7a1c000 rwxp 00000000 00:00 0 2aded7a1e000-2aded7a1f000 rwxp 00000000 00:00 0 2aded7a24000-2aded7a6a000 rwxp 00000000 00:00 0 2aded7a6f000-2aded7a70000 rwxp 00000000 00:00 0 2aded7a74000-2aded7a88000 rwxp 00000000 00:00 0 2aded7a98000-2aded7aac000 rwxp 00000000 00:00 0 2aded7ab4000-2aded7ac0000 rwxp 00000000 00:00 0 2aded7ac8000-2aded7ad0000 rwxp 00000000 00:00 0 2aded7ae8000-2aded7af4000 rwxp 00000000 00:00 0 2aded7afc000-2aded7b00000 rwxp 00000000 00:00 0 2aded7b38000-2aded7b40000 rwxp 00000000 00:00 0 2aded7b60000-2aded7b68000 rwxp 00000000 00:00 0 2aded7b70000-2aded7b74000 rwxp 00000000 00:00 0 2aded7b7c000-2aded7b80000 rwxp 00000000 00:00 0 2aded7b88000-2aded7b90000 rwxp 00000000 00:00 0 2aded7bb0000-2aded7bb8000 rwxp 00000000 00:00 0 2aded7bc8000-2aded7bd0000 rwxp 00000000 00:00 0 2aded7c3c000-2aded7c4c000 rwxp 00000000 00:00 0 2aded7c51000-2aded7c53000 rwxp 00000000 00:00 0 2aded7c6f000-2aded7c70000 rwxp 00000000 00:00 0 2aded7ca4000-2aded7cac000 rwxp 00000000 00:00 0 2aded7d1c000-2aded7d20000 rwxp 00000000 00:00 0 2aded7d28000-2aded7d2c000 rwxp 00000000 00:00 0 2aded7d74000-2aded7df8000 rwxp 00000000 00:00 0 2aded7e20000-2aded7e24000 rwxp 00000000 00:00 0 2aded7e70000-2aded7e78000 rwxp 00000000 00:00 0 2aded7ea8000-2aded7eac000 rwxp 00000000 00:00 0 2aded7efc000-2aded7f00000 rwxp 00000000 00:00 0 2aded7f58000-2aded7fe0000 rwxp 00000000 00:00 0 2aded8000000-2aded8021000 rwxp 00000000 00:00 0 2aded8021000-2adedc000000 ---p 00000000 00:00 0 2adedc000000-2adedcfce000 r-xp 00000000 fd:02 50855961 /export/starexec/sandbox2/solver/lib/libz3.so 2adedcfce000-2adedd1ce000 ---p 00fce000 fd:02 50855961 /export/starexec/sandbox2/solver/lib/libz3.so 2adedd1ce000-2adedd1f6000 r-xp 00fce000 fd:02 50855961 /export/starexec/sandbox2/solver/lib/libz3.so 2adedd1f6000-2adedd1f9000 rwxp 00ff6000 fd:02 50855961 /export/starexec/sandbox2/solver/lib/libz3.so 2adedd1f9000-2adedd1fb000 rwxp 00000000 00:00 0 2adedd264000-2adedd274000 rwxp 00000000 00:00 0 2adedd2b4000-2adedd2c0000 rwxp 00000000 00:00 0 2adedd328000-2adedd330000 rwxp 00000000 00:00 0 2adedd348000-2adedd354000 rwxp 00000000 00:00 0 2adedd3ac000-2adedd3b0000 rwxp 00000000 00:00 0 2adedd400000-2adedd410000 rwxp 00000000 00:00 0 2adedd420000-2adedd424000 rwxp 00000000 00:00 0 2adedd474000-2adedd47c000 rwxp 00000000 00:00 0 2adedd4bc000-2adedd4c4000 rwxp 00000000 00:00 0 2adedd544000-2adedd548000 rwxp 00000000 00:00 0 2adedd578000-2adedd57c000 rwxp 00000000 00:00 0 2adedd5f8000-2adedd5fc000 rwxp 00000000 00:00 0 2adedd67c000-2adedd700000 rwxp 00000000 00:00 0 2adedd728000-2adedd738000 rwxp 00000000 00:00 0 2adedd788000-2adedd790000 rwxp 00000000 00:00 0 2adedd800000-2adedd810000 rwxp 00000000 00:00 0 2adedd818000-2adedd824000 rwxp 00000000 00:00 0 2adedd85c000-2adedd874000 rwxp 00000000 00:00 0 2adedd8dc000-2adedd8e4000 rwxp 00000000 00:00 0 2adedd8ec000-2adedd8f0000 rwxp 00000000 00:00 0 2adedd940000-2adedd94c000 rwxp 00000000 00:00 0 2adedd9a4000-2adedd9a8000 rwxp 00000000 00:00 0 2adedda00000-2adedda04000 rwxp 00000000 00:00 0 2adedda44000-2adedda54000 rwxp 00000000 00:00 0 2adeddac4000-2adeddac8000 rwxp 00000000 00:00 0 2adeddb24000-2adeddb2c000 rwxp 00000000 00:00 0 2adeddb44000-2adeddb54000 rwxp 00000000 00:00 0 2adeddbac000-2adeddcb0000 rwxp 00000000 00:00 0 2adeddcf8000-2adeddd00000 rwxp 00000000 00:00 0 2adeddd50000-2adeddd58000 rwxp 00000000 00:00 0 2adeddda0000-2adeddeb0000 rwxp 00000000 00:00 0 2adeddef8000-2adeddf00000 rwxp 00000000 00:00 0 2adeddf48000-2adeddf58000 rwxp 00000000 00:00 0 2adeddf98000-2adede0ac000 rwxp 00000000 00:00 0 2adede104000-2adede110000 rwxp 00000000 00:00 0 2adede180000-2adede184000 rwxp 00000000 00:00 0 2adede200000-2adede300000 rwxp 00000000 00:00 0 2adede378000-2adede380000 rwxp 00000000 00:00 0 2adede3e0000-2adede3ec000 rwxp 00000000 00:00 0 2adede41c000-2adede44c000 rwxp 00000000 00:00 0 2adede47c000-2adede4b4000 rwxp 00000000 00:00 0 2adede4fc000-2adede504000 rwxp 00000000 00:00 0 2adede50c000-2adede514000 rwxp 00000000 00:00 0 2adede51c000-2adede538000 rwxp 00000000 00:00 0 2adede550000-2adede558000 rwxp 00000000 00:00 0 2adede560000-2adede580000 rwxp 00000000 00:00 0 2adede588000-2adede58c000 rwxp 00000000 00:00 0 2adede59c000-2adede5b0000 rwxp 00000000 00:00 0 2adede5d8000-2adede5e0000 rwxp 00000000 00:00 0 2adede5f0000-2adede600000 rwxp 00000000 00:00 0 2adede670000-2adede67c000 rwxp 00000000 00:00 0 2adede6ac000-2adede6b0000 rwxp 00000000 00:00 0 2adede6b8000-2adede6c0000 rwxp 00000000 00:00 0 2adede710000-2adede728000 rwxp 00000000 00:00 0 2adede730000-2adede734000 rwxp 00000000 00:00 0 2adede73c000-2adede754000 rwxp 00000000 00:00 0 2adede764000-2adede774000 rwxp 00000000 00:00 0 2adede78c000-2adede79c000 rwxp 00000000 00:00 0 2adede7f4000-2adede7f8000 rwxp 00000000 00:00 0 2adede858000-2adede888000 rwxp 00000000 00:00 0 2adede898000-2adede89c000 rwxp 00000000 00:00 0 2adede904000-2adede908000 rwxp 00000000 00:00 0 2adede978000-2adede97c000 rwxp 00000000 00:00 0 2adede984000-2adede988000 rwxp 00000000 00:00 0 2adede9c8000-2adede9d8000 rwxp 00000000 00:00 0 2adede9e0000-2adede9e4000 rwxp 00000000 00:00 0 2adedea24000-2adedea38000 rwxp 00000000 00:00 0 2adedeaa8000-2adedeaac000 rwxp 00000000 00:00 0 2adedeaf4000-2adedeafc000 rwxp 00000000 00:00 0 2adedeb4c000-2adedeb64000 rwxp 00000000 00:00 0 2adedeb94000-2adedeb98000 rwxp 00000000 00:00 0 2adedebb0000-2adedebbc000 rwxp 00000000 00:00 0 2adedebc4000-2adedec48000 rwxp 00000000 00:00 0 2adedec68000-2adedec70000 rwxp 00000000 00:00 0 2adedec90000-2adedec94000 rwxp 00000000 00:00 0 2adedecac000-2adedecb0000 rwxp 00000000 00:00 0 2adedece8000-2adedecec000 rwxp 00000000 00:00 0 2adeded04000-2adeded0c000 rwxp 00000000 00:00 0 2adeded5c000-2adeded6c000 rwxp 00000000 00:00 0 2adeded8c000-2adededc0000 rwxp 00000000 00:00 0 2adedee08000-2adedee0c000 rwxp 00000000 00:00 0 2adedee4c000-2adedee60000 rwxp 00000000 00:00 0 2adedee90000-2adedee94000 rwxp 00000000 00:00 0 2adedef0c000-2adedef88000 rwxp 00000000 00:00 0 2adedf000000-2adedf180000 rwxp 00000000 00:00 0 2adedf1b8000-2adedf274000 rwxp 00000000 00:00 0 2adedf2bc000-2adedf2c4000 rwxp 00000000 00:00 0 2adedf2cc000-2adedf2d0000 rwxp 00000000 00:00 0 2adedf310000-2adedf31c000 rwxp 00000000 00:00 0 2adedf35c000-2adedf420000 rwxp 00000000 00:00 0 2adedf468000-2adedf71d000 rwxp 00000000 00:00 0 2adedf720000-2adedf820000 rwxp 00000000 00:00 0 2adedf870000-2adedf8f8000 rwxp 00000000 00:00 0 2adedf940000-2adedf950000 rwxp 00000000 00:00 0 2adedf990000-2adedf99c000 rwxp 00000000 00:00 0 2adedfab4000-2adedfabc000 rwxp 00000000 00:00 0 2adedfac4000-2adedfacc000 rwxp 00000000 00:00 0 2adedfadc000-2adedfae0000 rwxp 00000000 00:00 0 2adedfaf0000-2adedfaf4000 rwxp 00000000 00:00 0 2adedfafc000-2adedfb00000 rwxp 00000000 00:00 0 2adedfb38000-2adedfb3c000 rwxp 00000000 00:00 0 2adedfb7c000-2adedfb80000 rwxp 00000000 00:00 0 7ffc437f1000-7ffc43812000 rwxp 00000000 00:00 0 [stack] 7ffc438ef000-7ffc438f1000 r-xp 00000000 00:00 0 [vdso] ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall] Native stacktrace: ./T2_static() [0x6778ad] ./T2_static() [0x61d740] /export/starexec/sandbox2/solver/lib/libz3.so(+0x1f3906) [0x2adedc1f3906] [0x369a3c8] Debug info from gdb: [New LWP 49118] [New LWP 49117] [New LWP 49116] [Thread debugging using libthread_db enabled] Using host libthread_db library "/lib64/libthread_db.so.1". 0x00002adece48b229 in waitpid () from /lib64/libpthread.so.0 Id Target Id Frame 4 Thread 0x2aded53a4700 (LWP 49116) "SGen worker" 0x00002adece487945 in pthread_cond_wait@@GLIBC_2.3.2 () from /lib64/libpthread.so.0 3 Thread 0x2aded6db2700 (LWP 49117) "Finalizer" 0x00002adece489aab in do_futex_wait.constprop.1 () from /lib64/libpthread.so.0 2 Thread 0x2aded53da780 (LWP 49118) "T2_static" 0x00002adece074df7 in timer_helper_thread () from /lib64/librt.so.1 * 1 Thread 0x2adecdb94080 (LWP 49115) "T2_static" 0x00002adece48b229 in waitpid () from /lib64/libpthread.so.0 Thread 4 (Thread 0x2aded53a4700 (LWP 49116)): #0 0x00002adece487945 in pthread_cond_wait@@GLIBC_2.3.2 () from /lib64/libpthread.so.0 #1 0x00000000005a5f73 in thread_func () #2 0x00002adece483dd5 in start_thread () from /lib64/libpthread.so.0 #3 0x00002adece9acb3d in clone () from /lib64/libc.so.6 Thread 3 (Thread 0x2aded6db2700 (LWP 49117)): #0 0x00002adece489aab in do_futex_wait.constprop.1 () from /lib64/libpthread.so.0 #1 0x00002adece489b3f in __new_sem_wait_slow.constprop.0 () from /lib64/libpthread.so.0 #2 0x00002adece489bdb in sem_wait@@GLIBC_2.2.5 () from /lib64/libpthread.so.0 #3 0x00000000004aaf0c in finalizer_thread () #4 0x000000000053d1dd in start_wrapper () #5 0x00000000005b9088 in inner_start_thread () #6 0x00002adece483dd5 in start_thread () from /lib64/libpthread.so.0 #7 0x00002adece9acb3d in clone () from /lib64/libc.so.6 Thread 2 (Thread 0x2aded53da780 (LWP 49118)): #0 0x00002adece074df7 in timer_helper_thread () from /lib64/librt.so.1 #1 0x00002adece483dd5 in start_thread () from /lib64/libpthread.so.0 #2 0x00002adece9acb3d in clone () from /lib64/libc.so.6 Thread 1 (Thread 0x2adecdb94080 (LWP 49115)): #0 0x00002adece48b229 in waitpid () from /lib64/libpthread.so.0 #1 0x0000000000677957 in mono_handle_native_crash () #2 0x000000000061d740 in altstack_handle_and_restore () #3 0x00002adedc1f3906 in void std::__adjust_heap<__gnu_cxx::__normal_iterator*, std::vector, std::allocator > > >, long, ref, spacer::model_node_ref_gt>(__gnu_cxx::__normal_iterator*, std::vector, std::allocator > > >, long, long, ref, spacer::model_node_ref_gt) () from /export/starexec/sandbox2/solver/lib/libz3.so #4 0x000000000369a3c8 in ?? () #5 0x00007ffc4380eae8 in ?? () #6 0x00007ffc4380eab0 in ?? () #7 0x00007ffc00008e8d in ?? () #8 0x0000000001f74a18 in ?? () #9 0x00007ffc4380eb08 in ?? () #10 0x0000000009410af8 in ?? () #11 0x00007ffc00008b0b in ?? () #12 0x00000000037ee060 in ?? () #13 0x00007ffc4380eae0 in ?? () #14 0x0000001000000000 in ?? () #15 0x000000000369a3c8 in ?? () #16 0x000000000ad715a8 in ?? () #17 0x00007ffc4380eb00 in ?? () #18 0x0000001000000000 in ?? () #19 0x0000000001f74a18 in ?? () #20 0x000000000f1211e0 in ?? () #21 0x00007ffc4380ebf0 in ?? () #22 0x00002adedc1f357c in void std::__push_heap<__gnu_cxx::__normal_iterator*, std::vector, std::allocator > > >, long, ref, spacer::model_node_ref_gt>(__gnu_cxx::__normal_iterator*, std::vector, std::allocator > > >, long, long, ref, spacer::model_node_ref_gt) () from /export/starexec/sandbox2/solver/lib/libz3.so #23 0x00002adedc1f389e in void std::__adjust_heap<__gnu_cxx::__normal_iterator*, std::vector, std::allocator > > >, long, ref, spacer::model_node_ref_gt>(__gnu_cxx::__normal_iterator*, std::vector, std::allocator > > >, long, long, ref, spacer::model_node_ref_gt) () from /export/starexec/sandbox2/solver/lib/libz3.so #24 0x00002adedc1e3ce9 in spacer::model_search::reset() () from /export/starexec/sandbox2/solver/lib/libz3.so #25 0x00002adedc1e8aa4 in spacer::context::reset() () from /export/starexec/sandbox2/solver/lib/libz3.so #26 0x00002adedc1e8b24 in spacer::context::~context() () from /export/starexec/sandbox2/solver/lib/libz3.so #27 0x00002adedc1c9d49 in spacer::dl_interface::~dl_interface() () from /export/starexec/sandbox2/solver/lib/libz3.so #28 0x00002adedc3b21a6 in datalog::context::reset() () from /export/starexec/sandbox2/solver/lib/libz3.so #29 0x00002adedc3b7c0c in datalog::context::~context() () from /export/starexec/sandbox2/solver/lib/libz3.so #30 0x00002adedc09d28a in api::fixedpoint_context::~fixedpoint_context() () from /export/starexec/sandbox2/solver/lib/libz3.so #31 0x00002adedc09ce55 in Z3_fixedpoint_ref::~Z3_fixedpoint_ref() () from /export/starexec/sandbox2/solver/lib/libz3.so #32 0x00002adedc0986f8 in Z3_fixedpoint_dec_ref () from /export/starexec/sandbox2/solver/lib/libz3.so #33 0x0000000041347ff6 in ?? () #34 0x00007ffc4380eeb8 in ?? () #35 0x00002aded5610388 in ?? () #36 0x0000000002288ae8 in ?? () #37 0x0000000003139ba8 in ?? () #38 0x0000000002288ae8 in ?? () #39 0x0000000001302370 in ?? () #40 0x00002aded5610360 in ?? () #41 0x00007ffc4380ef30 in ?? () #42 0x00007ffc4380edf0 in ?? () #43 0x0000000041347f08 in ?? () #44 0x00002aded560fd58 in ?? () #45 0x00002aded560fd58 in ?? () #46 0x0000000100000000 in ?? () #47 0x0000000000000000 in ?? () ================================================================= Got a SIGSEGV while executing native code. This usually indicates a fatal error in the mono runtime or one of the native libraries used by your application. ================================================================= /export/starexec/sandbox2/solver/bin/starexec_run_default fixed: line 32: 49115 Aborted (core dumped) ${T2_BIN} -timeout "$STAREXEC_WALLCLOCK_TIME" $T2_ARGS -try_nonterm true -input_t2 "./theBenchmark.t2"