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.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | 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.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
606165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props15586894119483785121.key 606165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.4ns 606165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606336 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 606336 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 606336 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 606336 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 607213 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 610274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 610290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15586894119483785121.key 610290 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.2ns 610321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props4053617535730300310.key 610321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.6ns 610321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 613401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4053617535730300310.key 613418 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 613424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props12859334305663859869.key 613424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 340.6ns 613427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 616596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props12859334305663859869.key 616612 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 616612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props1069055604482851197.key 616612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.1ns 616612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 619699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props1069055604482851197.key 619699 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 619715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13984466008121555659.key 619715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.3ns 619715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 622981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13984466008121555659.key 622981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 622997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9605662579821574411.key 622997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.5ns 622997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 626077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9605662579821574411.key 626093 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 626093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props4194850148747020931.key 626093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 385.4ns 626093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 630171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props4194850148747020931.key 630171 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 630187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9274980278837758318.key 630187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159ns 630187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 633860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9274980278837758318.key 633860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 633860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props10386591622629693861.key 633860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.2ns 633860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 636876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10386591622629693861.key 636876 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 636892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props16939536063206674710.key 636892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.36ms 636892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 639812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16939536063206674710.key 639812 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 639812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4899190974523149749.key 639812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 337.7ns 639812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 643076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4899190974523149749.key 643076 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 643092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props4863692838349629781.key 643092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 398.3ns 643092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 646187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4863692838349629781.key 646187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 646202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1603985064000666023.key 646202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.6ns 646202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 649745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1603985064000666023.key 649761 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 649761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2127898949712269707.key 649761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.7ns 649761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 652919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2127898949712269707.key 652919 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 652919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props1857275406465554646.key 652919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.3ns 652935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 655861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1857275406465554646.key 655861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 655877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1261155811623973122.key 655877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.6ns 655877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 658669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1261155811623973122.key 658669 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.8ns 658669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props4948790880566095069.key 658669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.3ns 658684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 661827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4948790880566095069.key 661827 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 661843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15516144340087037649.key 661843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 384.6ns 661843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 665114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15516144340087037649.key 665114 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 665114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1318892063423510291.key 665114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.4ns 665114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 668061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1318892063423510291.key 668061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 668061 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668076 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668076 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668076 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1515911986186854448.key 668076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.8ns 668076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 670969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1515911986186854448.key 670969 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 670969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3340621920308468670.key 670969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.8ns 670969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 673987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 674003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3340621920308468670.key 674003 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 674019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props8739607954699483910.key 674019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.7ns 674019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 676974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props8739607954699483910.key 676989 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 676989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props18009940945437974147.key 676989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 397.4ns 676989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 680054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props18009940945437974147.key 680054 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 680054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12130029282212205255.key 680054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.7ns 680070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 683527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12130029282212205255.key 683527 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 683921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4169212561040224326.key 683921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.9ns 683936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 686804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4169212561040224326.key 686804 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 686820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props12793555927394008787.key 686820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 447.7ns 686820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 689636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props12793555927394008787.key 689636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 689636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3408860719044192823.key 689636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 647.6ns 689636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 692825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3408860719044192823.key 692825 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 692825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props15873336556590743787.key 692825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240ns 692825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 696031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15873336556590743787.key 696046 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 696046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props7620038586990583980.key 696046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.4ns 696046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 699201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7620038586990583980.key 699201 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 114.9ns 699217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props18290712837562206612.key 699217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219ns 699217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 702413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props18290712837562206612.key 702413 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 702430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2241022514442472006.key 702430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 421ns 702430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 705431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2241022514442472006.key 705431 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 705431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4442068164676278618.key 705431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 349.4ns 705431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 708480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4442068164676278618.key 708480 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 708480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props306325322073055203.key 708480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 746.1ns 708495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 711560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props306325322073055203.key 711560 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 711576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3527228360950407373.key 711576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.7ns 711576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 714749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3527228360950407373.key 714749 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 714749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6580493239580693555.key 714749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.7ns 714749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 717709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6580493239580693555.key 717709 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 717724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9694473019560099967.key 717724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 361.1ns 717724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 720838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9694473019560099967.key 720838 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 720838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17144532758343113710.key 720838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 443.5ns 720838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 724081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17144532758343113710.key 724081 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.2ns 724081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props3753111936961835091.key 724081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 363.9ns 724081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 727006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3753111936961835091.key 727006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 727022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7853947880339884459.key 727022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.3ns 727022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 729993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7853947880339884459.key 729993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 729993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16216290821791962117.key 729993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455.3ns 730009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 733371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16216290821791962117.key 733371 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 733371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props3249699263384907188.key 733371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 379.9ns 733371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 736452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3249699263384907188.key 736452 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 736452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9856956039793146711.key 736452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.6ns 736452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 739657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 739672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9856956039793146711.key 739688 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 739688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props9807710990100947498.key 739688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 393.1ns 739688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 742981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 742996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props9807710990100947498.key 742996 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 742996 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 742996 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 742996 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 742996 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 743012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props7932822549390881345.key 743012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.4ns 743012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 745942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7932822549390881345.key 745942 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 745958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9730521150848400304.key 745958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.7ns 745958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 748757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9730521150848400304.key 748757 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 748757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props3610754417390393899.key 748757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.2ns 748773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 752024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props3610754417390393899.key 752024 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 752040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props15306459573880081823.key 752040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.5ns 752040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 755251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props15306459573880081823.key 755251 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 755266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props17142826855688128454.key 755266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428ns 755266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 758255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17142826855688128454.key 758255 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 758255 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.props15238299171833319257.smt2 758271 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.props13436007034135549237.smt2 758271 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.props9899974155521673503.smt2 758271 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.props13907761987986157655.smt2 758271 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.props12536788827075279084.smt2 758271 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.props14275453943613158998.smt2 758271 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.props16913220202624354381.smt2 758271 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.props2332598017619316827.smt2 758271 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.props14032951432163867647.smt2 758271 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.props12902959788411117950.smt2 758271 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.props16332166286373575443.smt2 758287 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.props1083578688526281941.smt2 758287 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.props10214638412850878821.smt2 758287 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.props2163984647122692979.smt2 758287 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.props15815395578683078333.smt2 758287 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.props3766410565126113714.smt2 758287 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.props17863205020871762648.smt2 758287 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.props13945909875250096376.smt2 758287 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.props14633983434711139242.smt2 758287 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.props1201728453178844726.smt2 758287 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.props7295285126864072424.smt2 758287 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.props7126772598775865208.smt2 758302 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.props8265406865946181327.smt2 758302 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.props4083909984513977811.smt2