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.001s | 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.003s | 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.003s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.003s | 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.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
886341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props3887734645586178692.key 886341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.6ns 886341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 886517 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 886517 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 886517 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 886517 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 887674 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 892937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.59s 892952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3887734645586178692.key 892952 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 892999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10844642946226776520.key 892999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.6ns 892999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 898158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 898173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10844642946226776520.key 898173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 898189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4678636946593916084.key 898189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.7ns 898197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 902950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 902981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4678636946593916084.key 902981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 902981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16731401097680080483.key 902981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.1ns 902981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 907748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 907764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16731401097680080483.key 907764 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 907779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5524888805943593053.key 907779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.7ns 907779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 912547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s 912563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5524888805943593053.key 912563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 912580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9351844827181056502.key 912580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.3ns 912581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 917254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 917286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9351844827181056502.key 917286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 917286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props222818633259657413.key 917286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 469ns 917301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 922088 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s 922104 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props222818633259657413.key 922104 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 922119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9782611674921629294.key 922119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.4ns 922119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 926845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 926860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9782611674921629294.key 926876 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 926876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14060255517370402055.key 926876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 416.4ns 926876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 931720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 931735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14060255517370402055.key 931735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 931751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11176700532184923597.key 931751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 436.4ns 931751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 936616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 936647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11176700532184923597.key 936647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 936647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7902434642846612259.key 936647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 388.3ns 936679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 941838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 941853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7902434642846612259.key 941853 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 941853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props14378777344672768385.key 941853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.7ns 941869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 946480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 946495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14378777344672768385.key 946511 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 946511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10997629471608103169.key 946511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.3ns 946527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 951142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 951158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10997629471608103169.key 951158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 951158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7982976110377360860.key 951158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.2ns 951173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 955894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 955909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7982976110377360860.key 955925 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns 955925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15531186127724562718.key 955925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.1ns 955925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 960683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 960699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15531186127724562718.key 960699 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 960714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8394697509810366427.key 960714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.3ns 960714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 965510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 965542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8394697509810366427.key 965542 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 965542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10058751460657702993.key 965542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.1ns 965542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 970279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 970317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10058751460657702993.key 970317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 970327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props2504165162245496080.key 970327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.7ns 970327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 975097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s 975112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2504165162245496080.key 975128 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 975128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props18056857157664213483.key 975128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.5ns 975128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 979994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 980010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props18056857157664213483.key 980010 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 980025 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 980028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 980028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 980030 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 980030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9565499132487630162.key 980030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.2ns 980030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 984935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 984967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9565499132487630162.key 984967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 984967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props18350307031146128901.key 984967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.7ns 984967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s 989595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props18350307031146128901.key 989595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 989595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17223400225257711188.key 989595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.8ns 989595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 994269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 994285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17223400225257711188.key 994285 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 994300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props17194569292075826947.key 994300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.7ns 994300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 999241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 999257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props17194569292075826947.key 999257 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 999272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props17710580825126193358.key 999272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.7ns 999272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1004012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 1004028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17710580825126193358.key 1004028 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1004538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props13963074513330253766.key 1004538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.9ns 1004538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1009474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1009490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props13963074513330253766.key 1009506 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1009506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props2993858118792999470.key 1009506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 378.7ns 1009506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1014196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 1014212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props2993858118792999470.key 1014212 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1014227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5981834241863548529.key 1014227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 587.3ns 1014227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1019090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 1019106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5981834241863548529.key 1019106 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1019121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props18121069762780580617.key 1019121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.6ns 1019121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1023758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s 1023773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18121069762780580617.key 1023789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1023789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props7242626705780787422.key 1023789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.3ns 1023789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1028965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 1028997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7242626705780787422.key 1028997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.2ns 1028997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props840465822664966930.key 1028997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.8ns 1028997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1033691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 1033706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props840465822664966930.key 1033706 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 1033722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11596793475287495419.key 1033722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.7ns 1033722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1039033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1039048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11596793475287495419.key 1039048 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 1039048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4282820055434989894.key 1039048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 447.9ns 1039048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1043870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 1043902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4282820055434989894.key 1043902 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1043917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2271728891340890965.key 1043917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 487.5ns 1043917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1048668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 1048700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2271728891340890965.key 1048700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 1048700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props10109247058230573793.key 1048700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.9ns 1048700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1053551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 1053582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props10109247058230573793.key 1053582 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1053582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15242512354554053578.key 1053582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.8ns 1053582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1058382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 1058398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15242512354554053578.key 1058413 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1058413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5843867889743177797.key 1058413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 475.7ns 1058413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1063363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1063394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5843867889743177797.key 1063394 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1063394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props7249505792093971795.key 1063394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns 1063410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1068348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1068379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props7249505792093971795.key 1068379 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1068395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props3176061147558277672.key 1068395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 697.7ns 1068410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1073328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 1073343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3176061147558277672.key 1073359 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1073359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11002533597069843555.key 1073359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.3ns 1073359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1078002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 1078017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11002533597069843555.key 1078017 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1078033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11800054904118026356.key 1078033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.4ns 1078033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1082869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 1082884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11800054904118026356.key 1082884 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1082900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props13631324659355244720.key 1082900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 839.9ns 1082900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1087703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 1087719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props13631324659355244720.key 1087719 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1087719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15644145684699768701.key 1087719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.6ns 1087719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1092805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1092837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15644145684699768701.key 1092837 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.7ns 1092837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12066077027919490055.key 1092852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 495.8ns 1092852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1097573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.72s 1097589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12066077027919490055.key 1097589 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.5ns 1097589 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1097589 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1097589 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1097589 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1097589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1665760445062559213.key 1097589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns 1097589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1102288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 1102304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1665760445062559213.key 1102304 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1102304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5824138551542703755.key 1102304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.4ns 1102319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1107079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s 1107094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5824138551542703755.key 1107110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1107110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props10880625615082266553.key 1107110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.2ns 1107110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1111870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s 1111901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10880625615082266553.key 1111901 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1111901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14949722835188920291.key 1111901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.1ns 1111901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1116613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s 1116628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14949722835188920291.key 1116628 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1116650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2250944849883439203.key 1116650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151ns 1116653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1121365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.72s 1121381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2250944849883439203.key 1121381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1121381 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.props1482354272615908818.smt2 1121396 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.props10340938964945841894.smt2 1121396 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.props10384115258081068547.smt2 1121396 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.props12525230730034434730.smt2 1121396 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.props6715811485816584356.smt2 1121396 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.props8278990408752784600.smt2 1121396 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.props4384003496234137658.smt2 1121396 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.props18428660402383191101.smt2 1121396 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.props5349110519245438056.smt2 1121412 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.props13420978476667532756.smt2 1121412 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.props18343890977190792477.smt2 1121412 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.props15398734722695593550.smt2 1121412 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.props5722584313344845790.smt2 1121412 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.props11493234127083450361.smt2 1121412 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.props15171262399379951549.smt2 1121412 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.props1350325978044300143.smt2 1121412 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.props17673865198120119059.smt2 1121412 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.props3417457759508210984.smt2 1121412 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.props2837209746337071997.smt2 1121428 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.props10212572843754847858.smt2 1121428 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.props6791610263108490259.smt2 1121428 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.props6547277581284057425.smt2 1121428 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.props3855015078219129489.smt2 1121428 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.props11606649383453687745.smt2