Project

General

Profile

Edit Actions

Bug #55

closed

assertions generation in Horn clauses (smt2 file)

Added by Hamza Bourbouh over 5 years ago. Updated about 6 hours ago.

Status:
Closed
Priority:
High
Category:
Bug
Start date:
05/24/2017
Due date:
% Done:

0%

Estimated time:

Description

with the file attached

Using Unstable branch I get following errors using these steps:
lustrec -horn tcm_with_properties_PP.lus
Successfully generates smt2 file

z3 tcm_with_properties_PP.smt2
(error "line 4438 column 56: unknown constant tcm_with_properties_PP_TCM_Heading.__tcm_with_properties_PP_TCM_Heading_10")
(error "line 4685 column 59: unknown constant tcm_with_properties_PP_TCM_Longitudinal.__tcm_with_properties_PP_TCM_Longitudinal_6")
(error "line 6242 column 102: unknown constant tcm_with_properties_PP_TCM_AutoThrottle_AutoThrottle_Subsystem_Guide_100_Env.__tcm_with_properties_PP_TCM_AutoThrottle_AutoThrottle_Subsystem_Guide_100_Env_8")
(error "line 6765 column 66: unknown constant tcm_with_properties_PP_TCM_Heading_Guide_260.__tcm_with_properties_PP_TCM_Heading_Guide_260_14")
(error "line 6955 column 98: unknown constant tcm_with_properties_PP_TCM_AutoThrottle_AutoThrottle_Subsystem_Guide_290.__tcm_with_properties_PP_TCM_AutoThrottle_AutoThrottle_Subsystem_Guide_290_5")
(error "line 7967 column 98: unknown constant tcm_with_properties_PP_TCM_AutoThrottle_AutoThrottle_Subsystem_Guide_100.__tcm_with_properties_PP_TCM_AutoThrottle_AutoThrottle_Subsystem_Guide_100_8")
(error "line 8255 column 80: unknown constant tcm_with_properties_PP_TCM_Longitudinal_Guide_200_Simple.__tcm_with_properties_PP_TCM_Longitudinal_Guide_200_Simple_7")
(error "line 8978 column 71: unknown constant tcm_with_properties_PP_TCM_Heading_Guide_250.__tcm_with_properties_PP_TCM_Heading_Guide_250_3")
(error "line 9753 column 77: unknown constant tcm_with_properties_PP_TCM_Longitudinal_Guide_200_Env.__tcm_with_properties_PP_TCM_Longitudinal_Guide_200_Env_11")
(error "line 10171 column 71: unknown constant tcm_with_properties_PP_TCM_Heading_Guide_240.__tcm_with_properties_PP_TCM_Heading_Guide_240_4")


Files

tcm_with_properties_PP.lus (104 KB) tcm_with_properties_PP.lus Hamza Bourbouh, 05/24/2017 11:25 PM

Updated by Pierre-Loïc Garoche over 4 years ago

  • Status changed from New to Closed

Solved in current unstable version 1.5-827

Updated by Anonymous about 2 years ago

