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.005s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.004s | 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.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | 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.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.007s | 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.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.006s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
646380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props10865510936996015817.key 646380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.4ns 646380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 646552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 646552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 646552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 647179 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 650994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s 651009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10865510936996015817.key 651009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 651026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11391204704496045206.key 651026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.6ns 651041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 654480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 654496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11391204704496045206.key 654496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 654511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props7248306056595620875.key 654511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 616.4ns 654511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 657888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7248306056595620875.key 657904 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 657904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props18391478090380200515.key 657904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.1ns 657904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 661125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18391478090380200515.key 661125 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 661140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props12303663521596440208.key 661140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.6ns 661140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 664393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props12303663521596440208.key 664393 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 664409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12387035435759497260.key 664409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.3ns 664409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 667708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12387035435759497260.key 667708 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 667708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props4360292900942229175.key 667708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.2ns 667708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 670929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props4360292900942229175.key 670929 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 670944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5816867350478587665.key 670944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.7ns 670944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 674229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5816867350478587665.key 674244 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 674244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props5462274276246347913.key 674244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.8ns 674244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 677435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5462274276246347913.key 677435 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 677450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3579924268931932290.key 677450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.7ns 677450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 680749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3579924268931932290.key 680749 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 680749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17777588324863578700.key 680749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.1ns 680749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 684079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17777588324863578700.key 684079 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 684079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props11085619672542948921.key 684079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.4ns 684095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 687394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11085619672542948921.key 687394 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 687409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props12236295465719314094.key 687409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392.8ns 687409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 690787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12236295465719314094.key 690787 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 690787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props10409246241609651111.key 690787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.5ns 690803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 694055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10409246241609651111.key 694055 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 694070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props1688877676526297106.key 694070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.8ns 694070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 697463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1688877676526297106.key 697463 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 697478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props15069506716476831363.key 697478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.3ns 697494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 700840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props15069506716476831363.key 700840 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 700856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14228060564586151798.key 700856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 393.2ns 700856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 704109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14228060564586151798.key 704109 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 704109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9346497767523768721.key 704109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399ns 704109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 707516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9346497767523768721.key 707516 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 707516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13754549967492116322.key 707516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.8ns 707533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 710926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13754549967492116322.key 710926 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.4ns 710926 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 710926 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 710926 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 710926 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 710941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props4137861097769489622.key 710941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.1ns 710941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 714382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4137861097769489622.key 714382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 714382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16841409114693150730.key 714382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.2ns 714397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 717712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16841409114693150730.key 717712 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 717728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props10420429234863976050.key 717728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 412.4ns 717728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 721152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10420429234863976050.key 721152 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 721152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props10609334880451617809.key 721152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.5ns 721152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 724575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10609334880451617809.key 724575 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.4ns 724591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7914566085258850573.key 724591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.1ns 724591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 728030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7914566085258850573.key 728030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 728390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props3647857459461901458.key 728390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.6ns 728390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 731735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3647857459461901458.key 731735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 731735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14312388046984527640.key 731735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392.9ns 731735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 735159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14312388046984527640.key 735159 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 735175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props12575331184958415810.key 735175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.4ns 735175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 738507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props12575331184958415810.key 738507 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 738522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17012992956078275052.key 738522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217ns 738522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 741855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17012992956078275052.key 741855 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 741855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props6396082581278223732.key 741855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.3ns 741870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 745262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props6396082581278223732.key 745278 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 745278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15880391144543041167.key 745278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 380.6ns 745278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 748639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15880391144543041167.key 748639 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 748639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2980407550355367671.key 748639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.9ns 748639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 751906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2980407550355367671.key 751906 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 751906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9562678521426435971.key 751906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.9ns 751906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 755299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9562678521426435971.key 755299 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 755299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props16033699436076695354.key 755299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.8ns 755299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 758692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16033699436076695354.key 758692 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 758692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14141081666213368950.key 758692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.5ns 758692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 762007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14141081666213368950.key 762007 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 762007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17730498418930267838.key 762007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.8ns 762007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 765337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17730498418930267838.key 765337 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 765337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3234953843533125500.key 765337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.9ns 765337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 768667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 768683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3234953843533125500.key 768683 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 768699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props96955763508478755.key 768699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 415ns 768699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 772045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props96955763508478755.key 772061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 772061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props12060389065643846519.key 772061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.8ns 772061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 775407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props12060389065643846519.key 775407 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 775423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9452183024742436003.key 775423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 355.2ns 775423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 778753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9452183024742436003.key 778753 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 778768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14873138752886064348.key 778768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 377.9ns 778768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 782083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14873138752886064348.key 782083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 782083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props11544291412583496704.key 782098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.8ns 782098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 785413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11544291412583496704.key 785413 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 785413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props17423431990693756049.key 785413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.4ns 785428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 788727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 788743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17423431990693756049.key 788743 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 788743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props8143170748314918615.key 788743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.4ns 788758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 792073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8143170748314918615.key 792073 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 792073 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 792073 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 792073 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 792073 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 792073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14553193946473976364.key 792073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.5ns 792073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 795420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14553193946473976364.key 795420 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 795436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16277942503088600569.key 795436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.3ns 795436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 798846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 798861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16277942503088600569.key 798861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.3ns 798861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props11125223347623489129.key 798861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.6ns 798877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 802207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11125223347623489129.key 802207 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 802207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11563975011969808487.key 802207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.3ns 802207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 805614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 805630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11563975011969808487.key 805630 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 805630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props15973282917179842315.key 805630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.3ns 805645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 809085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 809100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15973282917179842315.key 809100 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 809117 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.props973380919487079136.smt2 809117 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.props5670261156066960655.smt2 809117 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.props16930590657061969079.smt2 809117 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.props13931879148883766725.smt2 809117 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.props14173842248691178838.smt2 809132 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.props6585728552142858794.smt2 809132 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.props11616810539075692174.smt2 809132 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.props13286483656850529856.smt2 809132 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.props10884323080364637080.smt2 809132 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.props14411665970035840603.smt2 809148 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.props13232282035486331234.smt2 809148 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.props15701769076428380190.smt2 809148 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.props945176501717072276.smt2 809148 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.props4160133701110719277.smt2 809163 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.props3778972342186888336.smt2 809163 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.props16846500943029625799.smt2 809163 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.props11687580964848378593.smt2 809163 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.props12370505680522275796.smt2 809163 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.props339031051177547346.smt2 809163 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.props5905461419169147455.smt2 809163 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.props9753698989460067264.smt2 809179 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.props14549656947584987661.smt2 809179 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.props12264549558949743549.smt2 809179 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.props7992150255387169353.smt2