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.002s | 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.002s | 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.004s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.003s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.004s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
623367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5396504592731472523.key 623367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.7ns 623367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 623552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 623552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 623552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 624101 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 627719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 627735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5396504592731472523.key 627735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 627766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props1371190251638134302.key 627766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.9ns 627766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 631170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 631186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1371190251638134302.key 631186 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 631186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3988188429648305303.key 631186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.5ns 631186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 634347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 634362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3988188429648305303.key 634362 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 634362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props13803064149473382353.key 634362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.1ns 634362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 637474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props13803064149473382353.key 637474 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 637474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13370803629702564622.key 637474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 439.3ns 637489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 641099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13370803629702564622.key 641099 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 641099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props13258675692968073001.key 641099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.5ns 641114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 644202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props13258675692968073001.key 644202 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 644202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props17851460258960197649.key 644202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 334.6ns 644218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 647267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 647282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17851460258960197649.key 647298 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 647298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5720518384298997314.key 647298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.9ns 647298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 650383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 650399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5720518384298997314.key 650415 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 650415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8784933471979525531.key 650415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.4ns 650415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 653595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8784933471979525531.key 653595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 653595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props2903968209004113371.key 653595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.7ns 653610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 657307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2903968209004113371.key 657307 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 657307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props2052335931705835786.key 657307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 380ns 657307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 660346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2052335931705835786.key 660346 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 660362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props4156520646564444445.key 660362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 645.9ns 660362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 663706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4156520646564444445.key 663706 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 663706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17407226281589259115.key 663706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.5ns 663706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 666817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17407226281589259115.key 666817 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 666817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9880393582167715006.key 666817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.4ns 666817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 669921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9880393582167715006.key 669921 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.5ns 669921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11178621640266288168.key 669921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.5ns 669921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 672954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11178621640266288168.key 672954 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 672969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props923912933296525475.key 672969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.9ns 672969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 676236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props923912933296525475.key 676236 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 676252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props2939275239235109105.key 676252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 439.9ns 676252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 679630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2939275239235109105.key 679630 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 679630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props14113300272032777852.key 679630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.7ns 679630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 682761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props14113300272032777852.key 682761 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 682761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props7884698292569954234.key 682761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 353.6ns 682761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 685749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 685764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7884698292569954234.key 685764 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 685764 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 685780 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 685780 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 685780 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 685780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14312982827134490291.key 685780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.6ns 685780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 688877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14312982827134490291.key 688877 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 688877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props14376733350721111217.key 688877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.7ns 688893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 692083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14376733350721111217.key 692083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 692098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17492154673819559968.key 692098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.8ns 692098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 695302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17492154673819559968.key 695317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 695317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props783292184912477925.key 695317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.2ns 695317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 698350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props783292184912477925.key 698350 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 698350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12098838993431602190.key 698350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.2ns 698350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 701368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12098838993431602190.key 701368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 701704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props13752160025528576421.key 701704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.1ns 701704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 704792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props13752160025528576421.key 704792 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 704807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13961564805349190376.key 704807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 355.2ns 704807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 707919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13961564805349190376.key 707919 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 707934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props11900685748607126469.key 707934 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 454ns 707934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 711029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11900685748607126469.key 711029 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 711029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9869244319395955288.key 711029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.1ns 711029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 714056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9869244319395955288.key 714071 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 714071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13030323135502504339.key 714071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.8ns 714071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 717487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13030323135502504339.key 717487 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 68.1ns 717503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props16026439660858121764.key 717503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 379ns 717503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 720648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16026439660858121764.key 720663 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 720663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15048210791659780060.key 720663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.4ns 720663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 723906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15048210791659780060.key 723906 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 723906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props16302613691238330705.key 723906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 452.5ns 723922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 727016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props16302613691238330705.key 727032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 727032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2686291564582176581.key 727032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.4ns 727032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 730315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2686291564582176581.key 730315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 730330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4507498026391651565.key 730330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 824.8ns 730330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 733816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4507498026391651565.key 733816 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 733831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props16950351680621817376.key 733831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.2ns 733831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 736937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16950351680621817376.key 736937 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 736937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13216087057715451763.key 736937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.4ns 736937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 740052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13216087057715451763.key 740052 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 740052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props4489633343603720542.key 740052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142ns 740068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 743187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4489633343603720542.key 743187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 743187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9931735433295474994.key 743187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.3ns 743187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 746272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9931735433295474994.key 746272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 746288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4343353404468545540.key 746288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 479.6ns 746288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 749406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4343353404468545540.key 749406 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 749422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6835867588753104815.key 749422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150ns 749422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 752818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6835867588753104815.key 752818 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 752818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props13673049030324203300.key 752818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.4ns 752833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 755823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props13673049030324203300.key 755839 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 755839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16245763838451219494.key 755839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.2ns 755839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 758931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16245763838451219494.key 758931 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 758931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props18117978572143585408.key 758931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.8ns 758931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 762041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props18117978572143585408.key 762041 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 762041 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762041 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762041 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762057 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10665286364035877156.key 762057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 816.7ns 762057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 765200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10665286364035877156.key 765200 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 765200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props13626197507593969114.key 765200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 785.1ns 765200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 768249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 768264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props13626197507593969114.key 768264 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 768264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props12600443621960360486.key 768264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.4ns 768280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 771486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props12600443621960360486.key 771486 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 771486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props9051183719558488585.key 771486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.3ns 771501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 774829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9051183719558488585.key 774829 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 774829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3860079134440226591.key 774829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.2ns 774829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 777971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 777987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3860079134440226591.key 777987 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 777987 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.props17128162624562018343.smt2 777987 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.props15636806103533378202.smt2 778002 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.props11486519170123782505.smt2 778002 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.props14245396449116584173.smt2 778002 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.props15095552379401506710.smt2 778019 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.props3811692839189980139.smt2 778019 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.props4967932350857171930.smt2 778019 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.props10321504456716917816.smt2 778019 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.props12321830422846945308.smt2 778019 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.props11503885670487455877.smt2 778019 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.props2597944564648354273.smt2 778019 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.props9002425320256791627.smt2 778019 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.props14492233238793287630.smt2 778019 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.props16056925099321869397.smt2 778019 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.props2502038581402767346.smt2 778035 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.props1411970687413456588.smt2 778035 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.props2853951051159378144.smt2 778035 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.props11544446359990366643.smt2 778035 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.props695786853768720821.smt2 778035 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.props15705786553584668502.smt2 778035 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.props17864733789285099312.smt2 778035 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.props3693357247808462065.smt2 778035 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.props9979632589939017074.smt2 778050 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.props616193693344219017.smt2