Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | 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] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.003s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | 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.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] | 0s | 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
782846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props10663937425792647039.key 782846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.5ns 782846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783007 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 783007 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 783007 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 783007 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 783582 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 788051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 788066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10663937425792647039.key 788066 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 788082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props16137495577648996793.key 788082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.6ns 788098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 792111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16137495577648996793.key 792126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 792126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4796273234067915286.key 792126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.9ns 792126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 796199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 796215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4796273234067915286.key 796215 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 796230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props14203027481769981773.key 796230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.1ns 796230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 800347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props14203027481769981773.key 800347 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 800362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8091556276318225359.key 800362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.4ns 800362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 804462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 804478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8091556276318225359.key 804478 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 804493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props18072780426321896659.key 804493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.4ns 804493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 808593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 808609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props18072780426321896659.key 808609 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 808626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props12230420389370154686.key 808626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.3ns 808626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 812759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 812775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12230420389370154686.key 812775 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 812775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7773959095890601960.key 812775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.5ns 812775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 816938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 816954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7773959095890601960.key 816954 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 816954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props16108423583659703586.key 816954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.5ns 816954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 821110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16108423583659703586.key 821110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 821110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3619594321057921657.key 821110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 526.1ns 821126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 825309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 825325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3619594321057921657.key 825325 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 825340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3783213903790685037.key 825340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.7ns 825340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 829457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 829473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3783213903790685037.key 829488 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 829488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9548822515413360340.key 829488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 347.9ns 829488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 833616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 833632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9548822515413360340.key 833632 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 833648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props7678025389350488191.key 833648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 364.9ns 833648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 837802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 837818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props7678025389350488191.key 837818 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 837833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16394456469011110415.key 837833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.2ns 837833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 841948 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 841963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16394456469011110415.key 841963 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 841963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props14505866163031268553.key 841963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.4ns 841963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 846057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 846076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14505866163031268553.key 846076 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 846089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11015532941675242188.key 846089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.8ns 846089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 850271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 850287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11015532941675242188.key 850287 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 850302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10610183088200344904.key 850302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.2ns 850302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 854487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10610183088200344904.key 854487 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 854487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7744214297546896441.key 854487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.6ns 854502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 858600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 858615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7744214297546896441.key 858615 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 858615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1235767115597330592.key 858615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 358ns 858615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 862759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 862774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1235767115597330592.key 862774 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 862774 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 862774 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 862774 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 862774 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 862774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props13345126484411419799.key 862774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.1ns 862790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 866936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 866951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13345126484411419799.key 866951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 866967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props15197621172783213713.key 866967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.7ns 866967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 871069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 871085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15197621172783213713.key 871085 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 871085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props18101616555446675851.key 871085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.1ns 871085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 875226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 875241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props18101616555446675851.key 875241 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 875241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13053785465486049229.key 875241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.3ns 875241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 879400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 879400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13053785465486049229.key 879416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 879416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2518076499491816234.key 879416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211ns 879416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 883568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 883583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2518076499491816234.key 883583 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 883872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props10471820401652643632.key 883872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.5ns 883872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 888002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 888017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10471820401652643632.key 888017 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 888017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6030696668871317638.key 888017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.8ns 888033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 892217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 892233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6030696668871317638.key 892233 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 892233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props18277908338216568133.key 892233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.8ns 892249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 896476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 896492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props18277908338216568133.key 896492 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 896492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16264879877717096651.key 896492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 371.3ns 896492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 900680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 900696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16264879877717096651.key 900696 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 900711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16710444779140300696.key 900711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225ns 900711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 904890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 904905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16710444779140300696.key 904905 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.2ns 904905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15224500083295313070.key 904905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 376.7ns 904905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 909129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 909145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15224500083295313070.key 909145 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 909145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15338003793527261158.key 909145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 351.6ns 909145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 913304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 913320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15338003793527261158.key 913320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 913320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props12340603546435277596.key 913320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.7ns 913320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 917481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 917497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12340603546435277596.key 917497 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 917513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14478795836490178872.key 917513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.5ns 917513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 921730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14478795836490178872.key 921730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 921745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17436828904416119953.key 921745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 457.9ns 921745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 925944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17436828904416119953.key 925944 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 925959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6286874274886187893.key 925959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.2ns 925959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 930138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 930154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6286874274886187893.key 930154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 930154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5186583960636102300.key 930154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.7ns 930154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 934337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 934353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5186583960636102300.key 934353 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 934368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props3585426368176162960.key 934368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.5ns 934368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 938539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props3585426368176162960.key 938539 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 938554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17785782063776993904.key 938554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 416ns 938554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 942704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 942719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17785782063776993904.key 942735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15ns 942736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9693184546100829865.key 942736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.8ns 942736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 946890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 946906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9693184546100829865.key 946906 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 946921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6716252203564919284.key 946921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.5ns 946921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 951081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 951097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6716252203564919284.key 951097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 951097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16521073126612950046.key 951097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.3ns 951097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 955264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 955279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16521073126612950046.key 955279 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 955279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8547926728639263552.key 955279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.4ns 955279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 959410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 959457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8547926728639263552.key 959457 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 959475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props5672763471609131864.key 959475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.6ns 959478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 963618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 963633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props5672763471609131864.key 963633 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 963633 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 963633 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 963633 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 963633 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 963633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5853615279260358520.key 963633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298.2ns 963633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 967877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 967893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5853615279260358520.key 967893 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 967893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props4291841243413862394.key 967893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.4ns 967893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 972084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 972100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props4291841243413862394.key 972100 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 972116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props2050275047451744994.key 972116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 436.9ns 972116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 976275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 976291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2050275047451744994.key 976291 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 976307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16302077820534575743.key 976307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.4ns 976307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 980487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 980502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16302077820534575743.key 980502 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 980502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props15845284327406393664.key 980502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 345.9ns 980502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 984647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 984663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15845284327406393664.key 984663 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 984679 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.props12818130274166536967.smt2 984679 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.props3570939910636223155.smt2 984679 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.props8818813010385594829.smt2 984679 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.props15880664163844108986.smt2 984679 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.props11350328615817712376.smt2 984679 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.props16274877108168795386.smt2 984679 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.props2619985484486172579.smt2 984679 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.props4683320358996080641.smt2 984679 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.props14656985182593756106.smt2 984679 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.props1495657940055866162.smt2 984679 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.props7298450650973570947.smt2 984679 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.props9506803466501690740.smt2 984679 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.props15762821614142869289.smt2 984694 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.props5463144216958991017.smt2 984694 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.props2672483216941116282.smt2 984694 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.props11685525773158482115.smt2 984694 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.props12792540835226664371.smt2 984694 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.props7965640955766103960.smt2 984694 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.props15249498284137545131.smt2 984694 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.props15561542077667284402.smt2 984694 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.props3954757368803400879.smt2 984694 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.props16464684275442050712.smt2 984711 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.props18131455599346886222.smt2 984711 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.props7300732644120797707.smt2