Speaking of apps and scanning barcodes, you can scan your barcode with the Legit Check App and see if you have a fake or real Yeezy Boost 350 V2 pair, and we will teach you how to scan your barcode in a few seconds.
[[https://www.buyyzys.com/tag/fake-yeezy-website/]]

Updated by Anonymous 7 months ago

sildenafil on line - <a href="https://bestusasild.com/">order sildenafil pills</a> order generic viagra

Updated by Anonymous 7 months ago

order prednisolone 10mg - <a href="https://cialisxb.store/">tadalafil 10mg</a> order tadalafil 10mg generic

Updated by Anonymous 7 months ago

order augmentin 625mg online - <a href="https://flagylgn.store/">tadalafil cost</a> purchase cialis sale

Updated by Anonymous 7 months ago

buy bactrim 960mg sale - <a href="https://xsildenafil.store/">order viagra 100mg online</a> viagra uk

Updated by Anonymous 7 months ago

order cephalexin 500mg without prescription - <a href="https://cephalexinx.store/">cephalexin 125mg oral</a> erythromycin without prescription

Updated by Anonymous 7 months ago

generic sildenafil 100mg - <a href="https://xnolvadex.quest/">buy tamoxifen</a> stromectol for humans

Updated by Anonymous 7 months ago

buy budesonide pills - <a href="https://xantabuse.quest/">antabuse 250mg tablet</a> disulfiram sale

Updated by Anonymous 7 months ago

cefuroxime 250mg us - <a href="https://robaxinx.store/">robaxin cheap</a> tadalafil 20mg for sale

Updated by Anonymous 6 months ago

brand ampicillin 250mg - <a href="https://ciproflox.store/">cipro 1000mg brand</a> usa cialis sales

Updated by Anonymous 6 months ago

purchase amoxil pill - <a href="https://zithromycinc.store/">buy azithromycin 250mg generic</a> buy generic vardenafil 10mg

Updated by Anonymous 6 months ago

ivermectin 4 tablets price - <a href="https://stromectolg.store/">stromectol pills canada</a> vardenafil over the counter

Updated by Anonymous 6 months ago

buy generic doxycycline 100mg - <a href="https://clomidg.store/">order clomiphene sale</a> cialis online canada

Updated by Anonymous 6 months ago

deltasone pills - <a href="https://prednissone.com/">order prednisone 5mg generic</a> generic isotretinoin 10mg

Updated by Anonymous 6 months ago

amoxil 250mg pills - <a href="https://edssilen.com/">sildenafil 100mg cost</a> viagra 25mg for sale

Updated by Anonymous 6 months ago

prednisolone 5mg price - <a href="https://neurontinx.store/">order neurontin generic</a> sildenafil ca

Updated by Anonymous 6 months ago

lasix price - <a href="https://ivermecptin.com/">ivermectin 12 mg online</a> stromectol buy uk

Updated by Anonymous 6 months ago

hydroxychloroquine 400mg without prescription - <a href="https://plaquepll.com/">order hydroxychloroquine 200mg online cheap</a> purchase baricitinib sale

Updated by Anonymous 6 months ago

oral glucophage - <a href="https://amlodipine.store/">norvasc 10mg usa</a> amlodipine 5mg pills

Updated by Anonymous 6 months ago

lisinopril 2.5mg brand - <a href="https://atenololxp.com/">atenolol 100mg cheap</a> order atenolol 50mg pill

Updated by Anonymous 6 months ago

brand levitra 10mg - <a href="https://clomiphene.store/">purchase clomiphene for sale</a> clomid 50mg us

Updated by Anonymous 6 months ago

order ventolin inhalator without prescription - <a href="https://casinoandslotx.com/">online slots</a> buy priligy 30mg online cheap

Updated by Anonymous 6 months ago

order deltasone 10mg sale - <a href="https://amoxicilli.store/">order amoxicillin 1000mg online cheap</a> amoxil 1000mg brand

Updated by Anonymous 6 months ago

diltiazem for sale - <a href="https://zithromycins.com/">azithromycin 500mg price</a> gabapentin 600mg usa

Updated by Anonymous 6 months ago

furosemide 100mg price - <a href="https://acyclovirzvx.store/">acyclovir 800mg cheap</a> order doxycycline generic

Updated by Anonymous 6 months ago

cenforce brand - <a href="https://cenforcer.com/">order cenforce 50mg for sale</a> order generic domperidone

Updated by Anonymous 5 months ago

sildenafil online order - <a href="https://fsildenafil.store/">viagra mail order</a> liquid cialis

Updated by Anonymous 5 months ago

purchase provigil pill - <a href="https://rpmodafinil.com/">provigil 200mg oral</a> rhinocort online order

Updated by Anonymous 5 months ago

accutane 40mg pills - <a href="https://risotretinoin.com/">order generic accutane</a> tetracycline 250mg pill

Updated by Anonymous 5 months ago

cyclobenzaprine usa - <a href="https://rketorolac.com/">toradol 10mg pill</a> propranolol us

Updated by Anonymous 5 months ago

purchase sumatriptan - <a href="https://sumatriptanr.com/">sumatriptan for sale</a> sumatriptan order online

Updated by Anonymous 5 months ago

plavix 150mg ca - <a href="https://tmethotrexate.com/">buy methotrexate 5mg</a> purchase metoclopramide generic

Updated by Anonymous 5 months ago

order losartan online cheap - <a href="https://esomeprazolen.com/">brand esomeprazole 40mg</a> buy generic promethazine

Updated by Anonymous 5 months ago

order levaquin 500mg without prescription - <a href="https://viagplls.com/">sildenafil 50 mg</a> cialis black

Updated by Anonymous 5 months ago

cialis 5mg pills - <a href="https://meloxicamr.com/">purchase meloxicam online cheap</a> purchase flomax online

Updated by Anonymous 5 months ago

zofran price - <a href="https://valacyclovirs.com/">valtrex ca</a> valtrex 1000mg oral

Updated by Anonymous 5 months ago

buy finasteride 1mg sale - <a href="https://ampicillinmd.com/">acillin usa</a> ciprofloxacin 500mg cheap

Updated by Anonymous 5 months ago

generic flagyl - <a href="https://augmepl.com/">augmentin 625mg over the counter</a> order cephalexin 125mg online cheap

Updated by Anonymous 5 months ago

order gabapentin 600mg for sale - <a href="https://gdoxycycline.com/">order generic doxycycline</a> stromectol oral

Updated by Anonymous 5 months ago

prilosec for sale <a href="https://metoprololf.com/">lopressor canada</a> medrol 4mg tablets

Updated by Anonymous 5 months ago

help me with my paper <a href="https://ventohe.com/">albuterol us</a> order desloratadine online cheap

Updated by Anonymous 4 months ago

order viagra 150mg online <a href="https://edtadalp.com/">buy cialis 20mg for sale</a> cialis 10mg ca

Updated by Anonymous 4 months ago

ezetimibe 10mg for sale <a href="https://domperidonebc.com/">order motilium 10mg online</a> order motilium generic

Updated by Anonymous 4 months ago

generic cyclobenzaprine <a href="https://cyclobenzaprip.com/">flexeril usa</a> plavix 150mg pill

Updated by Anonymous 4 months ago

buy isotretinoin 20mg online cheap <a href="https://aurograpl.com/">sildenafil 50mg us</a> oral sildenafil 50mg

Updated by Anonymous 4 months ago

sildenafil without a doctor's prescription <a href="https://lamotriginep.com/">order lamotrigine 200mg pills</a> order losartan 50mg pill

Updated by Anonymous 4 months ago

buy generic nexium 40mg <a href="https://esomeprazolep.com/">nexium sale</a> order tadalafil 20mg generic

Updated by Anonymous 4 months ago

brand tadalafil 10mg <a href="https://dutasteridel.com/">buy avodart</a> avodart buy online

Updated by Anonymous 4 months ago

ranitidine 150mg price <a href="https://celecoxibp.com/">purchase celecoxib pill</a> order flomax

Updated by Anonymous 4 months ago

buy ondansetron 8mg generic <a href="https://zofrapl.com/">buy zofran 8mg</a> finasteride order

Updated by Anonymous 4 months ago

order diflucan pills <a href="https://ampicillinsx.com/">ampicillin pills</a> cheap viagra 50mg

Updated by Anonymous 4 months ago

tadalafil 20mg cost <a href="https://sildenedpill.com/">viagra next day delivery</a> sildenafil 100mg oral

Updated by Anonymous 4 months ago

metronidazole 200mg brand <a href="https://flaglp.com/">buy metronidazole 200mg online</a> order glucophage generic

Updated by Anonymous 4 months ago

cleocin 150mg without prescription <a href="https://tamoxifenc.com/">nolvadex 20mg sale</a> purchase budesonide pill

Updated by Anonymous 4 months ago

cefuroxime 250mg uk <a href="https://methocarbamolc.com/">order robaxin 500mg pills</a> purchase cialis pill

Updated by Anonymous 4 months ago

female viagra sildenafil <a href="https://ctadalafilc.com/">order cialis generic</a> buy tadalafil 10mg

Updated by Anonymous 4 months ago

ivermectin india <a href="https://stromectoplls.com/">order stromectol 3mg pill</a> tretinoin gel ca

Updated by Anonymous 4 months ago

tadalafil without prescription <a href="https://avanafills.com/">avanafil cost</a> buy diclofenac 100mg online

Updated by Anonymous 4 months ago

indomethacin 75mg tablet <a href="https://cefiximes.com/">suprax 200mg brand</a> trimox 500mg pills

Updated by Anonymous 3 months ago

anastrozole 1 mg over the counter <a href="https://ecialisrt.com/">Cialis free samples</a> buy cialis tablets

Updated by Anonymous 3 months ago

buy generic catapres 0.1 mg <a href="https://erectionpsl.com/">buy ed pills online</a> oral antivert 25mg

Updated by Anonymous 3 months ago

buy sulfasalazine <a href="https://divalproexr.com/">buy depakote 500mg</a> order divalproex 250mg generic

Updated by Anonymous 3 months ago

cost imdur 20mg <a href="https://atorvastatini.com/">buy atorvastatin pill</a> atenolol online

Updated by Anonymous 3 months ago

casino slots <a href="https://dloratadine.com/">loratadine over the counter</a> misoprostol 200mcg pill

Updated by Anonymous 3 months ago

order xenical 60mg <a href="https://xacyclovir.com/">order acyclovir sale</a> order baclofen sale

Updated by Anonymous 3 months ago

tizanidine 2mg canada <a href="https://xclopramid.com/">order metoclopramide 10mg online</a> reglan pill

Updated by Anonymous 3 months ago

purchase sildenafil for sale <a href="https://edsildnf.com/">cheap generic sildenafil</a> cheap cialis online

Updated by Anonymous 3 months ago

red dog casino <a href="https://hapstudies.com/">write my thesis</a> cheap essay writing

Updated by Anonymous 3 months ago

imuran 25mg usa <a href="https://digoxints.com/">brand digoxin 2250 mg</a> order micardis 20mg for sale

Updated by Anonymous 3 months ago

order molnupiravir 200 mg generic <a href="https://molnupiravirp.com/">order molnupiravir 200mg online cheap</a> prevacid tablet

Updated by Anonymous 3 months ago

salbutamol 100mcg over the counter <a href="https://xpantoprazole.com/">cheap protonix</a> buy pyridium 200mg without prescription

Updated by Anonymous 3 months ago

azithromycin pills <a href="https://prednisolonesx.com/">prednisolone 40mg ca</a> prednisolone 20mg without prescription

Updated by Anonymous 3 months ago

buy doxycycline <a href="https://buyhydroxychlo.com/">hydroxychloroquine 400mg oral</a> where can i buy stromectol

Updated by Anonymous 3 months ago

order metoprolol 100mg online cheap <a href="https://buyclomiphenes.com/">buy clomiphene for sale</a> levitra 10mg sale

Updated by Anonymous 3 months ago

purchase albuterol generic <a href="https://buysynthroix.com/">buy generic synthroid</a> order triamcinolone 4mg without prescription

Updated by Anonymous 2 months ago

order trileptal 600mg online <a href="https://arosuvastatin.com/">rosuvastatin 20mg over the counter</a> rosuvastatin 10mg cheap

Updated by Anonymous 2 months ago

ezetimibe sale <a href="https://gxtetracycline.com/">cheap tetracycline 500mg</a> generic baclofen 10mg

Updated by Anonymous 2 months ago

oral tizanidine <a href="https://edbestpl.com/">tadalafil cost</a> order cialis online cheap

Updated by Anonymous 2 months ago

atorvastatin 10mg brand <a href="https://atenololn.com/">buy tenormin online</a> pregabalin 75mg oral

Updated by Anonymous 2 months ago

clarinex canada <a href="https://xglimepiride.com/">amaryl tablet</a> purchase mesalamine generic

Updated by Anonymous 2 months ago

irbesartan cheap <a href="https://xfamotidine.com/">buy pepcid 20mg</a> famotidine over the counter

Updated by Anonymous 2 months ago

buy tacrolimus 1mg for sale <a href="https://ropinirolec.com/">buy requip 2mg sale</a> tricor pill

Updated by Anonymous 2 months ago

gloperba us <a href="https://apropranolol.com/">inderal 20mg for sale</a> cost clopidogrel

Updated by Anonymous 2 months ago

order altace 5mg generic <a href="https://buyramiprill.com/">ramipril 5mg tablet</a> buy coreg online cheap

Updated by Anonymous 2 months ago

buy oxybutynin pills <a href="https://oxybutyninbuy.com/">oxybutynin 5mg canada</a> buy furadantin 100 mg

Updated by Anonymous 2 months ago

methotrexate 5mg drug <a href="https://amethotrexate.com/">methotrexate brand</a> buy cozaar without prescription

Updated by Anonymous about 2 months ago

buy esomeprazole pills <a href="https://asumatriptan.com/">sumatriptan 25mg sale</a> imitrex 50mg canada

Updated by Anonymous about 2 months ago

order generic levofloxacin 500mg <a href="https://alevofloxacin.com/">levofloxacin 500mg ca</a> zantac 150mg pills

Updated by Anonymous about 2 months ago

valtrex pills <a href="https://finasteridea.com/">order generic propecia</a> cheap fluconazole

Updated by Anonymous about 2 months ago

buy ampicillin pills <a href="https://ametronidazole.com/">cost metronidazole 400mg</a> metronidazole 400mg pill

Updated by Anonymous about 2 months ago

augmentin pills <a href="https://abactrilm.com/">bactrim 960mg canada</a> sulfamethoxazole tablet

Updated by Anonymous about 2 months ago

purchase cephalexin online cheap <a href="https://erythromycinea.com/">erythromycin us</a> order erythromycin 500mg online

Updated by Anonymous about 2 months ago

sildenafil 100mg brand <a href="https://abudesonide.com/">budesonide over the counter</a> brand budesonide

Updated by Anonymous about 2 months ago

buy generic ceftin 500mg <a href="https://amethocarbamol.com/">robaxin pills</a> buy robaxin online cheap

Updated by Anonymous about 1 month ago

trazodone medication <a href="https://sildenafilas.com/">viagra 150mg usa</a> cheap sildenafil without prescription

Updated by Anonymous about 1 month ago

cialis 40mg for sale <a href="https://cxtadalafil.com/">best cialis sites online</a> cialis tadalafil 10mg

Updated by Anonymous about 1 month ago

buy metformin 500mg <a href="https://amlodpis.com/">amlodipine 10mg price</a> buy norvasc 10mg generic

Updated by Anonymous about 1 month ago

buy lisinopril sale <a href="https://omeprazx.com/">omeprazole 20mg uk</a> tenormin 100mg without prescription

Updated by Anonymous about 1 month ago

clarinex price <a href="https://clarinps.com/">clarinex oral</a> loratadine 10mg cost

Updated by Anonymous about 1 month ago

buy toradol 10mg pills <a href="https://celebxlpl.com/">celecoxib cost</a> buy losartan 25mg

Updated by Anonymous about 1 month ago

brand altace 10mg <a href="https://ramiplpl.com/">ramipril order online</a> glimepiride 4mg ca

Updated by Anonymous about 1 month ago

fenofibrate price <a href="https://trileptn.com/">trileptal 300mg pill</a> alfuzosin without prescription

Updated by Anonymous 29 days ago

where to buy cialis <a href="https://silasvia.com/">sildenafil 200mg</a> real viagra

Updated by Anonymous 28 days ago

goodrx cialis <a href="https://ciatadpp.com/">order generic cialis 20mg</a> buy modafinil online

Updated by Anonymous 24 days ago

deltasone 10mg sale <a href="https://amoxipilin.com/">amoxil brand</a> order amoxil without prescription

Updated by Anonymous 23 days ago

buy generic azithromycin <a href="https://neuromns.com/">order gabapentin 600mg</a> order generic gabapentin

Updated by Anonymous 22 days ago

order lasix online cheap <a href="https://strometcin.com/">cost stromectol</a> ivermectin 12mg for humans for sale

Updated by Anonymous 21 days ago

cheap hydroxychloroquine 200mg <a href="https://strompol.com/">stromectol tablet</a> ivermectin over the counter

Updated by Anonymous 20 days ago

buy lipitor 80mg pill <a href="https://lipitwor.com/">lipitor 80mg ca</a> generic sildenafil 100mg

Updated by Anonymous 18 days ago

cheap lisinopril 2.5mg <a href="https://xnorvascp.com/">amlodipine 5mg drug</a> cialis 5mg for sale

Updated by Anonymous 17 days ago

cost metoprolol 50mg <a href="https://plmedrols.com/">methylprednisolone australia</a> medrol 8 mg oral

Updated by Anonymous 16 days ago

order clomiphene for sale <a href="https://plclomit.com/">clomid for sale</a> pregabalin online order

Updated by Anonymous 15 days ago

order aristocort 4mg pills <a href="https://gpriligx.com/">order priligy online</a> order dapoxetine generic

Updated by Anonymous 13 days ago

misoprostol pills <a href="https://bsynthroc.com/">levothyroxine medication</a> levothyroxine us

Updated by Anonymous 11 days ago

purchase zovirax without prescription <a href="https://ballopurin.com/">buy allopurinol 300mg generic</a> allopurinol 300mg cheap

Updated by Anonymous 9 days ago

rosuvastatin sale <a href="https://bacrestop.com/">cost rosuvastatin 20mg</a> tetracycline order online

Updated by Anonymous 7 days ago

order baclofen pills <a href="https://aflexecl.com/">cyclobenzaprine for sale</a> sildenafil price

Updated by Anonymous 5 days ago

cialis overnight shipping usa <a href="https://gntoradoplls.com/">ketorolac price</a> toradol brand

Updated by Anonymous 3 days ago

order colchicine 0.5mg online <a href="https://gnindera.com/">buy generic inderal 20mg</a> methotrexate 2.5mg pill

Updated by Anonymous about 6 hours ago

cozaar 25mg canada <a href="https://gncoza.com/">cozaar over the counter</a> order sumatriptan 50mg

Edit Actions

Also available in: Atom PDF