Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.003s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | 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.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.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | 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
941497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7604993826496890510.key 941497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.8ns 941497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 941762 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 941762 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 941762 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 941762 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 942575 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 947891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.39s 947906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7604993826496890510.key 947906 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 947938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props16448842923486108706.key 947938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.3ns 947938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 952565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 952581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16448842923486108706.key 952581 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 952596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4927075989879074256.key 952596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.7ns 952596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 957193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s 957224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4927075989879074256.key 957224 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 957224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3096487891431141895.key 957224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.8ns 957240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 961978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 962009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3096487891431141895.key 962009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 962009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props11692660468447508185.key 962009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.5ns 962025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 966808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 966840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11692660468447508185.key 966840 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 966840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17636089126551831164.key 966840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.1ns 966855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 971655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 971686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17636089126551831164.key 971686 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 971686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props13996985275979425917.key 971686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 439.7ns 971686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 976579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 976595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13996985275979425917.key 976611 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 34.7ns 976611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props14480871777694761678.key 976611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.9ns 976611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 981675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 981691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props14480871777694761678.key 981691 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.1ns 981706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1164251661869001899.key 981706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.1ns 981706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 986772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 986803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1164251661869001899.key 986803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 986803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props2205880019483723296.key 986803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 462.3ns 986819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 991854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 991886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2205880019483723296.key 991886 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 991886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4968176619545736505.key 991886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 347.6ns 991886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 997077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 997092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4968176619545736505.key 997092 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 997108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3222152835543082990.key 997108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 518.2ns 997108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1002127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1002158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3222152835543082990.key 1002158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1002158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props18157157492206907847.key 1002158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.7ns 1002173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1007238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1007270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props18157157492206907847.key 1007270 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1007270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props1931849580635720616.key 1007285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 464.5ns 1007286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1012492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 1012507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1931849580635720616.key 1012507 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1012523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4097600125600761823.key 1012523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.3ns 1012523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1017855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 1017886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4097600125600761823.key 1017886 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1017902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2407016947463155021.key 1017902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 724ns 1017902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1022968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 1022983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2407016947463155021.key 1022983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1022999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14592620509427072739.key 1022999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 534.1ns 1022999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1028097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1028128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14592620509427072739.key 1028128 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1028144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props6647653178808687729.key 1028144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.2ns 1028144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1033272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1033304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6647653178808687729.key 1033304 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1033320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3491995225830545383.key 1033320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 614.4ns 1033320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1038400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1038416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3491995225830545383.key 1038416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1038431 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1038431 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1038431 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1038431 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1038431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15754408856056144190.key 1038431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.6ns 1038431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1043545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1043560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15754408856056144190.key 1043560 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1043576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2375648597899116535.key 1043576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.2ns 1043576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1048609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1048641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2375648597899116535.key 1048641 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1048641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16366977112955452206.key 1048641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.7ns 1048656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1053662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1053677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16366977112955452206.key 1053693 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 1053693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14300959294107467267.key 1053693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.1ns 1053708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1058680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 1058695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14300959294107467267.key 1058695 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1058711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14711326971121678643.key 1058711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 672.1ns 1058711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1063840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1063856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14711326971121678643.key 1063871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1064293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7191383996521701858.key 1064293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.8ns 1064293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1069406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1069437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7191383996521701858.key 1069437 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1069437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13512374552151580424.key 1069437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 537.5ns 1069452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1074535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1074550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13512374552151580424.key 1074550 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1074566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props8180946918009574637.key 1074566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 324.9ns 1074566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1079584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1079616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8180946918009574637.key 1079616 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1079616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7280714441090206208.key 1079616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 423.4ns 1079631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1084824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1084840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7280714441090206208.key 1084840 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1084855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13457252533855057769.key 1084855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392.4ns 1084855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1089968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1089984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13457252533855057769.key 1089984 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1089999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17184325844887185190.key 1089999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 520.8ns 1089999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1095142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 1095174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17184325844887185190.key 1095174 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1095174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10940262404579301019.key 1095174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.5ns 1095174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1100209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1100226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10940262404579301019.key 1100226 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1100241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5574794176662958809.key 1100241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.5ns 1100241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1105289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1105305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5574794176662958809.key 1105305 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1105321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props9591728219091638372.key 1105321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.9ns 1105321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1110308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 1110324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9591728219091638372.key 1110324 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1110339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1037522107444965116.key 1110339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 412.4ns 1110339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1115420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1115436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1037522107444965116.key 1115436 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1115451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6066541751834370805.key 1115451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.1ns 1115451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1120469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1120501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6066541751834370805.key 1120501 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1120501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props18366755689872242693.key 1120501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.6ns 1120516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1125598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1125614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props18366755689872242693.key 1125614 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1125629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props11893132391412362908.key 1125629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.2ns 1125629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1130601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 1130633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11893132391412362908.key 1130633 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 1130633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16530651299380496184.key 1130633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 591.6ns 1130633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1135636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1135667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16530651299380496184.key 1135667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1135667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props6077402462009508373.key 1135667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 503.5ns 1135667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1140812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 1140843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props6077402462009508373.key 1140843 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1140843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2924623974947177988.key 1140843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.2ns 1140859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1145832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 1145847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2924623974947177988.key 1145847 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1145863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15534918770287372971.key 1145863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 438.5ns 1145863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1150882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1150913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15534918770287372971.key 1150913 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 33.8ns 1150913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props12886155576166435791.key 1150913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.3ns 1150913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1156026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1156041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props12886155576166435791.key 1156041 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1156057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11401488458440681767.key 1156057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 467.6ns 1156057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1161089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1161121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11401488458440681767.key 1161121 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1161136 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1161136 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1161136 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1161136 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1161136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1497476378895168418.key 1161136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.3ns 1161136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1166269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1166285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1497476378895168418.key 1166285 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1166301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7227035303723312709.key 1166301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 324.2ns 1166301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1171413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1171429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7227035303723312709.key 1171445 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1171445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props10840537519999094023.key 1171445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.2ns 1171445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1176479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1176495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10840537519999094023.key 1176495 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1176510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props15604338112701269795.key 1176510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 340.6ns 1176510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1181623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1181655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props15604338112701269795.key 1181655 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1181670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props16810261476156621098.key 1181670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327.8ns 1181670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1186721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1186736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16810261476156621098.key 1186736 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.7ns 1186752 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.props6284676307394456534.smt2 1186752 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.props2360746556054899524.smt2 1186752 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.props10679939887655097037.smt2 1186752 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.props1760934014196469655.smt2 1186752 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.props5780166015526904442.smt2 1186752 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.props10019445607783035519.smt2 1186752 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.props11648735277222061209.smt2 1186752 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.props13361075238512423769.smt2 1186768 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.props10784742357030657878.smt2 1186768 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.props12445291006957017510.smt2 1186768 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.props8154677150467005626.smt2 1186768 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.props4721093878744984667.smt2 1186768 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.props10655731348165695397.smt2 1186768 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.props156901500367370363.smt2 1186768 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.props15451559638246807762.smt2 1186768 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.props8619511714984677030.smt2 1186768 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.props15294712203986440176.smt2 1186783 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.props3012273481191950523.smt2 1186783 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.props10678531055887683471.smt2 1186783 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.props6307538829175867822.smt2 1186783 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.props12775580246785698374.smt2 1186783 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.props9563215469659925993.smt2 1186783 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.props18316135678422224987.smt2 1186783 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.props11777690140153404567.smt2