Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | 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.004s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | 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.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.003s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.012s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.003s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
680847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props833473910338590895.key 680847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.3ns 680847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681050 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 681050 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 681050 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 681050 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 681691 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 685475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 685491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props833473910338590895.key 685491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 685522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props3111073067233419987.key 685522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.8ns 685522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 688994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3111073067233419987.key 688994 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 689009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14501981808466152931.key 689009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.8ns 689009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 692372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14501981808466152931.key 692387 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 692387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7945908066918704867.key 692387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.6ns 692387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 695701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7945908066918704867.key 695701 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 695717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13983596902148855664.key 695717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.9ns 695717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 699141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13983596902148855664.key 699141 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 699141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1402530612219831590.key 699141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.9ns 699157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 702550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1402530612219831590.key 702550 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 702550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props17729502858510835902.key 702550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.1ns 702550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 705941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17729502858510835902.key 705941 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 705941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props18412763759775979559.key 705941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.5ns 705941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 709382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props18412763759775979559.key 709382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 709398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props841202711170702995.key 709398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.9ns 709398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 712962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props841202711170702995.key 712962 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 712978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14559254986329397789.key 712978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 407.2ns 712978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 716464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14559254986329397789.key 716464 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 716480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7403612200286060439.key 716480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.4ns 716480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 719919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7403612200286060439.key 719919 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 719935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props501283891525387489.key 719935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 439.3ns 719935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 723515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props501283891525387489.key 723515 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 723515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8915778767927978549.key 723515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.3ns 723515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 726987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8915778767927978549.key 727003 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 727003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2408698799165770213.key 727003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280ns 727003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 730458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2408698799165770213.key 730458 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 730474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9141663170283838532.key 730474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164ns 730474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 734069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9141663170283838532.key 734069 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 734084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props5847697146286273522.key 734084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.6ns 734084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 737540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5847697146286273522.key 737540 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 737555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props6758183276030659830.key 737555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 443.2ns 737555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 741151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6758183276030659830.key 741151 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 741167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8300363386988687359.key 741167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 490.1ns 741167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 744593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8300363386988687359.key 744593 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 744593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props18076558125552992835.key 744593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.7ns 744608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 747984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props18076558125552992835.key 747984 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 748000 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 748000 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 748000 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 748000 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 748000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15078993421247106454.key 748000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.5ns 748000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 751566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15078993421247106454.key 751566 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 751566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2153194028074946518.key 751566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 542.7ns 751581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 755005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2153194028074946518.key 755005 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 755022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16895056253707596371.key 755022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.1ns 755022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 758569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16895056253707596371.key 758569 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 758584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props18019408685485487937.key 758584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.7ns 758584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 762024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props18019408685485487937.key 762024 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 762024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props11932137174678333027.key 762024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.4ns 762024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 765557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props11932137174678333027.key 765557 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 766151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props18285459126953639588.key 766151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.9ns 766151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 769559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props18285459126953639588.key 769559 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 769575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props16351544990067915191.key 769575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.8ns 769575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 773046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 773062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16351544990067915191.key 773062 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 773062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props9238326895455531570.key 773078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 412.9ns 773078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 776690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props9238326895455531570.key 776690 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 776690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4293661179942602266.key 776690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294ns 776690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 780020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 780036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4293661179942602266.key 780036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 780051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props1240621350228933127.key 780051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 600.1ns 780051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 783320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1240621350228933127.key 783320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 783320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10886789605982089563.key 783320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.9ns 783320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 786400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10886789605982089563.key 786400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 786416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7908397123126074408.key 786416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.2ns 786416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 789636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 789652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7908397123126074408.key 789652 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 789667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3089966886601915075.key 789667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.2ns 789667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 792732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3089966886601915075.key 792732 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 792747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props4314639500685601583.key 792747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.9ns 792747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 796015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 796030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4314639500685601583.key 796030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 796046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8817543715994877869.key 796046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.6ns 796046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 799329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8817543715994877869.key 799329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 799329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props14281460848670655153.key 799329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 337ns 799329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 802816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14281460848670655153.key 802816 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.2ns 802862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3747335442073691443.key 802862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 533.4ns 802862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 806020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3747335442073691443.key 806020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 806020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17184344236953512731.key 806020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.3ns 806020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 809287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 809303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17184344236953512731.key 809303 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 809303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props13157515707749507735.key 809303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 303.6ns 809303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 812306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 812321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13157515707749507735.key 812321 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 812321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props432092065643973488.key 812321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.3ns 812321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 815354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 815369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props432092065643973488.key 815385 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 815385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16182089821596035697.key 815385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.1ns 815385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 818480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 818495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16182089821596035697.key 818495 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 818495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props3851524473541282200.key 818495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.2ns 818511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 821778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3851524473541282200.key 821778 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 821794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9144721428893405246.key 821794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 338.4ns 821794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 825015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 825046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9144721428893405246.key 825046 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 825046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props6902452441811679157.key 825046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 531.7ns 825062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 828188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 828204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6902452441811679157.key 828204 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 828204 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 828204 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 828204 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 828220 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 828220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props168287936522509686.key 828220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 469.9ns 828220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 831285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props168287936522509686.key 831285 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 831285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6508225085113088662.key 831285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.7ns 831285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 834475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 834490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6508225085113088662.key 834490 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.84ms 834505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16706993935315552427.key 834505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.8ns 834505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 837662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 837678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16706993935315552427.key 837678 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 837678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14979864524057167934.key 837678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.4ns 837678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 841014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 841030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14979864524057167934.key 841030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 841030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9203075743676656522.key 841030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.1ns 841030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 844268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 844283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9203075743676656522.key 844283 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 844299 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.props17077400704395454118.smt2 844299 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.props2927578834606995811.smt2 844315 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.props8726998529804033548.smt2 844315 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.props7075569905312581096.smt2 844315 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.props1221427044905859857.smt2 844315 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.props1003488576167828273.smt2 844330 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.props10830870745382305740.smt2 844330 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.props8138134575708982756.smt2 844330 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.props5048974562029799753.smt2 844330 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.props1940709542521362789.smt2 844330 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.props8562989787191535721.smt2 844330 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.props12642250301165196216.smt2 844330 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.props14183391639733368212.smt2 844330 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.props8573580404661133104.smt2 844330 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.props8580355610190346499.smt2 844346 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.props15534767444329368969.smt2 844346 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.props2906551375395069258.smt2 844346 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.props12063158743677980842.smt2 844346 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.props9390761630171520155.smt2 844346 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.props5390614965751183986.smt2 844346 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.props8325279072507698331.smt2 844346 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.props10756177574555723261.smt2 844346 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.props1961807385980130084.smt2 844362 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.props2947582882773305802.smt2