VeryMax
nameresulttime
loops_smt/1567523038586707.koat.smt2yes16.2044
loops_smt/1567523038589882.koat.smt2yes0.0291701
loops_smt/1567523038680556.koat.smt2yes0.023638
loops_smt/1567523038680729.koat.smt2yes0.0230391
loops_smt/1567523038899378.koat.smt2yes0.0359961
loops_smt/1567523038984754.koat.smt2yes0.0218069
loops_smt/1567523039293866.koat.smt2yes0.0284309
loops_smt/1567523039294139.koat.smt2yes0.02829
loops_smt/1567523039294457.koat.smt2yes0.0295869
loops_smt/1567523039294787.koat.smt2yes0.0305119
loops_smt/1567523039295808.koat.smt2no42.6298
loops_smt/1567523039443195.koat.smt2unknown60.0268
loops_smt/1567523039547229.koat.smt2yes0.0230201
loops_smt/1567523039996898.koat.smt2yes0.025656
loops_smt/1567523039997637.koat.smt2yes0.0234029
loops_smt/1567523039998984.koat.smt2yes0.0268059
loops_smt/1567523039999284.koat.smt2yes0.026521
loops_smt/1567523040133374.koat.smt2yes0.0245911
loops_smt/1567523040133625.koat.smt2yes0.0244309
loops_smt/1567523040204369.koat.smt2yes0.078341
loops_smt/1567523040934515.koat.smt2yes0.0344461
loops_smt/1567523040935760.koat.smt2yes0.0334331
loops_smt/1567523040936383.koat.smt2yes0.038029
loops_smt/1567523040939713.koat.smt2yes0.037525
loops_smt/1567523041115998.koat.smt2yes0.0332451
loops_smt/1567523041448786.koat.smt2yes0.036866
loops_smt/1567523041450151.koat.smt2yes0.036751
loops_smt/1567523041596393.koat.smt2yes0.317005
loops_smt/1567523041596728.koat.smt2yes0.0300039
loops_smt/1567523041597043.koat.smt2yes0.02926
loops_smt/1567523041856013.koat.smt2yes0.034135
loops_smt/1567523041856625.koat.smt2yes0.025774
loops_smt/1567523042576186.koat.smt2yes0.0364889
loops_smt/1567523042582160.koat.smt2yes0.0372381
loops_smt/1567523042649804.koat.smt2yes0.022423
loops_smt/1567523042753638.koat.smt2unknown60.0844
loops_smt/1567523045068963.koat.smt2yes0.0301311
loops_smt/1567523045069463.koat.smt2yes0.0328409
loops_smt/1567523045073607.koat.smt2yes0.036114
loops_smt/1567523045074065.koat.smt2yes0.0353381
loops_smt/1567523045074528.koat.smt2yes0.0363339
loops_smt/1567523045624274.koat.smt2yes0.184271
loops_smt/1567523045624891.koat.smt2yes0.658319
loops_smt/1567523045625279.koat.smt2yes0.026264
loops_smt/1567523045625507.koat.smt2yes0.0251521
loops_smt/1567523045796666.koat.smt2yes0.0236501
loops_smt/1567523046073955.koat.smt2yes0.0228271
loops_smt/1567523046074128.koat.smt2yes0.0289429
loops_smt/1567523046427060.koat.smt2yes0.030762
loops_smt/1567523046427476.koat.smt2yes0.030668
loops_smt/1567523046427824.koat.smt2yes0.030133
loops_smt/1567523046428169.koat.smt2yes0.0300211
loops_smt/1567523046541129.koat.smt2yes0.0246369
loops_smt/1567523046541392.koat.smt2yes0.0237491
loops_smt/1567523047079106.koat.smt2yes0.0284819
loops_smt/1567523047079646.koat.smt2yes0.027907
loops_smt/1567523047080157.koat.smt2yes0.0311229
loops_smt/1567523047080717.koat.smt2yes0.031556
loops_smt/1567523047081304.koat.smt2yes0.0346769
loops_smt/1567523047081919.koat.smt2yes0.0347631
loops_smt/1567523047082497.koat.smt2unknown60.0943
loops_smt/1567523047083010.koat.smt2no7.95784
loops_smt/1567523047083476.koat.smt2no22.8489
loops_smt/1567523047238661.koat.smt2yes0.023513
loops_smt/1567523047306086.koat.smt2yes0.022359
loops_smt/1567523047527383.koat.smt2yes0.0745051
loops_smt/1567523047651482.koat.smt2yes0.175869
loops_smt/1567523047651740.koat.smt2yes0.0247621
loops_smt/1567523047937224.koat.smt2yes0.021551
loops_smt/1567523048438763.koat.smt2yes0.0224599
loops_smt/1567523048439555.koat.smt2unknown60.0238
loops_smt/1567523048440455.koat.smt2unknown60.1222
loops_smt/1567523048440910.koat.smt2unknown60.0265
loops_smt/1567523049351238.koat.smt2yes0.0277141
loops_smt/1567523049352613.koat.smt2yes0.0283859
loops_smt/1567523049352885.koat.smt2yes0.0280209
loops_smt/1567523049353142.koat.smt2yes0.026793
loops_smt/1567523049353399.koat.smt2yes0.028068
loops_smt/1567523049353611.koat.smt2yes0.022274
loops_smt/1567523049454870.koat.smt2yes0.0223579
loops_smt/1567523049769992.koat.smt2yes0.027641
loops_smt/1567523049770235.koat.smt2yes0.027419
loops_smt/1567523050234875.koat.smt2yes0.0237879
loops_smt/1567523050435332.koat.smt2unknown60.0359
loops_smt/1567523050435922.koat.smt2unknown60.042
loops_smt/1567523053190363.koat.smt2yes0.046691
loops_smt/1567523053192708.koat.smt2yes0.0467099
loops_smt/1567523053197585.koat.smt2yes0.045694
loops_smt/1567523053198726.koat.smt2yes0.0480651
loops_smt/1567523053222711.koat.smt2yes0.0733729
loops_smt/1567523053453240.koat.smt2yes0.0283969
loops_smt/1567523053453552.koat.smt2yes0.030243
loops_smt/1567523053453898.koat.smt2yes0.030754
loops_smt/1567523053454285.koat.smt2yes0.0315301
loops_smt/1567523054474097.koat.smt2yes0.0310659
loops_smt/1567523054775314.koat.smt2yes0.0277839
loops_smt/1567523054775617.koat.smt2yes0.0269569
loops_smt/1567523054899182.koat.smt2yes0.0250051
loops_smt/1567523054899426.koat.smt2yes0.024933
loops_smt/1567523055102850.koat.smt2yes0.0668829
loops_smt/1567523055242391.koat.smt2yes0.022479
loops_smt/1567523055433480.koat.smt2yes0.0234039
loops_smt/1567523055516755.koat.smt2yes0.0233
loops_smt/1567523056288019.koat.smt2yes0.0375391
loops_smt/1567523056295077.koat.smt2yes0.0386901
loops_smt/1567523056421547.koat.smt2yes0.319381
loops_smt/1567523056612154.koat.smt2yes0.0252429
loops_smt/1567523056818146.koat.smt2yes0.0226
loops_smt/1567523057019783.koat.smt2yes0.0662949
loops_smt/1567523057161049.koat.smt2yes0.022397
loops_smt/1567523057762563.koat.smt2yes0.0362089
loops_smt/1567523057766115.koat.smt2yes0.0374049
loops_smt/1567523067811781.koat.smt2yes0.0365699
loops_smt/1567523067816962.koat.smt2yes0.0264939
loops_smt/1567523067821778.koat.smt2yes0.0305381
loops_smt/1567523067853496.koat.smt2yes0.0429241
loops_smt/1567523067855291.koat.smt2yes0.041693
loops_smt/1567523067857083.koat.smt2yes0.043657
loops_smt/1567523067858843.koat.smt2yes0.0398339
loops_smt/1567523068216419.koat.smt2yes0.024064
loops_smt/1567523068374760.koat.smt2yes0.0660261
loops_smt/1567523068679749.koat.smt2yes0.0411569
loops_smt/1567523068680165.koat.smt2yes0.0274171
loops_smt/1567523068681718.koat.smt2yes0.0279489
loops_smt/1567523068682036.koat.smt2yes0.0278231
loops_smt/1567523068682397.koat.smt2yes0.0296929
loops_smt/1567523068682776.koat.smt2yes0.0534841
loops_smt/1567523068840612.koat.smt2yes0.0235051
loops_smt/1567523068840767.koat.smt2yes0.0233049
loops_smt/1567523068841048.koat.smt2yes0.0246399
loops_smt/1567523068907751.koat.smt2yes0.022034
loops_smt/1567523069116360.koat.smt2yes0.0747229
loops_smt/1567523071535967.koat.smt2yes0.0745009
loops_smt/1567523071539539.koat.smt2yes0.073386
loops_smt/1567523071547049.koat.smt2yes0.080058
loops_smt/1567523071550813.koat.smt2yes0.0768831
loops_smt/1567523071556770.koat.smt2yes0.0833189
loops_smt/1567523071560602.koat.smt2yes0.079296
loops_smt/1567523071566957.koat.smt2yes0.091273
loops_smt/1567523071571102.koat.smt2yes0.089039
loops_smt/1567523071572895.koat.smt2yes0.0569271
loops_smt/1567523071575252.koat.smt2yes0.098872
loops_smt/1567523071768107.koat.smt2yes0.02284
loops_smt/1567523071768328.koat.smt2yes0.02481
loops_smt/1567523072168443.koat.smt2yes0.0271979
loops_smt/1567523072469597.koat.smt2yes0.0277509
loops_smt/1567523072469989.koat.smt2yes0.0279141
loops_smt/1567523072470701.koat.smt2no36.1657
loops_smt/1567523072471750.koat.smt2yes0.029198
loops_smt/1567523072472089.koat.smt2yes0.0291361
loops_smt/1567523072472479.koat.smt2yes0.0312019
loops_smt/1567523072472887.koat.smt2yes0.0300869
loops_smt/1567523072938784.koat.smt2yes0.024999
loops_smt/1567523073135966.koat.smt2yes0.065869
loops_smt/1567523073399244.koat.smt2yes0.023186
loops_smt/1567523074209430.koat.smt2yes0.0379101
loops_smt/1567523076753075.koat.smt2yes0.0457659
loops_smt/1567523076755423.koat.smt2yes0.0470889
loops_smt/1567523076760276.koat.smt2yes0.0456811
loops_smt/1567523076761424.koat.smt2yes0.0488751
loops_smt/1567523076784534.koat.smt2yes0.0743951
loops_smt/1567523077009012.koat.smt2yes0.0231911
loops_smt/1567523077009166.koat.smt2yes0.024816
loops_smt/1567523077143041.koat.smt2yes0.0219589
loops_smt/1567523082209422.koat.smt2yes0.025744
loops_smt/1567523082212423.koat.smt2yes0.0250601
loops_smt/1567523082212604.koat.smt2yes0.023747
loops_smt/1567523082212807.koat.smt2yes0.0261621
loops_smt/1567523084803520.koat.smt2unknown60.0223
loops_smt/1567523084804575.koat.smt2unknown60.0766
loops_smt/1567523084823510.koat.smt2yes0.0263879
loops_smt/1567523084824191.koat.smt2yes0.026745
loops_smt/1567523084824869.koat.smt2yes0.027393
loops_smt/1567523084834298.koat.smt2yes0.0241891
loops_smt/1567523085076362.koat.smt2yes0.0225019
loops_smt/1567523085896576.koat.smt2yes0.056861
loops_smt/1567523085962288.koat.smt2yes0.022238
loops_smt/1567523086082307.koat.smt2yes0.0234241
loops_smt/1567523087179527.koat.smt2no31.1911
loops_smt/1567523087179991.koat.smt2yes0.0297429
loops_smt/1567523087180414.koat.smt2yes0.0278021
loops_smt/1567523087180786.koat.smt2yes0.027478
loops_smt/1567523087181212.koat.smt2yes0.0315431
loops_smt/1567523087181695.koat.smt2yes0.031276
loops_smt/1567523087182169.koat.smt2yes0.0310921
loops_smt/1567523087182644.koat.smt2yes0.030671
loops_smt/1567523087183080.koat.smt2no33.1154
loops_smt/1567523087607124.koat.smt2yes0.0236391
loops_smt/1567523087607349.koat.smt2yes0.0249401
loops_smt/1567523087813010.koat.smt2yes0.0744941
loops_smt/1567523087972483.koat.smt2yes0.06562
loops_smt/1567523088241726.koat.smt2yes0.027779
loops_smt/1567523088430205.koat.smt2yes1.41714
loops_smt/1567523088430460.koat.smt2no5.2685
loops_smt/1567523088565137.koat.smt2yes0.023911
loops_smt/1567523088565389.koat.smt2yes0.0259079
loops_smt/1567523088565563.koat.smt2yes0.0247871
loops_smt/1567523088565721.koat.smt2yes0.02415
loops_smt/1567523088747176.koat.smt2yes0.026054
loops_smt/1567523089299642.koat.smt2yes0.037302
loops_smt/1567523089303253.koat.smt2yes0.038044
loops_smt/1567523089406655.koat.smt2yes0.0232059
loops_smt/1567523089406794.koat.smt2yes0.0224061
loops_smt/1567523092150640.koat.smt2yes0.0462081
loops_smt/1567523092153443.koat.smt2yes0.048382
loops_smt/1567523092159221.koat.smt2yes0.0458659
loops_smt/1567523092160589.koat.smt2yes0.0474269
loops_smt/1567523092188808.koat.smt2yes0.074096
loops_smt/1567523092316598.koat.smt2yes0.025161
loops_smt/1567523092387194.koat.smt2yes0.024842
loops_smt/1567523092641064.koat.smt2yes0.0260459
loops_smt/1567523092641383.koat.smt2yes0.024949
loops_smt/1567523092641605.koat.smt2yes0.0255329
loops_smt/1567523092641831.koat.smt2yes0.0464009
loops_smt/1567523092642066.koat.smt2yes0.0272541
loops_smt/1567523092642287.koat.smt2yes0.03891
loops_smt/1567523093287792.koat.smt2yes0.0250671
loops_smt/1567523093288055.koat.smt2yes1.48739
loops_smt/1567523093453481.koat.smt2yes0.024688
loops_smt/1567523096108401.koat.smt2yes0.0805161
loops_smt/1567523096112095.koat.smt2yes0.0786411
loops_smt/1567523096113567.koat.smt2yes0.0440751
loops_smt/1567523096114791.koat.smt2yes0.0409099
loops_smt/1567523096126347.koat.smt2yes0.091254
loops_smt/1567523096130532.koat.smt2yes0.090583
loops_smt/1567523096136457.koat.smt2yes0.081839
loops_smt/1567523096140207.koat.smt2yes0.0816711
loops_smt/1567523096141723.koat.smt2yes3.00126
loops_smt/1567523096143045.koat.smt2yes0.744026
loops_smt/1567523096144341.koat.smt2yes3.90657
loops_smt/1567523096145639.koat.smt2yes10.0051
loops_smt/1567523096146936.koat.smt2yes1.94474
loops_smt/1567523096148234.koat.smt2yes1.56205
loops_smt/1567523096149831.koat.smt2yes0.0741569
loops_smt/1567523096153243.koat.smt2yes0.0750319
loops_smt/1567523096400359.koat.smt2yes0.0244011
loops_smt/1567523096400632.koat.smt2yes0.025556
loops_smt/1567523096400851.koat.smt2yes0.0270739
loops_smt/1567523096536170.koat.smt2yes0.0237421
loops_smt/1567523097052996.koat.smt2yes0.055273
loops_smt/1567523097055477.koat.smt2yes0.040669
loops_smt/1567523097059874.koat.smt2yes0.031055
loops_smt/1567523097060862.koat.smt2yes0.030398
loops_smt/1567523097062422.koat.smt2yes0.077906
loops_smt/1567523099786935.koat.smt2yes0.0457679
loops_smt/1567523099789288.koat.smt2yes0.0472191
loops_smt/1567523099794127.koat.smt2yes0.045072
loops_smt/1567523099795307.koat.smt2yes0.047333
loops_smt/1567523099819440.koat.smt2yes0.073184
loops_smt/1567523100171503.koat.smt2yes0.0265211
loops_smt/1567523100172400.koat.smt2yes0.0469641
loops_smt/1567523100173240.koat.smt2yes0.0259249
loops_smt/1567523100174078.koat.smt2yes0.024752
loops_smt/1567523100175364.koat.smt2yes0.0751651
loops_smt/1567523100478314.koat.smt2yes1.86412
loops_smt/1567523100478582.koat.smt2yes0.393504
loops_smt/1567523100478773.koat.smt2yes0.0890389
loops_smt/1567523100478953.koat.smt2yes0.033588
loops_smt/1567523100728576.koat.smt2no5.25862
loops_smt/1567523101013127.koat.smt2yes0.065103
loops_smt/1567523101083505.koat.smt2yes0.023612
loops_smt/1567523101437411.koat.smt2yes0.0226799
loops_smt/1567523101549041.koat.smt2yes0.0240081
loops_smt/1567523101856515.koat.smt2yes0.0251521
loops_smt/1567523102198966.koat.smt2unknown60.0856
loops_smt/1567523102286227.koat.smt2yes0.0226559
loops_smt/1567523102286459.koat.smt2yes0.0257109
loops_smt/1567523103329355.koat.smt2yes0.0254691
loops_smt/1567523103329630.koat.smt2yes0.025781
loops_smt/1567523103329858.koat.smt2yes0.02512
loops_smt/1567523103330516.koat.smt2yes0.0267229
loops_smt/1567523103330757.koat.smt2yes0.026735
loops_smt/1567523103331220.koat.smt2yes0.0261789
loops_smt/1567523103437050.koat.smt2yes0.0235441
loops_smt/1567523103678594.koat.smt2yes0.025628
loops_smt/1567523103678869.koat.smt2yes0.025755
loops_smt/1567523103679079.koat.smt2yes0.0232561
loops_smt/1567523103799136.koat.smt2yes1.25515
loops_smt/1567523103799382.koat.smt2yes0.056877
loops_smt/1567523103865940.koat.smt2yes0.0236191
loops_smt/1567523103950660.koat.smt2yes0.0247049
loops_smt/1567523103950932.koat.smt2yes0.0288061
loops_smt/1567523104607377.koat.smt2yes0.025485
loops_smt/1567523104607677.koat.smt2yes0.025009
loops_smt/1567523104607920.koat.smt2yes0.0255979
loops_smt/1567523104794614.koat.smt2yes0.022066
loops_smt/1567523104794941.koat.smt2yes0.0232099
loops_smt/1567523104868513.koat.smt2yes0.025038
loops_smt/1567523104979298.koat.smt2yes0.0321601
loops_smt/1567523105272726.koat.smt2maybe18.5629
loops_smt/1567523105406133.koat.smt2yes0.028613
loops_smt/1567523105406394.koat.smt2yes0.0252839
loops_smt/1567523105535205.koat.smt2yes0.0227251
loops_smt/1567523105535418.koat.smt2yes0.0256361
loops_smt/1567523105708257.koat.smt2yes0.0229469
loops_smt/1567523105973766.koat.smt2yes0.181432
loops_smt/1567523106202758.koat.smt2yes0.025912
loops_smt/1567523106272845.koat.smt2maybe5.28776
loops_smt/1567523106358926.koat.smt2yes0.023073
loops_smt/1567523106359137.koat.smt2yes0.0235509
loops_smt/1567523106563332.koat.smt2yes0.0651619
loops_smt/1567523106888559.koat.smt2yes0.027965
loops_smt/1567523106888832.koat.smt2yes0.0267219
loops_smt/1567523106889080.koat.smt2yes0.027048
loops_smt/1567523106889336.koat.smt2yes0.0266019
loops_smt/1567523107181077.koat.smt2yes0.0216059
loops_smt/1567523107181225.koat.smt2yes0.0232619
loops_smt/1567523107340673.koat.smt2yes0.022504
loops_smt/1567523108150015.koat.smt2yes0.0232111
loops_smt/1567523108836364.koat.smt2yes0.026289
loops_smt/1567523108842890.koat.smt2yes0.027975
loops_smt/1567523108843188.koat.smt2yes0.0284331
loops_smt/1567523108843525.koat.smt2yes0.0310321
loops_smt/1567523108843882.koat.smt2yes0.0308039
loops_smt/1567523109153570.koat.smt2yes0.0253429
loops_smt/1567523109421350.koat.smt2yes0.075331
loops_smt/1567523109493857.koat.smt2yes0.0271559
loops_smt/1567523109650698.koat.smt2yes0.20556
loops_smt/1567523109651155.koat.smt2yes0.029953
loops_smt/1567523110137323.koat.smt2yes0.0362901
loops_smt/1567523110141011.koat.smt2yes0.038149
loops_smt/1567523111843867.koat.smt2yes0.0279599
loops_smt/1567523111844143.koat.smt2yes0.027488
loops_smt/1567523111844461.koat.smt2yes0.0301131
loops_smt/1567523111844795.koat.smt2yes0.0303451
loops_smt/1567523111845373.koat.smt2no13.3825
loops_smt/1567523112109177.koat.smt2yes0.026267
loops_smt/1567523112109368.koat.smt2yes0.0223489
loops_smt/1567523112179055.koat.smt2yes0.027167
loops_smt/1567523112266188.koat.smt2yes0.0234871
loops_smt/1567523112266412.koat.smt2yes0.024205
loops_smt/1567523112480804.koat.smt2yes0.0226571
loops_smt/1567523112480947.koat.smt2yes0.023291
loops_smt/1567523112680320.koat.smt2yes0.0255319
loops_smt/1567523112680504.koat.smt2yes0.025028
loops_smt/1567523112680679.koat.smt2yes0.0241089
loops_smt/1567523112955944.koat.smt2yes0.0269561
loops_smt/1567523112956430.koat.smt2yes0.02737
loops_smt/1567523112956667.koat.smt2yes0.0277939
loops_smt/1567523113080014.koat.smt2yes0.025078
loops_smt/1567523117928847.koat.smt2yes0.0244711
loops_smt/1567523117929051.koat.smt2yes0.0230149
loops_smt/1567523117929248.koat.smt2yes0.025348
loops_smt/1567523117929429.koat.smt2yes0.0226869
loops_smt/1567523117929604.koat.smt2yes0.022537
loops_smt/1567523118085781.koat.smt2yes0.0256449
loops_smt/1567523118086065.koat.smt2yes0.026466
loops_smt/1567523118086288.koat.smt2yes0.0257159
loops_smt/1567523118310982.koat.smt2unknown60.0261
loops_smt/1567523118311509.koat.smt2yes0.034466
loops_smt/1567523118579411.koat.smt2yes0.176402
loops_smt/1567523118579818.koat.smt2yes0.023153
loops_smt/1567523121715053.koat.smt2yes0.0234741
loops_smt/1567523122606819.koat.smt2yes0.0367959
loops_smt/1567523122613209.koat.smt2yes0.0386799
loops_smt/1567523124122690.koat.smt2yes0.28338
loops_smt/1567523124123002.koat.smt2yes0.0258299
loops_smt/1567523124310741.koat.smt2yes0.02607
loops_smt/1567523124818657.koat.smt2yes0.0372589
loops_smt/1567523124822327.koat.smt2yes0.0380741
loops_smt/1567523124928478.koat.smt2yes0.0343431
loops_smt/1567523125039855.koat.smt2yes0.0328091
loops_smt/1567523125127124.koat.smt2yes0.0227831
loops_smt/1567523125618648.koat.smt2yes0.0252451
loops_smt/1567523125618932.koat.smt2yes0.0265301
loops_smt/1567523125619359.koat.smt2yes0.024546
loops_smt/1567523125619571.koat.smt2yes0.024531
loops_smt/1567523125619994.koat.smt2yes0.0245049
loops_smt/1567523125620204.koat.smt2yes0.0250651
loops_smt/1567523125727897.koat.smt2yes0.024283
loops_smt/1567523125846031.koat.smt2yes0.0234299
loops_smt/1567523126774749.koat.smt2yes0.02507
loops_smt/1567523126775045.koat.smt2yes0.025118
loops_smt/1567523126775291.koat.smt2yes0.025771
loops_smt/1567523127005592.koat.smt2yes0.023309
loops_smt/1567523127005803.koat.smt2yes0.0244161
loops_smt/1567523127078220.koat.smt2yes0.057936
loops_smt/1567523127403515.koat.smt2yes0.027793
loops_smt/1567523127403917.koat.smt2yes0.028445
loops_smt/1567523127406226.koat.smt2yes0.0288439
loops_smt/1567523127406626.koat.smt2yes0.029196
loops_smt/1567523127407021.koat.smt2yes0.0312111
loops_smt/1567523127407440.koat.smt2yes0.0315191
loops_smt/1567523127619898.koat.smt2yes0.0651089
loops_smt/1567523128176196.koat.smt2yes0.0311041
loops_smt/1567523128177933.koat.smt2yes0.0298751
loops_smt/1567523128181633.koat.smt2yes0.0301101
loops_smt/1567523128182489.koat.smt2yes0.030282
loops_smt/1567523128183694.koat.smt2yes0.065176
loops_smt/1567523128344582.koat.smt2yes0.0224121
loops_smt/1567523128344891.koat.smt2yes0.021671
loops_smt/1567523129010283.koat.smt2yes0.028687
loops_smt/1567523129010670.koat.smt2yes0.0285299
loops_smt/1567523129020106.koat.smt2yes0.03087
loops_smt/1567523129021403.koat.smt2yes0.030363
loops_smt/1567523129022502.koat.smt2yes0.0331551
loops_smt/1567523129023569.koat.smt2yes0.0326101
loops_smt/1567523129024552.koat.smt2no25.7664
loops_smt/1567523129025416.koat.smt2no29.3388
loops_smt/1567523129026166.koat.smt2no32.4681
loops_smt/1567523129403627.koat.smt2yes0.0324739
loops_smt/1567523129404118.koat.smt2yes0.0321861
loops_smt/1567523129404564.koat.smt2yes0.0333
loops_smt/1567523129405001.koat.smt2yes0.033232
loops_smt/1567523129613341.koat.smt2yes0.0736799
loops_smt/1567523130729918.koat.smt2no6.60018
loops_smt/1567523130730301.koat.smt2no6.12159
loops_smt/1567523130927885.koat.smt2yes0.0668981
loops_smt/1567523131547057.koat.smt2yes0.0259651
loops_smt/1567523131547418.koat.smt2yes0.0258699
loops_smt/1567523131547778.koat.smt2yes0.0319279
loops_smt/1567523131548191.koat.smt2yes0.030949
loops_smt/1567523131548523.koat.smt2yes0.0252489
loops_smt/1567523131549006.koat.smt2yes0.0252421
loops_smt/1567523131549301.koat.smt2yes0.0275331
loops_smt/1567523131549633.koat.smt2yes0.0267791
loops_smt/1567523131724239.koat.smt2yes0.023027
loops_smt/1567523132023816.koat.smt2yes0.02276
loops_smt/1567523132321081.koat.smt2yes0.0243649
loops_smt/1567523132806662.koat.smt2yes0.0287829
loops_smt/1567523132806956.koat.smt2yes0.051331
loops_smt/1567523132807300.koat.smt2yes0.0304351
loops_smt/1567523132807655.koat.smt2yes0.0299971
loops_smt/1567523132992531.koat.smt2yes0.219048
loops_smt/1567523136591794.koat.smt2yes0.0857559
loops_smt/1567523136595940.koat.smt2yes0.0848011
loops_smt/1567523136638721.koat.smt2yes0.0748031
loops_smt/1567523136642336.koat.smt2yes0.0741009
loops_smt/1567523136925041.koat.smt2yes0.0734481
loops_smt/1567523138486888.koat.smt2yes0.022047
loops_smt/1567523138489018.koat.smt2unknown60.0324
loops_smt/1567523138492491.koat.smt2unknown60.0263
loops_smt/1567523138493172.koat.smt2unknown60.0579
loops_smt/1567523142225751.koat.smt2yes0.0288761
loops_smt/1567523142561420.koat.smt2yes0.055951
loops_smt/1567523142561846.koat.smt2yes0.0305431
loops_smt/1567523142562199.koat.smt2yes0.0298809
loops_smt/1567523142562568.koat.smt2yes0.0313941
loops_smt/1567523142798038.koat.smt2yes0.0233501
loops_smt/1567523142798255.koat.smt2yes0.024657
loops_smt/1567523143196883.koat.smt2yes0.0273191
loops_smt/1567523143197263.koat.smt2yes0.027757
loops_smt/1567523143197649.koat.smt2yes0.032038
loops_smt/1567523143198082.koat.smt2yes0.030707
loops_smt/1567523143198503.koat.smt2yes0.0310311
loops_smt/1567523143198979.koat.smt2yes0.030741
loops_smt/1567523143199361.koat.smt2no26.7083
loops_smt/1567523143199751.koat.smt2unknown60.0456
loops_smt/1567523143200159.koat.smt2unknown60.0938
loops_smt/1567523143355751.koat.smt2yes0.0240239
loops_smt/1567523143498031.koat.smt2yes0.0228471
loops_smt/1567523143729687.koat.smt2yes0.0226841
loops_smt/1567523143729902.koat.smt2yes0.023925
loops_smt/1567523143730205.koat.smt2yes0.023196
loops_smt/1567523144961609.koat.smt2yes0.0268981
loops_smt/1567523144961940.koat.smt2yes0.026628
loops_smt/1567523144962192.koat.smt2yes0.026126
loops_smt/1567523144962455.koat.smt2yes0.0274971
loops_smt/1567523144962681.koat.smt2yes0.0225599
loops_smt/1567523144962874.koat.smt2yes0.0224839
loops_smt/1567523144963094.koat.smt2yes0.022331
loops_smt/1567523144963290.koat.smt2yes0.0244189
loops_smt/1567523144963713.koat.smt2yes0.0256609
loops_smt/1567523144963954.koat.smt2yes0.0357169
loops_smt/1567523144964143.koat.smt2yes0.0231109
loops_smt/1567523144964328.koat.smt2yes0.0221839
loops_smt/1567523144964501.koat.smt2yes0.022782
loops_smt/1567523144964893.koat.smt2yes0.022549
loops_smt/1567523144965071.koat.smt2yes0.0231401
loops_smt/1567523144965242.koat.smt2yes0.0233569
loops_smt/1567523144965596.koat.smt2yes0.024755
loops_smt/1567523145187771.koat.smt2yes0.0271411
loops_smt/1567523145188092.koat.smt2yes0.027736
loops_smt/1567523145188342.koat.smt2yes0.0269831
loops_smt/1567523145188590.koat.smt2yes1.84788
loops_smt/1567523145804199.koat.smt2yes0.025004
loops_smt/1567523145804440.koat.smt2yes0.0248291
loops_smt/1567523145804906.koat.smt2yes0.027924
loops_smt/1567523145805139.koat.smt2yes0.0258301
loops_smt/1567523145805603.koat.smt2yes0.028225
loops_smt/1567523145805831.koat.smt2yes0.0246799
loops_smt/1567523148364109.koat.smt2yes0.04526
loops_smt/1567523148366442.koat.smt2yes0.0468309
loops_smt/1567523148371287.koat.smt2yes0.0462451
loops_smt/1567523148372427.koat.smt2yes0.0463609
loops_smt/1567523148411892.koat.smt2yes0.0737161
loops_smt/1567523148518575.koat.smt2yes0.027332
loops_smt/1567523151277867.koat.smt2yes1.22258
loops_smt/1567523151278305.koat.smt2yes2.42412
loops_smt/1567523151278710.koat.smt2yes0.789611
loops_smt/1567523151487243.koat.smt2yes0.0731151
loops_smt/1567523151560880.koat.smt2yes0.0265859
loops_smt/1567523154152450.koat.smt2yes0.0449979
loops_smt/1567523154154927.koat.smt2yes0.0492019
loops_smt/1567523154159983.koat.smt2yes0.0466961
loops_smt/1567523154161166.koat.smt2yes0.04815
loops_smt/1567523154202257.koat.smt2yes0.0744541
loops_smt/1567523154807754.koat.smt2unknown60.0288
loops_smt/1567523154808101.koat.smt2no24.4019
loops_smt/1567523154808417.koat.smt2no13.7392
loops_smt/1567523154808728.koat.smt2no13.2358
loops_smt/1567523155410980.koat.smt2yes0.0324371
loops_smt/1567523155411669.koat.smt2yes0.068151
loops_smt/1567523155415000.koat.smt2yes0.0375181
loops_smt/1567523155683425.koat.smt2yes0.022528
loops_smt/1567523155887853.koat.smt2yes0.0223431
loops_smt/1567523156074938.koat.smt2yes0.0231721
loops_smt/1567523156075159.koat.smt2yes0.25124
loops_smt/1567523156901197.koat.smt2yes0.0332049
loops_smt/1567523156902494.koat.smt2yes0.03612
loops_smt/1567523156903131.koat.smt2yes0.03772
loops_smt/1567523156906569.koat.smt2yes0.0374241
loops_smt/1567523157055527.koat.smt2yes0.026269
loops_smt/1567523157055802.koat.smt2yes0.0257581
loops_smt/1567523157056031.koat.smt2yes0.025891
loops_smt/1567523158620489.koat.smt2yes0.036376
loops_smt/1567523158621031.koat.smt2yes0.031124
loops_smt/1567523158621470.koat.smt2yes0.028565
loops_smt/1567523158621870.koat.smt2yes0.0276899
loops_smt/1567523158622273.koat.smt2yes0.027432
loops_smt/1567523158622663.koat.smt2yes0.0283119
loops_smt/1567523158623884.koat.smt2yes0.036361
loops_smt/1567523158624412.koat.smt2yes0.0362889
loops_smt/1567523159050979.koat.smt2yes0.0250019
loops_smt/1567523159059895.koat.smt2yes0.025057
loops_smt/1567523159891542.koat.smt2yes0.0486569
loops_smt/1567523159891810.koat.smt2yes0.027444
loops_smt/1567523159892119.koat.smt2yes0.030461
loops_smt/1567523159892459.koat.smt2yes0.032612
loops_smt/1567523164780297.koat.smt2yes0.0253179
loops_smt/1567523164780845.koat.smt2yes0.031258
loops_smt/1567523164781416.koat.smt2yes0.0304571
loops_smt/1567523164781953.koat.smt2yes0.0313081
loops_smt/1567523164782621.koat.smt2yes0.042052
loops_smt/1567523164783426.koat.smt2yes0.0439281
loops_smt/1567523164784015.koat.smt2yes0.026384
loops_smt/1567523164784441.koat.smt2yes0.0259351
loops_smt/1567523164784919.koat.smt2yes0.0335161
loops_smt/1567523164785438.koat.smt2yes0.033637
loops_smt/1567523164785948.koat.smt2yes0.0341839
loops_smt/1567523164786464.koat.smt2yes0.0345899
loops_smt/1567523164786984.koat.smt2yes0.033058
loops_smt/1567523164787522.koat.smt2yes0.0318641
loops_smt/1567523164788055.koat.smt2yes0.031368
loops_smt/1567523164788543.koat.smt2yes0.0261599
loops_smt/1567523164788970.koat.smt2yes0.026826
loops_smt/1567523164789420.koat.smt2yes0.0274171
loops_smt/1567523164789964.koat.smt2yes0.036647
loops_smt/1567523164790600.koat.smt2yes0.0384271
loops_smt/1567523164791254.koat.smt2yes0.0376141
loops_smt/1567523164791842.koat.smt2yes0.031494
loops_smt/1567523165000195.koat.smt2yes0.0256159
loops_smt/1567523165071258.koat.smt2yes0.024712
loops_smt/1567523165274878.koat.smt2yes0.0237151
loops_smt/1567523165358324.koat.smt2yes0.0223939
loops_smt/1567523165572874.koat.smt2no5.35075
loops_smt/1567523166466263.koat.smt2yes0.0355899
loops_smt/1567523166466833.koat.smt2maybe5.51011
loops_smt/1567523166467208.koat.smt2yes0.024779
loops_smt/1567523166467517.koat.smt2yes0.024678
loops_smt/1567523166467842.koat.smt2yes0.023852
loops_smt/1567523166554034.koat.smt2yes0.0231311
loops_smt/1567523166658460.koat.smt2yes0.023607
loops_smt/1567523166943376.koat.smt2yes0.0227431
loops_smt/1567523166943776.koat.smt2unknown60.0669
loops_smt/1567523167197351.koat.smt2no21.9848
loops_smt/1567523167571946.koat.smt2yes0.025126
loops_smt/1567523167572285.koat.smt2yes0.025977
loops_smt/1567523167770434.koat.smt2yes0.790302
loops_smt/1567523167930331.koat.smt2yes0.469468
loops_smt/1567523168546911.koat.smt2yes0.0278611
loops_smt/1567523168547253.koat.smt2yes0.0268211
loops_smt/1567523168547532.koat.smt2yes0.0262539
loops_smt/1567523168547808.koat.smt2yes0.0505621
loops_smt/1567523168548073.koat.smt2yes0.0269971
loops_smt/1567523168548312.koat.smt2yes0.0263429
loops_smt/1567523168548606.koat.smt2yes0.0308131
loops_smt/1567523168548978.koat.smt2yes0.0338369
loops_smt/1567523168549355.koat.smt2yes0.0310089
loops_smt/1567523168549737.koat.smt2yes0.0323861
loops_smt/1567523169553077.koat.smt2yes0.0834711
loops_smt/1567523169556183.koat.smt2yes0.0623201
loops_smt/1567523169557396.koat.smt2yes2.75255
loops_smt/1567523169558433.koat.smt2yes11.8119
loops_smt/1567523169559513.koat.smt2yes1.68919
loops_smt/1567523169560612.koat.smt2yes2.16622
loops_smt/1567523169562061.koat.smt2yes0.073853
loops_smt/1567523169565280.koat.smt2yes0.0740511
loops_smt/1567523170003618.koat.smt2no43.4054
loops_smt/1567523170011902.koat.smt2no44.9776
loops_smt/1567523170012412.koat.smt2no17.6483
loops_smt/1567523170318022.koat.smt2yes0.050536
loops_smt/1567523170318266.koat.smt2yes0.027572
loops_smt/1567523170445350.koat.smt2yes0.0254731
loops_smt/1567523175914941.koat.smt2yes0.144214
loops_smt/1567523175919328.koat.smt2yes0.0846791
loops_smt/1567523175921158.koat.smt2yes0.047379
loops_smt/1567523175922787.koat.smt2yes3.85389
loops_smt/1567523175924376.koat.smt2yes0.0451631
loops_smt/1567523175925943.koat.smt2yes9.18275
loops_smt/1567523175927538.koat.smt2yes0.0479541
loops_smt/1567523175929166.koat.smt2yes14.6583
loops_smt/1567523175930795.koat.smt2yes0.045688
loops_smt/1567523175932370.koat.smt2yes2.75473
loops_smt/1567523175974775.koat.smt2yes0.07396
loops_smt/1567523175978571.koat.smt2yes0.0737539
loops_smt/1567523176144809.koat.smt2yes0.025129
loops_smt/1567523176318985.koat.smt2yes1.21428
loops_smt/1567523176319330.koat.smt2yes1.43353
loops_smt/1567523176319651.koat.smt2yes4.7201
loops_smt/1567523176320007.koat.smt2yes1.31354
loops_smt/1567523176637781.koat.smt2yes0.024083
loops_smt/1567523176758018.koat.smt2yes0.284785
loops_smt/1567523176860025.koat.smt2yes0.0241381
loops_smt/1567523176860177.koat.smt2yes0.0228789
loops_smt/1567523176942283.koat.smt2yes0.025298
loops_smt/1567523177241250.koat.smt2yes0.024095
loops_smt/1567523177241497.koat.smt2yes0.0886671
loops_smt/1567523177242279.koat.smt2no22.4591
loops_smt/1567523177344319.koat.smt2yes0.363468
loops_smt/1567523177650088.koat.smt2yes0.0256589
loops_smt/1567523177650919.koat.smt2yes0.046924
loops_smt/1567523177651701.koat.smt2yes0.0259481
loops_smt/1567523177652459.koat.smt2yes0.024365
loops_smt/1567523177653747.koat.smt2yes0.0763631
loops_smt/1567523177813218.koat.smt2yes0.0252931
loops_smt/1567523179320473.koat.smt2yes0.066074
loops_smt/1567523179323821.koat.smt2yes0.0646501
loops_smt/1567523179325132.koat.smt2yes0.0325631
loops_smt/1567523179326208.koat.smt2yes0.0303291
loops_smt/1567523179332420.koat.smt2yes0.0751341
loops_smt/1567523179529885.koat.smt2yes0.0246581
loops_smt/1567523179530256.koat.smt2yes0.025536
loops_smt/1567523179530580.koat.smt2yes0.0251449
loops_smt/1567523179530888.koat.smt2yes0.0255891
loops_smt/1567523179615924.koat.smt2yes0.0229929
loops_smt/1567523179616124.koat.smt2yes0.023511
loops_smt/1567523179713997.koat.smt2yes0.0249389
loops_smt/1567523180151829.koat.smt2yes0.0308921
loops_smt/1567523180152189.koat.smt2yes0.030077
loops_smt/1567523180152554.koat.smt2yes0.0302829
loops_smt/1567523180152923.koat.smt2yes0.0298989
loops_smt/1567523180241261.koat.smt2yes0.022283
loops_smt/1567523180573655.koat.smt2yes0.0274549
loops_smt/1567523180574014.koat.smt2yes0.024541
loops_smt/1567523180802445.koat.smt2yes0.0736301
loops_smt/1567523183922783.koat.smt2yes0.0273999
loops_smt/1567523183923202.koat.smt2yes0.0277191
loops_smt/1567523183923534.koat.smt2yes0.028019
loops_smt/1567523183923889.koat.smt2yes0.0280539
loops_smt/1567523183924220.koat.smt2yes0.0282061
loops_smt/1567523183924555.koat.smt2yes0.0283901
loops_smt/1567523183924872.koat.smt2yes0.028659
loops_smt/1567523183925185.koat.smt2yes0.0279889
loops_smt/1567523183925502.koat.smt2yes0.0279049
loops_smt/1567523183925841.koat.smt2yes0.0276469
loops_smt/1567523183926196.koat.smt2yes0.028769
loops_smt/1567523183926520.koat.smt2yes0.0275081
loops_smt/1567523183926915.koat.smt2yes0.028026
loops_smt/1567523183927225.koat.smt2yes0.0523679
loops_smt/1567523183927544.koat.smt2yes0.0281141
loops_smt/1567523183928235.koat.smt2yes0.0289749
loops_smt/1567523183928562.koat.smt2yes0.0276619
loops_smt/1567523183928950.koat.smt2yes0.03053
loops_smt/1567523183929261.koat.smt2yes0.0280149
loops_smt/1567523183929579.koat.smt2yes0.029659
loops_smt/1567523183929960.koat.smt2yes0.028875
loops_smt/1567523183930284.koat.smt2yes0.0284181
loops_smt/1567523183930603.koat.smt2yes0.0280249
loops_smt/1567523183930924.koat.smt2yes0.0282141
loops_smt/1567523183931243.koat.smt2yes0.0273959
loops_smt/1567523183931569.koat.smt2yes0.028988
loops_smt/1567523183931954.koat.smt2yes0.027691
loops_smt/1567523183932589.koat.smt2yes0.02832
loops_smt/1567523183932969.koat.smt2yes0.02804
loops_smt/1567523183933295.koat.smt2yes0.0273959
loops_smt/1567523183933615.koat.smt2yes0.027312
loops_smt/1567523183934001.koat.smt2yes0.0317611
loops_smt/1567523183934445.koat.smt2yes0.0317131
loops_smt/1567523183934884.koat.smt2yes0.031805
loops_smt/1567523183935328.koat.smt2yes0.0320211
loops_smt/1567523183935769.koat.smt2yes0.0319621
loops_smt/1567523183936210.koat.smt2yes0.0314909
loops_smt/1567523183936655.koat.smt2yes0.0310149
loops_smt/1567523183937094.koat.smt2yes0.0309791
loops_smt/1567523183937540.koat.smt2yes0.0322761
loops_smt/1567523183937980.koat.smt2yes0.0321281
loops_smt/1567523183938424.koat.smt2yes0.031764
loops_smt/1567523183938863.koat.smt2yes0.0320419
loops_smt/1567523183939306.koat.smt2yes0.0317999
loops_smt/1567523183939746.koat.smt2yes0.031351
loops_smt/1567523183940182.koat.smt2yes0.0313681
loops_smt/1567523183940641.koat.smt2yes0.0326241
loops_smt/1567523183941080.koat.smt2yes0.0314451
loops_smt/1567523183941527.koat.smt2yes0.031851
loops_smt/1567523183941985.koat.smt2yes0.0313301
loops_smt/1567523183942440.koat.smt2yes0.032727
loops_smt/1567523183942904.koat.smt2yes0.031337
loops_smt/1567523183943348.koat.smt2yes0.0312941
loops_smt/1567523183943783.koat.smt2yes0.031078
loops_smt/1567523183944221.koat.smt2yes0.032196
loops_smt/1567523183944664.koat.smt2yes0.0485191
loops_smt/1567523183945126.koat.smt2yes0.031595
loops_smt/1567523183945580.koat.smt2yes0.0330029
loops_smt/1567523183946045.koat.smt2yes0.031512
loops_smt/1567523183946487.koat.smt2yes0.031704
loops_smt/1567523183946926.koat.smt2yes0.0309651
loops_smt/1567523183947368.koat.smt2yes0.031806
loops_smt/1567523183947807.koat.smt2yes0.0311051
loops_smt/1567523183948245.koat.smt2yes0.031705
loops_smt/1567523183948707.koat.smt2yes0.034097
loops_smt/1567523183949183.koat.smt2yes0.0333499
loops_smt/1567523183949664.koat.smt2yes0.0336979
loops_smt/1567523183950162.koat.smt2yes0.0336751
loops_smt/1567523183950656.koat.smt2yes0.0336949
loops_smt/1567523183951154.koat.smt2yes0.033038
loops_smt/1567523183951635.koat.smt2yes0.0331399
loops_smt/1567523183952110.koat.smt2yes0.033943
loops_smt/1567523183952592.koat.smt2yes0.0345551
loops_smt/1567523183953087.koat.smt2yes0.0338009
loops_smt/1567523183953582.koat.smt2yes0.03336
loops_smt/1567523183954080.koat.smt2yes0.0341419
loops_smt/1567523183954559.koat.smt2yes0.033664
loops_smt/1567523183955031.koat.smt2yes0.032792
loops_smt/1567523183955512.koat.smt2yes0.0340421
loops_smt/1567523183955991.koat.smt2yes0.033429
loops_smt/1567523183956476.koat.smt2yes0.034269
loops_smt/1567523183956968.koat.smt2yes0.0337979
loops_smt/1567523183957453.koat.smt2yes0.0326441
loops_smt/1567523183957992.koat.smt2yes0.0334131
loops_smt/1567523183958458.koat.smt2yes0.0637789
loops_smt/1567523183958986.koat.smt2yes0.0347061
loops_smt/1567523183959523.koat.smt2yes0.0338149
loops_smt/1567523183960025.koat.smt2yes0.033773
loops_smt/1567523183960505.koat.smt2yes0.032689
loops_smt/1567523183961040.koat.smt2yes0.033644
loops_smt/1567523183961509.koat.smt2yes0.0339039
loops_smt/1567523183962044.koat.smt2yes0.0342521
loops_smt/1567523183962537.koat.smt2yes0.033715
loops_smt/1567523183963037.koat.smt2yes0.033263
loops_smt/1567523183963515.koat.smt2yes0.033169
loops_smt/1567523183963991.koat.smt2yes0.0329911
loops_smt/1567523183964472.koat.smt2yes0.032849
loops_smt/1567523184210126.koat.smt2yes0.0243449
loops_smt/1567523184943841.koat.smt2yes0.062672
loops_smt/1567523184946880.koat.smt2yes0.063357
loops_smt/1567523184948074.koat.smt2yes0.032713
loops_smt/1567523184949467.koat.smt2yes0.0746331
loops_smt/1567523185075113.koat.smt2yes0.0268399
loops_smt/1567523185193181.koat.smt2yes0.023333
loops_smt/1567523185193406.koat.smt2yes0.0433799
loops_smt/1567523185865856.koat.smt2yes0.023683
loops_smt/1567523185866222.koat.smt2yes0.0232891
loops_smt/1567523185867708.koat.smt2yes0.0218839
loops_smt/1567523185986456.koat.smt2yes0.147158
loops_smt/1567523186628204.koat.smt2yes0.0261639
loops_smt/1567523186778742.koat.smt2yes0.0228111
loops_smt/1567523186778962.koat.smt2yes0.0269639
loops_smt/1567523186920474.koat.smt2yes0.025892
loops_smt/1567523186920738.koat.smt2yes0.0261581
loops_smt/1567523186920942.koat.smt2yes0.032661
loops_smt/1567523187446308.koat.smt2yes0.0340331
loops_smt/1567523187446854.koat.smt2yes0.028853
loops_smt/1567523187522863.koat.smt2yes0.0242551
loops_smt/1567523187629077.koat.smt2maybe5.1432
loops_smt/1567523187739247.koat.smt2yes0.0239819
loops_smt/1567523187815204.koat.smt2yes1.60231
loops_smt/1567523188565003.koat.smt2yes0.037822
loops_smt/1567523188571081.koat.smt2yes0.0381019
loops_smt/1567523188663075.koat.smt2yes0.022693
loops_smt/1567523188817173.koat.smt2yes0.0220241
loops_smt/1567523189215513.koat.smt2yes0.028334
loops_smt/1567523189216146.koat.smt2yes0.026757
loops_smt/1567523189216603.koat.smt2yes0.023298
loops_smt/1567523189216790.koat.smt2yes0.023844
loops_smt/1567523189217188.koat.smt2yes0.023783
loops_smt/1567523189305158.koat.smt2yes0.023707
loops_smt/1567523189305394.koat.smt2yes0.0235921
loops_smt/1567523189667280.koat.smt2yes0.0670279
loops_smt/1567523189667888.koat.smt2yes0.0372959
loops_smt/1567523189668404.koat.smt2yes0.0304191
loops_smt/1567523189668911.koat.smt2yes0.030149
loops_smt/1567523189669461.koat.smt2yes0.0321989
loops_smt/1567523189669973.koat.smt2yes0.0330761
loops_smt/1567523189796792.koat.smt2yes0.0578201
loops_smt/1567523189797237.koat.smt2yes0.025158
loops_smt/1567523189878096.koat.smt2no5.28523
loops_smt/1567523189961919.koat.smt2yes0.233611
loops_smt/1567523190309232.koat.smt2yes0.028254
loops_smt/1567523190480946.koat.smt2yes0.023569
loops_smt/1567523190481107.koat.smt2yes0.0252751
loops_smt/1567523191140874.koat.smt2yes0.024456
loops_smt/1567523191141230.koat.smt2yes0.0285749
loops_smt/1567523191141537.koat.smt2yes0.028244
loops_smt/1567523191141932.koat.smt2yes0.0322929
loops_smt/1567523191142333.koat.smt2yes0.0307109
loops_smt/1567523191142734.koat.smt2yes0.0321229
loops_smt/1567523191143131.koat.smt2yes0.030936
loops_smt/1567523191143496.koat.smt2no13.8893
loops_smt/1567523191244248.koat.smt2yes0.0243861
loops_smt/1567523191385863.koat.smt2yes0.0301691
loops_smt/1567523191386159.koat.smt2no5.29813
loops_smt/1567523191386389.koat.smt2no5.25282
loops_smt/1567523191607096.koat.smt2yes0.075678
loops_smt/1567523191677924.koat.smt2yes0.0240521
loops_smt/1567523192050899.koat.smt2yes0.0756469
loops_smt/1567523192954385.koat.smt2yes0.0561359
loops_smt/1567523193102354.koat.smt2yes0.165982
loops_smt/1567523193102621.koat.smt2yes0.0247299
loops_smt/1567523193203088.koat.smt2yes0.0228611
loops_smt/1567523193203266.koat.smt2yes0.023106
loops_smt/1567523193422756.koat.smt2yes0.038466
loops_smt/1567523193775821.koat.smt2yes0.0226989
loops_smt/1567523193877115.koat.smt2yes0.025061
loops_smt/1567523193965738.koat.smt2yes0.0262891
loops_smt/1567523194132859.koat.smt2yes0.0257039
loops_smt/1567523194133170.koat.smt2yes0.029045
loops_smt/1567523194133412.koat.smt2yes0.025667
loops_smt/1567523194133634.koat.smt2yes0.0258361
loops_smt/1567523194968866.koat.smt2yes0.0376629
loops_smt/1567523194970004.koat.smt2yes0.033982
loops_smt/1567523194975825.koat.smt2yes0.040786
loops_smt/1567523194978620.koat.smt2yes0.0725729
loops_smt/1567523195611592.koat.smt2unknown60.023
loops_smt/1567523195612962.koat.smt2unknown60.0477
loops_smt/1567523195764475.koat.smt2yes0.090937
loops_smt/1567523195886143.koat.smt2no57.6126
loops_smt/1567523195886503.koat.smt2no40.9887
loops_smt/1567523196549963.koat.smt2yes0.0631371
loops_smt/1567523196553165.koat.smt2yes0.0645809
loops_smt/1567523196554460.koat.smt2yes0.0329599
loops_smt/1567523196555900.koat.smt2yes0.073261
loops_smt/1567523196630549.koat.smt2yes0.0240239
loops_smt/1567523196841963.koat.smt2yes0.07576
loops_smt/1567523197058189.koat.smt2yes0.0665261
loops_smt/1567523199006727.koat.smt2yes1.42932
loops_smt/1567523199007116.koat.smt2yes0.0265089
loops_smt/1567523199007417.koat.smt2yes0.0264749
loops_smt/1567523199007724.koat.smt2yes0.545644
loops_smt/1567523199008054.koat.smt2yes0.0276071
loops_smt/1567523199008349.koat.smt2yes0.0254609
loops_smt/1567523199008681.koat.smt2yes0.029661
loops_smt/1567523199009041.koat.smt2yes0.0301419
loops_smt/1567523199009385.koat.smt2yes0.029548
loops_smt/1567523199009703.koat.smt2yes0.0302611
loops_smt/1567523199010022.koat.smt2yes0.0296051
loops_smt/1567523199010396.koat.smt2yes0.0309201
loops_smt/1567523199010788.koat.smt2yes0.0312281
loops_smt/1567523199011142.koat.smt2yes0.031492
loops_smt/1567523199011503.koat.smt2yes0.0312689
loops_smt/1567523199011906.koat.smt2yes0.0311731
loops_smt/1567523199012290.koat.smt2yes0.032999
loops_smt/1567523199012656.koat.smt2yes0.0316429
loops_smt/1567523199013033.koat.smt2yes0.031446
loops_smt/1567523199013407.koat.smt2yes0.032503
loops_smt/1567523199013827.koat.smt2yes0.0327769
loops_smt/1567523199014192.koat.smt2yes0.0263579
loops_smt/1567523199014488.koat.smt2yes0.0277289
loops_smt/1567523199014848.koat.smt2yes0.03198
loops_smt/1567523199015287.koat.smt2yes0.0321231
loops_smt/1567523199015704.koat.smt2yes0.0581011
loops_smt/1567523199016062.koat.smt2yes0.028965
loops_smt/1567523199016335.koat.smt2yes0.0275441
loops_smt/1567523199016603.koat.smt2yes0.0275119
loops_smt/1567523199016942.koat.smt2yes0.032237
loops_smt/1567523199243780.koat.smt2yes0.03013
loops_smt/1567523199244091.koat.smt2yes0.0291181
loops_smt/1567523199244450.koat.smt2yes0.031167
loops_smt/1567523199244826.koat.smt2yes0.030823
loops_smt/1567523199490927.koat.smt2yes0.0226119
loops_smt/1567523199578122.koat.smt2yes0.024854
loops_smt/1567523199578395.koat.smt2yes0.0278171
loops_smt/1567523200137307.koat.smt2yes0.073988
loops_smt/1567523200139785.koat.smt2yes0.0420629
loops_smt/1567523200144179.koat.smt2yes0.0305671
loops_smt/1567523200145170.koat.smt2yes0.03044
loops_smt/1567523200146615.koat.smt2yes0.073413
loops_smt/1567523200756878.koat.smt2yes0.027195
loops_smt/1567523200757741.koat.smt2yes0.0514191
loops_smt/1567523200758706.koat.smt2yes0.0301761
loops_smt/1567523200759747.koat.smt2yes0.0303331
loops_smt/1567523200760837.koat.smt2unknown60.0244
loops_smt/1567523200762047.koat.smt2unknown60.0333
loops_smt/1567523200762978.koat.smt2unknown60.016
loops_smt/1567523200763911.koat.smt2unknown60.0145
loops_smt/1567523200890937.koat.smt2no24.4449
loops_smt/1567523200891229.koat.smt2no22.1662
loops_smt/1567523200996208.koat.smt2yes0.022213
loops_smt/1567523200996369.koat.smt2yes0.0225481
loops_smt/1567523201109203.koat.smt2yes0.090756
loops_smt/1567523201213193.koat.smt2yes0.0224061
loops_smt/1567523201213359.koat.smt2yes0.0467519
loops_smt/1567523201667730.koat.smt2yes0.0733469
loops_smt/1567523201844760.koat.smt2no50.9403
loops_smt/1567523202243167.koat.smt2yes0.0732839
loops_smt/1567523202369336.koat.smt2yes0.0255231
loops_smt/1567523202620691.koat.smt2yes0.028413
loops_smt/1567523203064421.koat.smt2yes0.0228031
loops_smt/1567523203064651.koat.smt2yes0.023131
loops_smt/1567523203064839.koat.smt2yes0.0254469
loops_smt/1567523203584822.koat.smt2yes0.0281781
loops_smt/1567523203585090.koat.smt2yes0.028354
loops_smt/1567523203585403.koat.smt2yes0.0296539
loops_smt/1567523203585736.koat.smt2yes0.03088
loops_smt/1567523203586023.koat.smt2no24.9229
loops_smt/1567523203659954.koat.smt2yes2.41132
loops_smt/1567523203861774.koat.smt2yes0.065897
loops_smt/1567523203941721.koat.smt2yes0.032029
loops_smt/1567523206864072.koat.smt2yes0.025264
loops_smt/1567523206864434.koat.smt2yes0.026284
loops_smt/1567523210079670.koat.smt2yes0.0217479
loops_smt/1567523210079925.koat.smt2yes0.0227961
loops_smt/1567523213675501.koat.smt2yes0.022858
loops_smt/1567523213675765.koat.smt2yes0.0231609
loops_smt/1567523214009471.koat.smt2yes0.0248391
loops_smt/1567523214601454.koat.smt2no0.267688
loops_smt/1567523217954377.koat.smt2yes0.0223639
loops_smt/1567523219714229.koat.smt2yes0.0219911
loops_smt/1567523219714631.koat.smt2yes0.0241489
loops_smt/1567523220887066.koat.smt2no5.1984
loops_smt/1567523221866672.koat.smt2yes0.022926
loops_smt/1567523222041741.koat.smt2yes0.0239219
loops_smt/1567523283199823.koat.smt2yes0.0238871
loops_smt/1567523283200030.koat.smt2yes0.0239929
loops_smt/1567523284092754.koat.smt2yes0.0229961
loops_smt/1567523284092946.koat.smt2yes0.0443291
loops_smt/1567523284193688.koat.smt2yes0.0227861
loops_smt/1567523284296838.koat.smt2yes0.021991
loops_smt/1567523287705639.koat.smt2yes0.0327739
loops_smt/1567523287706096.koat.smt2yes0.0251639
loops_smt/1567523287706449.koat.smt2yes0.0287989
loops_smt/1567523288151099.koat.smt2yes0.0242019
loops_smt/1567523288264920.koat.smt2yes0.0245331
loops_smt/1567523288924624.koat.smt2yes0.044613
loops_smt/1567523288925133.koat.smt2yes0.023757
loops_smt/1567523289137792.koat.smt2yes0.023966
loops_smt/1567523289138043.koat.smt2yes0.0232761
loops_smt/1567523292105976.koat.smt2yes0.0244951
loops_smt/1567523292106427.koat.smt2yes0.029577
loops_smt/1567523292106854.koat.smt2yes0.0299391
loops_smt/1567523313975471.koat.smt2yes0.0226159
loops_smt/1567523313975788.koat.smt2yes0.0228259
loops_smt/1567523313976001.koat.smt2yes0.0236009
loops_smt/1567523313976200.koat.smt2yes0.0223899
loops_smt/1567523314197482.koat.smt2yes0.023545
loops_smt/1567523314197627.koat.smt2yes0.0240691
loops_smt/1567523314793938.koat.smt2yes0.0260319
loops_smt/1567523314794353.koat.smt2yes0.0240009
loops_smt/1567523315409810.koat.smt2yes0.0496609
loops_smt/1567523315410210.koat.smt2yes0.023752
loops_smt/1567523317106441.koat.smt2yes0.023843
loops_smt/1567523341418710.koat.smt2yes0.0224819
loops_smt/1567523341418924.koat.smt2yes0.021878
loops_smt/1567523341419141.koat.smt2yes0.023673
loops_smt/1567523342824640.koat.smt2yes0.0241899
loops_smt/1567523342825515.koat.smt2yes0.0242749
loops_smt/1567523342970356.koat.smt2yes0.0225001
loops_smt/1567523343913301.koat.smt2yes0.0232629
loops_smt/1567523344151083.koat.smt2yes0.02218
loops_smt/1567523344151610.koat.smt2yes0.022261
loops_smt/1567523344261781.koat.smt2yes0.0464371
loops_smt/1567523347136348.koat.smt2yes0.022719
loops_smt/1567523347136653.koat.smt2yes0.0233161
loops_smt/1567523347136851.koat.smt2yes0.028454
loops_smt/1567523347137176.koat.smt2yes0.0240969
loops_smt/1567523347137359.koat.smt2yes0.024039
loops_smt/1567523347137530.koat.smt2yes0.0233429
loops_smt/1567523347137677.koat.smt2yes0.0231829
loops_smt/1567523350591177.koat.smt2yes0.0238481
loops_smt/1567523350689065.koat.smt2no5.17896
loops_smt/1567523352430897.koat.smt2no5.2413
loops_smt/1567523352431171.koat.smt2yes0.0240339
loops_smt/1567523352431374.koat.smt2no5.24404
loops_smt/1567523361012873.koat.smt2no5.23866
loops_smt/1567523361013160.koat.smt2no32.1106
loops_smt/1567523361013341.koat.smt2no5.23911
loops_smt/1567523361013511.koat.smt2no5.24479
loops_smt/1567523361013677.koat.smt2no5.40265
loops_smt/1567523361013845.koat.smt2no5.25791
loops_smt/1567523361014019.koat.smt2no5.54185
loops_smt/1567523361014190.koat.smt2no5.51129
loops_smt/1567523361014364.koat.smt2no5.39153
loops_smt/1567523361014536.koat.smt2no5.56114
loops_smt/1567523361014707.koat.smt2no5.50532
loops_smt/1567523361015034.koat.smt2yes0.023225
loops_smt/1567523361015365.koat.smt2no5.45644
loops_smt/1567523361015523.koat.smt2yes0.023548
loops_smt/1567523361015677.koat.smt2no5.4677
loops_smt/1567523361015995.koat.smt2no5.33399
loops_smt/1567523361016153.koat.smt2yes0.0225091
loops_smt/1567523361016313.koat.smt2no5.37752
loops_smt/1567523361016983.koat.smt2no5.2526
loops_smt/1567523361017155.koat.smt2no5.29759
loops_smt/1567523361017320.koat.smt2yes0.023082
loops_smt/1567523361017966.koat.smt2no5.33201
loops_smt/1567523361018126.koat.smt2yes0.0234039
loops_smt/1567523361018289.koat.smt2no5.27911
loops_smt/1567523361018631.koat.smt2no5.27524
loops_smt/1567523361019115.koat.smt2no5.24377
loops_smt/1567523361019276.koat.smt2yes0.022873
loops_smt/1567523361019745.koat.smt2no5.25487
loops_smt/1567523361020224.koat.smt2no32.1126
loops_smt/1567523361020568.koat.smt2no32.1116
loops_smt/1567523361021038.koat.smt2yes0.022982
loops_smt/1567523361021192.koat.smt2no32.1247
loops_smt/1567523361021374.koat.smt2no32.1105
loops_smt/1567523361021688.koat.smt2no32.1494
loops_smt/1567523361021845.koat.smt2yes0.0236031
loops_smt/1567523361022173.koat.smt2no32.1347
loops_smt/1567523361022514.koat.smt2no32.1303
loops_smt/1567523361022816.koat.smt2yes0.0230639
loops_smt/1567523361022958.koat.smt2yes0.022783
loops_smt/1567523361023100.koat.smt2yes0.0224451
loops_smt/1567523361023535.koat.smt2yes0.02752
loops_smt/1567523361023676.koat.smt2yes0.022358
loops_smt/1567523361023959.koat.smt2yes0.0230699
loops_smt/1567523361024535.koat.smt2yes0.0233071
loops_smt/1567523361024677.koat.smt2yes0.0231281
loops_smt/1567523361024818.koat.smt2yes0.0228909
loops_smt/1567523361025101.koat.smt2yes0.0227109
loops_smt/1567523361025242.koat.smt2yes0.0225279
loops_smt/1567523361025547.koat.smt2no32.1156
loops_smt/1567523361025714.koat.smt2no32.1116
loops_smt/1567523361025890.koat.smt2no32.1333
loops_smt/1567523361026056.koat.smt2no32.111
loops_smt/1567523361026224.koat.smt2no32.1281
loops_smt/1567523361026396.koat.smt2no32.1284
loops_smt/1567523361026565.koat.smt2no32.1379
loops_smt/1567523361027061.koat.smt2no5.30115
loops_smt/1567523361027232.koat.smt2no5.34399
loops_smt/1567523361027402.koat.smt2no5.30215
loops_smt/1567523361027570.koat.smt2no5.27377
loops_smt/1567523361027736.koat.smt2no5.26601
loops_smt/1567523361027904.koat.smt2no5.30313
loops_smt/1567523361028398.koat.smt2yes0.0230829
loops_smt/1567523361028544.koat.smt2yes0.022214
loops_smt/1567523361028976.koat.smt2yes0.0233349
loops_smt/1567523361029120.koat.smt2yes0.0231029
loops_smt/1567523361029414.koat.smt2yes0.0244169
loops_smt/1567523361029555.koat.smt2yes0.0227639
loops_smt/1567523361029700.koat.smt2yes0.0227011
loops_smt/1567523361029844.koat.smt2yes0.0237169
loops_smt/1567523361030132.koat.smt2yes0.0224051
loops_smt/1567523361030282.koat.smt2yes0.0226479
loops_smt/1567523361030427.koat.smt2yes0.0241099
loops_smt/1567523361030576.koat.smt2yes0.0230321
loops_smt/1567523361030719.koat.smt2yes0.02285
loops_smt/1567523361030864.koat.smt2yes0.024179
loops_smt/1567523361031006.koat.smt2yes0.023961
loops_smt/1567523361031298.koat.smt2yes0.023073
loops_smt/1567523361031443.koat.smt2yes0.0618979
loops_smt/1567523361031730.koat.smt2yes0.023875
loops_smt/1567523374925297.koat.smt2yes0.0237309
loops_smt/1567523374925478.koat.smt2yes0.024022
loops_smt/1567523374925649.koat.smt2yes0.0238721
loops_smt/1567523374926102.koat.smt2yes0.0238869
loops_smt/1567523374926614.koat.smt2yes0.0242731
loops_smt/1567523374926787.koat.smt2yes0.023319
loops_smt/1567523374927073.koat.smt2yes0.0233021
loops_smt/1567523374927361.koat.smt2yes0.0242321
loops_smt/1567523374927819.koat.smt2yes0.02443
loops_smt/1567523374928132.koat.smt2yes0.040096
loops_smt/1567523380525019.koat.smt2yes0.023127
loops_smt/1567523380525467.koat.smt2yes0.0284639
loops_smt/1567523381983722.koat.smt2yes0.028774
loops_smt/1567523381984110.koat.smt2yes0.024768
loops_smt/1567523382270343.koat.smt2yes0.0917781
loops_smt/1567523386466410.koat.smt2yes0.0226721
loops_smt/1567523386466592.koat.smt2yes0.022305
loops_smt/1567523387547608.koat.smt2yes0.0902179
loops_smt/1567523500310531.koat.smt2yes0.0340349
loops_smt/1567523500311459.koat.smt2yes0.029247
loops_smt/1567523500312631.koat.smt2yes0.0303209
loops_smt/1567523500312974.koat.smt2yes0.0239869
loops_smt/1567523501979887.koat.smt2yes0.0248619
loops_smt/1567523502432736.koat.smt2no5.23602
loops_smt/1567523502432970.koat.smt2no5.25517
loops_smt/1567523506450329.koat.smt2yes0.0235889
loops_smt/1567523517575175.koat.smt2no5.18085
loops_smt/1567523517575400.koat.smt2no50.1725
loops_smt/1567523517575587.koat.smt2no5.17556
loops_smt/1567523517575879.koat.smt2yes0.0231091
loops_smt/1567523517994563.koat.smt2yes0.0232019
loops_smt/1567523519726643.koat.smt2yes0.0284279
loops_smt/1567523519727017.koat.smt2yes0.025471
loops_smt/1567523520248717.koat.smt2no0.331981
loops_smt/1567523580622299.koat.smt2no5.1819
loops_smt/1567523580835745.koat.smt2no6.58111
loops_smt/1567523580835965.koat.smt2yes0.022085
loops_smt/1567523580964866.koat.smt2no5.20306
loops_smt/1567523590518842.koat.smt2yes0.0253099
loops_smt/1567523590519494.koat.smt2yes0.023459
loops_smt/1567523590520146.koat.smt2yes0.0251469
loops_smt/1567523590520347.koat.smt2yes0.0234109
loops_smt/1567523590520703.koat.smt2yes0.027525
loops_smt/1567523590521010.koat.smt2yes0.022815
loops_smt/1567523591382158.koat.smt2yes0.024233
loops_smt/1567523591382486.koat.smt2yes0.022963
loops_smt/1567523591382829.koat.smt2yes0.0234549
loops_smt/1567523591501172.koat.smt2yes19.0237
loops_smt/1567523591659813.koat.smt2yes0.024273
loops_smt/1567523592274724.koat.smt2yes0.0439401
loops_smt/1567523592420727.koat.smt2yes0.0234461
loops_smt/1567523592858983.koat.smt2yes0.0229489
loops_smt/1567523596535091.koat.smt2yes0.0230379
loops_smt/1567523596535285.koat.smt2yes0.0240379
loops_smt/1567523601844972.koat.smt2yes0.0727689
loops_smt/1567523601845227.koat.smt2yes0.0586371
loops_smt/1567523601980490.koat.smt2yes0.023582
loops_smt/1567523601980704.koat.smt2yes0.0233279
loops_smt/1567523602627169.koat.smt2yes0.0219501
loops_smt/1567523604087312.koat.smt2yes0.0356381
loops_smt/1567523605834383.koat.smt2yes0.022689
loops_smt/1567523605834712.koat.smt2yes0.0238179
loops_smt/1567523606080906.koat.smt2yes0.0250271
loops_smt/1567523666660981.koat.smt2yes0.0246061
loops_smt/1567523666661373.koat.smt2yes0.023183
loops_smt/1567523666661677.koat.smt2yes0.024433
loops_smt/1567523671784620.koat.smt2yes0.022696
loops_smt/1567523672656350.koat.smt2no5.20526
loops_smt/1567523675491856.koat.smt2yes0.044377
loops_smt/1567523676044068.koat.smt2yes4.35455
loops_smt/1567523676044591.koat.smt2yes3.7589
loops_smt/1567523676045080.koat.smt2yes1.35102
loops_smt/1567523676666835.koat.smt2yes0.026365
loops_smt/1567523701046877.koat.smt2yes0.101189
loops_smt/1567523701252337.koat.smt2yes0.02396
loops_smt/1567523701252533.koat.smt2yes0.023938
loops_smt/1567523766410783.koat.smt2yes0.023431
loops_smt/1567523794631224.koat.smt2yes0.028905
loops_smt/1567523795314852.koat.smt2yes0.0234191
loops_smt/1567523797090866.koat.smt2yes0.0235161
loops_smt/1567523797091066.koat.smt2yes0.0245071
loops_smt/1567523797759596.koat.smt2yes0.022066
loops_smt/1567523814674951.koat.smt2yes0.0242001
loops_smt/1567523814904581.koat.smt2yes0.0241429
loops_smt/1567523814904754.koat.smt2yes0.0230711
loops_smt/1567523817496206.koat.smt2yes0.025515
loops_smt/1567523817496581.koat.smt2yes0.0243869
loops_smt/1567523817497067.koat.smt2yes0.023994
loops_smt/1567523817497241.koat.smt2yes0.0256249
loops_smt/1567523817497429.koat.smt2yes0.0237571
loops_smt/1567523819855940.koat.smt2no32.116
loops_smt/1567523821279529.koat.smt2yes0.0230209
loops_smt/1567523821552297.koat.smt2no5.24709
loops_smt/1567523821552515.koat.smt2no5.18613
loops_smt/1567523821552665.koat.smt2no5.24225
loops_smt/1567523822560853.koat.smt2yes0.0234499
loops_smt/1567523822561061.koat.smt2yes0.023654
loops_smt/1567523825454203.koat.smt2yes0.024213
loops_smt/1567523825454423.koat.smt2yes0.022472
loops_smt/1567523825454564.koat.smt2yes0.0231149
loops_smt/1567523826293483.koat.smt2no5.20967
loops_smt/1567523827030171.koat.smt2yes0.0230761
loops_smt/1567523828101797.koat.smt2yes0.024859
loops_smt/1567523828279094.koat.smt2no5.21754
loops_smt/1567523828279349.koat.smt2no5.23842
loops_smt/1567523828438172.koat.smt2yes0.0233881
loops_smt/1567523838599114.koat.smt2yes0.0240941
loops_smt/1567523840004935.koat.smt2yes0.0240789
loops_smt/1567523841439365.koat.smt2no5.49627
loops_smt/1567523841439576.koat.smt2no5.38765
loops_smt/1567523841825015.koat.smt2yes0.0216941
loops_smt/1567523841970850.koat.smt2yes1.12736
loops_smt/1567523902595348.koat.smt2yes0.0236049
loops_smt/1567523913201667.koat.smt2no5.2451
loops_smt/1567523913201947.koat.smt2no32.1599
loops_smt/1567523913202122.koat.smt2no5.24628
loops_smt/1567523913202307.koat.smt2no5.26259
loops_smt/1567523913202483.koat.smt2no5.26106
loops_smt/1567523913202854.koat.smt2no5.23914
loops_smt/1567523913203070.koat.smt2no5.36159
loops_smt/1567523913203251.koat.smt2no5.27348
loops_smt/1567523913203438.koat.smt2no5.24344
loops_smt/1567523913203638.koat.smt2no5.34485
loops_smt/1567523913203836.koat.smt2no5.22408
loops_smt/1567523913204013.koat.smt2yes0.0285311
loops_smt/1567523913204181.koat.smt2no5.23984
loops_smt/1567523913204385.koat.smt2no5.28141
loops_smt/1567523913205077.koat.smt2no5.22444
loops_smt/1567523913206162.koat.smt2no5.25636
loops_smt/1567523913206336.koat.smt2no5.2237
loops_smt/1567523913206652.koat.smt2no5.28444
loops_smt/1567523913206822.koat.smt2no5.2219
loops_smt/1567523913207143.koat.smt2no5.22218
loops_smt/1567523913207464.koat.smt2no5.20786
loops_smt/1567523913207808.koat.smt2no5.20401
loops_smt/1567523913208305.koat.smt2no5.30539
loops_smt/1567523913208939.koat.smt2no5.25502
loops_smt/1567523913209265.koat.smt2yes0.023235
loops_smt/1567523913209423.koat.smt2no32.1053
loops_smt/1567523913210075.koat.smt2no32.1057
loops_smt/1567523913210398.koat.smt2no32.1306
loops_smt/1567523913210568.koat.smt2no32.1069
loops_smt/1567523913210886.koat.smt2no32.1332
loops_smt/1567523913211203.koat.smt2no32.1315
loops_smt/1567523913211383.koat.smt2no32.1368
loops_smt/1567523913212040.koat.smt2yes0.0238691
loops_smt/1567523913212366.koat.smt2yes0.0237241
loops_smt/1567523913212544.koat.smt2yes0.024441
loops_smt/1567523913212897.koat.smt2yes0.050828
loops_smt/1567523913213305.koat.smt2yes0.0240729
loops_smt/1567523913213534.koat.smt2yes0.024397
loops_smt/1567523913213714.koat.smt2yes0.02418
loops_smt/1567523913214037.koat.smt2yes0.0238911
loops_smt/1567523913214213.koat.smt2yes0.0249711
loops_smt/1567523913215523.koat.smt2no32.1608
loops_smt/1567523913215692.koat.smt2no32.1301
loops_smt/1567523913215860.koat.smt2no32.162
loops_smt/1567523913216027.koat.smt2no32.1374
loops_smt/1567523913216191.koat.smt2no32.1293
loops_smt/1567523913216368.koat.smt2no32.1378
loops_smt/1567523913216537.koat.smt2no32.1312
loops_smt/1567523913216707.koat.smt2no32.1395
loops_smt/1567523913216873.koat.smt2no5.29549
loops_smt/1567523913217040.koat.smt2no5.32765
loops_smt/1567523913217209.koat.smt2no5.29545
loops_smt/1567523913217550.koat.smt2no5.24423
loops_smt/1567523913217722.koat.smt2no5.31411
loops_smt/1567523913218056.koat.smt2no5.29764
loops_smt/1567523913218514.koat.smt2yes0.0224051
loops_smt/1567523913218803.koat.smt2yes0.022583
loops_smt/1567523913219538.koat.smt2yes0.022819
loops_smt/1567523913221421.koat.smt2yes0.023357
loops_smt/1567523947175725.koat.smt2yes0.0243731
loops_smt/1567523948417498.koat.smt2yes0.0233111
loops_smt/1567523948417697.koat.smt2yes0.022927
loops_smt/1567523949693153.koat.smt2no5.24889
loops_smt/1567523954788670.koat.smt2yes0.0233549
loops_smt/1567523955762709.koat.smt2yes0.023229
loops_smt/1567523958875428.koat.smt2yes0.0234341
loops_smt/1567523961185752.koat.smt2yes0.0243421
loops_smt/1567523961185910.koat.smt2yes0.024711
loops_smt/1567523964315563.koat.smt2yes0.023096
loops_smt/1567523966641800.koat.smt2yes0.023663
loops_smt/1567523966641967.koat.smt2yes0.0233849
loops_smt/1567523966909957.koat.smt2yes0.0222801
loops_smt/1567523967505656.koat.smt2yes0.0239039
loops_smt/1567523971070903.koat.smt2yes0.024378
loops_smt/1567523971071257.koat.smt2yes0.0230329
loops_smt/1567523971071437.koat.smt2yes0.0233171
loops_smt/1567523971071606.koat.smt2yes0.0235771
loops_smt/1567523971071899.koat.smt2yes0.0228661
loops_smt/1567523971072087.koat.smt2yes0.023948
loops_smt/1567523986823953.koat.smt2yes0.023534
loops_smt/1567523986964998.koat.smt2yes0.0225741
loops_smt/1567523987596870.koat.smt2yes0.025538
loops_smt/1567523987597235.koat.smt2yes0.0271101
loops_smt/1567523988093598.koat.smt2no5.25664
loops_smt/1567523991577652.koat.smt2yes0.0226451
loops_smt/1567524005229773.koat.smt2yes0.0227359
loops_smt/1567524005231086.koat.smt2yes0.022906
loops_smt/1567524009077722.koat.smt2yes0.028674
loops_smt/1567524009078133.koat.smt2yes0.023882
loops_smt/1567524009078477.koat.smt2yes0.0269191
loops_smt/1567524081102755.koat.smt2yes0.02235
loops_smt/1567524083148056.koat.smt2yes0.024761
loops_smt/1567524083784174.koat.smt2yes0.0239339
loops_smt/1567524083784380.koat.smt2yes0.0233459
loops_smt/1567524083909320.koat.smt2yes0.10621
loops_smt/1567524087485460.koat.smt2yes0.025493
loops_smt/1567524087629154.koat.smt2yes0.0224621
loops_smt/1567524088059019.koat.smt2yes0.0225721
loops_smt/1567524088059410.koat.smt2yes0.0222829
loops_smt/1567524088059702.koat.smt2yes0.022425
loops_smt/1567524088947323.koat.smt2yes0.0241519
loops_smt/1567524090826557.koat.smt2yes0.211483
loops_smt/1567524093802819.koat.smt2yes0.0251419
loops_smt/1567524101419450.koat.smt2yes0.02244
loops_smt/1567524101957173.koat.smt2yes0.0256351
loops_smt/1567524103641981.koat.smt2yes0.0253991
loops_smt/1567524112003507.koat.smt2yes0.0216351
loops_smt/1567524112414800.koat.smt2yes0.0230769
loops_smt/1567524112668011.koat.smt2yes0.0246501
loops_smt/1567524112668356.koat.smt2yes0.026025
loops_smt/1567524173237133.koat.smt2yes0.0226711
loops_smt/1567524173237381.koat.smt2yes0.0293029
loops_smt/1567524210739516.koat.smt2yes0.0248531
loops_smt/1567524210740161.koat.smt2yes0.0242541
loops_smt/1567524210741064.koat.smt2yes0.0249199
loops_smt/1567524210741277.koat.smt2yes0.0234989
loops_smt/1567524214428711.koat.smt2yes0.0290579
loops_smt/1567524219130167.koat.smt2yes0.022585
loops_smt/1567524219842557.koat.smt2yes0.022898
loops_smt/1567524223401630.koat.smt2yes0.0237281
loops_smt/1567524236684854.koat.smt2yes0.0284331
loops_smt/1567524236685087.koat.smt2yes0.0243501
loops_smt/1567524236687790.koat.smt2yes0.0243251
loops_smt/1567524236687953.koat.smt2yes0.0234649
loops_smt/1567524238305808.koat.smt2yes0.0421051
loops_smt/1567524239684546.koat.smt2yes0.0237301
loops_smt/1567524239684712.koat.smt2yes0.024182
loops_smt/1567524241845258.koat.smt2no5.20623
loops_smt/1567524241845594.koat.smt2no5.19984
loops_smt/1567524244091331.koat.smt2yes0.0242869
loops_smt/1567524245570410.koat.smt2unknown60.0594
loops_smt/1567524245570724.koat.smt2unknown60.0911
loops_smt/1567524246371939.koat.smt2no5.48908
loops_smt/1567524246372127.koat.smt2no5.57923
loops_smt/1567524246372477.koat.smt2no5.61467
loops_smt/1567524246372665.koat.smt2no6.08762
loops_smt/1567524251796732.koat.smt2yes0.0235011
loops_smt/1567524315372555.koat.smt2yes0.0233241
loops_smt/1567524315761911.koat.smt2yes0.0237589
loops_smt/1567524321037687.koat.smt2yes0.022862
loops_smt/1567524321050593.koat.smt2yes0.022585
loops_smt/1567524325873231.koat.smt2yes0.0231721
loops_smt/1567524326024806.koat.smt2no5.27771
loops_smt/1567524327433371.koat.smt2yes0.36771
loops_smt/1567524327433615.koat.smt2yes0.024002
loops_smt/1567524327880816.koat.smt2yes0.0235551
loops_smt/1567524442820641.koat.smt2no5.1796
loops_smt/1567524442970372.koat.smt2yes0.024397
loops_smt/1567524446802201.koat.smt2yes0.028734
loops_smt/1567524446802639.koat.smt2yes0.029338
loops_smt/1567524450869218.koat.smt2yes0.023266
loops_smt/1567524451740896.koat.smt2no5.24606
loops_smt/1567524451741215.koat.smt2no5.22922
loops_smt/1567524459503473.koat.smt2yes0.0245139
loops_smt/1567524459623673.koat.smt2no5.4904
loops_smt/1567524466945020.koat.smt2yes0.025828
loops_smt/1567524466945515.koat.smt2yes0.0257839
loops_smt/1567524466945855.koat.smt2yes0.0254029
loops_smt/1567524466946132.koat.smt2yes0.021789
loops_smt/1567524466946367.koat.smt2yes0.024999
loops_smt/1567524466946637.koat.smt2yes0.026128
loops_smt/1567524466946893.koat.smt2yes0.023915
loops_smt/1567524468180337.koat.smt2yes0.0238121
loops_smt/1567524468440325.koat.smt2yes0.024783
loops_smt/1567524468440692.koat.smt2yes0.02568
loops_smt/1567524469120552.koat.smt2unknown60.0553
loops_smt/1567524469120758.koat.smt2yes0.0272721
loops_smt/1567524476868780.koat.smt2yes0.0226779
loops_smt/1567524476869150.koat.smt2yes0.024453
loops_smt/1567524477887775.koat.smt2yes0.0261639
loops_smt/1567524483195603.koat.smt2yes0.0291219
loops_smt/1567524483196090.koat.smt2yes0.0282971
loops_smt/1567524483196492.koat.smt2yes0.030241
loops_smt/1567524483196794.koat.smt2yes0.0243899
loops_smt/1567524546550540.koat.smt2yes0.0236821
loops_smt/1567524553542388.koat.smt2yes0.0239619
loops_smt/1567524554680112.koat.smt2yes0.0231079
loops_smt/1567524555297223.koat.smt2yes0.0243329
loops_smt/1567524559937614.koat.smt2yes0.0239799
loops_smt/1567524559937810.koat.smt2yes0.022783
loops_smt/1567524561902048.koat.smt2yes0.023467
loops_smt/1567524562079570.koat.smt2yes41.121
loops_smt/1567524570377106.koat.smt2yes0.022868
loops_smt/1567524570539608.koat.smt2yes0.0911291
loops_smt/1567524578301747.koat.smt2yes0.024295
loops_smt/1567524578958910.koat.smt2yes0.022884
loops_smt/1567524578959223.koat.smt2yes0.0224829
loops_smt/1567524578959387.koat.smt2yes0.0231651
loops_smt/1567524580545188.koat.smt2yes0.0268571
loops_smt/1567524580545505.koat.smt2yes0.0247351
loops_smt/1567524590755239.koat.smt2yes0.022449
loops_smt/1567524591912648.koat.smt2yes0.022397
loops_smt/1567524593804959.koat.smt2yes0.0258789
loops_smt/1567524606096999.koat.smt2yes0.0217661
loops_smt/1567524606248100.koat.smt2yes0.0241891
loops_smt/1567524610007315.koat.smt2yes0.0218981
loops_smt/1567524624179784.koat.smt2yes0.0232539
loops_smt/1567524624182178.koat.smt2yes0.0263789
loops_smt/1567524624610959.koat.smt2no8.515
loops_smt/1567524624721145.koat.smt2yes0.022139
loops_smt/1567524701086645.koat.smt2yes0.0235581
loops_smt/1567524701086888.koat.smt2yes0.0241569
loops_smt/1567524705181357.koat.smt2no5.60074
loops_smt/1567524706369592.koat.smt2yes0.0240711
loops_smt/1567524711718849.koat.smt2yes0.023475
loops_smt/1567524711719067.koat.smt2yes0.0230571
loops_smt/1567524718665094.koat.smt2yes0.023275
loops_smt/1567524718813249.koat.smt2yes0.0245821
loops_smt/1567524719086045.koat.smt2yes0.0226101
loops_smt/1567524719980617.koat.smt2no15.3707
loops_smt/1567524719981019.koat.smt2yes0.0230901
loops_smt/1567524719981186.koat.smt2yes0.023451
loops_smt/1567524720618924.koat.smt2yes0.024699
loops_smt/1567524720619389.koat.smt2yes0.0248361
loops_smt/1567524723300475.koat.smt2yes0.023503
loops_smt/1567524726038172.koat.smt2yes0.030733
loops_smt/1567524726038581.koat.smt2yes0.0238319
loops_smt/1567524726038866.koat.smt2yes0.0258639
loops_smt/1567524729687924.koat.smt2yes0.021775
loops_smt/1567524730888781.koat.smt2no21.2984
loops_smt/1567524730889388.koat.smt2yes0.0245309
loops_smt/1567524737299849.koat.smt2no5.19746
loops_smt/1567524738281180.koat.smt2yes0.0247699
loops_smt/1567524813947294.koat.smt2yes0.023581
loops_smt/1567524818961212.koat.smt2yes0.023645
loops_smt/1567524820512406.koat.smt2yes0.0235639
loops_smt/1567524820513174.koat.smt2unknown60.0204
loops_smt/1567524820513635.koat.smt2yes0.0336039
loops_smt/1567524820514123.koat.smt2yes0.0336811
loops_smt/1567524851476868.koat.smt2yes0.0245799
loops_smt/1567524864698874.koat.smt2yes0.0237231
loops_smt/1567524864699109.koat.smt2yes0.0229031
loops_smt/1567524864827738.koat.smt2yes0.023458
loops_smt/1567524864951052.koat.smt2yes0.025467
loops_smt/1567524866564978.koat.smt2unknown60.0663
loops_smt/1567524866565377.koat.smt2yes0.024708
loops_smt/1567524872133576.koat.smt2unknown60.1271
loops_smt/1567524872134019.koat.smt2unknown60.0218
loops_smt/1567524872319182.koat.smt2no5.23523
loops_smt/1567524881206977.koat.smt2yes0.023552
loops_smt/1567524886214597.koat.smt2yes0.0233679
loops_smt/1567524886898126.koat.smt2yes0.0233261
loops_smt/1567524891321950.koat.smt2yes0.022975
loops_smt/1567524892181088.koat.smt2yes0.0221091
loops_smt/1567524897137433.koat.smt2yes0.0232259
loops_smt/1567524897598515.koat.smt2yes0.0224341
loops_smt/1567524905835061.koat.smt2yes0.0247251
loops_smt/1567524913381019.koat.smt2yes0.022171
loops_smt/1567524973525891.koat.smt2yes0.023226
loops_smt/1567524974460858.koat.smt2yes0.024251
loops_smt/1567524974587881.koat.smt2no5.36191
loops_smt/1567525097837663.koat.smt2no32.1152
loops_smt/1567525103675509.koat.smt2no5.17868
loops_smt/1567525105590361.koat.smt2yes0.0237741
loops_smt/1567525113160830.koat.smt2yes0.0235389
loops_smt/1567525116160625.koat.smt2yes0.024235
loops_smt/1567525119498172.koat.smt2yes0.0232299
loops_smt/1567525125420093.koat.smt2yes0.0262711
loops_smt/1567525125420499.koat.smt2yes0.0245589
loops_smt/1567525125420853.koat.smt2yes0.028733
loops_smt/1567525125571199.koat.smt2yes0.023575
loops_smt/1567525127186599.koat.smt2yes0.0237641
loops_smt/1567525128525758.koat.smt2yes0.0247221
loops_smt/1567525130926180.koat.smt2yes0.0274489
loops_smt/1567525134131383.koat.smt2yes0.029882
loops_smt/1567525134140737.koat.smt2yes0.0241099
loops_smt/1567525134141912.koat.smt2yes0.028799
loops_smt/1567525135209618.koat.smt2yes0.0256979
loops_smt/1567525135835224.koat.smt2yes0.0237639
loops_smt/1567525136789418.koat.smt2no5.18088
loops_smt/1567525136943123.koat.smt2yes0.023007
loops_smt/1567525137568332.koat.smt2yes0.023488
loops_smt/1567525139572978.koat.smt2no32.1149
loops_smt/1567525139573432.koat.smt2yes0.0249489
loops_smt/1567525141846434.koat.smt2yes0.021881
loops_smt/1567525143459540.koat.smt2yes0.0229641
loops_smt/1567525144428881.koat.smt2yes0.024035
loops_smt/1567525144717774.koat.smt2yes0.0235679
loops_smt/1567525207812064.koat.smt2yes0.023976
loops_smt/1567525207812368.koat.smt2yes0.0229389
loops_smt/1567525207812987.koat.smt2yes0.0233531
loops_smt/1567525207813164.koat.smt2yes0.02332
loops_smt/1567525214272561.koat.smt2yes0.02297
loops_smt/1567525214272710.koat.smt2no33.2752
loops_smt/1567525214273150.koat.smt2yes0.0235159
loops_smt/1567525218370815.koat.smt2yes0.0291751
loops_smt/1567525218371186.koat.smt2yes0.023316
loops_smt/1567525218371667.koat.smt2yes0.029888
loops_smt/1567525229691854.koat.smt2yes0.0225509
loops_smt/1567525229823052.koat.smt2yes0.0249609
loops_smt/1567525230674890.koat.smt2yes0.0242349
loops_smt/1567525237315844.koat.smt2yes0.023624
loops_smt/1567525238672815.koat.smt2yes0.029829
loops_smt/1567525238673204.koat.smt2yes0.023628
loops_smt/1567525240610784.koat.smt2yes0.0241421
loops_smt/1567525248302494.koat.smt2yes0.0253499
loops_smt/1567525248910851.koat.smt2yes0.0230859
loops_smt/1567525310508712.koat.smt2yes0.0228519
loops_smt/1567525310509176.koat.smt2yes0.0219431
loops_smt/1567525310509744.koat.smt2yes0.0222481
loops_smt/1567525312095282.koat.smt2yes0.0465971
loops_smt/1567525313948302.koat.smt2yes0.0304559
loops_smt/1567525313949019.koat.smt2unknown60.0738
loops_smt/1567525313949428.koat.smt2yes0.031009
loops_smt/1567525313950001.koat.smt2yes0.0243271
loops_smt/1567525318524966.koat.smt2yes0.023893
loops_smt/1567525319818029.koat.smt2yes0.022402
loops_smt/1567525321571339.koat.smt2yes0.022595
loops_smt/1567525327101623.koat.smt2yes0.0230509
loops_smt/1567525327101873.koat.smt2yes0.0236439
loops_smt/1567525327760504.koat.smt2no5.22587
loops_smt/1567525327760732.koat.smt2no5.21069
loops_smt/1567525328800563.koat.smt2yes0.0254361
loops_smt/1567525329419754.koat.smt2no5.18081
loops_smt/1567525334518260.koat.smt2yes0.025083
loops_smt/1567525334518864.koat.smt2yes0.0242151
loops_smt/1567525335150330.koat.smt2no5.24163
loops_smt/1567525335150569.koat.smt2no5.31
loops_smt/1567525335885220.koat.smt2no10.6894
loops_smt/1567525336765908.koat.smt2yes0.0311499
loops_smt/1567525336766414.koat.smt2yes0.0240659
loops_smt/1567525349029651.koat.smt2yes0.024361
loops_smt/1567525349029961.koat.smt2yes0.024995
loops_smt/1567525349030214.koat.smt2yes0.0244391
loops_smt/1567525351348487.koat.smt2yes0.023315
loops_smt/1567525351358166.koat.smt2yes0.0232999
loops_smt/1567525352600955.koat.smt2yes0.0241169
loops_smt/1567525356216045.koat.smt2yes0.022373
loops_smt/1567525358645502.koat.smt2yes0.0240939
loops_smt/1567525361213290.koat.smt2yes0.023556
loops_smt/1567525361988375.koat.smt2yes0.024505
loops_smt/1567525361997614.koat.smt2yes0.0234019
loops_smt/1567525365095692.koat.smt2yes0.0285409
loops_smt/1567525365096575.koat.smt2yes0.025314
loops_smt/1567525365096754.koat.smt2yes0.0233071
loops_smt/1567525365608414.koat.smt2yes0.0240261
loops_smt/1567525369400202.koat.smt2yes0.023274
loops_smt/1567525370752694.koat.smt2yes0.023915
loops_smt/1567525370753068.koat.smt2yes0.0409579
loops_smt/1567525370910717.koat.smt2yes0.0236661
loops_smt/1567581737696853.koat.smt2yes0.090949
loops_smt/1567581761585409.koat.smt2yes0.0766689
loops_smt/1567581772625284.koat.smt2yes0.08588
loops_smt/1567581814848372.koat.smt2yes0.083064
loops_smt/1567581828608238.koat.smt2yes0.083606
loops_smt/1567582181207449.koat.smt2yes0.0855941