NAME: pie-calculation.c
CITE: \cite{HeGaPa2012}
TYPE: \text{MO}
SCALE: \texttt{NP=2,NT=3,INTERVALS=6}

files,language,blank,comment,code,"http://cloc.sourceforge.net v 1.62  T=0.01 s (138.5 files/s, 17040.4 lines/s)"
1,C,28,29,66
civl verify -DMATH_ELABORATE_ASSUMPTIONS -input_NPROCS=2 -inputTHREAD_MAX=3 -ompLoopDecomp=ALL mpi-omp-pie-calculation.c
CIVL v0.16 of 2015-1-6 -- http://vsl.cis.udel.edu/civl
Enter The NoIntervals Of Intervals: 
Pi Is Approximately 66984845632/21306239825, Error Is 1972764886308926795751/852249593000000000000000 

=================== Stats ===================
   validCalls          : 1153
   proverCalls         : 12
   memory (bytes)      : 1393557504
   time (s)            : 4.89
   maxProcs            : 3
   statesInstantiated  : 2399
   statesSaved         : 236
   statesSeen          : 227
   statesMatched       : 0
   steps               : 432
   transitions         : 226

The standard properties hold for all executions.
NAME: pie-calculation.c
CITE: \cite{HeGaPa2012}
TYPE: \text{MO}
SCALE: \texttt{NP=2,NT=100,INTERVALS=100}

