make check fails on Freebsd in tests/Box/propagateconstraints2
30 Mar
2009
30 Mar
'09
11:41 a.m.
Hi,
ppl compiles as always flawless on FreeBSD current. As I wrote some weeks ago there are still some bugs in "make check".
1. tests/Box/Makefile.am (patch submitted)
2. test02 and test03 in tests/Box/propagateconstraints2 fail.
They only fail if compile with
gmake propagateconstraints2 -DBOX_INSTANCE=db_r_oc or gmake check (in ppl/, ppl/tests, or ppl/tests/Box)
compiling with
gmake propagateconstraints2 -DBOX_INSTANCE=rt_r_oc or gmake propagateconstraints2
fixes the test cases.
I attached the outputs of NOISY and VERY_NOISY and the compilation of the relevant file.
Do you have any idea how to debug this?
Tobias
31 Mar
31 Mar
8:34 a.m.
New subject: make check fails on Freebsd in tests/Box/propagateconstraints2
Tobias Grosser wrote:
ppl compiles as always flawless on FreeBSD current. As I wrote some weeks ago there are still some bugs in "make check".
Hi Tobias,
you are right. We still had not had time to look at those. We are doing it now. Thanks a lot,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
11:47 a.m.
New subject: make check fails on Freebsd in tests/Box/propagateconstraints2
Tobias Grosser ha scritto:
I attached the outputs of NOISY and VERY_NOISY and the compilation of the relevant file.
Do you have any idea how to debug this?
It seems a rounding problem, I attach noisy output on a linux ia32 and x86-64.
Can you post your configure log and config.h?
Do you know if it's possibile to have access to a Freebsd machine to diagnostic this misbehaviour?
--
Abramo Bagnara
Opera Unica Phone: +39.0546.656023
Via Borghesi, 16
48014 Castel Bolognese (RA) - Italy
11:49 a.m.
New subject: make check fails on Freebsd in tests/Box/propagateconstraints2
Tobias Grosser ha scritto:
I attached the outputs of NOISY and VERY_NOISY and the compilation of the relevant file.
Do you have any idea how to debug this?
It seems a rounding problem, I attach noisy output on a linux ia32 and x86-64.
Can you post your configure log and config.h?
Do you know if it's possibile to have access to a Freebsd machine to diagnostic this misbehaviour?
--
Abramo Bagnara
Opera Unica Phone: +39.0546.656023
Via Borghesi, 16
48014 Castel Bolognese (RA) - Italy
=== test01 ===
*** qbox1, qbox2 ***
A in [100000, 100001], B in (-inf, +inf), C in (-inf, +inf), D in (-inf, +inf), E in (-inf, +inf), F in (-inf, +inf), G in (-inf, +inf), H in (-inf, +inf), I in (-inf, +inf), J in (-inf, +inf), K in (-inf, +inf), L in (-inf, +inf), M in [110000, 110001], N in (-inf, +inf), O in [120000, 120001], P in (-inf, +inf), Q in (-inf, +inf), R in (-inf, +inf), S in (-inf, +inf), T in (-inf, +inf), U in (-inf, +inf), V in (-inf, +inf), W in (-inf, +inf), X in (-inf, +inf), Y in (-inf, +inf), Z in (-inf, +inf), A1 in (-inf, +inf), B1 in [130000, 130001], C1 in (-inf, +inf), D1 in (-inf, +inf), E1 in (-inf, +inf), F1 in (-inf, +inf), G1 in (-inf, +inf), H1 in (-inf, +inf), I1 in (-inf, +inf), J1 in (-inf, +inf), K1 in (-inf, +inf), L1 in (-inf, +inf), M1 in (-inf, +inf), N1 in (-inf, +inf), O1 in (-inf, +inf), P1 in (-inf, +inf), Q1 in [140000, 140001], R1 in (-inf, +inf), S1 in (-inf, +inf), T1 in (-inf, +inf), U1 in (-inf, +inf), V1 in (-inf, +inf), W1 in (-inf, +inf), X1 in (-inf, +inf), Y1 in (-inf, +inf), Z1 in (-inf, +inf), A2 in (-inf, +inf), B2 in (-inf, +inf), C2 in (-inf, +inf), D2 in (-inf, +inf), E2 in (-inf, +inf), F2 in (-inf, +inf), G2 in (-inf, +inf), H2 in (-inf, +inf), I2 in (-inf, +inf), J2 in (-inf, +inf), K2 in (-inf, +inf), L2 in (-inf, +inf), M2 in (-inf, +inf), N2 in (-inf, +inf), O2 in (-inf, +inf), P2 in (-inf, +inf), Q2 in (-inf, +inf), R2 in (-inf, +inf), S2 in (-inf, +inf), T2 in (-inf, +inf), U2 in (-inf, +inf), V2 in (-inf, +inf), W2 in (-inf, +inf), X2 in (-inf, +inf), Y2 in (-inf, +inf), Z2 in (-inf, +inf), A3 in (-inf, +inf), B3 in (-inf, +inf), C3 in (-inf, +inf), D3 in (-inf, +inf), E3 in (-inf, +inf), F3 in (-inf, +inf), G3 in (-inf, +inf), H3 in (-inf, +inf), I3 in (-inf, +inf), J3 in (-inf, +inf), K3 in (-inf, +inf), L3 in (-inf, +inf), M3 in (-inf, +inf), N3 in (-inf, +inf), O3 in (-inf, +inf), P3 in (-inf, +inf), Q3 in (-inf, +inf), R3 in (-inf, +inf), S3 in (-inf, +inf), T3 in (-inf, +inf), U3 in (-inf, +inf), V3 in (-inf, +inf), W3 in (-inf, +inf), X3 in (-inf, +inf), Y3 in (-inf, +inf), Z3 in (-inf, +inf), A4 in (-inf, +inf), B4 in (-inf, +inf), C4 in (-inf, +inf), D4 in (-inf, +inf), E4 in (-inf, +inf), F4 in (-inf, +inf), G4 in (-inf, +inf), H4 in (-inf, +inf), I4 in (-inf, +inf), J4 in [150000, 150001], K4 in (-inf, +inf), L4 in (-inf, +inf), M4 in (-inf, +inf), N4 in (-inf, +inf), O4 in (-inf, +inf), P4 in (-inf, +inf), Q4 in (-inf, +inf), R4 in (-inf, +inf), S4 in (-inf, +inf), T4 in (-inf, +inf), U4 in (-inf, +inf), V4 in [200000, 200001]
*** qbox2.propagate_edges() ***
A in [100000, 100001], B in [580671519/6190, 657334671/6190], C in [720484937921122431953/11325352499789688, 1544596887389314957735/11325352499789688], D in [465393594757069661070191/7825818577354674408, 1099777946532442575204217/7825818577354674408], E in [211844405982682856843982229/3690026351481476144160, 526164554339963853464161931/3690026351481476144160], F in [69720554387876653630673423477/1302579302072961078888480, 190796608606017635108101465003/1302579302072961078888480], G in [4530767860398987895302040748339/87272813238888392285528160, 12923882060191929450195876779821/87272813238888392285528160], H in [1095224559/12520, 1408787961/12520], I in [1616050434089/17771490, 1938265337401/17771490], J in [1941169150794/24998315, 3058518847521/24998315], K in [297016502836702/4034728041, 509933140091339/4034728041], L in [3415672754492012689753588853/62730447975185094450720, 9130479570992981385484861867/62730447975185094450720], M in [110000, 110001], N in [2263957775/27414, 3767149639/27414], O in [120000, 120001], P in [691219376/6067, 764866691/6067], Q in [4744189213213/44507512, 5937658174299/44507512], R in [7973245066634740713049/88839376437169776, 11571506588919047176727/88839376437169776], S in [2844948182554005757/30708391440432, 3910928642732474675/30708391440432], T in [4441846489928269/45292612744, 5522573606364475/45292612744], U in [1522491512051/15062392, 1791249790341/15062392], V in [687554284/6653, 776112369/6653], W in [16309449487824627372585/173796912216700982, 21926044996761805368397/173796912216700982], X in [10615408431368230812/111265628819911, 13863141174641009099/111265628819911], Y in [3171407166640648/32074266019, 3884963431805371/32074266019], Z in [1236582935732/12181643, 1443390705911/12181643], A1 in [7560678271925292/79607037005, 9952949476211713/79607037005], B1 in [130000, 130001], C1 in [1240760871/10372, 1455969501/10372], D1 in [9116827578783/81575780, 12092956796997/81575780], E1 in [751362790466943/7309189888, 1149033889602945/7309189888], F1 in [632785644/5065, 684119421/5065], G1 in [4154824725192/35216945, 5001616191753/35216945], H1 in [43573296609429599189/470279717750029, 78699900285295690840/470279717750029], I1 in [9103168624601059/77944761374, 11162547277400315/77944761374], J1 in [1609975142936/13117597, 1800613194661/13117597], K1 in [101368994994329069601023/1123027965987069252, 190619399190274922988229/1123027965987069252], L1 in [490437900/3889, 520705989/3889], M1 in [3800101422375/32255366, 4586325992991/32255366], N1 in [792841166663152/7499372595, 1157003207409443/7499372595], O1 in [50931148702496416/502457963865, 79708424360367449/502457963865], P1 in [4174894014043/37121388, 5476703987345/37121388], Q1 in [140000, 140001], R1 in [528931231/3886, 559152655/3886], S1 in [947906893327/7158012, 1056343624685/7158012], T1 in [2339447397747/20306293, 3346334948546/20306293], U1 in [5104651234893807/45181501925, 7546214485608118/45181501925], V1 in [3347393715540947/26792438916, 4154515973377969/26792438916], W1 in [8855048255865659/80563425060, 13702791324359401/80563425060], X1 in [2974203898801532501/27848090595740, 4823289316096263239/27848090595740], Y1 in [7343508816974803529029/70427821116626460, 12376351523501721897431/70427821116626460], Z1 in [106486119243031157729650363/1225937082177116789220, 236777489703643720368738857/1225937082177116789220], A2 in [30950030976663963/309630355664, 55746778239611701/309630355664], B2 in [267568883200677052141171/3782213130915742992, 791454575668861901361821/3782213130915742992], C2 in [21232009463098549859553/214235360953027820, 38754105839110192768267/214235360953027820], D2 in [1054512490051574069033253287837/13974456799736954280318780, 2858349388331572866410285430943/13974456799736954280318780], E2 in [4972772641765633192856322553452791/130772966731938418155223143240, 31643788816143855829024312776890449/130772966731938418155223143240], F2 in [146420912306622506173/1962746824554096, 403150161315348927923/1962746824554096], G2 in [216192902951247331036567/2957859464603022672, 612010704997063620146105/2957859464603022672], H2 in [55242486124945791088680979/871800126676078759656, 188862421144482937693758677/871800126676078759656], I2 in [41665627768083125530750429/628545136228142317800, 134327638920932951595567371/628545136228142317800], J2 in [32981109502073730373730438071/577632980193662790058200, 128756702585132044505355620129/577632980193662790058200], K2 in [13438405221926008917152969115741/252810700998093081115472200, 57348843868241051888260362356459/252810700998093081115472200], L2 in [1255902330896473028997137988250467/24522637996815028868200803400, 5610460830849731869127955164552933/24522637996815028868200803400], M2 in [730365919874513244293776924052222461/21898715731155820779303317436200, 5401296383564847729731931261401213739/21898715731155820779303317436200], N2 in [30165823559169082672564548306049333721/3525693232716087145467834107228200, 957031807294568034145574469551953894479/3525693232716087145467834107228200], O2 in [-153321464262160918339839944646217888869023/42791338765475149684543102559428663400, 12134939109933968305161593204388803069532423/42791338765475149684543102559428663400], P2 in [-135604589948235002415661972901613737649417997/14506263841496075743060111767646316892600, 4197372971830977706548236327954350113894310597/14506263841496075743060111767646316892600], Q2 in [7588590702885756476631882998441681/149411124289873010939244070200, 34246673509402976459367395901628519/149411124289873010939244070200], R2 in [134305216683728473701506705985791461367/4715607793870333389468268933662780, 1186069681207758745682998063708720601413/4715607793870333389468268933662780], S2 in [14690757218047747585809281268944684843077/1070442969208565679409297047941451060, 285034344603319851214473301451709553407983/1070442969208565679409297047941451060], T2 in [274622509997448822770106579514052174732773/28045605793264420800523582656066017772, 7578175157722382265797297087767088867444999/28045605793264420800523582656066017772], U2 in [1511208169263190488988727870524390737087637/532866510072023995209948070465254337668, 147691947517413600193791941807817289064290031/532866510072023995209948070465254337668], V2 in [7532780518941028657880668976653672649/230029648481479677535037508959160, 56875751085521762531607368569420086511/230029648481479677535037508959160], W2 in [87373708748858582836058183291/600919613159248547204040, 152994737434453995294105020749/600919613159248547204040], X2 in [80982622594676113756417733/552823931149262692920, 140147502688960112674275187/552823931149262692920], Y2 in [13447578346860401971298813624383/94800065365126433564512260, 24472542599255536580939654887877/94800065365126433564512260], Z2 in [6602919071486826210420110202569/47400032682563216782256130, 12357141401571143065699124053561/47400032682563216782256130], A3 in [11919431443101650828687719125239350036/86175367358238586748232019091985, 22550801675561142109191836743573741949/86175367358238586748232019091985], B3 in [16125823308442213137597549401509578233/114900489810984782330976025455980, 29834487516441510779575191756907877747/114900489810984782330976025455980], C3 in [20742035994004500985426296247/136011571542505643564580, 33662728634569298946049268333/136011571542505643564580], D3 in [64950691018849798071579773/413409032044090102020, 100413335207818286826522247/413409032044090102020], E3 in [920597842685495360705113/5822662423156198620, 1408472949239407243493507/5822662423156198620], F3 in [2172754950978498548527/13263467934296580, 3132645486208067748053/13263467934296580], G3 in [168171588267699000329/1020266764176660, 239936137669729176331/1020266764176660], H3 in [12610440864600310244741/80601074369956140, 19630069484456515711399/80601074369956140], I3 in [9287990396705058917603/59629374517232520, 14563819039562466314917/59629374517232520], J3 in [3126805321909012366531/19876458172410840, 4823797823513496044309/19876458172410840], K3 in [5458895190260461903/34447934440920, 8320313034041979017/34447934440920], L3 in [56688465750920189/337724847460, 78401810957927271/337724847460], M3 in [127698085506399/732591860, 165339391085461/732591860], N3 in [834179203814492526656240317007/5576474433242731386147780, 1396416145957033270534257830773/5576474433242731386147780], O3 in [6464660838345460460770095684282030892709/47166651067409253146865658449679790, 12402046755269308207229314561248334787081/47166651067409253146865658449679790], P3 in [3438983493744256/42233945985, 5007847937201729/42233945985], Q3 in [230144515939073254372520651/3431407776384646592940, 730653092856404176297272289/3431407776384646592940], R3 in [64217386956928494126235001599640656221599/19838561988812492569493007403919315460, 5490599808472558237824376564505171591893861/19838561988812492569493007403919315460], S3 in [-601769980667698031589936177544142045924846549/704645883280630923575822129979810165823740, 197903321945127637263743708394020968286737870289/704645883280630923575822129979810165823740], T3 in [384209110840253805349223220889852676909171/64058716661875538506892920907255469620340, 17936120514930972403663175523731548896487911169/64058716661875538506892920907255469620340], U3 in [215685866572076311675164159799/2869918709376630403564020, 587894241972089577953165004221/2869918709376630403564020], V3 in [30382364097666589018620186411156989/212385378578530096730085074780, 54571999719124028203510573585917791/212385378578530096730085074780], W3 in [5697847831548012092024563036471/183612021223366771457257440, 31024740025146565566198382220969/183612021223366771457257440], X3 in [42378626230782521905054374370402297/2270729866469376862611902760480, 411769617792959319994188789628358183/2270729866469376862611902760480], Y3 in [154116525283959397899629/2491577549953731360, 344201476284336827831731/2491577549953731360], Z3 in [481044340208386026611/7652265202560600, 1049416352568936533989/7652265202560600], A4 in [694139608917143485/10554848555256, 1416840656982611771/10554848555256], B4 in [337326606458356823961379375235701/2458362137434485806611727640, 646020706877574933169118292491939/2458362137434485806611727640], C4 in [20399147041554981406121/127815008044864140, 30726983991398719458019/127815008044864140], D4 in [6023060801964579983/36136558678220, 8431598805882098237/36136558678220], E4 in [45738176455741521326583719/291133121157809931000, 70715363140503608883347281/291133121157809931000], F4 in [4109378239018604540138644937/26458178050821766529280, 6473919439488152893339884343/26458178050821766529280], G4 in [2790314021275131442227720403331171490017757/20423159912188206612592830108711349070, 5378970366760063391016024232983476849331313/20423159912188206612592830108711349070], H4 in [6506365181620045585223737128041/47400032682563216782256130, 12453695291437923690895497128089/47400032682563216782256130], I4 in [531724729380732992027831/6800244718665419340, 1236345697716994701791509/6800244718665419340], J4 in [150000, 150001], K4 in [1135581996/7997, 1263526001/7997], L4 in [754741961078591/7152054088, 1104799253855497/7152054088], M4 in [117968345052984423/1676115280330, 317823303948095907/1676115280330], N4 in [16061821155035459186586176850713/109307966329660368878067460, 27661474684795018025009685216747/109307966329660368878067460], O4 in [48427143824816221246206586188107/327923898988981106634202380, 82742743694675210388581000014273/327923898988981106634202380], P4 in [89276569525486471585085253566857/630141610956428646634699140, 162780704998695943497441037132283/630141610956428646634699140], Q4 in [852368601980106320980532162898333749/23408361045016976849784942639960, 5701995898985692213936101561233106211/23408361045016976849784942639960], R4 in [6006513050007619463596089905397033/42477075715706019346017014956, 10984359713350503980830062094017923/42477075715706019346017014956], S4 in [271443093793/1548820, 348086455027/1548820], T4 in [2789463073231/16151980, 3671345078749/16151980], U4 in [4197778759/23828, 5333445069/23828], V4 in [200000, 200001]
*** tbox ***
A in [100000, 100001], B in (-inf, +inf), C in (-inf, +inf), D in (-inf, +inf), E in (-inf, +inf), F in (-inf, +inf), G in (-inf, +inf), H in (-inf, +inf), I in (-inf, +inf), J in (-inf, +inf), K in (-inf, +inf), L in (-inf, +inf), M in [110000, 110001], N in (-inf, +inf), O in [120000, 120001], P in (-inf, +inf), Q in (-inf, +inf), R in (-inf, +inf), S in (-inf, +inf), T in (-inf, +inf), U in (-inf, +inf), V in (-inf, +inf), W in (-inf, +inf), X in (-inf, +inf), Y in (-inf, +inf), Z in (-inf, +inf), A1 in (-inf, +inf), B1 in [130000, 130001], C1 in (-inf, +inf), D1 in (-inf, +inf), E1 in (-inf, +inf), F1 in (-inf, +inf), G1 in (-inf, +inf), H1 in (-inf, +inf), I1 in (-inf, +inf), J1 in (-inf, +inf), K1 in (-inf, +inf), L1 in (-inf, +inf), M1 in (-inf, +inf), N1 in (-inf, +inf), O1 in (-inf, +inf), P1 in (-inf, +inf), Q1 in [140000, 140001], R1 in (-inf, +inf), S1 in (-inf, +inf), T1 in (-inf, +inf), U1 in (-inf, +inf), V1 in (-inf, +inf), W1 in (-inf, +inf), X1 in (-inf, +inf), Y1 in (-inf, +inf), Z1 in (-inf, +inf), A2 in (-inf, +inf), B2 in (-inf, +inf), C2 in (-inf, +inf), D2 in (-inf, +inf), E2 in (-inf, +inf), F2 in (-inf, +inf), G2 in (-inf, +inf), H2 in (-inf, +inf), I2 in (-inf, +inf), J2 in (-inf, +inf), K2 in (-inf, +inf), L2 in (-inf, +inf), M2 in (-inf, +inf), N2 in (-inf, +inf), O2 in (-inf, +inf), P2 in (-inf, +inf), Q2 in (-inf, +inf), R2 in (-inf, +inf), S2 in (-inf, +inf), T2 in (-inf, +inf), U2 in (-inf, +inf), V2 in (-inf, +inf), W2 in (-inf, +inf), X2 in (-inf, +inf), Y2 in (-inf, +inf), Z2 in (-inf, +inf), A3 in (-inf, +inf), B3 in (-inf, +inf), C3 in (-inf, +inf), D3 in (-inf, +inf), E3 in (-inf, +inf), F3 in (-inf, +inf), G3 in (-inf, +inf), H3 in (-inf, +inf), I3 in (-inf, +inf), J3 in (-inf, +inf), K3 in (-inf, +inf), L3 in (-inf, +inf), M3 in (-inf, +inf), N3 in (-inf, +inf), O3 in (-inf, +inf), P3 in (-inf, +inf), Q3 in (-inf, +inf), R3 in (-inf, +inf), S3 in (-inf, +inf), T3 in (-inf, +inf), U3 in (-inf, +inf), V3 in (-inf, +inf), W3 in (-inf, +inf), X3 in (-inf, +inf), Y3 in (-inf, +inf), Z3 in (-inf, +inf), A4 in (-inf, +inf), B4 in (-inf, +inf), C4 in (-inf, +inf), D4 in (-inf, +inf), E4 in (-inf, +inf), F4 in (-inf, +inf), G4 in (-inf, +inf), H4 in (-inf, +inf), I4 in (-inf, +inf), J4 in [150000, 150001], K4 in (-inf, +inf), L4 in (-inf, +inf), M4 in (-inf, +inf), N4 in (-inf, +inf), O4 in (-inf, +inf), P4 in (-inf, +inf), Q4 in (-inf, +inf), R4 in (-inf, +inf), S4 in (-inf, +inf), T4 in (-inf, +inf), U4 in (-inf, +inf), V4 in [200000, 200001]
*** tbox.propagate_edges() ***
A in [100000, 100001], B in (93807.999838449104572646319866180419921875, 106193.000161550895427353680133819580078125), C in (63616.998935309195076115429401397705078125, 136384.00106469084857963025569915771484375), D in (59468.998694112859084270894527435302734375, 140532.00130588721367530524730682373046875), E in (57409.9981420542098931036889553070068359375, 142591.0018579458701424300670623779296875), F in (53524.9978845213699969463050365447998046875, 146476.00211547873914241790771484375), G in (51914.99726263081538490951061248779296875, 148086.00273736930103041231632232666015625), H in (87477.999920127782388590276241302490234375, 112523.000079872217611409723758697509765625), I in (90934.999490138390683569014072418212890625, 109066.000509861609316430985927581787109375), J in (77651.9997765449224971234798431396484375, 122349.0002234550775028765201568603515625), K in (73614.99952871343703009188175201416015625, 126386.00047128656296990811824798583984375), L in (54449.9978039879424613900482654571533203125, 145551.00219601215212605893611907958984375), M in [110000, 110001], N in (82583.99996352227753959596157073974609375, 137417.00003647772246040403842926025390625), O in [120000, 120001], P in (113930.9998351738904602825641632080078125, 126070.0001648261095397174358367919921875), Q in (106592.9996988598140887916088104248046875, 133408.0003011401859112083911895751953125), R in (89748.99854541060631163418292999267578125, 130252.001454589437344111502170562744140625), S in (92643.99889107255148701369762420654296875, 127357.001108927463064901530742645263671875), T in (98069.999075438347063027322292327880859375, 121931.000924561652936972677707672119140625), U in (101078.999407995739602483808994293212890625, 118922.000592004260397516191005706787109375), V in (103344.999849691856070421636104583740234375, 116656.000150308143929578363895416259765625), W in (93841.99799527486902661621570587158203125, 126159.002004725145525299012660980224609375), X in (95405.99863547974382527172565460205078125, 124595.001364520270726643502712249755859375), Y in (98876.9989237472764216363430023193359375, 121124.001076252738130278885364532470703125), Z in (101511.999303542193956673145294189453125, 118489.000696457806043326854705810546875), A1 in (94974.999150520001421682536602020263671875, 125026.000849479998578317463397979736328125), B1 in [130000, 130001], C1 in (119625.999903586576692759990692138671875, 140375.000096413423307240009307861328125), D1 in (111758.999776440978166647255420684814453125, 148242.0002235590363852679729461669921875), E1 in (102796.999664833812857978045940399169921875, 157204.00033516623079776763916015625), F1 in (124932.99980256662820465862751007080078125, 135068.00019743337179534137248992919921875), G1 in (117977.9996587437926791608333587646484375, 142023.0003412562073208391666412353515625), H1 in (92653.999236663643387146294116973876953125, 167347.0007633363711647689342498779296875), I1 in (116789.999278098970535211265087127685546875, 143211.00072190104401670396327972412109375), J1 in (122733.99944639249588362872600555419921875, 137267.00055360750411637127399444580078125), K1 in (90263.998817903149756602942943572998046875, 169737.00118209686479531228542327880859375), L1 in (126108.99974286448559723794460296630859375, 133892.00025713551440276205539703369140625), M1 in (117812.999622295392327941954135894775390625, 142188.00037770462222397327423095703125), N1 in (105720.99953958237892948091030120849609375, 154280.00046041762107051908969879150390625), O1 in (101363.999309961232938803732395172119140625, 158637.0006900387816131114959716796875), P1 in (112465.999763882733532227575778961181640625, 147535.000236117281019687652587890625), Q1 in [140000, 140001], R1 in (136111.9997426659683696925640106201171875, 143889.0002573340316303074359893798828125), S1 in (132425.99947122184676118195056915283203125, 147575.00052877815323881804943084716796875), T1 in (115207.999694823636673390865325927734375, 164793.000305176363326609134674072265625), U1 in (112980.999245385421090759336948394775390625, 167020.00075461459346115589141845703125), V1 in (124937.999337639150326140224933624267578125, 155063.0006623608642257750034332275390625), W1 in (109913.999426797134219668805599212646484375, 170087.00057320288033224642276763916015625), X1 in (106800.99910535707022063434123992919921875, 173200.0008946429588831961154937744140625), Y1 in (104269.99870994384400546550750732421875, 175731.00129005618509836494922637939453125), Z1 in (86860.99865249567665159702301025390625, 193140.0013475043815560638904571533203125), A2 in (99957.9996292412397451698780059814453125, 180043.0003707587602548301219940185546875), B2 in (70743.99933033212437294423580169677734375, 209257.0006696679047308862209320068359375), C2 in (99105.998975368755054660141468048095703125, 180895.00102463128860108554363250732421875), D2 in (75459.99856476866989396512508392333984375, 204541.0014352314174175262451171875), E2 in (38025.9985380535581498406827449798583984375, 241975.00146194655098952353000640869140625), F2 in (74599.999589802828268148005008697509765625, 205401.00041019721538759768009185791015625), G2 in (73090.99892623280175030231475830078125, 206910.0010737672564573585987091064453125), H2 in (63365.9991947572780190967023372650146484375, 216635.00080524277291260659694671630859375), I2 in (66288.99877917396952398121356964111328125, 213712.00122082608868367969989776611328125), J2 in (57096.9986703600370674394071102142333984375, 222904.001329640042968094348907470703125), K2 in (53155.9984164884881465695798397064208984375, 226845.001583511591888964176177978515625), L2 in (51213.9979010245660902000963687896728515625, 228787.00209897555760107934474945068359375), M2 in (33351.997845033518387936055660247802734375, 246649.00215496667078696191310882568359375), N2 in (8555.99780470117912045679986476898193359375, 271445.0021952990791760385036468505859375), O2 in (-3583.002277691504787071608006954193115234375, 283584.002277691848576068878173828125), P2 in (-9348.002451212241794564761221408843994140625, 289349.0024512126110494136810302734375), Q2 in (50789.9979934766379301436245441436767578125, 229211.00200652345665730535984039306640625), R2 in (28480.9981140303643769584596157073974609375, 251520.00188596980297006666660308837890625), S2 in (13723.998046256727320724166929721832275390625, 266277.0019537434563972055912017822265625), T2 in (9791.997791803800282650627195835113525390625, 270209.002208196441642940044403076171875), U2 in (2835.99764800167167777544818818569183349609375, 277165.0023519986425526440143585205078125), V2 in (32746.9983485519405803643167018890380859375, 247254.001651448197662830352783203125), W2 in (145399.99500016937963664531707763671875, 254601.004999830736778676509857177734375), X2 in (146488.99592013258370570838451385498046875, 253512.004079867503605782985687255859375), Y2 in (141851.99445872171781957149505615234375, 258149.00554127828218042850494384765625), Z2 in (139301.99406625700066797435283660888671875, 260699.00593374299933202564716339111328125), A3 in (138315.9922434852342121303081512451171875, 261685.007756514823995530605316162109375), B3 in (140345.99273658191668801009654998779296875, 259655.00726341814151965081691741943359375), C3 in (152501.99493152883951552212238311767578125, 247499.00506847116048447787761688232421875), D3 in (157109.99514863701188005506992340087890625, 242891.004851363017223775386810302734375), E3 in (158105.99615467325202189385890960693359375, 241895.0038453267770819365978240966796875), F3 in (163814.9963298966758884489536285400390625, 236186.0036701033241115510463714599609375), G3 in (164830.99731609001173637807369232177734375, 235170.00268390998826362192630767822265625), H3 in (156454.99719667274621315300464630126953125, 243546.00280332725378684699535369873046875), I3 in (155761.996027995832264423370361328125, 244239.0039720042259432375431060791015625), J3 in (157311.9966739906813018023967742919921875, 242689.00332600934780202805995941162109375), K3 in (158467.99754054183722473680973052978515625, 241533.002459458191879093647003173828125), L3 in (167853.9976471062400378286838531494140625, 232147.0023528937599621713161468505859375), M3 in (174309.99780204895068891346454620361328125, 225691.00219795104931108653545379638671875), N3 in (149588.9945880042505450546741485595703125, 250412.0054119957494549453258514404296875), O3 in (137059.992432075203396379947662353515625, 262941.0075679249130189418792724609375), P3 in (81426.999384941664175130426883697509765625, 118574.000615058335824869573116302490234375), Q3 in (67069.998944151899195276200771331787109375, 212931.0010558481444604694843292236328125), R3 in (3236.99807441385155470925383269786834716796875, 276764.001925586373545229434967041015625), S3 in (-854.00340078071758398436941206455230712890625, 280855.0034007810172624886035919189453125), T3 in (5.9977647204480231124534839182160794734954833984375, 279995.0022352798259817063808441162109375), U3 in (75153.998567062080837786197662353515625, 204847.00143293800647370517253875732421875), V3 in (143052.9931062677060253918170928955078125, 256948.00689373235218226909637451171875), W3 in (31031.99776128209850867278873920440673828125, 168969.00223871800699271261692047119140625), X3 in (18662.99768042174036963842809200286865234375, 181338.00231957840151153504848480224609375), Y3 in (61854.998367127365781925618648529052734375, 138146.00163287270697765052318572998046875), Z3 in (62862.999056464832392521202564239501953125, 137138.0009435351821593940258026123046875), A4 in (65764.999401292428956367075443267822265625, 134236.000598707585595548152923583984375), B4 in (137215.99487794985179789364337921142578125, 262785.005122050293721258640289306640625), C4 in (159598.996656125760637223720550537109375, 240402.00334387426846660673618316650390625), D4 in (166674.9967974885366857051849365234375, 233326.00320251149241812527179718017578125), E4 in (157103.99515467323362827301025390625, 242897.00484532679547555744647979736328125), F4 in (155315.99459060127264820039272308349609375, 244685.0054093987564556300640106201171875), G4 in (136624.99012260636663995683193206787109375, 263376.0098773937788791954517364501953125), H4 in (137264.99357485646032728254795074462890625, 262736.006425143568776547908782958984375), I4 in (78191.999167507325182668864727020263671875, 181809.00083249268936924636363983154296875), J4 in [150000, 150001], K4 in (142000.99987495309324003756046295166015625, 158000.00012504690675996243953704833984375), L4 in (105527.9996197074069641530513763427734375, 154473.00038029262213967740535736083984375), M4 in (70381.99963773271883837878704071044921875, 189619.00036226728116162121295928955078125), N4 in (146940.993363601737655699253082275390625, 253060.0066363983205519616603851318359375), O4 in (147677.994724145974032580852508544921875, 252323.00527585405507124960422515869140625), P4 in (141676.99446158195496536791324615478515625, 258324.00553841804503463208675384521484375), Q4 in (36412.997917321088607423007488250732421875, 243588.002082679071463644504547119140625), R4 in (141405.9924983649398200213909149169921875, 258595.007501635118387639522552490234375), S4 in (175257.9988591314177028834819793701171875, 224743.0011408685822971165180206298828125), T4 in (172700.99846774197067134082317352294921875, 227300.00153225802932865917682647705078125), U4 in (176169.99995803253841586410999298095703125, 223831.00004196746158413589000701904296875), V4 in [200000, 200001]
=== test02 ===
*** qbox1, qbox2 ***
A in (-inf, 0], B in (-inf, +inf), C in (-inf, +inf)
*** qbox2.propagate_edges() ***
A in (-inf, 0], B in (-inf, 360000/599], C in (-inf, 5974342016/1719729]
*** tbox ***
A in (-inf, 0], B in (-inf, +inf), C in (-inf, +inf)
*** tbox.propagate_edges() ***
A in (-inf, 0], B in (-inf, 601.00166944908187360852025449275970458984375), C in (-inf, 3474.00201775977575380238704383373260498046875)
=== test03 ===
*** qbox1, qbox2 ***
A in [0, +inf), B in (-inf, +inf), C in (-inf, +inf)
*** qbox2.propagate_edges() ***
A in [0, +inf), B in [-360000/599, +inf), C in [-5974342016/1719729, +inf)
*** tbox ***
A in [0, +inf), B in (-inf, +inf), C in (-inf, +inf)
*** tbox.propagate_edges() ***
A in [0, +inf), B in (-601.00166944908187360852025449275970458984375, +inf), C in (-3474.00201775977575380238704383373260498046875, +inf)
=== test01 ===
*** qbox1, qbox2 ***
A in [100000, 100001], B in (-inf, +inf), C in (-inf, +inf), D in (-inf, +inf), E in (-inf, +inf), F in (-inf, +inf), G in (-inf, +inf), H in (-inf, +inf), I in (-inf, +inf), J in (-inf, +inf), K in (-inf, +inf), L in (-inf, +inf), M in [110000, 110001], N in (-inf, +inf), O in [120000, 120001], P in (-inf, +inf), Q in (-inf, +inf), R in (-inf, +inf), S in (-inf, +inf), T in (-inf, +inf), U in (-inf, +inf), V in (-inf, +inf), W in (-inf, +inf), X in (-inf, +inf), Y in (-inf, +inf), Z in (-inf, +inf), A1 in (-inf, +inf), B1 in [130000, 130001], C1 in (-inf, +inf), D1 in (-inf, +inf), E1 in (-inf, +inf), F1 in (-inf, +inf), G1 in (-inf, +inf), H1 in (-inf, +inf), I1 in (-inf, +inf), J1 in (-inf, +inf), K1 in (-inf, +inf), L1 in (-inf, +inf), M1 in (-inf, +inf), N1 in (-inf, +inf), O1 in (-inf, +inf), P1 in (-inf, +inf), Q1 in [140000, 140001], R1 in (-inf, +inf), S1 in (-inf, +inf), T1 in (-inf, +inf), U1 in (-inf, +inf), V1 in (-inf, +inf), W1 in (-inf, +inf), X1 in (-inf, +inf), Y1 in (-inf, +inf), Z1 in (-inf, +inf), A2 in (-inf, +inf), B2 in (-inf, +inf), C2 in (-inf, +inf), D2 in (-inf, +inf), E2 in (-inf, +inf), F2 in (-inf, +inf), G2 in (-inf, +inf), H2 in (-inf, +inf), I2 in (-inf, +inf), J2 in (-inf, +inf), K2 in (-inf, +inf), L2 in (-inf, +inf), M2 in (-inf, +inf), N2 in (-inf, +inf), O2 in (-inf, +inf), P2 in (-inf, +inf), Q2 in (-inf, +inf), R2 in (-inf, +inf), S2 in (-inf, +inf), T2 in (-inf, +inf), U2 in (-inf, +inf), V2 in (-inf, +inf), W2 in (-inf, +inf), X2 in (-inf, +inf), Y2 in (-inf, +inf), Z2 in (-inf, +inf), A3 in (-inf, +inf), B3 in (-inf, +inf), C3 in (-inf, +inf), D3 in (-inf, +inf), E3 in (-inf, +inf), F3 in (-inf, +inf), G3 in (-inf, +inf), H3 in (-inf, +inf), I3 in (-inf, +inf), J3 in (-inf, +inf), K3 in (-inf, +inf), L3 in (-inf, +inf), M3 in (-inf, +inf), N3 in (-inf, +inf), O3 in (-inf, +inf), P3 in (-inf, +inf), Q3 in (-inf, +inf), R3 in (-inf, +inf), S3 in (-inf, +inf), T3 in (-inf, +inf), U3 in (-inf, +inf), V3 in (-inf, +inf), W3 in (-inf, +inf), X3 in (-inf, +inf), Y3 in (-inf, +inf), Z3 in (-inf, +inf), A4 in (-inf, +inf), B4 in (-inf, +inf), C4 in (-inf, +inf), D4 in (-inf, +inf), E4 in (-inf, +inf), F4 in (-inf, +inf), G4 in (-inf, +inf), H4 in (-inf, +inf), I4 in (-inf, +inf), J4 in [150000, 150001], K4 in (-inf, +inf), L4 in (-inf, +inf), M4 in (-inf, +inf), N4 in (-inf, +inf), O4 in (-inf, +inf), P4 in (-inf, +inf), Q4 in (-inf, +inf), R4 in (-inf, +inf), S4 in (-inf, +inf), T4 in (-inf, +inf), U4 in (-inf, +inf), V4 in [200000, 200001]
*** qbox2.propagate_edges() ***
A in [100000, 100001], B in [580671519/6190, 657334671/6190], C in [720484937921122431953/11325352499789688, 1544596887389314957735/11325352499789688], D in [465393594757069661070191/7825818577354674408, 1099777946532442575204217/7825818577354674408], E in [211844405982682856843982229/3690026351481476144160, 526164554339963853464161931/3690026351481476144160], F in [69720554387876653630673423477/1302579302072961078888480, 190796608606017635108101465003/1302579302072961078888480], G in [4530767860398987895302040748339/87272813238888392285528160, 12923882060191929450195876779821/87272813238888392285528160], H in [1095224559/12520, 1408787961/12520], I in [1616050434089/17771490, 1938265337401/17771490], J in [1941169150794/24998315, 3058518847521/24998315], K in [297016502836702/4034728041, 509933140091339/4034728041], L in [3415672754492012689753588853/62730447975185094450720, 9130479570992981385484861867/62730447975185094450720], M in [110000, 110001], N in [2263957775/27414, 3767149639/27414], O in [120000, 120001], P in [691219376/6067, 764866691/6067], Q in [4744189213213/44507512, 5937658174299/44507512], R in [7973245066634740713049/88839376437169776, 11571506588919047176727/88839376437169776], S in [2844948182554005757/30708391440432, 3910928642732474675/30708391440432], T in [4441846489928269/45292612744, 5522573606364475/45292612744], U in [1522491512051/15062392, 1791249790341/15062392], V in [687554284/6653, 776112369/6653], W in [16309449487824627372585/173796912216700982, 21926044996761805368397/173796912216700982], X in [10615408431368230812/111265628819911, 13863141174641009099/111265628819911], Y in [3171407166640648/32074266019, 3884963431805371/32074266019], Z in [1236582935732/12181643, 1443390705911/12181643], A1 in [7560678271925292/79607037005, 9952949476211713/79607037005], B1 in [130000, 130001], C1 in [1240760871/10372, 1455969501/10372], D1 in [9116827578783/81575780, 12092956796997/81575780], E1 in [751362790466943/7309189888, 1149033889602945/7309189888], F1 in [632785644/5065, 684119421/5065], G1 in [4154824725192/35216945, 5001616191753/35216945], H1 in [43573296609429599189/470279717750029, 78699900285295690840/470279717750029], I1 in [9103168624601059/77944761374, 11162547277400315/77944761374], J1 in [1609975142936/13117597, 1800613194661/13117597], K1 in [101368994994329069601023/1123027965987069252, 190619399190274922988229/1123027965987069252], L1 in [490437900/3889, 520705989/3889], M1 in [3800101422375/32255366, 4586325992991/32255366], N1 in [792841166663152/7499372595, 1157003207409443/7499372595], O1 in [50931148702496416/502457963865, 79708424360367449/502457963865], P1 in [4174894014043/37121388, 5476703987345/37121388], Q1 in [140000, 140001], R1 in [528931231/3886, 559152655/3886], S1 in [947906893327/7158012, 1056343624685/7158012], T1 in [2339447397747/20306293, 3346334948546/20306293], U1 in [5104651234893807/45181501925, 7546214485608118/45181501925], V1 in [3347393715540947/26792438916, 4154515973377969/26792438916], W1 in [8855048255865659/80563425060, 13702791324359401/80563425060], X1 in [2974203898801532501/27848090595740, 4823289316096263239/27848090595740], Y1 in [7343508816974803529029/70427821116626460, 12376351523501721897431/70427821116626460], Z1 in [106486119243031157729650363/1225937082177116789220, 236777489703643720368738857/1225937082177116789220], A2 in [30950030976663963/309630355664, 55746778239611701/309630355664], B2 in [267568883200677052141171/3782213130915742992, 791454575668861901361821/3782213130915742992], C2 in [21232009463098549859553/214235360953027820, 38754105839110192768267/214235360953027820], D2 in [1054512490051574069033253287837/13974456799736954280318780, 2858349388331572866410285430943/13974456799736954280318780], E2 in [4972772641765633192856322553452791/130772966731938418155223143240, 31643788816143855829024312776890449/130772966731938418155223143240], F2 in [146420912306622506173/1962746824554096, 403150161315348927923/1962746824554096], G2 in [216192902951247331036567/2957859464603022672, 612010704997063620146105/2957859464603022672], H2 in [55242486124945791088680979/871800126676078759656, 188862421144482937693758677/871800126676078759656], I2 in [41665627768083125530750429/628545136228142317800, 134327638920932951595567371/628545136228142317800], J2 in [32981109502073730373730438071/577632980193662790058200, 128756702585132044505355620129/577632980193662790058200], K2 in [13438405221926008917152969115741/252810700998093081115472200, 57348843868241051888260362356459/252810700998093081115472200], L2 in [1255902330896473028997137988250467/24522637996815028868200803400, 5610460830849731869127955164552933/24522637996815028868200803400], M2 in [730365919874513244293776924052222461/21898715731155820779303317436200, 5401296383564847729731931261401213739/21898715731155820779303317436200], N2 in [30165823559169082672564548306049333721/3525693232716087145467834107228200, 957031807294568034145574469551953894479/3525693232716087145467834107228200], O2 in [-153321464262160918339839944646217888869023/42791338765475149684543102559428663400, 12134939109933968305161593204388803069532423/42791338765475149684543102559428663400], P2 in [-135604589948235002415661972901613737649417997/14506263841496075743060111767646316892600, 4197372971830977706548236327954350113894310597/14506263841496075743060111767646316892600], Q2 in [7588590702885756476631882998441681/149411124289873010939244070200, 34246673509402976459367395901628519/149411124289873010939244070200], R2 in [134305216683728473701506705985791461367/4715607793870333389468268933662780, 1186069681207758745682998063708720601413/4715607793870333389468268933662780], S2 in [14690757218047747585809281268944684843077/1070442969208565679409297047941451060, 285034344603319851214473301451709553407983/1070442969208565679409297047941451060], T2 in [274622509997448822770106579514052174732773/28045605793264420800523582656066017772, 7578175157722382265797297087767088867444999/28045605793264420800523582656066017772], U2 in [1511208169263190488988727870524390737087637/532866510072023995209948070465254337668, 147691947517413600193791941807817289064290031/532866510072023995209948070465254337668], V2 in [7532780518941028657880668976653672649/230029648481479677535037508959160, 56875751085521762531607368569420086511/230029648481479677535037508959160], W2 in [87373708748858582836058183291/600919613159248547204040, 152994737434453995294105020749/600919613159248547204040], X2 in [80982622594676113756417733/552823931149262692920, 140147502688960112674275187/552823931149262692920], Y2 in [13447578346860401971298813624383/94800065365126433564512260, 24472542599255536580939654887877/94800065365126433564512260], Z2 in [6602919071486826210420110202569/47400032682563216782256130, 12357141401571143065699124053561/47400032682563216782256130], A3 in [11919431443101650828687719125239350036/86175367358238586748232019091985, 22550801675561142109191836743573741949/86175367358238586748232019091985], B3 in [16125823308442213137597549401509578233/114900489810984782330976025455980, 29834487516441510779575191756907877747/114900489810984782330976025455980], C3 in [20742035994004500985426296247/136011571542505643564580, 33662728634569298946049268333/136011571542505643564580], D3 in [64950691018849798071579773/413409032044090102020, 100413335207818286826522247/413409032044090102020], E3 in [920597842685495360705113/5822662423156198620, 1408472949239407243493507/5822662423156198620], F3 in [2172754950978498548527/13263467934296580, 3132645486208067748053/13263467934296580], G3 in [168171588267699000329/1020266764176660, 239936137669729176331/1020266764176660], H3 in [12610440864600310244741/80601074369956140, 19630069484456515711399/80601074369956140], I3 in [9287990396705058917603/59629374517232520, 14563819039562466314917/59629374517232520], J3 in [3126805321909012366531/19876458172410840, 4823797823513496044309/19876458172410840], K3 in [5458895190260461903/34447934440920, 8320313034041979017/34447934440920], L3 in [56688465750920189/337724847460, 78401810957927271/337724847460], M3 in [127698085506399/732591860, 165339391085461/732591860], N3 in [834179203814492526656240317007/5576474433242731386147780, 1396416145957033270534257830773/5576474433242731386147780], O3 in [6464660838345460460770095684282030892709/47166651067409253146865658449679790, 12402046755269308207229314561248334787081/47166651067409253146865658449679790], P3 in [3438983493744256/42233945985, 5007847937201729/42233945985], Q3 in [230144515939073254372520651/3431407776384646592940, 730653092856404176297272289/3431407776384646592940], R3 in [64217386956928494126235001599640656221599/19838561988812492569493007403919315460, 5490599808472558237824376564505171591893861/19838561988812492569493007403919315460], S3 in [-601769980667698031589936177544142045924846549/704645883280630923575822129979810165823740, 197903321945127637263743708394020968286737870289/704645883280630923575822129979810165823740], T3 in [384209110840253805349223220889852676909171/64058716661875538506892920907255469620340, 17936120514930972403663175523731548896487911169/64058716661875538506892920907255469620340], U3 in [215685866572076311675164159799/2869918709376630403564020, 587894241972089577953165004221/2869918709376630403564020], V3 in [30382364097666589018620186411156989/212385378578530096730085074780, 54571999719124028203510573585917791/212385378578530096730085074780], W3 in [5697847831548012092024563036471/183612021223366771457257440, 31024740025146565566198382220969/183612021223366771457257440], X3 in [42378626230782521905054374370402297/2270729866469376862611902760480, 411769617792959319994188789628358183/2270729866469376862611902760480], Y3 in [154116525283959397899629/2491577549953731360, 344201476284336827831731/2491577549953731360], Z3 in [481044340208386026611/7652265202560600, 1049416352568936533989/7652265202560600], A4 in [694139608917143485/10554848555256, 1416840656982611771/10554848555256], B4 in [337326606458356823961379375235701/2458362137434485806611727640, 646020706877574933169118292491939/2458362137434485806611727640], C4 in [20399147041554981406121/127815008044864140, 30726983991398719458019/127815008044864140], D4 in [6023060801964579983/36136558678220, 8431598805882098237/36136558678220], E4 in [45738176455741521326583719/291133121157809931000, 70715363140503608883347281/291133121157809931000], F4 in [4109378239018604540138644937/26458178050821766529280, 6473919439488152893339884343/26458178050821766529280], G4 in [2790314021275131442227720403331171490017757/20423159912188206612592830108711349070, 5378970366760063391016024232983476849331313/20423159912188206612592830108711349070], H4 in [6506365181620045585223737128041/47400032682563216782256130, 12453695291437923690895497128089/47400032682563216782256130], I4 in [531724729380732992027831/6800244718665419340, 1236345697716994701791509/6800244718665419340], J4 in [150000, 150001], K4 in [1135581996/7997, 1263526001/7997], L4 in [754741961078591/7152054088, 1104799253855497/7152054088], M4 in [117968345052984423/1676115280330, 317823303948095907/1676115280330], N4 in [16061821155035459186586176850713/109307966329660368878067460, 27661474684795018025009685216747/109307966329660368878067460], O4 in [48427143824816221246206586188107/327923898988981106634202380, 82742743694675210388581000014273/327923898988981106634202380], P4 in [89276569525486471585085253566857/630141610956428646634699140, 162780704998695943497441037132283/630141610956428646634699140], Q4 in [852368601980106320980532162898333749/23408361045016976849784942639960, 5701995898985692213936101561233106211/23408361045016976849784942639960], R4 in [6006513050007619463596089905397033/42477075715706019346017014956, 10984359713350503980830062094017923/42477075715706019346017014956], S4 in [271443093793/1548820, 348086455027/1548820], T4 in [2789463073231/16151980, 3671345078749/16151980], U4 in [4197778759/23828, 5333445069/23828], V4 in [200000, 200001]
*** tbox ***
A in [100000, 100001], B in (-inf, +inf), C in (-inf, +inf), D in (-inf, +inf), E in (-inf, +inf), F in (-inf, +inf), G in (-inf, +inf), H in (-inf, +inf), I in (-inf, +inf), J in (-inf, +inf), K in (-inf, +inf), L in (-inf, +inf), M in [110000, 110001], N in (-inf, +inf), O in [120000, 120001], P in (-inf, +inf), Q in (-inf, +inf), R in (-inf, +inf), S in (-inf, +inf), T in (-inf, +inf), U in (-inf, +inf), V in (-inf, +inf), W in (-inf, +inf), X in (-inf, +inf), Y in (-inf, +inf), Z in (-inf, +inf), A1 in (-inf, +inf), B1 in [130000, 130001], C1 in (-inf, +inf), D1 in (-inf, +inf), E1 in (-inf, +inf), F1 in (-inf, +inf), G1 in (-inf, +inf), H1 in (-inf, +inf), I1 in (-inf, +inf), J1 in (-inf, +inf), K1 in (-inf, +inf), L1 in (-inf, +inf), M1 in (-inf, +inf), N1 in (-inf, +inf), O1 in (-inf, +inf), P1 in (-inf, +inf), Q1 in [140000, 140001], R1 in (-inf, +inf), S1 in (-inf, +inf), T1 in (-inf, +inf), U1 in (-inf, +inf), V1 in (-inf, +inf), W1 in (-inf, +inf), X1 in (-inf, +inf), Y1 in (-inf, +inf), Z1 in (-inf, +inf), A2 in (-inf, +inf), B2 in (-inf, +inf), C2 in (-inf, +inf), D2 in (-inf, +inf), E2 in (-inf, +inf), F2 in (-inf, +inf), G2 in (-inf, +inf), H2 in (-inf, +inf), I2 in (-inf, +inf), J2 in (-inf, +inf), K2 in (-inf, +inf), L2 in (-inf, +inf), M2 in (-inf, +inf), N2 in (-inf, +inf), O2 in (-inf, +inf), P2 in (-inf, +inf), Q2 in (-inf, +inf), R2 in (-inf, +inf), S2 in (-inf, +inf), T2 in (-inf, +inf), U2 in (-inf, +inf), V2 in (-inf, +inf), W2 in (-inf, +inf), X2 in (-inf, +inf), Y2 in (-inf, +inf), Z2 in (-inf, +inf), A3 in (-inf, +inf), B3 in (-inf, +inf), C3 in (-inf, +inf), D3 in (-inf, +inf), E3 in (-inf, +inf), F3 in (-inf, +inf), G3 in (-inf, +inf), H3 in (-inf, +inf), I3 in (-inf, +inf), J3 in (-inf, +inf), K3 in (-inf, +inf), L3 in (-inf, +inf), M3 in (-inf, +inf), N3 in (-inf, +inf), O3 in (-inf, +inf), P3 in (-inf, +inf), Q3 in (-inf, +inf), R3 in (-inf, +inf), S3 in (-inf, +inf), T3 in (-inf, +inf), U3 in (-inf, +inf), V3 in (-inf, +inf), W3 in (-inf, +inf), X3 in (-inf, +inf), Y3 in (-inf, +inf), Z3 in (-inf, +inf), A4 in (-inf, +inf), B4 in (-inf, +inf), C4 in (-inf, +inf), D4 in (-inf, +inf), E4 in (-inf, +inf), F4 in (-inf, +inf), G4 in (-inf, +inf), H4 in (-inf, +inf), I4 in (-inf, +inf), J4 in [150000, 150001], K4 in (-inf, +inf), L4 in (-inf, +inf), M4 in (-inf, +inf), N4 in (-inf, +inf), O4 in (-inf, +inf), P4 in (-inf, +inf), Q4 in (-inf, +inf), R4 in (-inf, +inf), S4 in (-inf, +inf), T4 in (-inf, +inf), U4 in (-inf, +inf), V4 in [200000, 200001]
*** tbox.propagate_edges() ***
A in [100000, 100001], B in (93807.999838449104572646319866180419921875, 106193.000161550895427353680133819580078125), C in (63616.9989353091805242002010345458984375, 136384.00106469084857963025569915771484375), D in (59468.99869411284453235566616058349609375, 140532.00130588721367530524730682373046875), E in (57409.9981420541953411884605884552001953125, 142591.0018579458701424300670623779296875), F in (53524.9978845213554450310766696929931640625, 146476.00211547873914241790771484375), G in (51914.997262630800832994282245635986328125, 148086.00273736930103041231632232666015625), H in (87477.999920127782388590276241302490234375, 112523.000079872217611409723758697509765625), I in (90934.999490138390683569014072418212890625, 109066.000509861609316430985927581787109375), J in (77651.9997765449224971234798431396484375, 122349.0002234550775028765201568603515625), K in (73614.99952871343703009188175201416015625, 126386.00047128656296990811824798583984375), L in (54449.997803987920633517205715179443359375, 145551.00219601215212605893611907958984375), M in [110000, 110001], N in (82583.99996352227753959596157073974609375, 137417.00003647772246040403842926025390625), O in [120000, 120001], P in (113930.9998351738904602825641632080078125, 126070.0001648261095397174358367919921875), Q in (106592.9996988598140887916088104248046875, 133408.0003011401859112083911895751953125), R in (89748.99854541060631163418292999267578125, 130252.001454589437344111502170562744140625), S in (92643.99889107255148701369762420654296875, 127357.001108927463064901530742645263671875), T in (98069.999075438347063027322292327880859375, 121931.000924561652936972677707672119140625), U in (101078.999407995739602483808994293212890625, 118922.000592004260397516191005706787109375), V in (103344.999849691856070421636104583740234375, 116656.000150308143929578363895416259765625), W in (93841.99799527486902661621570587158203125, 126159.002004725145525299012660980224609375), X in (95405.99863547974382527172565460205078125, 124595.001364520270726643502712249755859375), Y in (98876.9989237472764216363430023193359375, 121124.001076252738130278885364532470703125), Z in (101511.999303542193956673145294189453125, 118489.000696457806043326854705810546875), A1 in (94974.999150520001421682536602020263671875, 125026.000849479998578317463397979736328125), B1 in [130000, 130001], C1 in (119625.999903586576692759990692138671875, 140375.000096413423307240009307861328125), D1 in (111758.999776440978166647255420684814453125, 148242.0002235590363852679729461669921875), E1 in (102796.999664833812857978045940399169921875, 157204.00033516623079776763916015625), F1 in (124932.99980256662820465862751007080078125, 135068.00019743337179534137248992919921875), G1 in (117977.9996587437926791608333587646484375, 142023.0003412562073208391666412353515625), H1 in (92653.999236663643387146294116973876953125, 167347.0007633363711647689342498779296875), I1 in (116789.999278098970535211265087127685546875, 143211.00072190104401670396327972412109375), J1 in (122733.99944639249588362872600555419921875, 137267.00055360750411637127399444580078125), K1 in (90263.998817903149756602942943572998046875, 169737.00118209686479531228542327880859375), L1 in (126108.99974286448559723794460296630859375, 133892.00025713551440276205539703369140625), M1 in (117812.999622295392327941954135894775390625, 142188.00037770462222397327423095703125), N1 in (105720.99953958237892948091030120849609375, 154280.00046041762107051908969879150390625), O1 in (101363.999309961232938803732395172119140625, 158637.0006900387816131114959716796875), P1 in (112465.999763882733532227575778961181640625, 147535.000236117281019687652587890625), Q1 in [140000, 140001], R1 in (136111.9997426659683696925640106201171875, 143889.0002573340316303074359893798828125), S1 in (132425.99947122184676118195056915283203125, 147575.00052877815323881804943084716796875), T1 in (115207.999694823636673390865325927734375, 164793.000305176363326609134674072265625), U1 in (112980.999245385421090759336948394775390625, 167020.00075461459346115589141845703125), V1 in (124937.999337639150326140224933624267578125, 155063.0006623608642257750034332275390625), W1 in (109913.999426797134219668805599212646484375, 170087.00057320288033224642276763916015625), X1 in (106800.99910535707022063434123992919921875, 173200.0008946429588831961154937744140625), Y1 in (104269.998709943829453550279140472412109375, 175731.00129005618509836494922637939453125), Z1 in (86860.998652495662099681794643402099609375, 193140.0013475043815560638904571533203125), A2 in (99957.9996292412397451698780059814453125, 180043.0003707587602548301219940185546875), B2 in (70743.999330332109821029007434844970703125, 209257.0006696679047308862209320068359375), C2 in (99105.998975368755054660141468048095703125, 180895.00102463128860108554363250732421875), D2 in (75459.998564768655342049896717071533203125, 204541.0014352314174175262451171875), E2 in (38025.9985380535363219678401947021484375, 241975.00146194655098952353000640869140625), F2 in (74599.999589802813716232776641845703125, 205401.00041019721538759768009185791015625), G2 in (73090.99892623280175030231475830078125, 206910.0010737672564573585987091064453125), H2 in (63365.9991947572634671814739704132080078125, 216635.00080524277291260659694671630859375), I2 in (66288.99877917396952398121356964111328125, 213712.00122082608868367969989776611328125), J2 in (57096.9986703600370674394071102142333984375, 222904.001329640042968094348907470703125), K2 in (53155.9984164884881465695798397064208984375, 226845.001583511591888964176177978515625), L2 in (51213.9979010245660902000963687896728515625, 228787.00209897555760107934474945068359375), M2 in (33351.997845033518387936055660247802734375, 246649.00215496667078696191310882568359375), N2 in (8555.99780470117912045679986476898193359375, 271445.0021952990791760385036468505859375), O2 in (-3583.00227769150524181895889341831207275390625, 283584.002277691848576068878173828125), P2 in (-9348.00245121224361355416476726531982421875, 289349.0024512126110494136810302734375), Q2 in (50789.9979934766379301436245441436767578125, 229211.00200652345665730535984039306640625), R2 in (28480.99811403033891110680997371673583984375, 251520.00188596980297006666660308837890625), S2 in (13723.998046256698216893710196018218994140625, 266277.0019537434563972055912017822265625), T2 in (9791.9977918037693598307669162750244140625, 270209.002208196441642940044403076171875), U2 in (2835.9976480016403002082370221614837646484375, 277165.0023519986425526440143585205078125), V2 in (32746.99834855192239047028124332427978515625, 247254.001651448197662830352783203125), W2 in (145399.99500016937963664531707763671875, 254601.004999830736778676509857177734375), X2 in (146488.99592013258370570838451385498046875, 253512.004079867503605782985687255859375), Y2 in (141851.99445872171781957149505615234375, 258149.00554127828218042850494384765625), Z2 in (139301.99406625700066797435283660888671875, 260699.00593374299933202564716339111328125), A3 in (138315.9922434852342121303081512451171875, 261685.007756514823995530605316162109375), B3 in (140345.99273658191668801009654998779296875, 259655.00726341814151965081691741943359375), C3 in (152501.99493152883951552212238311767578125, 247499.00506847116048447787761688232421875), D3 in (157109.99514863701188005506992340087890625, 242891.004851363017223775386810302734375), E3 in (158105.99615467325202189385890960693359375, 241895.0038453267770819365978240966796875), F3 in (163814.9963298966758884489536285400390625, 236186.0036701033241115510463714599609375), G3 in (164830.99731609001173637807369232177734375, 235170.00268390998826362192630767822265625), H3 in (156454.99719667274621315300464630126953125, 243546.00280332725378684699535369873046875), I3 in (155761.996027995832264423370361328125, 244239.0039720042259432375431060791015625), J3 in (157311.9966739906813018023967742919921875, 242689.00332600934780202805995941162109375), K3 in (158467.99754054183722473680973052978515625, 241533.002459458191879093647003173828125), L3 in (167853.9976471062400378286838531494140625, 232147.0023528937599621713161468505859375), M3 in (174309.99780204895068891346454620361328125, 225691.00219795104931108653545379638671875), N3 in (149588.9945880042505450546741485595703125, 250412.0054119957494549453258514404296875), O3 in (137059.992432075203396379947662353515625, 262941.0075679249130189418792724609375), P3 in (81426.999384941664175130426883697509765625, 118574.000615058335824869573116302490234375), Q3 in (67069.998944151899195276200771331787109375, 212931.0010558481444604694843292236328125), R3 in (3236.9980744138238151208497583866119384765625, 276764.001925586373545229434967041015625), S3 in (-854.0034007807454372596112079918384552001953125, 280855.0034007810172624886035919189453125), T3 in (5.99776472042024177966368370107375085353851318359375, 279995.0022352798259817063808441162109375), U3 in (75153.998567062080837786197662353515625, 204847.00143293800647370517253875732421875), V3 in (143052.9931062677060253918170928955078125, 256948.00689373235218226909637451171875), W3 in (31031.9977612820730428211390972137451171875, 168969.00223871800699271261692047119140625), X3 in (18662.99768042171490378677845001220703125, 181338.00231957840151153504848480224609375), Y3 in (61854.9983671273585059680044651031494140625, 138146.00163287270697765052318572998046875), Z3 in (62862.9990564648178406059741973876953125, 137138.0009435351821593940258026123046875), A4 in (65764.999401292414404451847076416015625, 134236.000598707585595548152923583984375), B4 in (137215.99487794985179789364337921142578125, 262785.005122050293721258640289306640625), C4 in (159598.996656125760637223720550537109375, 240402.00334387426846660673618316650390625), D4 in (166674.9967974885366857051849365234375, 233326.00320251149241812527179718017578125), E4 in (157103.99515467323362827301025390625, 242897.00484532679547555744647979736328125), F4 in (155315.99459060127264820039272308349609375, 244685.0054093987564556300640106201171875), G4 in (136624.99012260636663995683193206787109375, 263376.0098773937788791954517364501953125), H4 in (137264.99357485646032728254795074462890625, 262736.006425143568776547908782958984375), I4 in (78191.999167507325182668864727020263671875, 181809.00083249268936924636363983154296875), J4 in [150000, 150001], K4 in (142000.99987495309324003756046295166015625, 158000.00012504690675996243953704833984375), L4 in (105527.9996197074069641530513763427734375, 154473.00038029262213967740535736083984375), M4 in (70381.99963773271883837878704071044921875, 189619.00036226728116162121295928955078125), N4 in (146940.993363601737655699253082275390625, 253060.0066363983205519616603851318359375), O4 in (147677.994724145974032580852508544921875, 252323.00527585405507124960422515869140625), P4 in (141676.99446158195496536791324615478515625, 258324.00553841804503463208675384521484375), Q4 in (36412.9979173210667795501649379730224609375, 243588.002082679071463644504547119140625), R4 in (141405.9924983649398200213909149169921875, 258595.007501635118387639522552490234375), S4 in (175257.9988591314177028834819793701171875, 224743.0011408685822971165180206298828125), T4 in (172700.99846774197067134082317352294921875, 227300.00153225802932865917682647705078125), U4 in (176169.99995803253841586410999298095703125, 223831.00004196746158413589000701904296875), V4 in [200000, 200001]
=== test02 ===
*** qbox1, qbox2 ***
A in (-inf, 0], B in (-inf, +inf), C in (-inf, +inf)
*** qbox2.propagate_edges() ***
A in (-inf, 0], B in (-inf, 360000/599], C in (-inf, 5974342016/1719729]
*** tbox ***
A in (-inf, 0], B in (-inf, +inf), C in (-inf, +inf)
*** tbox.propagate_edges() ***
A in (-inf, 0], B in (-inf, 601.00166944908187360852025449275970458984375), C in (-inf, 3474.00201775977575380238704383373260498046875)
=== test03 ===
*** qbox1, qbox2 ***
A in [0, +inf), B in (-inf, +inf), C in (-inf, +inf)
*** qbox2.propagate_edges() ***
A in [0, +inf), B in [-360000/599, +inf), C in [-5974342016/1719729, +inf)
*** tbox ***
A in [0, +inf), B in (-inf, +inf), C in (-inf, +inf)
*** tbox.propagate_edges() ***
A in [0, +inf), B in (-601.00166944908187360852025449275970458984375, +inf), C in (-3474.00201775977575380238704383373260498046875, +inf)
10 Apr
10 Apr
10:02 p.m.
New subject: make check fails on Freebsd in tests/Box/propagateconstraints2
Tobias Grosser wrote:
- test02 and test03 in tests/Box/propagateconstraints2 fail.
They only fail if compile with
gmake propagateconstraints2 -DBOX_INSTANCE=db_r_oc or gmake check (in ppl/, ppl/tests, or ppl/tests/Box)
Hi Tobias,
we finally found what the problem is: FreeBSD implementation of fma() does not respect the rounding mode (even though it is said to conform to ISO/IEC 9899:1999).
Can you please test the new snapshot just uploaded to
ftp://ftp.cs.unipr.it/pub/ppl/snapshots/
?
Cheers,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
11 Apr
11 Apr
9:24 a.m.
New subject: make check fails on Freebsd in tests/Box/propagateconstraints2
Roberto Bagnara ha scritto:
Tobias Grosser wrote:
- test02 and test03 in tests/Box/propagateconstraints2 fail.
They only fail if compile with
gmake propagateconstraints2 -DBOX_INSTANCE=db_r_oc or gmake check (in ppl/, ppl/tests, or ppl/tests/Box)
Hi Tobias,
we finally found what the problem is: FreeBSD implementation of fma() does not respect the rounding mode (even though it is said to conform to ISO/IEC 9899:1999).
This is the link to the detailed problem report I've submitted:
http://www.freebsd.org/cgi/query-pr.cgi?pr=133583
--
Abramo Bagnara
Opera Unica Phone: +39.0546.656023
Via Borghesi, 16
48014 Castel Bolognese (RA) - Italy
5919
Age (days ago)
5931
Last active (days ago)
5 comments
3 participants
participants (3)
-
Abramo Bagnara -
Roberto Bagnara -
Tobias Grosser