Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.005s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.015s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.003s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.004s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.005s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.004s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.003s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.003s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
672148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8939547369696060858.key 672148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.3ns 672164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672351 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 672351 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 672351 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 672351 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 673146 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 676811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 676826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8939547369696060858.key 676826 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 676842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8143056355054070599.key 676842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.2ns 676857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 680523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8143056355054070599.key 680538 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 680538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props13957280320076535954.key 680538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.2ns 680554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 684730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13957280320076535954.key 684730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 684745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props18207342741372393294.key 684745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.3ns 684745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 688324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18207342741372393294.key 688324 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 688324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17504436632410300525.key 688324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232ns 688324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 691803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 691819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17504436632410300525.key 691819 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 691819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9160464644058474917.key 691819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.4ns 691819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 695206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9160464644058474917.key 695206 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 695206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props12011193142122149002.key 695206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.6ns 695206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 698781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12011193142122149002.key 698781 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 698800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7950470943404140294.key 698800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.5ns 698804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 702752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7950470943404140294.key 702752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 702752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props5581248628891119110.key 702752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.4ns 702767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 706266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5581248628891119110.key 706266 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 706266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props12876048241614207362.key 706266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 605.8ns 706266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 709822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12876048241614207362.key 709822 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 709822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props11846905305112629974.key 709822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.6ns 709838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 713322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11846905305112629974.key 713322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 713338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props14916638710504783029.key 713338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.3ns 713338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 716928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14916638710504783029.key 716928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.9ns 716928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props2796927152559729792.key 716928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.6ns 716944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 720672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2796927152559729792.key 720672 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 720672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6859070358979110309.key 720672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 312.1ns 720672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 724020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6859070358979110309.key 724020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 724020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10722302873464320585.key 724020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.8ns 724020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727334 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 727349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10722302873464320585.key 727349 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 727365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7296349971386998458.key 727365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.8ns 727365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 730705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7296349971386998458.key 730705 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 730705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props11200899658315004338.key 730705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 545ns 730705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 734114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11200899658315004338.key 734129 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 734145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16900043974807715573.key 734145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.8ns 734145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 737922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16900043974807715573.key 737922 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 737922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12089652820721194276.key 737922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.7ns 737922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 741308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12089652820721194276.key 741308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 741324 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 741324 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 741324 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 741324 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 741324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9654527594928247052.key 741324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.2ns 741324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 744891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9654527594928247052.key 744891 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 744906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props14780480764173192231.key 744906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 328.9ns 744906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 748351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14780480764173192231.key 748351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 748366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16525756349914735719.key 748366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.2ns 748366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 751774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16525756349914735719.key 751789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 751805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16192302826213432969.key 751805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.9ns 751805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 755291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16192302826213432969.key 755291 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 755307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props10425811102454864380.key 755307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.1ns 755307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 758878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props10425811102454864380.key 758878 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns 759328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4202439504445766818.key 759328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.2ns 759330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 762676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4202439504445766818.key 762676 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 762676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props971974980215243293.key 762676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 423.8ns 762676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 766074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props971974980215243293.key 766074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 766090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4198364353163558260.key 766090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.1ns 766097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 769499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4198364353163558260.key 769499 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 769514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3504503590871001896.key 769514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 450.7ns 769514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 773283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 773299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3504503590871001896.key 773299 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 773299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props18420069955856294131.key 773299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 504.7ns 773315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 777074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 777089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props18420069955856294131.key 777089 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 777089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5477084357488164093.key 777089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 645.8ns 777089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 780419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 780434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5477084357488164093.key 780434 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 780434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props528529792107039840.key 780434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428ns 780450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 783734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props528529792107039840.key 783734 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 783734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7400093059966741450.key 783734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.7ns 783734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 787080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7400093059966741450.key 787080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 787095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7467222306940035442.key 787095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244ns 787095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 790643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7467222306940035442.key 790643 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 790643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props13626145930583166570.key 790643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.5ns 790659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 794007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 794022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13626145930583166570.key 794022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 794038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12866031751115759275.key 794038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.5ns 794038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 797428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 797444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12866031751115759275.key 797444 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 797460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8094512126573326952.key 797460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.2ns 797460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 800633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8094512126573326952.key 800633 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 800648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props7947873994946571542.key 800648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.4ns 800648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 803915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props7947873994946571542.key 803915 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 803931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props15244112725975380495.key 803931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.2ns 803931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 807286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props15244112725975380495.key 807302 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 807302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props1128801928945552501.key 807302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 408.8ns 807302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 810698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1128801928945552501.key 810698 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 810713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props17258567426636358570.key 810713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 807.6ns 810713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 814560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17258567426636358570.key 814560 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 814575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9925628510556792832.key 814575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.2ns 814575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 818098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 818114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9925628510556792832.key 818114 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 818134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props18224983962891253406.key 818136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.23ms 818139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 821459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props18224983962891253406.key 821459 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 821475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11795105910812874022.key 821475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.7ns 821475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 824790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 824806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11795105910812874022.key 824806 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 824806 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 824806 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 824806 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 824806 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 824821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14886885899022077042.key 824821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.5ns 824821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 828046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 828062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14886885899022077042.key 828062 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 828078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9181003458310246994.key 828078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218ns 828078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 831641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9181003458310246994.key 831641 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 831672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1245773523193893535.key 831672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.2ns 831672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 835387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 835402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1245773523193893535.key 835402 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 835419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props17123070917189490105.key 835419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.9ns 835419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 839020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 839035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props17123070917189490105.key 839051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 839051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12287683059726065151.key 839051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.2ns 839051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 842412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 842428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12287683059726065151.key 842428 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 842428 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props15470290204110907690.smt2 842428 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13835599171242510784.smt2 842443 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15816050314323249006.smt2 842443 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2988859333783376985.smt2 842443 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props4851565112612274769.smt2 842443 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8674200947494872057.smt2 842443 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props18112804234630445686.smt2 842443 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props199454160854904840.smt2 842459 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2014893555024447843.smt2 842461 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3823418553799444125.smt2 842462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props14731526381180890656.smt2 842462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props417467511105358896.smt2 842462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16061663114174892204.smt2 842462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11828341954241492153.smt2 842462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11392340096115646709.smt2 842462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16431050708285056696.smt2 842478 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props12964414847835741205.smt2 842493 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11295605304041245509.smt2 842493 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props4637045885554491638.smt2 842509 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props7963704627564423.smt2 842509 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5272426988073785785.smt2 842509 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9929370126389481667.smt2 842509 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props5641806789007532184.smt2 842509 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props6376381740053849836.smt2