Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.004s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.004s | 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.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.006s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | 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.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.003s | 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
699023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props12152175707194884844.key 699023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263ns 699023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699211 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 699211 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 699226 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 699226 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 699867 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 703995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 704011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12152175707194884844.key 704011 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 704042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props1174173216269997934.key 704042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.3ns 704042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 707621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1174173216269997934.key 707621 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 707636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10436308565672573244.key 707636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 463.1ns 707652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 711653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10436308565672573244.key 711669 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 711669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16117125739441377638.key 711669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 378.9ns 711669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 715187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16117125739441377638.key 715187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 715203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props15611181757385061774.key 715203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.4ns 715203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 718723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props15611181757385061774.key 718723 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 718723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props18019585538728418426.key 718723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.6ns 718739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 722272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props18019585538728418426.key 722287 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 722287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props16397855097637532494.key 722287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.5ns 722287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 725822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props16397855097637532494.key 725822 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 725822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props16278267336662756673.key 725822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.6ns 725822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 729432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props16278267336662756673.key 729448 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 729448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props13358237154204373319.key 729448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.2ns 729448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 733028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13358237154204373319.key 733028 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 733043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17701064979435101606.key 733043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.02ms 733043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 736733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17701064979435101606.key 736733 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 736748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3434323777159011190.key 736748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.3ns 736748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 740390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3434323777159011190.key 740390 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 740406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9080683012944309843.key 740406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 430.7ns 740406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 744142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9080683012944309843.key 744142 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 744158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9427849680511781923.key 744158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.9ns 744158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 747879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9427849680511781923.key 747879 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 747895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14356457342479524046.key 747895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 669.3ns 747895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 751664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14356457342479524046.key 751664 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 751664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props13681790617422353045.key 751664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.8ns 751680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 755292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13681790617422353045.key 755292 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 755307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props4464088675018012357.key 755307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162ns 755307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 759060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props4464088675018012357.key 759060 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 759060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15574982062801174778.key 759060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392.5ns 759076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 762733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15574982062801174778.key 762733 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 762733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1488118856015093492.key 762733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 476.4ns 762749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 766484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1488118856015093492.key 766484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 766500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props5144362266167691471.key 766500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 407.6ns 766500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 770174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 770189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props5144362266167691471.key 770189 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 770189 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 770189 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 770189 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 770189 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 770205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props16350331922350565938.key 770205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.4ns 770205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 773707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 773722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16350331922350565938.key 773722 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 773738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9740993682947392131.key 773738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.8ns 773738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 777443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 777458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9740993682947392131.key 777474 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 777474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1431086390336571091.key 777474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.4ns 777474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 781022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 781054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1431086390336571091.key 781054 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 781054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3568066128249766689.key 781054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.2ns 781054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 784760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 784776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3568066128249766689.key 784776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 784776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12281934359609073075.key 784792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 401.7ns 784792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 788527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 788543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12281934359609073075.key 788558 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 788965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4441565693780192944.key 788965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189ns 788965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 792544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4441565693780192944.key 792544 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 792544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props3118066754685290249.key 792544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.1ns 792544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 796202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 796218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3118066754685290249.key 796218 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 796218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props13870172122691366869.key 796218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 351.7ns 796233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 799890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13870172122691366869.key 799890 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 799890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17261151776169309599.key 799890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.4ns 799906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 803612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17261151776169309599.key 803612 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 803612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props7598015065313001890.key 803612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.6ns 803627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 807239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7598015065313001890.key 807239 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 807239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15285076650489055825.key 807239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 444ns 807255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 810929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15285076650489055825.key 810929 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 810945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props5772029972838137705.key 810945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 439.6ns 810945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 814604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5772029972838137705.key 814604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 814619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props18338736877408555734.key 814619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.5ns 814619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 818309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 818325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props18338736877408555734.key 818340 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 818340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props16298742981478262266.key 818340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.6ns 818356 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 822103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 822119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16298742981478262266.key 822134 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 822134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15776728668121142479.key 822134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 616.6ns 822134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 826137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 826168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15776728668121142479.key 826168 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 826168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3902197781529212447.key 826168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 388.3ns 826168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 829783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 829814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3902197781529212447.key 829814 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 829830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3237388692386194328.key 829830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 508ns 829830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 833410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 833441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3237388692386194328.key 833441 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 833441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16340286685399260382.key 833441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.7ns 833457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 836960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 836976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16340286685399260382.key 836976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 836992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props18400263233326183819.key 836992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.2ns 836992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 840400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 840416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props18400263233326183819.key 840416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 840416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11647421646633652254.key 840416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.4ns 840416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 843888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 843904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11647421646633652254.key 843904 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 843919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2870171323887410181.key 843919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.7ns 843919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 847422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 847437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2870171323887410181.key 847437 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 847437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9212210750572202515.key 847437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.3ns 847453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 850971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 850987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9212210750572202515.key 850987 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 851002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7510684541241311890.key 851002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 419.7ns 851002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 854598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7510684541241311890.key 854598 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 854614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props4815218228319827999.key 854614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.7ns 854614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 858194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 858209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props4815218228319827999.key 858209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 858225 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 858225 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 858225 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 858225 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 858225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14528301985029466683.key 858225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.4ns 858225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 861836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14528301985029466683.key 861836 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 861851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props13920988823186574763.key 861851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.9ns 861851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 865541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 865557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props13920988823186574763.key 865557 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 865572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17111041513034627712.key 865572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.7ns 865572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 869246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 869262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17111041513034627712.key 869262 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 869262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13607626160658045180.key 869262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.8ns 869278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 872967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 872982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13607626160658045180.key 872998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 872998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14828078322628099592.key 872998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.8ns 872998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 876641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 876657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14828078322628099592.key 876657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 876672 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.props6002446585310060543.smt2 876672 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.props14344644732732742032.smt2 876672 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.props2547250117163064116.smt2 876672 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.props7564294356641645926.smt2 876672 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.props13064789179071708968.smt2 876672 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.props2577427610193378754.smt2 876688 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.props3427994465535932376.smt2 876688 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.props3928662226568196137.smt2 876688 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.props5266561438749554430.smt2 876688 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.props15160842029056302540.smt2 876704 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.props7571117084054674508.smt2 876704 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.props1518264309003189461.smt2 876704 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.props6994354999571453646.smt2 876704 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.props4311737062718513119.smt2 876719 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.props8467206589430774283.smt2 876719 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.props6092212206842849621.smt2 876719 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.props13586933547502037163.smt2 876719 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.props10518928803534879316.smt2 876719 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.props6669573073971490402.smt2 876719 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.props17308366245811923052.smt2 876735 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.props169448152179754441.smt2 876735 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.props955119831473365111.smt2 876735 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.props9195074275501922772.smt2 876735 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.props7643121469798728088.smt2