files,language,blank,comment,code,"http://cloc.sourceforge.net v 1.62  T=0.01 s (68.6 files/s, 8437.4 lines/s)"
1,C,28,29,66
civl verify -DMATH_ELABORATE_ASSUMPTIONS -input_NPROCS=2 -inputTHREAD_MAX=10 -ompLoopDecomp=ALL mpi-omp-pie-calculation100.c
CIVL v0.16 of 2015-1-6 -- http://vsl.cis.udel.edu/civl
Enter The NoIntervals Of Intervals: 
Pi Is Approximately 60627336299071982958763904201062298137701102255671954616147094104708310126108281270642591413190369709466606302108917428373074773747375788238022605314132536364737883264565075844993492862101327597804284553935658123550845222501175713063495896411324379852047246292526789741255303321732376803012975744588938554656342490858001625699815792835540447744743293896725647580621041387278864439760401810318968206976779782991566379519240506765737174822342205956675013496199162863970841542853150829794111173004801292564972100200762079465178335049487079670307354906839537173804090795688733945642489220452456203383306813971691025773456379106449665438015150101062344632309217470239354784657239452252941857346878584731184829919115892262745764922876869786962069356574750181800191639242144108007452755205806615210368289951415277931942952741733428590021092959874117622328903862231049181156117941600588065735601672456721059715377706570635902581187313667716362142368227084927572395988738098229281031112713701848691812760280940913655509295806827909527282675454507794249894603089231502923166023235445837326104109584723771612925531954937857457349470006636733004224053268990519657999718906870098668586545483465122370890394056118236611716541835541977841123706238379712005397297502751200146259838050486663585450425071491599953726043171605687490563766318404579236513171898814080532514736035494541249619400595518356196222304500438253978100028691575339276284792302479185859464929918182225473665933088090531383303707957395750053494305323123346677654370206598316454080310608798546202126929757939376585092795676888931283778234626505533741936575339004718904010534053532749853514480683174810068803006008179775561821844686129079249031771765917478477035470414895781274020779938333735422879864852777798662573262991755101237257242539818597848762082032881134034827834541064148815867600176373772959645710528882875590474193419270709661215090037423044228891900031829336182364852895083968669408253908804493205387904095179180902143164514026011885128561193904458603384676745220995769163419213496656713772793108761586269629215010572531096996006430830066066041725742949768306302592547503664899602313369168254246124610035803399607772868578687567660336911031891131275742633950655123040917093490067260318096837154427592241269807441123385701383900127725698863675349312657835669321025941025037271768561416650928364583136967970723580341187153230857358735357036401059345989980036356763222056324783087483475754253424131086917840117834328271754955769126661476524870652900066778161690857713401841997457269135397204436276841676633795987914581190080013030408786882234021080593790884542768494518261363066651652941366038931744870666018636995237170568772905944789126713895533996699217573156447493022133448185116189424410290494108356714828018834394539052200318626289801001140879335506320603156561646500574206140024694431108807144494274959002589925355789901958564877088105893843803257764360018077450699157182260395237969697648813141382435603540188122668924727570246347074829543800409948843326626623100978581679933787973555355562182287194635697026719987669809048359513709511979310247639942004840082646048174685468472241052791768204954124898235774212063672843031831816760295300364493361222968510144613863550482143435141707091678136387585609253195856162575493382829202545369711221077311775611090871394929655417341077792866844778709109931165879614319259334638606894518407542171593017989838308861986464899424369894243238665987086527701256481920043618471746217390649368018033253603020788928315596512233413088913669385337700751708094837566002082724830512047967051431301111735414491732859571805349617167688682037130669402192934185805688302281986761156379815277065382325711190431213860245060919454310638697610012875678579027536335275572116806047513977149535877400008513243308191866344235708413152761970481301681244971242994823618195319091315366204126779466894503917485958839020439469791913817649567266872364369388098793731295005039588942515105398544597775449582278015368634182519567238122873139643562518756789580542448402447770608266871376694878973459502871770359173718020037663645797233681027570600461038353639170773294059305385527603239378469298103397926717128921780505668069050488208837020421747675249787669767690119540670032512950742557917728249451433847645154205413685018517789080185968542863912693124331446623729288339176958255142523991391830619720430418513440573288293122223634956338762106688655050522783670541778134694570461861449384697492343022521801309603972823247497668450944940825804453355662083292593493767511570059933448504025204961944023422409892643162876840767926948674339267517924157263420067201454362411250317166393655804928/19298280005081227656668327632438384320767162968842930698588533827259945905954658715064182321244833796720279718782811632881339266424501798458223195751217673943075609895206428246719064864273427705142387721824511455671673097165591655045172788634642872223480707401223118163619403269497476324122661427981937836853085940322536932696476341201567709172157707946114846292714402230363043026872265936074871888257174360707058572504530468901465739767843096731388426934515030873872345796006957590738406484926304773595336375860788841837601204232666230272676091302457411291725098653479242344376839596957844662876880423157895924034118807508675959625920530744937192117356948510710616900514975109100947731768917241928258035962869340666783109613489113799779279277526382766103891185281792841794824170446421671373615582651783379393933358484953071248301167407839023059300612194750817109544144327763513762580442799975835249119286604638630830560388931491390177172498885411939588675481655982591220598317025575056478472534984669998869474196346221486666124109297190279818586595453235450781953365848290129317760686601438666006082078383136778088608263140785468411206367615325052605291148160463939726129578043368529503235812405800747365771284976850306569019757429460767558966591259340599652880190550495565699304050228822777456115953845431633514808078074640509638523630610664201009683934810624758326270705706500163914071635268999780117408909639428348949221211465942081351412364730735244360430858271667987156608479921715876202903983612774053092220145577125269571078724970794922425796717629960637576260278449540747103448502567256515275322280334755666345823379245732738989628229646393367201011468643729360341658922352820354760828895433659779934541755110527879037929467644552164231977974850670494434251243222409456159956813242590651012279372436776652582379505967099915513769306886068122304336177232340234514577280045870170953773441409631031653871904534879555344856641970267409335869031087939199126423405613690207230316778522877042138258519289993252342996780964690915845749054118507322622444425668028401611148565866884303729483371110742885387652630374626639580619744530128937138844248028586567786448276097580471602130580566102788042130377093804034189924371079187401306239394208022101738134534178544594509078758483924437095403533391640899613701798498872866466582373515383260901743437148282442562525278735529857469060823320302785003021182506744945331503120016189952542109019370887205848863533748723831298832751153734156819981559582031641987614663329056113237987947588696553114593512777689194878173620984073382699483601322098591455705514077216674488116013523768462650731479824169242544136331320425558841392681320561898670718080737536082782771513781805370242148088929861109672030312311434031985843486047071505902396018158416584537757228020379079403270420055906946446675411049201191196085506394140334425493173468174798999592800085554641547458924462252544990581900313637027791519509605347128854885532652124075785696032354007159543171688220879177853617241603936972311870508496243813876963130323505834993447992605632737515954384327115621627445070108932912726317378443999275459022229575358094582022458282656535707963419207924199496165357256757532946220050076259587746269340175875002018701942690494570113062372310869833909809461355094990877701774059562437591670832615694480017254786976406473241665746928013465602132378218518040951581861053657200115492407029563606589863108107873749364193867922007748128789484726032258963319763665225920267434728468414193533142496404801843082820545351779887264411041128655753852063677912013045517774887215559402456605549054638394719240939397612192728952676306594173425761859138010878249986298344978704408257989213826084418049819881940766607982560016848717025469380088704282123815884657298997930080301431018636354853597745921460100645885687348276798019785639211955407389234702323886540827240727452419334745681435925423513982503483220643162594971103717892138344130434198080761645205625011156903698530497630874826766985485885909375310550365139929682828589055618373724317889573478238046219700186902869094586070578194348070489775628069442513780671044302041892049736319362977488777849708023360454176108467510575271112959869112361023714549426538593238751555933939802063663289140214789124926912311867091421146530512834230585573795123483294122439677623306497411055448256002023991193044403181942003521820174678928794292209623909293422450502588762971334192165669757975347099087325270083334157804313350852249079613131880342583160058023681231989338075311761300737871583311147947559979018025054486232111356659147361085137313129372784467175817153394800479423600843161367113842994523026215178125, Error Is 514620801608101570287964032806742353838528994647548934443978837060864822791860422330170004721820840250242203636368017693489845641297304223004753741699111706056442261683137831166256738404066525190936102687193708081680971121337243162085488267734000178654815411726204207229106991189945936280960357496992711679280649930118003268858406806342769824819237476969773527799540675042932191788843490778136447014804299406455629305535066523837335751857178026687681169684978203752335508378170694712549884797899166360127919064331433324574165126718868814678742298590966725501516074303491274015767411489076953393845494462871570464442949440986410899870482079148903159328006170300135748755013792740276050629811571463738036063686520713464563772675144316051631839234307926971545820700069099955956420425703337849798975840173282254806689123713810137583787103277939493230587389125083798165388076733518038456957530036229649404720891571489199865671405177507128297042876687043036633793078033334463122630430388965888776066696240459962223755279366599264132803993866909131284486451768092200919934666542478929249503517000119969936569622100563512886156757584582803881989621443658601654012684290092327223531293596537142705365246271758697306495819572077480327642153310980209807695095005931779467756352848028666393276595123817619286571383443294554274708597679384063393354161766918730712384107900206069302824348342312089807449860519175530706182209937447616024802610364226289830481441814765482512084002458938326364408816967208013237587403304695930338397225084340954508738030048908471775315693252860929077139907376596288685112519779824609701872570648440287954689243880529069407282821527788453992548347349211370805319404195942773179511394626744886096320962612763291741628770011508837377670916960944212097362292900331771162449053820579495990261634359195868505770892338571348753787939537466550411332983636732014429243327958685612205139626372789430620704726617509160818410047237417142501848289557332221050112137594309537872299865640275509588464951601743348283124691742978867258778492403418849023302264839900173606476185725153041316519866260048891724946647025666058338157183313872654921382589867586584098770045069383685900146901248172928709806298926601427329809995934453003074676294658503320064990375226213595507318997540094161288479085073057017571151483121539214961238459046691451130757621828883930086199526903084213943611767068561307774256686033104802305604463231884555431297744200784726272097273671409479904239138039340009086381355287196454837642994003090524438793938980494693171338161858505510598361463182495999929637587167024407800072678257757482524881189565968437241432305845686844564632070759251144667713959929859910503661369965288158075740653939514737470791513556211501730719055244895995618541527217038375670691540916940839999697568712588134818549254429436221826247901328196053447801648380698475208932869378933785579236958470618582170159613007819197609710943279642160526665632741081106274728729005872469575568147642986756340985775671386422966104333266969283267542366428749390105411902598798173935645084968789207816594233144883798486454416551037822957874714029452502725453143875248881365951171995016114634570064079963010050376065803684868935533456124606139623213274669913407463297927164573246531947697661799565504406810793506268961405286501323572837352961631730690870517012652810540056090534602407914608552733307699677617064252256758481468451406345849041131521084734563898959512983876071501588928038681100467716830091065800540392813599759544619891743813024476127898149892201598861272604899941692518488518961607171511901417939723886694672220076412827501274459744078879050606887141658217373881403435017707864853866156579873175916371915776112588282624324308557560880572907180582292035691215685225492250643024881533622222919634498496105018685862614582640391452755642616782564056688758102380999555738661846599501021915884162378771117113283587927933963009040784053101569373464028105116588415601232926261658324301621710424338787511891041172837738916084189054021168303860048724957131034112835218203372010359719846349098993493552877932683333406991783912887420273878476454334443232113401679950640411023134526388713559068725411065117682446870952143319472591281534901375336297009175266794754408909918376726092435663404457641871330837623168586395685848623639338673131832610300161763571870381027372169125521220784819679453731990974832942505466317542531594465287093143896077052531252511529353403937246695145784503075099149019177096366426953886527573837292943126655762902657802961063452696863603247090324073054884190234166737074244785728912258573625334910412166495568429603144178756263161879897210611346433988548209863399/6175449601625992850133864842380282982645492150029737823548330824723182689905490788820538342798346814950489510010499722522028565255840575506631422640389655661784195166466057038950100756567496865645564070983843665814935391092989329614455292363085719111513826368391397812358209046239192423719251656954220107792987500903211818462872429184501666935090466542756750813668608713716173768599125099543959004242295795426258743201449750048469036725709790954044296619044809879639150654722226429036290075176417527550507640275452429388032385354453193687256349216786371613352031569113357550200588671026510292120601735410526695690918018402776307080294569838379901477554223523427397408164792034912303274166053517417042571508118189013370595076316516415929369368808442485153245179290173709374343734542854934839556986448570681406058674715184982799456373570508487378976195902320261475054126184884324404025741695992267279718171713484361865779324458077244856695199643331820668376154129914429190591461448184018073111211195094399638231742830790875733159714975100889541947710545035344250225077071452841381683419712460373121946265082603768988354644205051349891586037636904016833693167411348460712361464973877929441035459969856239157046811192592098102086322377427445618869309202988991888921660976158581023777296073223288785957105230538122724738584983884963084327561795412544323098859139399922664406625826080052452502923286079929637570851084617071663750787669101466032451956713835278195337874646933755890114713574949080384929274756087696989510446584680086262745191990654375176254949641587404024403289103853039073103520821522084888103129707121813230663481358634476476681033486845877504323669965993395309330855152902513523465246538771129579053361635368921292137429646256692554232951952214558218960397831171025971186180237629008323929399179768528826361441909471972964406178203541799137387576714348875044664729614678454705207501251081930129239009451161457710354125430485570987478089948140543720455489796380866313701369127320653484242726172797840749758969908701093070639697317922343239182216213769088515567541077402977193434678755437723324048841719880524665798318249641259884430159369147701691663448351225750912681785781152892173481720670017290940775798745339968417996606146567072556203050937134270242905202714855819870529130685325087876384575519639317269306359524922643488557899887450381620008089195369554390099463462496891200966778402158382506080998405180784813474886198683905871636330799591626015626480369194930182394099066250125436036692265297956236156143228382896996669924088860542361015558714903482463834752423071549265825764504709335836197124327605908048234073543734157614123626022536178829245658022579807574629785836011546490486884410177718477487388457555555095049699939658890235469915535062881888766725810693307052082312966521305409046534417890222862936131535744381182747362046124907016157815509815935679869696027377485295186855827920814396986208100363848893286243073711081233563370448679704251422730353282291053814940230681336913157517313259831139798562718798020440628201703521867197903357633802476005105402984676998920782422434858532072421561102079768146887113464114590266247186650450091426548294146535743838772914322162410542790416024403068078806188856280000645984621660958262436179959139478346851139027633630397080864567699059980029334666437022233605521531832450071437333039016964308992682361029925773104506195537170304036957570249460354108756194594519599796542037735042479401212635112330322868262324372872294485579113109892541930605598849536589786502574512569563924611533161169841232660376931844174565687963908979008786113775697484286310157100607235901673264856418110135496243794924163481039995615470393185410642556548424347013775942362221045314554419205391589448150201628385370279621083090335679337625696457925963633553151278694867232206683419951448575366331404547825730364555104743643693064717032784774187118618059496135524474401114630605812030390753189725484270121738943385843726465800003570209183529759241879944565435355483491000099376116844777498505148497797879591781724663513036174790304059808918110267542585022191382556728200982221604409814734176653405455915622196152796408911906567475345336354709603384086756147158115955527588655816492349836400497898860736660372252524868732519976611939797469254766889764106953787383614439514654119180696839458079171537743441920647677181774209018221441126982455897257214173507079650973895184160828404150826941493014322552111071707944086426666930497380272272719705476202201709626611218567577994236588184099763616236118906659567343219193285768017435594275634130927155547243940201399291029496261489086336153415552269811637476429758247368388857000000000000000 

