Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.004s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.003s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.005s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.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.001s | 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
902292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props15737251485043184834.key 902292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179ns 902292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 902573 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 902573 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 902573 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 902573 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 903257 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 908684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.39s 908699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15737251485043184834.key 908715 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 908746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8415201840121447367.key 908746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.1ns 908746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 913686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 913701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8415201840121447367.key 913717 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 913717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props18209379670979978172.key 913717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.7ns 913717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 918664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 918680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props18209379670979978172.key 918680 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 918680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props18445274601786084276.key 918680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.3ns 918696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 923732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 923763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18445274601786084276.key 923763 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 923763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13782221737343696293.key 923763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.5ns 923763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 928844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 928860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13782221737343696293.key 928875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 928875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5178331385219647425.key 928875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.8ns 928875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 933837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 933871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5178331385219647425.key 933873 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.9ns 933873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props13353143762756978700.key 933873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.7ns 933873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 938877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13353143762756978700.key 938877 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 938893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props16065880942820573489.key 938893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151ns 938893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 943987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 944002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props16065880942820573489.key 944002 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 944002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14894648546521676838.key 944002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.9ns 944002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 949095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 949110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14894648546521676838.key 949110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 949126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15672985280844250412.key 949126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 439.5ns 949126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 954256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 954271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15672985280844250412.key 954271 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 954271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props278483646915756156.key 954271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.8ns 954287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 959336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 959367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props278483646915756156.key 959375 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 959383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8093059081151306364.key 959383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.2ns 959383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 964380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 964396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8093059081151306364.key 964396 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 964396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props3302700202769336092.key 964396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.9ns 964411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 969383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 969414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props3302700202769336092.key 969414 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 969414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2289398496693772333.key 969414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.2ns 969414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 974437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 974453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2289398496693772333.key 974469 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 974469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7172007123047088528.key 974469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 313.8ns 974469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 979368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 979384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7172007123047088528.key 979384 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 979400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16762353035861114086.key 979400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.6ns 979400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 984305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 984337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16762353035861114086.key 984337 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 984337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16392956751494386776.key 984337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.6ns 984337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 989338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16392956751494386776.key 989354 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 989354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7604889094372632149.key 989354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.7ns 989354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 994386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 994401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7604889094372632149.key 994401 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 994417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props10569219173221171578.key 994417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.9ns 994417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 999414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 999445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10569219173221171578.key 999445 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 999445 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 999445 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 999461 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 999461 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 999461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props7341307139698855102.key 999461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.3ns 999461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1004368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1004446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7341307139698855102.key 1004446 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 1004462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9836156997037306245.key 1004462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.1ns 1004462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1009418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1009433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9836156997037306245.key 1009449 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1009449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props12884169549895377985.key 1009449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.2ns 1009449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1014450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1014465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props12884169549895377985.key 1014465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1014481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props5725212454633191649.key 1014481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145ns 1014481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1019451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 1019482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5725212454633191649.key 1019482 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1019482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props15299003764587500358.key 1019482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.6ns 1019482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1024582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1024613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15299003764587500358.key 1024613 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1024934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props13650375031362428621.key 1024934 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.4ns 1024934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1029932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1029953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props13650375031362428621.key 1029953 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 1029953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props1349433506803671463.key 1029953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.5ns 1029968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1034882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1034898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1349433506803671463.key 1034898 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1034913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10834526990984453211.key 1034913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.5ns 1034913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1039927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1039943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10834526990984453211.key 1039943 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 1039943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7131722988352634397.key 1039943 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 406.9ns 1039943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1044996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1045012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7131722988352634397.key 1045012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns 1045012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17330800053592094905.key 1045012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 285.3ns 1045012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1050043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1050059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17330800053592094905.key 1050059 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 37.6ns 1050075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props7804296881354903390.key 1050075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.1ns 1050075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1055237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 1055252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7804296881354903390.key 1055252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1055268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props327641960942514139.key 1055268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.8ns 1055268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1060323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1060338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props327641960942514139.key 1060338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1060338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props2061393388730827851.key 1060338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 423.1ns 1060338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1065417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1065432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2061393388730827851.key 1065448 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1065448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11349345886274746367.key 1065448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.7ns 1065448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1070523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1070539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11349345886274746367.key 1070539 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1070539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4800629800312046194.key 1070539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.3ns 1070554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1075587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1075618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4800629800312046194.key 1075618 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1075618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10135520698358193104.key 1075618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.3ns 1075634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1080673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1080690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10135520698358193104.key 1080690 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1080705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props1401645981568502955.key 1080705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 285.9ns 1080705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1085757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1085772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1401645981568502955.key 1085772 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1085772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17413418542974305999.key 1085772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.1ns 1085772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1090782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1090813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17413418542974305999.key 1090813 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1090813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6754877289496627796.key 1090813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.9ns 1090813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1095820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1095836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6754877289496627796.key 1095836 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1095851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props5437483824369426504.key 1095851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.5ns 1095851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1100827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 1100842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5437483824369426504.key 1100842 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 1100858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props9796941572206830776.key 1100858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.3ns 1100858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1105869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1105901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9796941572206830776.key 1105901 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1105901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props5422482274549266161.key 1105901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.2ns 1105901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1110877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 1110893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props5422482274549266161.key 1110908 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1110908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9929446155445194287.key 1110908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.3ns 1110908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1115856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1115871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9929446155445194287.key 1115871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1115871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props2990796030017960739.key 1115871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228ns 1115888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1120715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s 1120731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props2990796030017960739.key 1120731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1120731 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1120731 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1120731 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1120731 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1120731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14662290800758701583.key 1120731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.9ns 1120731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1125694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1125709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14662290800758701583.key 1125709 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 1125709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props4793807907961704258.key 1125709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.5ns 1125725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1130791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1130807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props4793807907961704258.key 1130807 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 1130807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props4374644411915128370.key 1130807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.4ns 1130822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1135808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1135823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4374644411915128370.key 1135823 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1135839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props17670281391930459029.key 1135839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.3ns 1135839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1140839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1140855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props17670281391930459029.key 1140855 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1140855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props11091829036928459948.key 1140855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.9ns 1140870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1145899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1145915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props11091829036928459948.key 1145915 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1145915 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.props11737086840389905953.smt2 1145930 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.props3316285030163605121.smt2 1145930 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.props16505891507084777999.smt2 1145930 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.props13432880390361996566.smt2 1145930 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.props14216456792720936790.smt2 1145930 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.props11289711294390412694.smt2 1145930 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.props14668262294519405825.smt2 1145930 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.props6617650891078741778.smt2 1145930 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.props1569731957941749242.smt2 1145930 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.props16845399965845204427.smt2 1145946 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.props9047224990042688245.smt2 1145946 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.props2789498157107763119.smt2 1145946 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.props758674737030378925.smt2 1145946 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.props9175738758340871393.smt2 1145946 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.props2230723597058320276.smt2 1145946 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.props14924397601560888442.smt2 1145946 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.props16104815949150364468.smt2 1145946 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.props2727160226700160025.smt2 1145962 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.props8245724414335317560.smt2 1145962 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.props11358426806334894502.smt2 1145962 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.props473817791368349801.smt2 1145962 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.props17659362082215062257.smt2 1145962 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.props5245695289152590833.smt2 1145962 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.props4681136402607178810.smt2