Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
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