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.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | 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.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | 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.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
754381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17399675083307077540.key 754381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206ns 754396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754543 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 754558 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 754558 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 754558 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 755264 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 759719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 759735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17399675083307077540.key 759735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 759782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props17407315111240008667.key 759782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.5ns 759782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 763778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props17407315111240008667.key 763778 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 763796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props2820063546754912200.key 763796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 366.6ns 763798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 767826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props2820063546754912200.key 767826 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 767826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6849167577202720637.key 767826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.9ns 767826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 771863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6849167577202720637.key 771863 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 771878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props15571034866078196922.key 771878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.5ns 771878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 775927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props15571034866078196922.key 775927 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 775927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5440002952668210508.key 775927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.7ns 775943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 780014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 780029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5440002952668210508.key 780029 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 780046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props18082791491443283741.key 780046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.9ns 780046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 784118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 784134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props18082791491443283741.key 784134 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 784150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7433023170026761905.key 784150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 377.6ns 784150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 788227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 788243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7433023170026761905.key 788258 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 788258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props3575957299022317093.key 788258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.6ns 788258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 792361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3575957299022317093.key 792377 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 792377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props818777484351124638.key 792377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 418.2ns 792377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 796471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 796487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props818777484351124638.key 796502 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 796502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3670390465408396376.key 796502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.6ns 796502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 800711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3670390465408396376.key 800711 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 800711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props11547567836913446199.key 800711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.8ns 800726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 804817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 804832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11547567836913446199.key 804832 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 804848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16130495234334524624.key 804848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.7ns 804848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 808928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 808944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16130495234334524624.key 808944 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 808959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props3309255740660010422.key 808959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.8ns 808959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 813133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 813148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3309255740660010422.key 813148 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 813148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props1494690633125941859.key 813148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.1ns 813148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 817235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 817251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1494690633125941859.key 817251 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 817266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props10406232182898553617.key 817266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 445.3ns 817266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 821450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props10406232182898553617.key 821450 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 821450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props2718923929592920808.key 821450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138ns 821466 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 825546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 825561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2718923929592920808.key 825608 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 825608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16778483047550851514.key 825608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.6ns 825608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 829712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 829728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16778483047550851514.key 829728 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 829744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props9311937281425553640.key 829744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.8ns 829744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 833913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 833928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props9311937281425553640.key 833928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 833928 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 833928 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 833928 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 833928 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 833928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1828807163994929653.key 833928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.7ns 833944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 838029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 838045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1828807163994929653.key 838045 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 838045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3716511515009989945.key 838045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.5ns 838045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 842229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 842245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3716511515009989945.key 842245 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 842245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16536695836442667436.key 842245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.9ns 842260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 846444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 846459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16536695836442667436.key 846459 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 846475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props817345100475297207.key 846475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134ns 846475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 850623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 850638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props817345100475297207.key 850638 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 850638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props10591884289263505857.key 850638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.1ns 850653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 854845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props10591884289263505857.key 854860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 855124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props3084603836185300755.key 855124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.2ns 855139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 859363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 859379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3084603836185300755.key 859379 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 859379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props5119130185587124544.key 859379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.9ns 859379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 863513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 863528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5119130185587124544.key 863528 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 863544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props1001397175645317039.key 863544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.7ns 863544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 867753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 867768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1001397175645317039.key 867768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 867768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props11754971667078841563.key 867768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 345.3ns 867768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 871937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 871953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11754971667078841563.key 871953 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 871953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props7943340830160581676.key 871953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.4ns 871953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 876079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 876111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7943340830160581676.key 876111 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 74.5ns 876111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props4684493125065431423.key 876111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.8ns 876111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 880206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 880223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props4684493125065431423.key 880223 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 880223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props3046318837530209517.key 880223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.5ns 880223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 884374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 884390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3046318837530209517.key 884390 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 884390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props18201431695208885978.key 884390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.7ns 884390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 888529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 888544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props18201431695208885978.key 888544 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 888544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props10241080322290047665.key 888544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.5ns 888544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 892679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 892695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10241080322290047665.key 892695 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 892710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17635548597831023936.key 892710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 370.2ns 892710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 896833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 896849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17635548597831023936.key 896849 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 896864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10888837866788358485.key 896864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 350.8ns 896864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 900962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 900978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10888837866788358485.key 900978 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 900994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13394265636606730406.key 900994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.7ns 900994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 905128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 905143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13394265636606730406.key 905143 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 905159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props2307662468224324769.key 905159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.3ns 905159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 909295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 909310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2307662468224324769.key 909326 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 909326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props4192766973781392717.key 909326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 400.5ns 909326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 913436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 913452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props4192766973781392717.key 913452 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 913452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props5423475393092489443.key 913452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.9ns 913452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 917627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 917642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5423475393092489443.key 917642 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 917658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7633678636386599902.key 917658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.3ns 917658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 921779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7633678636386599902.key 921779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 921779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props17474832090227330094.key 921779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 376.5ns 921795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 925907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props17474832090227330094.key 925907 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 925907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9374810589586077093.key 925907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.8ns 925907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 930002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 930017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9374810589586077093.key 930032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 930032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3690425008678622145.key 930032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.4ns 930032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 934192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 934208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3690425008678622145.key 934208 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 934208 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 934208 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 934208 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 934208 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 934208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9293304463205038698.key 934208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.8ns 934208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 938335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9293304463205038698.key 938335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 938335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props1481517901785268243.key 938335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.7ns 938335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 942493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 942516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1481517901785268243.key 942516 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 942516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17809390222253543162.key 942516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.6ns 942525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 946622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 946638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17809390222253543162.key 946638 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 946638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11810183565984832393.key 946638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.6ns 946653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 950775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 950806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11810183565984832393.key 950806 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 950806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props10855678901861382188.key 950806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.9ns 950806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 954902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 954917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props10855678901861382188.key 954917 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 954933 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.props3603907368368876860.smt2 954933 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.props7881994880956637564.smt2 954933 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.props13422124937397219423.smt2 954933 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.props8251836248615225584.smt2 954933 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.props11817710485876581095.smt2 954933 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.props15575695959933997557.smt2 954949 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.props3672417112786514101.smt2 954949 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.props16647028168211604817.smt2 954949 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.props17680304185942477405.smt2 954949 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.props14386452511832287392.smt2 954949 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.props5819296276107952828.smt2 954949 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.props17806497788511803583.smt2 954949 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.props16315353599284090062.smt2 954949 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.props17424274300943171986.smt2 954949 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.props14921527191945091882.smt2 954964 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.props2860786262784710296.smt2 954964 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.props1386261765864088851.smt2 954964 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.props9845644810993513511.smt2 954964 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.props4406508555132924295.smt2 954964 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.props316664981710612008.smt2 954964 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.props15503804876262117784.smt2 954964 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.props13518909825938522675.smt2 954980 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.props17940979160718215954.smt2 954982 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.props9286810294827754940.smt2