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.002s | 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.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | 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.005s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.006s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
688778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props18415095975417425623.key 688778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.1ns 688778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688965 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 688965 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 688965 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 688965 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 689581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 693767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 693782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props18415095975417425623.key 693782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 693814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props16208211471526651601.key 693814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.4ns 693829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 697456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16208211471526651601.key 697456 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 697456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3089133719413477706.key 697456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 519.8ns 697471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 701098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3089133719413477706.key 701098 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 701114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6154537388861607925.key 701114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170ns 701114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 704506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6154537388861607925.key 704506 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 704522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9618008358178385786.key 704522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.7ns 704522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 707976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9618008358178385786.key 707976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 707976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props14130195695227643005.key 707976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.8ns 707992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 711369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14130195695227643005.key 711369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 711369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props13760520460225715186.key 711369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.8ns 711369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 714888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13760520460225715186.key 714888 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 714888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7748310395183513178.key 714888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.6ns 714905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 718311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7748310395183513178.key 718311 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 718311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7290655774795489169.key 718311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.3ns 718311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 721926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7290655774795489169.key 721926 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 721926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14611674740237868525.key 721926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.4ns 721926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 725397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14611674740237868525.key 725397 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 725413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4204792975342627059.key 725413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 458.5ns 725413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 729009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4204792975342627059.key 729009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 729024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props1791626313792715068.key 729024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244ns 729024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 732479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1791626313792715068.key 732479 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 732479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16923388804055408678.key 732479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.3ns 732479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 735950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16923388804055408678.key 735950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 735966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props3201944999658828019.key 735966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns 735966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 739499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 739515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3201944999658828019.key 739515 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 739531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11634440555533724822.key 739531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.7ns 739531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 742955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 742970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11634440555533724822.key 742970 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 742987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1728178423979156356.key 742987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.4ns 742987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 746660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1728178423979156356.key 746660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 746676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props3057821005637892607.key 746676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 350.9ns 746676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 750209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3057821005637892607.key 750209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 750225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props13422745324347258200.key 750225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.4ns 750225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 753914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 753930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13422745324347258200.key 753930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 753946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17657207506426052062.key 753946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 373.3ns 753946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 757495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 757511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17657207506426052062.key 757511 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 757511 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 757511 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 757511 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 757511 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 757511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props4189607418606232273.key 757511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.1ns 757526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 761137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4189607418606232273.key 761137 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 761137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props1022506942439457115.key 761137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.5ns 761137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 764629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 764644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1022506942439457115.key 764644 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 764644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props15078464179690866204.key 764644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.5ns 764660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 768240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 768255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props15078464179690866204.key 768255 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16ns 768271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props9435311047479668205.key 768271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.7ns 768271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 771711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9435311047479668205.key 771711 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 771726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4749965740133653886.key 771726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.4ns 771726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 775369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4749965740133653886.key 775369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 775791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props9858419647232257160.key 775807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.8ns 775807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 779262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9858419647232257160.key 779262 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 779262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11208155999766494060.key 779262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.7ns 779262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 782873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11208155999766494060.key 782873 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 782889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props8308731822662182030.key 782889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.9ns 782889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 786424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8308731822662182030.key 786424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 786440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16323740601556324061.key 786440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.4ns 786440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 790144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16323740601556324061.key 790144 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 790160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props318844763375545207.key 790160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.2ns 790160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 793600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props318844763375545207.key 793600 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 793616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9237265420521768099.key 793616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 542ns 793616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 797165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 797196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9237265420521768099.key 797196 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 797196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6635687778661932372.key 797196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.4ns 797196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 800776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6635687778661932372.key 800776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 800792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4553598910409766442.key 800792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.1ns 800792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 804293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 804324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4553598910409766442.key 804324 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 804324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14697308290786529399.key 804324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.1ns 804324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 807951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14697308290786529399.key 807951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 807967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props12753755048323633115.key 807967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.4ns 807967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 811553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 811565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12753755048323633115.key 811565 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 811581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12303666476388955722.key 811581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127ns 811581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 815006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 815021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12303666476388955722.key 815037 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 815037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props18190136516679432136.key 815037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 364.2ns 815037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 818602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 818633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props18190136516679432136.key 818633 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 818633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props6126912143155581085.key 818633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.5ns 818633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 822102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 822118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props6126912143155581085.key 822118 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 822118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props4002244824512248534.key 822118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.4ns 822118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 825682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 825713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props4002244824512248534.key 825713 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 825713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props18334231486795994600.key 825713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.5ns 825713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 829201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 829216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props18334231486795994600.key 829216 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 829232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16520033581140402608.key 829232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.1ns 829232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 832780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 832811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16520033581140402608.key 832811 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 832811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15987668349923029440.key 832811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 348.3ns 832811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 836329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 836345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15987668349923029440.key 836345 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 836345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15517525340618868672.key 836345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 323.3ns 836360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 839924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 839956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15517525340618868672.key 839956 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 839956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3195065193049070389.key 839956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 346.1ns 839956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 843552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 843568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3195065193049070389.key 843568 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 843568 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 843568 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 843568 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 843568 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 843568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9688550394201984754.key 843568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.3ns 843583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 847211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 847226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9688550394201984754.key 847226 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 847226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9107057155369950705.key 847226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.4ns 847242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 850666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 850683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9107057155369950705.key 850683 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 850683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props709702038494991910.key 850683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.5ns 850697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 854229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props709702038494991910.key 854229 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 854229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props7567662577924369978.key 854229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298.4ns 854245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 857732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 857748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7567662577924369978.key 857748 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 857763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props13502457438757840858.key 857763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.2ns 857763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 861312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13502457438757840858.key 861312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 861312 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.props434030758934241486.smt2 861312 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.props1051417615619816581.smt2 861312 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.props14401730098915351124.smt2 861327 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.props6582709725446362280.smt2 861327 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.props997452657454541490.smt2 861327 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.props7241948475023443365.smt2 861327 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.props16901312499916593532.smt2 861327 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.props17678488590962182164.smt2 861327 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.props17580276978345261366.smt2 861327 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.props17497776846847574577.smt2 861327 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.props3573595354219958148.smt2 861327 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.props3901080360479012697.smt2 861343 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.props16796770548510352086.smt2 861343 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.props5856819614309749409.smt2 861343 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.props8453245213387599132.smt2 861343 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.props3230315040940707652.smt2 861343 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.props6176547626921127891.smt2 861343 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.props14047321072522852208.smt2 861343 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.props3145714640144670072.smt2 861343 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.props3290900001543291750.smt2 861358 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.props9276423882115660099.smt2 861358 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.props4649146921197176351.smt2 861358 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.props6075878915405904567.smt2 861358 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.props4891849404681110462.smt2