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] | 0.001s | passed |
| [14] quant1.props | testTranslation(TestData)[14] | 0s | passed |
| [15] float1.props | testTranslation(TestData)[15] | 0.001s | 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] | 0.001s | passed |
| [19] heap1.props | testTranslation(TestData)[19] | 0s | passed |
| [1] types2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] uninterpreted1.props | testTranslation(TestData)[20] | 0s | 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] | 0s | passed |
| [2] float.sinDouble.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] quant2.props | testTranslation(TestData)[3] | 0s | passed |
| [4] float.eq.props | testTranslation(TestData)[4] | 0s | passed |
| [5] float2.props | testTranslation(TestData)[5] | 0.001s | 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] | 0.001s | 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
638557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props5955452518523277136.key 638558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.5ns 638558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638705 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638705 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638706 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638706 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 639287 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 643023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 643038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5955452518523277136.key 643039 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 643048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props11384711483132787287.key 643048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.39ns 643049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 646397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11384711483132787287.key 646398 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 646402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props1058174587647512867.key 646402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.2ns 646403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 649742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1058174587647512867.key 649744 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 649748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props11405685643714337259.key 649748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.8ns 649748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 653213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11405685643714337259.key 653215 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 653220 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 653220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props2056159706495038326.key 653221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.6ns 653221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 656656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2056159706495038326.key 656661 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 656664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props16136371784166854212.key 656664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68ns 656665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 660173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16136371784166854212.key 660174 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 660177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props1177316527570014362.key 660177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.4ns 660178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 663596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1177316527570014362.key 663599 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 663602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props13057069503697661793.key 663602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.6ns 663602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 667126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13057069503697661793.key 667127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 667130 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 667130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props6163468160931094089.key 667130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.4ns 667131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 670623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6163468160931094089.key 670624 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 670627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props9128194063190004354.key 670627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.8ns 670628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 674115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9128194063190004354.key 674117 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 674119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props2963756284308540237.key 674119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.7ns 674120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 677539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2963756284308540237.key 677541 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 677543 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 677544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props8795384704691186642.key 677544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.2ns 677545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 680996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props8795384704691186642.key 680997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 680999 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 681000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props1368980621399476173.key 681000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58ns 681001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 684478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1368980621399476173.key 684480 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 684483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props15933143708456083905.key 684483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.2ns 684484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 687938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15933143708456083905.key 687939 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 687942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props4598686860208655840.key 687942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61ns 687942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 691396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 691411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4598686860208655840.key 691413 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 691417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props9497185332619180821.key 691417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.6ns 691424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 694861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9497185332619180821.key 694863 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 694867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props9406099242587671072.key 694867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.6ns 694868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 698398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9406099242587671072.key 698400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 698404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props17922025419216633270.key 698405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 907.09ns 698406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 701892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17922025419216633270.key 701894 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 701896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props3904658594397611196.key 701897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.8ns 701897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 705341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3904658594397611196.key 705342 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 705348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props9545402169517478159.key 705348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.5ns 705349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 708852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9545402169517478159.key 708854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 708856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props5152689014846652363.key 708857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.3ns 708857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 712459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5152689014846652363.key 712460 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 712463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props10441976406285204666.key 712463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.2ns 712464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 715974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10441976406285204666.key 715976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 715979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props8960415998582641178.key 715979 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51.7ns 715980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 719465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8960415998582641178.key 719466 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 719469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props2199074064227413005.key 719469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60ns 719470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 722886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2199074064227413005.key 722887 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 722904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props7519471749740999021.key 722904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.2ns 722905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 726367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7519471749740999021.key 726369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 726372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props16513057221408186592.key 726372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.6ns 726372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 729874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16513057221408186592.key 729878 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 729880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props8165799377968760106.key 729880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.4ns 729882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 733357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8165799377968760106.key 733358 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 733361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props12392088811257173405.key 733361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.5ns 733362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 736792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12392088811257173405.key 736793 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 736795 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 736796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props11253443189188714943.key 736796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56ns 736797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 740226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11253443189188714943.key 740227 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 740230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props4953500598140491584.key 740230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.6ns 740231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 743750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4953500598140491584.key 743752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 743754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props9807299081791860683.key 743754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.9ns 743755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 747238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9807299081791860683.key 747239 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 747242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props3494800691175277382.key 747242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.1ns 747244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 750705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3494800691175277382.key 750706 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 750708 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 750709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props3935861358782466918.key 750709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58ns 750710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 754116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3935861358782466918.key 754118 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 754120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props8154050669204930322.key 754120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.8ns 754121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 757522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 757539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8154050669204930322.key 757541 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 757544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props3674262760998803786.key 757544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.1ns 757596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 761029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3674262760998803786.key 761031 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 761033 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 761034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props10097306981512256381.key 761034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 48.6ns 761034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 764453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 764469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10097306981512256381.key 764470 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 764472 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 764473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props717962293228700981.key 764473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.5ns 764473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 767858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props717962293228700981.key 767860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 767862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props14491709684405943846.key 767862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.7ns 767863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 771252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props14491709684405943846.key 771253 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 771256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props13249701376836116752.key 771256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.9ns 771256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 774721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13249701376836116752.key 774722 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 774725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props7715599313601076301.key 774725 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.7ns 774725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 778177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7715599313601076301.key 778178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 778181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props9559231887436969737.key 778181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.1ns 778182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 781553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 781569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9559231887436969737.key 781570 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 781573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props3087343365408331592.key 781573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.5ns 781574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 785055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3087343365408331592.key 785057 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 785059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props3216110353993835788.key 785059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.7ns 785060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 788538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 788554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3216110353993835788.key 788555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 788559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props15559994824609607337.key 788560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.1ns 788560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 792019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props15559994824609607337.key 792020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 792023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props4093132489459914663.key 792023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 332.89ns 792024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 795409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4093132489459914663.key 795411 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 795414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props6067148581215215879.key 795414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.8ns 795415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 798789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 798804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6067148581215215879.key 798806 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 798808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props2487093788971359441.key 798808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.4ns 798809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 802282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2487093788971359441.key 802284 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 802286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props14065323666896108581.key 802286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.6ns 802287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 805684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 805699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14065323666896108581.key 805700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 805704 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props6866046063675589078.smt2 805705 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props7610368154776063421.smt2 805706 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props11125373209333859008.smt2 805706 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props11600442376550681204.smt2 805707 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props15212887197039093463.smt2 805708 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props580165109711341772.smt2 805708 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props7064678813973005332.smt2 805709 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props11180373471152284244.smt2 805710 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props2627962340850807817.smt2 805711 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props6828474974212463442.smt2 805711 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props14162956430763980446.smt2 805712 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props14799432061482231757.smt2 805713 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props2309074974494471903.smt2 805713 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props5077573547172966871.smt2 805714 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props4056988645165416621.smt2 805715 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props3033598408025743645.smt2 805716 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props8290462220457686505.smt2 805717 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props15402678408401313610.smt2 805717 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props8477103079434672657.smt2 805718 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props9322606328471040232.smt2 805719 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props13555936392235293759.smt2 805720 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props9150728093121447563.smt2 805720 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props18004408377502655553.smt2 805721 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props7377668515306268312.smt2