=================== Stats ===================
   validCalls          : 8111
   proverCalls         : 12
   memory (bytes)      : 1393557504
   time (s)            : 6.59
   maxProcs            : 3
   statesInstantiated  : 31225
   statesSaved         : 2224
   statesSeen          : 2215
   statesMatched       : 0
   steps               : 6396
   transitions         : 2214

The standard properties hold for all executions.
NAME: pie-calculation.c
CITE: \cite{HeGaPa2012}
TYPE: $\text{MO}^a$
SCALE: \texttt{NP=2,NT=3,INTERVALS=6}

files,language,blank,comment,code,"http://cloc.sourceforge.net v 1.62  T=0.01 s (71.3 files/s, 8770.1 lines/s)"
1,C,28,29,66
civl verify -DMATH_ELABORATE_ASSUMPTIONS -input_NPROCS=2 -inputTHREAD_MAX=3 -ompLoopDecomp=ALL -ompNoSimplify mpi-omp-pie-calculation.c
CIVL v0.16 of 2015-1-6 -- http://vsl.cis.udel.edu/civl
Enter The NoIntervals Of Intervals: 
Pi Is Approximately 66984845632/21306239825, Error Is 1972764886308926795751/852249593000000000000000 

Pi Is Approximately 66984845632/21306239825, Error Is 1972764886308926795751/852249593000000000000000 
20s: mem=1324Mb steps=37101 trans=22068 seen=21939 saved=22048 prove=20
35s: mem=1170Mb steps=73913 trans=44739 seen=44447 saved=44641 prove=20
50s: mem=928Mb steps=109359 trans=67459 seen=67051 saved=67279 prove=20
65s: mem=769Mb steps=141344 trans=88521 seen=88043 saved=88271 prove=20
80s: mem=582Mb steps=176499 trans=109542 seen=108941 saved=109170 prove=20
95s: mem=460Mb steps=215192 trans=131119 seen=130211 saved=130469 prove=20
110s: mem=444Mb steps=244786 trans=149988 seen=148997 saved=149255 prove=20
125s: mem=431Mb steps=274542 trans=169090 seen=168024 saved=168283 prove=20
140s: mem=437Mb steps=304772 trans=188483 seen=187339 saved=187598 prove=20
155s: mem=444Mb steps=334961 trans=207870 seen=206650 saved=206909 prove=20
170s: mem=454Mb steps=365192 trans=227261 seen=225964 saved=226223 prove=20
185s: mem=469Mb steps=396023 trans=246172 seen=244782 saved=245041 prove=20
200s: mem=461Mb steps=439232 trans=266306 seen=264641 saved=264899 prove=20
215s: mem=453Mb steps=478429 trans=286252 seen=284221 saved=284480 prove=20
230s: mem=475Mb steps=514328 trans=306825 seen=304471 saved=304809 prove=20
245s: mem=474Mb steps=550619 trans=328487 seen=325952 saved=326346 prove=20
260s: mem=500Mb steps=581003 trans=347422 seen=344790 saved=345184 prove=20
275s: mem=495Mb steps=612821 trans=367099 seen=364363 saved=364758 prove=20
290s: mem=501Mb steps=645024 trans=386556 seen=383703 saved=384098 prove=20
305s: mem=505Mb steps=675350 trans=405111 seen=402146 saved=402541 prove=20
320s: mem=477Mb steps=706797 trans=424218 seen=421140 saved=421535 prove=20
335s: mem=512Mb steps=742499 trans=443675 seen=440400 saved=440795 prove=20
350s: mem=483Mb steps=779163 trans=463472 seen=459981 saved=460375 prove=20
365s: mem=492Mb steps=814980 trans=482892 seen=479114 saved=479509 prove=20
380s: mem=509Mb steps=847355 trans=501654 seen=497622 saved=498052 prove=20
395s: mem=515Mb steps=873860 trans=518770 seen=514676 saved=515106 prove=20
410s: mem=574Mb steps=908101 trans=537157 seen=532872 saved=533302 prove=20
425s: mem=501Mb steps=934457 trans=554448 seen=550105 saved=550535 prove=20
440s: mem=559Mb steps=969371 trans=572927 seen=568386 saved=568816 prove=20
455s: mem=575Mb steps=995718 trans=590311 seen=585716 saved=586146 prove=20
470s: mem=547Mb steps=1030644 trans=608790 seen=603994 saved=604424 prove=20
485s: mem=566Mb steps=1057225 trans=626360 seen=621510 saved=621940 prove=20
500s: mem=732Mb steps=1089385 trans=642927 seen=637878 saved=638308 prove=20
515s: mem=801Mb steps=1116188 trans=660792 seen=655695 saved=656124 prove=20
530s: mem=783Mb steps=1151543 trans=679379 seen=674072 saved=674501 prove=20
545s: mem=760Mb steps=1178097 trans=697061 seen=691706 saved=692136 prove=20
560s: mem=748Mb steps=1214326 trans=715691 seen=710114 saved=710544 prove=20
575s: mem=728Mb steps=1253850 trans=734586 seen=728735 saved=729164 prove=20
590s: mem=797Mb steps=1293535 trans=753531 seen=747390 saved=747820 prove=20
605s: mem=791Mb steps=1332884 trans=772318 seen=765896 saved=766326 prove=20
620s: mem=827Mb steps=1372338 trans=791244 seen=784519 saved=784949 prove=20
635s: mem=1182Mb steps=1410579 trans=809783 seen=802728 saved=803157 prove=20
650s: mem=1311Mb steps=1450809 trans=828676 seen=821178 saved=821608 prove=20
665s: mem=1100Mb steps=1488917 trans=846877 seen=838822 saved=839291 prove=20

=================== Stats ===================
   validCalls          : 6513529
   proverCalls         : 20
   memory (bytes)      : 1375207424
   time (s)            : 674.98
   maxProcs            : 11
   statesInstantiated  : 15175316
   statesSaved         : 851213
   statesSeen          : 850585
   statesMatched       : 8198
   steps               : 1513566
   transitions         : 858782

The standard properties hold for all executions.
