Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0s | 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.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | 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.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | 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
494375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props14570452287153036208.key 494375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.1ns 494375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 494492 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 494492 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 494492 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 494492 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 495037 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 497781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 497781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14570452287153036208.key 497781 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 497796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10110228407821861786.key 497796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.5ns 497796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 500292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 500308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10110228407821861786.key 500308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 500308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5793317630460112511.key 500308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.8ns 500308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 502798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 502814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5793317630460112511.key 502814 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns 502814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16572955964913063419.key 502814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.6ns 502814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 505290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 505290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16572955964913063419.key 505290 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 505305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9618998439452397343.key 505305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167ns 505305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 507818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s 507834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9618998439452397343.key 507834 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 507849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1338476294498264702.key 507849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 316.7ns 507849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 510397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 510397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1338476294498264702.key 510397 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 510413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props16061247194990177962.key 510413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111ns 510413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 512913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 512913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props16061247194990177962.key 512913 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 512928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props2627580615735195396.key 512928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.4ns 512928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 515508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 515508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2627580615735195396.key 515508 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 515524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11059502649044542066.key 515524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.6ns 515524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 518037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 518037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11059502649044542066.key 518037 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 518053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11261843004739803809.key 518053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 992.8ns 518053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 520818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 520833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11261843004739803809.key 520833 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 520833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3180364728099791374.key 520833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.6ns 520833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 523426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 523442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3180364728099791374.key 523442 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns 523442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5851978685756099389.key 523442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.2ns 523442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 525960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 525976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5851978685756099389.key 525976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 525976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10348327804396124532.key 525976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.7ns 525976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 528570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 528585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10348327804396124532.key 528585 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 528585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6419556894849066914.key 528585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.6ns 528601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 531189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 531204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6419556894849066914.key 531204 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 531204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props12341613849847922506.key 531204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.2ns 531204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 533806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 533806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12341613849847922506.key 533806 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 533822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14839250334921205646.key 533822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.7ns 533822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 536339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 536339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14839250334921205646.key 536339 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 536355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props4319007559943018523.key 536355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.6ns 536355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 538954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 538970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4319007559943018523.key 538970 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 538970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7081528063562233261.key 538970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.2ns 538970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 541566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 541581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7081528063562233261.key 541581 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 541581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props16602123803158565863.key 541581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.1ns 541597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 544194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 544203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props16602123803158565863.key 544203 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 544203 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 544203 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 544203 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 544203 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 544203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11559403185706024176.key 544203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns 544203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 546785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 546801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11559403185706024176.key 546801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 546801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props11956161479354083728.key 546801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.4ns 546817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 549318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 549318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props11956161479354083728.key 549318 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 549333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props7312092854448547892.key 549333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.3ns 549333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 551955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 551955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7312092854448547892.key 551971 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 551971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props9547573998235381075.key 551971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.9ns 551971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 554591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 554607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9547573998235381075.key 554607 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 554623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props15936534888788126747.key 554623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.1ns 554623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 557267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15936534888788126747.key 557269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 557544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17362469626998019397.key 557544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.2ns 557544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 560182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17362469626998019397.key 560182 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 560182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props12038204005108802019.key 560182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 349.3ns 560198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 562803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 562819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props12038204005108802019.key 562819 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 562819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props1467016701988080037.key 562819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.1ns 562834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 565425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 565439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1467016701988080037.key 565439 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 565439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props13808649057345032536.key 565439 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 355.2ns 565455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 568053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 568069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props13808649057345032536.key 568069 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 568069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8579531681389405936.key 568069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.4ns 568069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 570664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 570680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8579531681389405936.key 570680 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 48ns 570680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props16121259297509696451.key 570680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.1ns 570680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 573212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 573228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16121259297509696451.key 573228 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 573228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1050254223770378053.key 573228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 371.7ns 573243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 575860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 575876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1050254223770378053.key 575876 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 575891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props10689180471439848480.key 575891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 395.3ns 575891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 578512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 578528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props10689180471439848480.key 578528 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 578528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7748196093596642452.key 578528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.3ns 578528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 581148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 581163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7748196093596642452.key 581163 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 581163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props7128617562006972649.key 581163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.6ns 581163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 583871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7128617562006972649.key 583871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 583871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props14165218383538932109.key 583871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.6ns 583871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 586490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14165218383538932109.key 586490 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 586506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props7091230779990633166.key 586506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.4ns 586506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 589110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7091230779990633166.key 589110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 589110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props3669496883538618166.key 589110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.3ns 589126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 591737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props3669496883538618166.key 591737 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 591737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17980282638117975914.key 591737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.6ns 591737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 594345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17980282638117975914.key 594345 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 594361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props8777494457957502260.key 594361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.4ns 594361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 596954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props8777494457957502260.key 596969 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 596969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11372023999359417563.key 596969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.8ns 596969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 599595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11372023999359417563.key 599595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 599595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15271764824924668760.key 599595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.1ns 599595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 602182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 602198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15271764824924668760.key 602198 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 602198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9301838886399541816.key 602198 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.9ns 602198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 604845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 604861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9301838886399541816.key 604861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 604861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3807512185262550108.key 604861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.9ns 604861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 607531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 607546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3807512185262550108.key 607546 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 607546 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 607546 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 607546 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 607546 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 607546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9413753010350026304.key 607546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.6ns 607546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 610167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9413753010350026304.key 610167 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 610167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12309119915625801697.key 610167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.5ns 610167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 612766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 612781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12309119915625801697.key 612781 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 612781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1388181114773669832.key 612781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.5ns 612781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 615377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 615377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1388181114773669832.key 615377 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 615392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props1363415613324436591.key 615392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.3ns 615392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 618053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 618068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props1363415613324436591.key 618068 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 618068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props17714987861186203563.key 618084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.8ns 618084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620674 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 620689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17714987861186203563.key 620689 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 620689 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.props6000751209883755446.smt2 620705 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.props11400484989141879811.smt2 620705 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.props1229385831630180665.smt2 620705 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.props13450139549889796488.smt2 620705 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.props10832403098901808273.smt2 620705 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.props14619706382867664005.smt2 620705 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.props15356628991020151135.smt2 620705 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.props5810144451710965348.smt2 620705 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.props16623725392540476704.smt2 620705 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.props449475179537398037.smt2 620705 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.props6381772094577638331.smt2 620705 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.props2573731138262041431.smt2 620705 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.props2505096502852911539.smt2 620721 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.props9524072343468709258.smt2 620721 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.props11805857771434475807.smt2 620721 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.props17442445238541886207.smt2 620721 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.props3053667172141787250.smt2 620721 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.props7338821616715891862.smt2 620721 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.props17726750848906218836.smt2 620721 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.props10896436280436692155.smt2 620721 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.props1203782407772634479.smt2 620721 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.props15056413422803162831.smt2 620721 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.props14942768306830610158.smt2 620721 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.props9752167529441353232.smt2