Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.001s | 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.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.003s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | 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.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.003s | 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
912002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props2843325436074112522.key 912002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.3ns 912002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 912202 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 912202 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 912203 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 912204 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 913030 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 918403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.4s 918419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2843325436074112522.key 918419 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 918450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6010499540376464806.key 918450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.8ns 918450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 923392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 923423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6010499540376464806.key 923423 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 923423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6160957720878618484.key 923423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.7ns 923423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 928443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 928459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6160957720878618484.key 928475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 928475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6451271312385527329.key 928475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.3ns 928475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 933480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 933496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6451271312385527329.key 933496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 933512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props2472851411210136114.key 933512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.8ns 933512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 938555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2472851411210136114.key 938570 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 938602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props14227745883692816807.key 938602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208ns 938602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 943692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 943708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14227745883692816807.key 943708 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 943723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props8115948164855520475.key 943723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.5ns 943723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 948776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 948807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props8115948164855520475.key 948807 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 948807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props16480381275051783733.key 948807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272ns 948807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 953869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 953979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props16480381275051783733.key 953979 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 953987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props17218957965300780416.key 953987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.1ns 953990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 959033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 959049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17218957965300780416.key 959049 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 959064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5520964733421977051.key 959064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 552.5ns 959064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 964150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 964166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5520964733421977051.key 964166 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 964166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17815803419355049966.key 964166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.1ns 964181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 969262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 969293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17815803419355049966.key 969293 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 969293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13710921871663938233.key 969293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 429.4ns 969293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 974457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 974472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13710921871663938233.key 974472 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 974488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17453750037413634569.key 974488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.4ns 974488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 979557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 979573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17453750037413634569.key 979573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 979573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2636285149018182119.key 979573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 422.4ns 979588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 984719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 984734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2636285149018182119.key 984734 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 984734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7076366762337264925.key 984734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 407.7ns 984734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 989759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7076366762337264925.key 989759 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 989774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1110811574919901433.key 989774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.8ns 989774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 994861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 994892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1110811574919901433.key 994892 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 994892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props2651821543290077122.key 994892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.6ns 994892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1000029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1000045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2651821543290077122.key 1000045 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1000045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9850666171509036598.key 1000045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.9ns 1000060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1005097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1005129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9850666171509036598.key 1005129 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1005129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props8959850161958336806.key 1005129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.8ns 1005129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1010252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1010268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8959850161958336806.key 1010268 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1010268 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1010268 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1010268 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1010268 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1010268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props6598943290182486730.key 1010284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 846.1ns 1010284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1015372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1015404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6598943290182486730.key 1015404 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1015404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props1304999848655491413.key 1015404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.1ns 1015404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1020522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1020538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1304999848655491413.key 1020538 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1020538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props7135815652995761444.key 1020538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263ns 1020554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1025676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1025707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7135815652995761444.key 1025707 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.2ns 1025723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8042536937261830053.key 1025723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 493.2ns 1025723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1030795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1030811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8042536937261830053.key 1030811 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns 1030827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props1372988114531516618.key 1030827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.5ns 1030827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1035903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1035934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props1372988114531516618.key 1035934 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1036278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props9162382959015018858.key 1036278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.7ns 1036294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1041363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1041395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9162382959015018858.key 1041395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1041395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props2404601508092269775.key 1041395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.1ns 1041395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1046502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1046517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props2404601508092269775.key 1046517 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 1046533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props7241311733388433851.key 1046533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280ns 1046533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1051579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1051595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7241311733388433851.key 1051595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1051610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props10281203727791911841.key 1051610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 344.8ns 1051610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1056698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1056713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10281203727791911841.key 1056713 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1056729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props2260849329787153925.key 1056729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272ns 1056729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1061775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1061790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2260849329787153925.key 1061790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 231.4ns 1061806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17849117777473389898.key 1061806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 409.9ns 1061806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1066885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1066916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17849117777473389898.key 1066916 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1066916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props418178243598483935.key 1066916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455ns 1066916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1072014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1072046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props418178243598483935.key 1072046 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1072046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props8580110216079892006.key 1072046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 323.5ns 1072046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1077170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1077186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8580110216079892006.key 1077186 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1077202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1848256945282915867.key 1077202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.9ns 1077202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1082232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1082248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1848256945282915867.key 1082263 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1082263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props12558050462608591247.key 1082263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 470ns 1082263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1087356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1087372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12558050462608591247.key 1087372 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1087372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3054985592805593092.key 1087372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.3ns 1087372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1092510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1092528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3054985592805593092.key 1092528 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1092528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props6857579524535891482.key 1092528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.4ns 1092528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1097577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1097593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props6857579524535891482.key 1097593 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1097609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14774605772090631412.key 1097609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 430.4ns 1097609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1102653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1102668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14774605772090631412.key 1102684 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1102684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props1292586875186880563.key 1102684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152ns 1102684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1107751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1107782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1292586875186880563.key 1107782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 1107782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props14175169707224188527.key 1107782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.1ns 1107782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1112848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 1112864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14175169707224188527.key 1112864 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1112879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14301581804152750028.key 1112879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.8ns 1112879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1117908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1117924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14301581804152750028.key 1117924 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1117924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10213775642934605770.key 1117924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 426.1ns 1117924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1123006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1123037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10213775642934605770.key 1123037 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1123037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props14778975016370320233.key 1123037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.2ns 1123037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1128164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1128195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props14778975016370320233.key 1128195 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1128195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props409268112031489444.key 1128195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.7ns 1128195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1133285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1133316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props409268112031489444.key 1133316 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1133316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1133316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1133316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1133316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1133316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props17944425256472762106.key 1133316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.7ns 1133316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1138395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1138426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props17944425256472762106.key 1138426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1138426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16220963339107697994.key 1138426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.4ns 1138426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1143549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1143565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16220963339107697994.key 1143565 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1143565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1133593969168928096.key 1143565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259ns 1143565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1148652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1148667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1133593969168928096.key 1148667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1148667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props6704524675463244337.key 1148667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.5ns 1148667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1153755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1153786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6704524675463244337.key 1153786 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1153786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props16165621344840241836.key 1153786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 445ns 1153786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1158893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1158909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16165621344840241836.key 1158924 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1158924 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.props5504077936163449766.smt2 1158924 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.props14240981352632327848.smt2 1158924 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.props15836473915824340696.smt2 1158924 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.props16363152129779349799.smt2 1158940 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.props17272969051147041364.smt2 1158940 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.props2564354936416266259.smt2 1158940 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.props17479569604797331689.smt2 1158940 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.props17434946230961839820.smt2 1158940 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.props401075934633378471.smt2 1158940 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.props16665655658828216722.smt2 1158940 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.props9716333079113023521.smt2 1158940 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.props11971011816839041504.smt2 1158957 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.props7657876942654044832.smt2 1158958 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.props8131501934954303193.smt2 1158960 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.props9155147421560946166.smt2 1158962 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.props18404815531769013091.smt2 1158963 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.props11083757580466327982.smt2 1158963 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.props921193319879920959.smt2 1158963 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.props10720433264322203936.smt2 1158963 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.props4870685253500979835.smt2 1158963 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.props5874957165057605987.smt2 1158963 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.props16308164886079324307.smt2 1158963 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.props5857576537535904369.smt2 1158978 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.props14533203428966346132.smt2