Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sqrt2.props | testTranslation(TestData)[10] | 0s | passed |
| [11] ex2.props | testTranslation(TestData)[11] | 0s | passed |
| [12] cast1.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] bool1.props | testTranslation(TestData)[13] | 0s | passed |
| [14] quant1.props | testTranslation(TestData)[14] | 0s | passed |
| [15] float1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] ite1.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] upd1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] upd2.props | testTranslation(TestData)[18] | 0s | passed |
| [19] heap1.props | testTranslation(TestData)[19] | 0s | passed |
| [1] types2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] uninterpreted1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] bool3.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] bool2.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] cast2.props | testTranslation(TestData)[23] | 0s | passed |
| [24] int1.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] float.sinDouble.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] quant2.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] float.eq.props | testTranslation(TestData)[4] | 0s | passed |
| [5] float2.props | testTranslation(TestData)[5] | 0s | passed |
| [6] float.sqrt1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] cast3.props | testTranslation(TestData)[7] | 0s | passed |
| [8] types1.props | testTranslation(TestData)[8] | 0s | passed |
| [9] ex1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sqrt2.props | testZ3(TestData)[10] | - | ignored |
| [11] ex2.props | testZ3(TestData)[11] | - | ignored |
| [12] cast1.props | testZ3(TestData)[12] | - | ignored |
| [13] bool1.props | testZ3(TestData)[13] | - | ignored |
| [14] quant1.props | testZ3(TestData)[14] | - | ignored |
| [15] float1.props | testZ3(TestData)[15] | - | ignored |
| [16] ite1.props | testZ3(TestData)[16] | - | ignored |
| [17] upd1.props | testZ3(TestData)[17] | - | ignored |
| [18] upd2.props | testZ3(TestData)[18] | - | ignored |
| [19] heap1.props | testZ3(TestData)[19] | - | ignored |
| [1] types2.props | testZ3(TestData)[1] | - | ignored |
| [20] uninterpreted1.props | testZ3(TestData)[20] | - | ignored |
| [21] bool3.props | testZ3(TestData)[21] | - | ignored |
| [22] bool2.props | testZ3(TestData)[22] | - | ignored |
| [23] cast2.props | testZ3(TestData)[23] | - | ignored |
| [24] int1.props | testZ3(TestData)[24] | - | ignored |
| [2] float.sinDouble.props | testZ3(TestData)[2] | - | ignored |
| [3] quant2.props | testZ3(TestData)[3] | - | ignored |
| [4] float.eq.props | testZ3(TestData)[4] | - | ignored |
| [5] float2.props | testZ3(TestData)[5] | - | ignored |
| [6] float.sqrt1.props | testZ3(TestData)[6] | - | ignored |
| [7] cast3.props | testZ3(TestData)[7] | - | ignored |
| [8] types1.props | testZ3(TestData)[8] | - | ignored |
| [9] ex1.props | testZ3(TestData)[9] | - | ignored |
Standard output
545739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props2221954312741612354.key 545739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.2ns 545740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 545856 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 545856 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 545857 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 545857 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 546455 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 549549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 549697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2221954312741612354.key 549699 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 549706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props14267163254725469409.key 549707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320.11ns 549708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 552524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 552539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14267163254725469409.key 552540 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 552543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props8907792608060721881.key 552543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.9ns 552544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 555450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 555465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8907792608060721881.key 555466 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 555469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props9162111050953999855.key 555469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.3ns 555470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 558399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 558414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9162111050953999855.key 558416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 558419 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 558420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props9998327916414605311.key 558420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.3ns 558421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 561350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 561375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9998327916414605311.key 561376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 561379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props6255946397188120274.key 561380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.1ns 561382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 564516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 564531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6255946397188120274.key 564532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 564534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props5738706867999399701.key 564534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68ns 564535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 567478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 567493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5738706867999399701.key 567494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 567498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props3103644768281457115.key 567498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.7ns 567500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 570377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 570395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3103644768281457115.key 570397 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 570400 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 570400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props534917802928837323.key 570401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.7ns 570401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 573491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 573506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props534917802928837323.key 573507 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 573510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props7380901430702082463.key 573510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.1ns 573510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 576391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 576417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7380901430702082463.key 576425 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 576427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props8930375312976889813.key 576427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.3ns 576440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 579517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8930375312976889813.key 579518 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 579520 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 579520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props3575140208981125146.key 579520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67ns 579521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 582483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 582500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3575140208981125146.key 582501 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 582503 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 582504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props3667458998440542247.key 582504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.7ns 582505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 585479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 585494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3667458998440542247.key 585495 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 585498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props17055064356986523028.key 585499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 398.5ns 585500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 588546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 588561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17055064356986523028.key 588563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns 588565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props17293113487881050727.key 588565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.7ns 588566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 591826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17293113487881050727.key 591827 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 591830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props15484244597318298192.key 591831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.7ns 591831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 594914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15484244597318298192.key 594915 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 594918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props6149083235223498669.key 594918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 325.8ns 594920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 597855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6149083235223498669.key 597856 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 597858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props8385926907787797596.key 597858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.6ns 597859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 600904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8385926907787797596.key 600905 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 600909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props8541292565345624604.key 600909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298ns 600912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 604003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props8541292565345624604.key 604004 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 604012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props1199227424366749711.key 604012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.81ns 604013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 606879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1199227424366749711.key 606880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 606882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props7721905150501127062.key 606882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.1ns 606883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 609983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7721905150501127062.key 609985 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.1ns 609987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props9928273119005845206.key 609988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.5ns 609989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 613128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9928273119005845206.key 613135 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 613137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props6240308574452594542.key 613137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.8ns 613138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 615911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 615926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props6240308574452594542.key 615927 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 615930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props13537250522992768913.key 615930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.9ns 615930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 618770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 618787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13537250522992768913.key 618789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 618857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props16247719167353727903.key 618858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 340ns 618859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 621853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 621869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16247719167353727903.key 621871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 621876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props15481501606142257722.key 621876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.2ns 621877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 624796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15481501606142257722.key 624797 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 624799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props10537618631240770280.key 624799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.6ns 624800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 627615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10537618631240770280.key 627616 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 627619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props6311943675390690383.key 627619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.7ns 627619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 630557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props6311943675390690383.key 630563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 630565 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 630566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props12850109869764050440.key 630566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.6ns 630567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 633508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props12850109869764050440.key 633510 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 633513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props7994410852253334476.key 633513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.2ns 633514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 636424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7994410852253334476.key 636426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 636430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props13356140514243577895.key 636430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.3ns 636431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 639524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props13356140514243577895.key 639525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 639527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props123263147981822589.key 639528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.9ns 639529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 642382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props123263147981822589.key 642383 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 642385 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 642385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props580317890446807211.key 642385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.9ns 642386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 645474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props580317890446807211.key 645476 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 645478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props17294270936326736606.key 645478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 315.2ns 645479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 648421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17294270936326736606.key 648422 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 648424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props803765807462566828.key 648424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70ns 648425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 651484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props803765807462566828.key 651491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 651493 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 651494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props13880573150391674896.key 651494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.5ns 651494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 654594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 654609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props13880573150391674896.key 654610 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 654611 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 654612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props7155820432593498064.key 654612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.7ns 654613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 657422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7155820432593498064.key 657424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 657426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props6922095245700801745.key 657426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.2ns 657426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 660285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6922095245700801745.key 660286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 660289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props7247712390796449249.key 660289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.3ns 660290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 663233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props7247712390796449249.key 663240 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 663242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props12930314189113993937.key 663243 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.1ns 663250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 666147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12930314189113993937.key 666148 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 666150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props10497295629612827218.key 666150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.4ns 666151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 669030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10497295629612827218.key 669032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 669035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props17287181627076265104.key 669035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 424.91ns 669036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 672119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17287181627076265104.key 672125 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 672128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props5605353457352965644.key 672128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.2ns 672130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 675250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5605353457352965644.key 675251 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 675254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props14902836689680752284.key 675255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.8ns 675255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 678150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14902836689680752284.key 678151 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 678154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props5950547272943614934.key 678154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.2ns 678155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 681128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5950547272943614934.key 681129 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 681132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props3853776103834859955.key 681133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.7ns 681133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 684047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3853776103834859955.key 684049 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 684051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props9982930365441675086.key 684051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.1ns 684052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 687146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9982930365441675086.key 687149 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 687151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props18162917649421966928.key 687152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.9ns 687153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 690212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props18162917649421966928.key 690213 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 690216 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props13974017062541210276.smt2 690217 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props18015044267104745458.smt2 690218 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props4605414611814113621.smt2 690219 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props15321065809415081932.smt2 690220 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props13323262857937586422.smt2 690220 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props2104673412493365493.smt2 690221 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props13225580313627674478.smt2 690222 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props12557021808998691101.smt2 690222 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props16393301899214952217.smt2 690223 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props7399345649607505908.smt2 690224 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props11778574080004111779.smt2 690224 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props15345044708389203672.smt2 690225 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props167896230837703816.smt2 690226 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props22851081984083171.smt2 690227 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props15117912566467196760.smt2 690228 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props120964606167974511.smt2 690228 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props5361618165005134258.smt2 690229 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props9375056197781922273.smt2 690230 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props12431432271915293505.smt2 690230 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props3490925563272507035.smt2 690231 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props4845314672591640078.smt2 690232 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props13535337014834873305.smt2 690233 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props728213347260763049.smt2 690233 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props5355900732077195335.smt2