Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest

48

tests

0

failures

24

ignored

0.300s

duration

100%

successful

Tests

Test Method name Duration Result
[10] float.sinDouble.props testTranslation(TestData)[10] 0s passed
[11] float.sqrt1.props testTranslation(TestData)[11] 0.001s passed
[12] float.sqrt2.props testTranslation(TestData)[12] 0.001s 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.001s passed
[17] ite1.props testTranslation(TestData)[17] 0.002s 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.001s passed
[3] bool3.props testTranslation(TestData)[3] 0.002s 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] 0.002s 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

756010     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props11285888437805783099.key 
756010     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.7ns 
756010     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
756272     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
756272     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
756272     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
756272     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
757018     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
761408     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 
761424     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11285888437805783099.key 
761424     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
761471     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10624447042588034646.key 
761471     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.3ns 
761471     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
765687     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 
765702     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10624447042588034646.key 
765702     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
765717     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6450965254417607517.key 
765717     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 489ns 
765717     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
769937     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 
769952     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6450965254417607517.key 
769952     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 
769968     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6919248982451586865.key 
769968     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.2ns 
769968     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
774151     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 
774167     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6919248982451586865.key 
774167     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
774182     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5052162415565238161.key 
774182     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.2ns 
774182     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
778371     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 
778387     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5052162415565238161.key 
778387     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
778402     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12449379351968481945.key 
778402     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.1ns 
778402     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
782649     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 
782665     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12449379351968481945.key 
782665     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
782665     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props13639047146267379371.key 
782665     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.8ns 
782665     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
786933     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 
786949     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13639047146267379371.key 
786965     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 
786965     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props549245817973714014.key 
786965     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.6ns 
786965     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
791216     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 
791231     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props549245817973714014.key 
791231     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
791231     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props12086226841781397066.key 
791231     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.1ns 
791231     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
795456     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 
795472     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12086226841781397066.key 
795472     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
795487     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11873954622509237999.key 
795487     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 641.8ns 
795487     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
799729     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 
799744     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11873954622509237999.key 
799744     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
799761     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13199014375547220207.key 
799761     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.6ns 
799761     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
803997     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 
804012     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13199014375547220207.key 
804012     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
804028     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props11035543991210014133.key 
804028     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 439.1ns 
804028     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
808304     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 
808320     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11035543991210014133.key 
808320     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
808320     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14859622221799363905.key 
808320     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.6ns 
808336     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
812614     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 
812629     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14859622221799363905.key 
812629     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
812645     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props13172902016346573131.key 
812645     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.1ns 
812645     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
816918     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 
816934     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13172902016346573131.key 
816934     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
816934     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props5415277633726382464.key 
816934     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.1ns 
816934     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
821167     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 
821182     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5415277633726382464.key 
821182     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
821198     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16396457881793104617.key 
821198     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.6ns 
821198     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
825409     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 
825425     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16396457881793104617.key 
825425     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
825440     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props2784669013782805930.key 
825440     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.4ns 
825440     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
829730     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 
829746     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2784669013782805930.key 
829746     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
829746     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8186905466667220754.key 
829746     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.3ns 
829746     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
833948     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 
833964     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8186905466667220754.key 
833964     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 
833980     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props5736389389773867241.key 
833980     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 471.1ns 
833980     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
838178     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 
838193     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props5736389389773867241.key 
838193     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
838193     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
838193     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
838193     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
838193     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
838193     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14836002288626831756.key 
838193     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.6ns 
838193     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
842436     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 
842451     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14836002288626831756.key 
842451     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
842451     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props424452920212514041.key 
842451     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.4ns 
842467     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
846650     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 
846665     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props424452920212514041.key 
846665     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
846681     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5487155544485119111.key 
846681     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.6ns 
846681     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
850847     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 
850882     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5487155544485119111.key 
850882     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
850882     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props5911047267051682388.key 
850882     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.9ns 
850882     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
855090     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 
855106     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5911047267051682388.key 
855106     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
855122     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5623579820229491928.key 
855122     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns 
855122     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
859305     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 
859320     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5623579820229491928.key 
859320     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
859611     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props762034789647843927.key 
859611     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.9ns 
859611     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
863904     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 
863920     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props762034789647843927.key 
863920     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
863920     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props3195581185765261744.key 
863920     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.4ns 
863935     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
868320     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 
868335     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3195581185765261744.key 
868335     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
868351     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14311838443024856087.key 
868351     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 217ns 
868351     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
872392     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 
872408     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14311838443024856087.key 
872423     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 
872423     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props13563511429259595599.key 
872423     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.3ns 
872423     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
876590     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 
876605     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props13563511429259595599.key 
876605     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
876605     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5529090398298937152.key 
876605     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.9ns 
876605     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
880682     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 
880698     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5529090398298937152.key 
880698     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35.9ns 
880714     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15473182552261660549.key 
880714     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.9ns 
880714     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
884855     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 
884870     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15473182552261660549.key 
884870     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
884886     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6409586485731714312.key 
884886     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.8ns 
884886     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
889091     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 
889107     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6409586485731714312.key 
889107     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
889107     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props16091901656054894155.key 
889107     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.7ns 
889107     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
893281     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 
893297     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props16091901656054894155.key 
893297     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns 
893312     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8066716833173275699.key 
893312     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 446ns 
893312     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
897515     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 
897530     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8066716833173275699.key 
897530     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
897530     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3854995005855328377.key 
897530     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.2ns 
897530     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
901794     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 
901810     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3854995005855328377.key 
901810     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.2ns 
901810     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props1756564460935381598.key 
901810     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.8ns 
901810     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
905985     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 
906000     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props1756564460935381598.key 
906000     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
906016     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props14930423479732819852.key 
906016     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.5ns 
906016     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
910212     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 
910227     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14930423479732819852.key 
910227     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
910227     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8871712693303412906.key 
910227     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 433.5ns 
910227     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
914333     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 
914411     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8871712693303412906.key 
914411     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
914426     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9527061256737849133.key 
914426     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.7ns 
914426     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
918566     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 
918582     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9527061256737849133.key 
918582     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
918582     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props2420345256234305387.key 
918582     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.8ns 
918597     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
922787     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 
922802     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props2420345256234305387.key 
922802     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
922818     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11866331473587120992.key 
922818     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 450.9ns 
922818     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
927008     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 
927024     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11866331473587120992.key 
927024     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
927024     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9927369812296802062.key 
927024     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.9ns 
927039     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
931215     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 
931230     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9927369812296802062.key 
931230     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 
931230     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7311374888905749857.key 
931230     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.6ns 
931246     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
935475     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 
935490     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7311374888905749857.key 
935490     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
935490     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1419310440037813446.key 
935490     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.9ns 
935490     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
939720     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 
939736     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1419310440037813446.key 
939736     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
939736     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
939736     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
939736     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
939736     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
939751     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props17667981424957077569.key 
939751     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 340.7ns 
939751     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
943981     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 
943997     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props17667981424957077569.key 
943997     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
943997     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props17326603909777474883.key 
943997     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.5ns 
943997     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
948241     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 
948257     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17326603909777474883.key 
948257     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
948273     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5360289746252233633.key 
948273     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.8ns 
948273     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
952530     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 
952545     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5360289746252233633.key 
952545     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
952561     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3013357861194786973.key 
952561     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 223ns 
952561     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
956807     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 
956825     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3013357861194786973.key 
956825     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
956825     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4208499321551438760.key 
956825     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.6ns 
956825     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
961124     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 
961140     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4208499321551438760.key 
961140     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
961140     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.props9626088781301211337.smt2 
961156     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.props8237191810756920398.smt2 
961171     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.props3329701064725582385.smt2 
961171     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.props18372854728810816172.smt2 
961171     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.props4905428677515903291.smt2 
961171     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.props4763556972259479306.smt2 
961171     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.props6007991802744386104.smt2 
961171     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.props14013062479061949492.smt2 
961171     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.props12622735978800851496.smt2 
961171     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.props13705595731864803619.smt2 
961171     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.props16519418345204338936.smt2 
961187     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.props8588295985529607063.smt2 
961187     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.props7421885757441105296.smt2 
961187     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.props12222315909153218310.smt2 
961187     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.props15034667531096738174.smt2 
961187     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.props6725620309175654990.smt2 
961187     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.props8547133539312054295.smt2 
961187     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.props18038593155748406371.smt2 
961187     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.props1852850751102283662.smt2 
961187     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.props7749907589810530792.smt2 
961187     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.props7745640508040996824.smt2 
961187     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.props12570379342089281924.smt2 
961187     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.props9945246171398753497.smt2 
961202     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.props532715454873799018.smt2