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.001s | 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.006s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | 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.002s | 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
888069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props11463070336300637546.key 888069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.3ns 888069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 888287 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 888287 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 888287 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 888287 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 889065 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 894576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.51s 894592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11463070336300637546.key 894607 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 894686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13980196396505085268.key 894686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.8ns 894686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 899547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 899563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13980196396505085268.key 899563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 899578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4067641648978842311.key 899578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.1ns 899578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 904377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s 904392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4067641648978842311.key 904392 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 904392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props11273811278307395974.key 904392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.8ns 904408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 909241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 909256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11273811278307395974.key 909256 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 909256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props12813173703775731693.key 909256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.4ns 909272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 914134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 914150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props12813173703775731693.key 914150 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 914150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props13513703327325908523.key 914150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.6ns 914150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 918933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s 918949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props13513703327325908523.key 918949 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 918965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15722185083907916695.key 918965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.9ns 918965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 923880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 923896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15722185083907916695.key 923896 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 923896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props15557601654200035211.key 923896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.4ns 923911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 928769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 928784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props15557601654200035211.key 928784 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 928784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14263055272841454665.key 928784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.1ns 928800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 933593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 933609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14263055272841454665.key 933609 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 933624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props13189136688978257763.key 933624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153ns 933624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 938635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13189136688978257763.key 938635 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 938651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props5600525401797758591.key 938651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 405.3ns 938651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 943497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 943513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props5600525401797758591.key 943513 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 943513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props17687164454277192372.key 943513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 378.1ns 943513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 948468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 948484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17687164454277192372.key 948484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 948484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props13136132621507461467.key 948484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.2ns 948499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 953340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 953356 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13136132621507461467.key 953356 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 953356 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16417064246352477609.key 953356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.8ns 953371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 958292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 958307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16417064246352477609.key 958307 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 958323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17317965559035222945.key 958323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.2ns 958323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 963099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 963115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17317965559035222945.key 963115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 963130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props13238920117252521648.key 963130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.4ns 963130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 968364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 968379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13238920117252521648.key 968379 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 968395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props11246604869220115114.key 968395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.4ns 968395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 973473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 973488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11246604869220115114.key 973488 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 973504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11002935398219450690.key 973504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 371.6ns 973504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 978534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 978550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11002935398219450690.key 978550 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 978550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props2307365885883637398.key 978550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 403.2ns 978566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 983492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 983508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props2307365885883637398.key 983508 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 983508 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 983508 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 983508 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 983508 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 983508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props4579676081482439345.key 983508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.6ns 983523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 988554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 988570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4579676081482439345.key 988570 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 988585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props17090954599779720545.key 988585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.2ns 988585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 993677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 993693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17090954599779720545.key 993693 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 993708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props6224543207709638214.key 993708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.4ns 993708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 998748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 998771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6224543207709638214.key 998787 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 998787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11245244984851416763.key 998787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.1ns 998787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1003710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1003726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11245244984851416763.key 1003726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1003726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9179198220945736.key 1003726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.5ns 1003741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1008770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1008786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9179198220945736.key 1008786 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.7ns 1009146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5317151754490042925.key 1009146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 316.2ns 1009146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1014104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1014120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5317151754490042925.key 1014120 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.2ns 1014120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14811048167720929597.key 1014120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.4ns 1014135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1018963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s 1018978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14811048167720929597.key 1018978 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.4ns 1018978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5616307115673234263.key 1018994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.9ns 1018994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1023845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 1023861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5616307115673234263.key 1023861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.6ns 1023861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props14979677423564016360.key 1023861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 423.5ns 1023876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1028798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1028813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props14979677423564016360.key 1028813 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1028813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16774901456349279892.key 1028813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.6ns 1028829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1033745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 1033760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16774901456349279892.key 1033776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1033776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8017959909792674442.key 1033776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.6ns 1033776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1038742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1038757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8017959909792674442.key 1038757 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1038757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props14655072255858037134.key 1038757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.2ns 1038757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1043811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1043827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props14655072255858037134.key 1043827 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1043842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props2558251702578059016.key 1043842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.1ns 1043842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1048764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1048780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2558251702578059016.key 1048780 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1048780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14255141698000869717.key 1048780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.7ns 1048796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1053642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 1053657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14255141698000869717.key 1053657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1053657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17154528288084845356.key 1053657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.9ns 1053673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1058572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 1058588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17154528288084845356.key 1058588 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1058588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props14395925962968849801.key 1058588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.8ns 1058604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1063553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1063569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14395925962968849801.key 1063569 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1063569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props11043938104925798631.key 1063569 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.1ns 1063569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1068541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1068557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11043938104925798631.key 1068557 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 1068557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16086186597392583583.key 1068557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.6ns 1068572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1073560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1073575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16086186597392583583.key 1073575 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1073575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7564040330893713855.key 1073591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 431.7ns 1073591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1078506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1078521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7564040330893713855.key 1078521 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1078537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11315600502947148916.key 1078537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.9ns 1078537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1083432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 1083448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11315600502947148916.key 1083463 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1083463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1780141016424390226.key 1083463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455.7ns 1083463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1088458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 1088474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1780141016424390226.key 1088474 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1088474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props11019360340632222837.key 1088474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.1ns 1088474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1093414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 1093429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11019360340632222837.key 1093429 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1093429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props120756483845043510.key 1093429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.6ns 1093445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1098311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 1098327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props120756483845043510.key 1098342 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1098342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props9817312533627412047.key 1098342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 347.2ns 1098342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1103180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 1103196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props9817312533627412047.key 1103196 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1103211 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1103211 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1103211 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1103211 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1103211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props6682960019203113874.key 1103211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.4ns 1103211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1108240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1108255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6682960019203113874.key 1108255 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1108255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2083397686223180409.key 1108255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.6ns 1108255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1113078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 1113094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2083397686223180409.key 1113094 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1113094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5644323070731628026.key 1113094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.8ns 1113109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1118046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1118061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5644323070731628026.key 1118061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1118077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12643898215182981927.key 1118077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 405.9ns 1118077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1123035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1123051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12643898215182981927.key 1123067 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1123067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props113132090757051180.key 1123067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.5ns 1123067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1128052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 1128067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props113132090757051180.key 1128067 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1128083 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.props15571705865266110794.smt2 1128083 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.props17590876668850417837.smt2 1128083 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.props1728471951801944733.smt2 1128083 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.props7112504324618083143.smt2 1128083 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.props420620819377763904.smt2 1128083 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.props11121428957585442258.smt2 1128083 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.props9749855242420673693.smt2 1128083 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.props10367401374587964721.smt2 1128098 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.props1794977574193506151.smt2 1128098 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.props17268572542763004520.smt2 1128098 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.props8881111679897857103.smt2 1128098 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.props2392917147535940828.smt2 1128098 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.props15421443110762305300.smt2 1128098 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.props9369755348134612153.smt2 1128098 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.props1673482691057248258.smt2 1128098 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.props1494124757582183478.smt2 1128098 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.props15264653524630269243.smt2 1128098 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.props9077729256554687963.smt2 1128114 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.props7104857565708894137.smt2 1128114 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.props11451513460957047414.smt2 1128114 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.props13494565174963538740.smt2 1128114 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.props13432735348135472175.smt2 1128114 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.props3299161497058587651.smt2 1128114 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.props10725529931200153445.smt2