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.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.005s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.006s | 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.011s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.006s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.074s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.003s | 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.024s | 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.003s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.005s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
975423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4654641041202972979.key 975423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.5ns 975423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 975906 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 975906 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 975906 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 975906 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 977255 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 983211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.78s 983227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4654641041202972979.key 983227 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 983305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14604931940426456734.key 983305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244ns 983305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 988592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 988608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14604931940426456734.key 988608 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 988623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5865243942201361013.key 988623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.7ns 988623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 994146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s 994162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5865243942201361013.key 994162 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 994162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props13959898461635634269.key 994162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.4ns 994177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 999876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.7s 999891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props13959898461635634269.key 999891 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 999891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17380083267680187798.key 999907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194ns 999907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1005228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 1005260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17380083267680187798.key 1005260 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.2ns 1005260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props3571459269449339073.key 1005260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.2ns 1005275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1010481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 1010512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3571459269449339073.key 1010512 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 1010528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props17961772807112200098.key 1010528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 475.7ns 1010528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1015915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1015931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17961772807112200098.key 1015931 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 1015931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props14735518750215674262.key 1015931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.4ns 1015948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1021341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1021357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props14735518750215674262.key 1021357 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1021357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props5772679408951675483.key 1021357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.9ns 1021373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1026903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.55s 1026935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5772679408951675483.key 1026935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1026935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props2004057747333285078.key 1026935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.7ns 1026950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1032396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 1032412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2004057747333285078.key 1032427 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1032427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props16072880782597403067.key 1032427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.6ns 1032427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1037791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 1037885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16072880782597403067.key 1037885 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1037916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props17437766756026882738.key 1037916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 489.2ns 1037916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1043338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1043353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17437766756026882738.key 1043353 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 1043353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props15597155271531542164.key 1043353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 539.6ns 1043369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1048579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 1048610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props15597155271531542164.key 1048610 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1048625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props960386404645463199.key 1048625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.8ns 1048625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1054338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.71s 1054353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props960386404645463199.key 1054353 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1054353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props13946432630784652847.key 1054353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 446.4ns 1054369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1059891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 1059908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13946432630784652847.key 1059922 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1059938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props13148787767107135396.key 1059938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.4ns 1059938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1065394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 1065425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13148787767107135396.key 1065425 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1065425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16632202881748119678.key 1065425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 673.9ns 1065425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1070799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 1070804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16632202881748119678.key 1070819 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1070819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props12637771474431514408.key 1070819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.5ns 1070819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1076041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 1076135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props12637771474431514408.key 1076135 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns 1076135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props6140972955656429935.key 1076135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 416.9ns 1076135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1081631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 1081662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6140972955656429935.key 1081662 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1081662 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1081662 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1081662 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1081662 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1081662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props7312435522211998642.key 1081662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 278.9ns 1081678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1086859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1086875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7312435522211998642.key 1086875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 1086891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props11013851048555587235.key 1086891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.5ns 1086891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1092289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1092304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props11013851048555587235.key 1092320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1092320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props14967688535824967320.key 1092320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.2ns 1092320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1097671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 1097702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14967688535824967320.key 1097702 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 1097702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16279718243880310660.key 1097702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.6ns 1097717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1103095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1103126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16279718243880310660.key 1103126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1103126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14094903169995943571.key 1103126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.6ns 1103141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1108579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1108595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14094903169995943571.key 1108595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1109047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props10279723525901695142.key 1109047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.4ns 1109047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1114286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 1114302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10279723525901695142.key 1114302 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1114317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7908504778535398251.key 1114317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.3ns 1114317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1119615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 1119631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7908504778535398251.key 1119631 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 34.4ns 1119631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props13806205657115215657.key 1119631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 653.8ns 1119646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1124996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 1125027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13806205657115215657.key 1125027 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1125027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props817397538631568366.key 1125027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.8ns 1125027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1130383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 1130398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props817397538631568366.key 1130414 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.2ns 1130414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14028265637932455148.key 1130414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 573.5ns 1130414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1136097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.67s 1136113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14028265637932455148.key 1136113 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1136113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9531460772659330163.key 1136113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.3ns 1136129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1141383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1141414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9531460772659330163.key 1141414 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1141414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2948754531176513386.key 1141414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.9ns 1141414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1146902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 1146918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2948754531176513386.key 1146918 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns 1146918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props2467627027747915281.key 1146918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.2ns 1146934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1152102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 1152117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2467627027747915281.key 1152117 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 1152117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props3415649655974859655.key 1152117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.4ns 1152117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1157543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1157574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3415649655974859655.key 1157590 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1157605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props113904546013595819.key 1157605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.6ns 1157605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1163047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 1163062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props113904546013595819.key 1163078 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.3ns 1163078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13494895924574769609.key 1163078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298.4ns 1163078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1168223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 1168239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13494895924574769609.key 1168239 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.4ns 1168254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13243356006262842657.key 1168254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 449.4ns 1168254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1173757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s 1173788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13243356006262842657.key 1173788 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14ns 1173788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props738631506464325348.key 1173788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327.3ns 1173788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1179200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1179215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props738631506464325348.key 1179215 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.4ns 1179231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props8772625274175140402.key 1179231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.2ns 1179231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1184677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 1184693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props8772625274175140402.key 1184693 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 1184708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7000825881923501327.key 1184708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.8ns 1184708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1190105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1190121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7000825881923501327.key 1190121 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 1190136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14888456251455629631.key 1190136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.3ns 1190136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1195280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 1195296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14888456251455629631.key 1195296 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 1195296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9431715722040012620.key 1195296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 325.5ns 1195311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1200721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1200737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9431715722040012620.key 1200737 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1200737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props2533314856020079336.key 1200737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.9ns 1200752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1205941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 1205972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2533314856020079336.key 1205972 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1205972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17090172977352600680.key 1205972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.6ns 1205972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1211342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 1211373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17090172977352600680.key 1211373 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1211389 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1211389 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1211389 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1211404 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1211404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props12922939606770652384.key 1211404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269ns 1211420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1216794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1216826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props12922939606770652384.key 1216826 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1216826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props17578945834033357739.key 1216826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.6ns 1216826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1221914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1221930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17578945834033357739.key 1221930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1221930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5636158976711142283.key 1221930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.5ns 1221930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1227514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.58s 1227546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5636158976711142283.key 1227546 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1227546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12560633762657907735.key 1227546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.5ns 1227546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1233007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 1233022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12560633762657907735.key 1233022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 1233022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3753141891259862119.key 1233022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167ns 1233038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1238345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1238375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3753141891259862119.key 1238375 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 1238375 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.props6880155552556944949.smt2 1238391 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.props2820793724967500796.smt2 1238407 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.props7664149326579323731.smt2 1238422 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.props5927050233029616183.smt2 1238422 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.props8911745891792452842.smt2 1238422 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.props1181432518841798126.smt2 1238438 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.props16187138288683010780.smt2 1238438 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.props11936392079085700926.smt2 1238438 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.props4570046504888153482.smt2 1238438 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.props3485963838047059304.smt2 1238438 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.props15706483664946915799.smt2 1238438 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.props17334441569905947646.smt2 1238438 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.props1820145297180657803.smt2 1238454 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.props16141325773182514471.smt2 1238454 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.props4056200294589767278.smt2 1238454 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.props6529974228079034508.smt2 1238469 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.props6602693433815494089.smt2 1238469 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.props14995899105893582264.smt2 1238469 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.props10961470475245821604.smt2 1238469 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.props14214613400936506885.smt2 1238469 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.props11181947780796462576.smt2 1238485 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.props324791229200814976.smt2 1238547 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.props13610808835472583400.smt2 1238563 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.props5425052284799258832.smt2