Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.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.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.003s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | 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
740938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7135748370565089090.key 740938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.8ns 740938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741110 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 741110 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 741110 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 741110 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 741676 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 746139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 746154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7135748370565089090.key 746154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 746217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15801561375911056300.key 746217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176ns 746217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 750223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15801561375911056300.key 750223 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 750223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6319712897200624679.key 750223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 390.9ns 750223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 754264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6319712897200624679.key 754264 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 754264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props10687177148489906095.key 754264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.6ns 754280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 758371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10687177148489906095.key 758371 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 758371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props7168258819304480927.key 758371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.4ns 758371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 762419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7168258819304480927.key 762419 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 762419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props7404869784745133652.key 762419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.9ns 762419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 766453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7404869784745133652.key 766453 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 766469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props3198565439416735680.key 766469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.9ns 766469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 770565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 770596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3198565439416735680.key 770596 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 770596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props6801011494255310649.key 770596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.9ns 770596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 774699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6801011494255310649.key 774699 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 774699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props16461229515995719264.key 774699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.8ns 774699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 778814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16461229515995719264.key 778814 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 778814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14376207098502382106.key 778829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.4ns 778829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 782992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14376207098502382106.key 782992 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 782992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12944256534442410161.key 782992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.9ns 783008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 787094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12944256534442410161.key 787094 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 787094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3787502096500534689.key 787094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 378.2ns 787094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 791222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3787502096500534689.key 791222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 791222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5335976575934028112.key 791222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.3ns 791222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 795306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5335976575934028112.key 795306 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 795322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props4591297892302960081.key 795322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.4ns 795322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 799388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props4591297892302960081.key 799388 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 799404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9639269681849269804.key 799404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.9ns 799404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 803561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9639269681849269804.key 803561 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 803576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props18138294889296460652.key 803576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152ns 803576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 807673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props18138294889296460652.key 807673 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 807673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9472181746830650039.key 807673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.9ns 807673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 811749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 811765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9472181746830650039.key 811765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 811765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7091465369992376117.key 811765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139ns 811765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 815945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 815961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7091465369992376117.key 815961 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 815961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props16125416245302535457.key 815961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.5ns 815961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 820016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 820031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props16125416245302535457.key 820031 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 820031 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 820031 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 820031 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 820031 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 820047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11147742848918964864.key 820047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.1ns 820047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 824086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 824102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11147742848918964864.key 824102 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 824102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props14154409945177454146.key 824102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.5ns 824102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 828220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 828236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14154409945177454146.key 828236 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 828236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props541156607787277727.key 828236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.8ns 828236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 832296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 832312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props541156607787277727.key 832312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 832312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props7424174863789692014.key 832312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.3ns 832312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 836423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 836439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7424174863789692014.key 836439 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 836439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props636281473889730833.key 836439 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.5ns 836439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 840494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 840510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props636281473889730833.key 840510 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 840781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props11189522283919706060.key 840781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.1ns 840781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 844892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 844907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11189522283919706060.key 844907 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 844907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13245457734759721816.key 844907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.2ns 844907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 849018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 849034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13245457734759721816.key 849034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 849034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props8421477768226618212.key 849034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.5ns 849034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 853219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 853235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8421477768226618212.key 853235 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 853235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4299592226432949130.key 853235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.9ns 853235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 857290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 857305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4299592226432949130.key 857305 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 857321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props1207868591875907042.key 857321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229ns 857321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 861446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1207868591875907042.key 861446 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 215.3ns 861461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6198203438220789892.key 861461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 588.2ns 861461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 865569 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 865585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6198203438220789892.key 865585 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 865601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props898200987211303381.key 865601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.1ns 865601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 869688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 869704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props898200987211303381.key 869704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 869704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props16702773612699601664.key 869704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.3ns 869704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 873863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 873878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props16702773612699601664.key 873878 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 873878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11551922561436582517.key 873878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.9ns 873878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 878057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 878073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11551922561436582517.key 878073 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 878073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14273336732827194595.key 878073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 429.7ns 878073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 882148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 882163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14273336732827194595.key 882163 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 882163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props572902545403946831.key 882179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.7ns 882179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 886327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 886343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props572902545403946831.key 886343 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 886343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9475271734433170359.key 886343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.2ns 886343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 890493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 890509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9475271734433170359.key 890509 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 890509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17344262314158795966.key 890509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 364.9ns 890524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 894653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 894669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17344262314158795966.key 894669 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 894669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props1039891112476929577.key 894669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 366.3ns 894669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 898823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 898838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1039891112476929577.key 898838 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 898838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9794819792959795806.key 898838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 373.4ns 898854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 902957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 902973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9794819792959795806.key 902973 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 902973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14941416124417623501.key 902973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.1ns 902973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 907095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 907111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14941416124417623501.key 907111 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 907111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15624904953329810916.key 907111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.8ns 907111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 911226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 911242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15624904953329810916.key 911242 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 911242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7825576539714508344.key 911242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.4ns 911258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 915376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 915376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7825576539714508344.key 915392 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 915392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13971333659390290439.key 915392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.5ns 915392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 919525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 919540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13971333659390290439.key 919540 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 919540 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 919540 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 919540 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 919540 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 919540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props421785066915375917.key 919540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.7ns 919556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 923644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 923659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props421785066915375917.key 923659 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 923675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props10740002054976256166.key 923675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.5ns 923675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 927816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 927832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props10740002054976256166.key 927832 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 927832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9522992337180525741.key 927832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.7ns 927832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 931894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 931909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9522992337180525741.key 931909 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 931909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props2748458500198559718.key 931909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.6ns 931909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 935989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 936005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props2748458500198559718.key 936005 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 936005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2194810144009857348.key 936005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 360.6ns 936005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 940078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 940093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2194810144009857348.key 940140 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 940159 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.props18168928667420573680.smt2 940161 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.props17691380849550726999.smt2 940162 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.props13525989427188215215.smt2 940163 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.props442539403116470073.smt2 940165 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.props7296368542302539373.smt2 940167 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.props7020631655911967124.smt2 940168 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.props6419263316553481996.smt2 940169 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.props1021129872000442835.smt2 940170 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.props15118385017014115318.smt2 940172 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.props17943915029096162823.smt2 940174 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.props4337859931115475793.smt2 940176 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.props16428844750408476730.smt2 940176 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.props2339904879732260266.smt2 940176 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.props10950431140307834921.smt2 940176 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.props4306762391955698936.smt2 940176 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.props10917130866534720831.smt2 940176 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.props2715160962621065144.smt2 940176 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.props10692623676510555437.smt2 940176 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.props426602465188323479.smt2 940176 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.props8447393441766374422.smt2 940191 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.props11746661664183774879.smt2 940191 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.props6861146446638740381.smt2 940191 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.props14425077238758910377.smt2 940191 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.props6512477828863333919.smt2