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.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.007s | 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.002s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.003s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
933102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8341752221453473171.key 933102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.8ns 933102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 933362 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 933362 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 933362 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 933362 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 934181 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 939663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.55s 939679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8341752221453473171.key 939679 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 939764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7471609786951054054.key 939779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 7.73ms 939779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 944717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 944748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7471609786951054054.key 944748 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 944748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props9460580351681558673.key 944748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 380.8ns 944748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 949770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 949786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props9460580351681558673.key 949801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 949801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3352010006202216069.key 949801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 446ns 949817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 954917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 954933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3352010006202216069.key 954933 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 954949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3758450826487636335.key 954949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.9ns 954949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 960142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 960173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3758450826487636335.key 960173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.5ns 960173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props16420278165034305177.key 960173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.6ns 960189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 965330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 965345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16420278165034305177.key 965345 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 965364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7708825591200848840.key 965364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.9ns 965364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 970489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 970504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7708825591200848840.key 970504 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 970504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3974814128734359826.key 970504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152ns 970520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 975797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 975828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3974814128734359826.key 975828 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 975828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2266023017753174611.key 975828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.3ns 975828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 980751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 980766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2266023017753174611.key 980782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 980782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11404740734096927227.key 980782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 538.4ns 980782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 986314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 986329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11404740734096927227.key 986345 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 986345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props8946660849750579148.key 986345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.7ns 986345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 991220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 991313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8946660849750579148.key 991313 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 991329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props12634357332102765323.key 991329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.1ns 991345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 996427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 996443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props12634357332102765323.key 996443 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 996459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1233714870300756919.key 996459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns 996459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1001379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1001394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1233714870300756919.key 1001394 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1001394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props15392767294203274316.key 1001394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 467.7ns 1001410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1006686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1006702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props15392767294203274316.key 1006702 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 1006717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props16962886512238440526.key 1006717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.7ns 1006717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1011790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1011806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16962886512238440526.key 1011806 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1011821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7265639984041701653.key 1011821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.6ns 1011821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1016827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1016858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7265639984041701653.key 1016858 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 38.8ns 1016858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props17548515222002725079.key 1016858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.6ns 1016858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1021858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1021874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props17548515222002725079.key 1021889 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1021889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props17900076123103363322.key 1021889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.6ns 1021889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1026783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 1026861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17900076123103363322.key 1026861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1026861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props16825826706165580800.key 1026861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.2ns 1026877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1031976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1031991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props16825826706165580800.key 1031991 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1031991 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1031991 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1031991 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1032007 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1032007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1952067179320106371.key 1032007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.3ns 1032007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1036908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 1036939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1952067179320106371.key 1036939 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1036939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props8722407201711298343.key 1036939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.5ns 1036939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1042069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1042085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8722407201711298343.key 1042085 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1042100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props4283291663080681073.key 1042100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.9ns 1042100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1047069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 1047101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4283291663080681073.key 1047101 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1047101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props7269241070997471879.key 1047101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.3ns 1047101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1052373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1052388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7269241070997471879.key 1052388 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1052404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props13871568626778706004.key 1052404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.8ns 1052404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1057568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 1057583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13871568626778706004.key 1057599 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 1057989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props9639172139292430682.key 1057989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198ns 1058005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1063003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1063019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9639172139292430682.key 1063019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 1063034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8868645154645115330.key 1063034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.9ns 1063034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1068659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.63s 1068675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8868645154645115330.key 1068675 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.9ns 1068690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4371087837071519505.key 1068690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.5ns 1068690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1073644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1073660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4371087837071519505.key 1073660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1073675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5266173694620804521.key 1073675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 449.5ns 1073675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1078756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1078772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5266173694620804521.key 1078772 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1078772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props10673319607219347506.key 1078772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.8ns 1078772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1083828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1083844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10673319607219347506.key 1083844 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1083859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8468582927512714934.key 1083859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 550.6ns 1083859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1088883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1088899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8468582927512714934.key 1088899 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1088899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11385748052884570557.key 1088899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.16ms 1088914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1094015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1094031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11385748052884570557.key 1094031 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1094047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props15934011663740143699.key 1094047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.5ns 1094047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1099007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1099022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props15934011663740143699.key 1099022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1099038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props6207416267158873213.key 1099038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.7ns 1099038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1104076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1104092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props6207416267158873213.key 1104092 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1104107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3750785539849083824.key 1104107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 519.3ns 1104107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1109336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 1109351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3750785539849083824.key 1109351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1109351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13029598366984728780.key 1109351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.7ns 1109367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1114213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 1114244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13029598366984728780.key 1114245 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1114245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props17119832744635178133.key 1114245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.7ns 1114245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1119325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1119340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17119832744635178133.key 1119340 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1119387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props12601182927877626072.key 1119387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.8ns 1119387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1124344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1124361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12601182927877626072.key 1124375 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1124375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9403836328649329090.key 1124375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 362.7ns 1124375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1129214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 1129232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9403836328649329090.key 1129232 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1129232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15384667907595053368.key 1129248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 402.9ns 1129248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1134564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1134579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15384667907595053368.key 1134579 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1134595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2657518725544000282.key 1134595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.9ns 1134595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1139616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1139631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2657518725544000282.key 1139631 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1139631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props13290751536952218926.key 1139631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.1ns 1139647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1144657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1144688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props13290751536952218926.key 1144688 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1144703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1708462444956488597.key 1144703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.8ns 1144703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1149809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1149825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1708462444956488597.key 1149825 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1149825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props15679377332808707252.key 1149825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.6ns 1149842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1154951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1154967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15679377332808707252.key 1154982 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1154982 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1154982 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1154982 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1154982 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1154982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11282467012578385664.key 1154982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143ns 1154982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1160062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 1160079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11282467012578385664.key 1160079 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1160079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6319018681382716404.key 1160079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.8ns 1160079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1165111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1165127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6319018681382716404.key 1165127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1165142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props2699512798095043643.key 1165142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.6ns 1165142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1170007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 1170022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2699512798095043643.key 1170022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1170022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props5424155976267015516.key 1170022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 386.9ns 1170038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1175200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 1175215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5424155976267015516.key 1175215 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1175231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props970654921063750038.key 1175231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.9ns 1175231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1180256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1180271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props970654921063750038.key 1180271 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1180271 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.props6003379618673909537.smt2 1180271 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.props3181964847364711318.smt2 1180287 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.props3759444312778733685.smt2 1180287 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.props15973480291998240948.smt2 1180287 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.props18388379510078693963.smt2 1180287 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.props7169702474573279198.smt2 1180287 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.props3090175275031097601.smt2 1180287 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.props11761507478079414519.smt2 1180287 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.props8593060832620892893.smt2 1180287 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.props6174755892973709137.smt2 1180287 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.props9897549928884048824.smt2 1180303 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.props6582441526026291431.smt2 1180303 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.props13124076808406056513.smt2 1180303 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.props11529239836075966854.smt2 1180303 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.props6573253332402700821.smt2 1180303 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.props11962446242112544951.smt2 1180303 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.props18167652260024811415.smt2 1180319 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.props5396508587297907056.smt2 1180321 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.props2634561544611541898.smt2 1180324 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.props12901417641547168008.smt2 1180324 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.props3728048759040632678.smt2 1180324 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.props14822066001978717525.smt2 1180324 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.props9599575786320684552.smt2 1180324 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.props4704927415312250353.smt2