[tlaplus] Re: Temporal properties and index out of bounds

[Isaac DeFrain <isaacdefrain@xxxxxxxxx>]

Here's the TLC output for this error.

Best,

Isaac DeFrain

On Thu, Feb 11, 2021 at 2:58 PM Isaac DeFrain <isaacdefrain@xxxxxxxxx> wrote:

Hello TLA+ community,

I'm using the command-line version of TLC to check a model with temporal properties and came across this strange error:

Error: TLC threw an unexpected exception.
This was probably caused by an error in the spec or model.
See the User Output or TLC Console for clues to what happened.
The exception was a java.lang.ArrayIndexOutOfBoundsException
: Index -574397211 out of bounds for length 1573086437

To give some context, the model I'm checking has been checked exhaustively (with no errors found) for smaller values of the constants. I only increased the constant values and TLC returned the above error. Has anyone else run into this phenomenon? Any anecdotes or insights would be greatly appreciated. Also, what is meant by the "User Output or TLC Console" in this context? I understand what this means when using the toolbox, but not when using the command-line.

Thanks in advance!

Best,

Isaac DeFrain

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAM3xQxGkxNE-q6gYkvxRaaAua%2B5BESRROafyTFEgSax5DDkcrw%40mail.gmail.com.
$ tlc MC.tla -workers 64 -cleanup -nowarning -deadlock
TLC2 Version 2.15 of Day Month 20?? (rev: eb3ff99)
Running breadth-first search Model-Checking with fp 17 and seed 4345124510946980474 with 64 workers on 64 cores with 27305MB heap and 64MB offheap memory [pid: 61472] (Linux 5.3.0-26-generic amd64, Ubuntu 11.0.7 x86_64, MSBDiskFPSet, DiskStateQueue).
Parsing file /home/tla/models/high_level/HighLevel.toolbox/HighLevel/MC.tla
Parsing file /home/tla/models/high_level/HighLevel.toolbox/HighLevel/HighLevel.tla
Parsing file /tmp/TLC.tla
Parsing file /home/tla/models/high_level/HighLevel.toolbox/HighLevel/Utils.tla
Parsing file /tmp/FiniteSets.tla
Parsing file /tmp/Integers.tla
Parsing file /tmp/Naturals.tla
Parsing file /tmp/Sequences.tla
Parsing file /home/tla/models/high_level/HighLevel.toolbox/HighLevel/HL_Utils.tla
Parsing file /home/tla/models/high_level/HighLevel.toolbox/HighLevel/HL_Actions.tla
Parsing file /home/tla/models/high_level/HighLevel.toolbox/HighLevel/HL_TypeOK.tla
Parsing file /home/tla/models/high_level/HighLevel.toolbox/HighLevel/HL_Properties.tla
Semantic processing of module Naturals
Semantic processing of module Sequences
Semantic processing of module FiniteSets
Semantic processing of module Integers
Semantic processing of module TLC
Semantic processing of module Utils
Semantic processing of module HL_Utils
Semantic processing of module HL_Actions
Semantic processing of module HL_TypeOK
Semantic processing of module HL_Properties
Semantic processing of module HighLevel
Semantic processing of module MC
Starting... (2021-02-11 02:22:05)
Implied-temporal checking--satisfiability problem has 1 branches.
Computing initial states...
Finished computing initial states: 2 distinct states generated at 2021-02-11 02:22:05.
Checking temporal properties for the current state space with 6103 total distinct states at (2021-02-11 02:22:08)
Finished checking temporal properties in 00s at 2021-02-11 02:22:08
Progress(12) at 2021-02-11 02:22:08: 27,881 states generated (27,881 s/min), 13,948 distinct states found (13,948 ds/min), 7,832 states left on queue.
Checking temporal properties for the current state space with 1110878 total distinct states at (2021-02-11 02:23:08)
Finished checking temporal properties in 54s at 2021-02-11 02:24:02
Progress(18) at 2021-02-11 02:24:02: 6,253,373 states generated (6,225,492 s/min), 2,492,080 distinct states found (2,478,132 ds/min), 1,381,200 states left on queue.
Progress(18) at 2021-02-11 02:25:02: 12,168,368 states generated (5,914,995 s/min), 4,828,215 distinct states found (2,336,135 ds/min), 2,671,491 states left on queue.
Progress(19) at 2021-02-11 02:26:02: 17,730,340 states generated (5,561,972 s/min), 7,088,318 distinct states found (2,260,103 ds/min), 3,918,841 states left on queue.
Progress(19) at 2021-02-11 02:27:02: 23,573,468 states generated (5,843,128 s/min), 9,348,984 distinct states found (2,260,666 ds/min), 5,150,779 states left on queue.
Checking temporal properties for the current state space with 5197272 total distinct states at (2021-02-11 02:28:02)
Finished checking temporal properties in 04min 09s at 2021-02-11 02:32:12
Progress(20) at 2021-02-11 02:32:12: 29,176,003 states generated (5,602,535 s/min), 11,549,485 distinct states found (2,200,501 ds/min), 6,352,209 states left on queue.
Progress(20) at 2021-02-11 02:33:12: 34,570,608 states generated (5,394,605 s/min), 13,646,420 distinct states found (2,096,935 ds/min), 7,461,432 states left on queue.
Progress(20) at 2021-02-11 02:34:12: 39,983,391 states generated (5,412,783 s/min), 15,776,177 distinct states found (2,129,757 ds/min), 8,599,215 states left on queue.
Progress(20) at 2021-02-11 02:35:12: 45,496,915 states generated (5,513,524 s/min), 17,890,093 distinct states found (2,113,916 ds/min), 9,725,368 states left on queue.
Progress(20) at 2021-02-11 02:36:12: 51,174,655 states generated (5,677,740 s/min), 20,048,303 distinct states found (2,158,210 ds/min), 10,882,902 states left on queue.
Progress(20) at 2021-02-11 02:37:12: 56,622,138 states generated (5,447,483 s/min), 22,146,240 distinct states found (2,097,937 ds/min), 12,011,256 states left on queue.
Progress(20) at 2021-02-11 02:38:12: 62,047,350 states generated (5,425,212 s/min), 24,183,182 distinct states found (2,036,942 ds/min), 13,077,819 states left on queue.
Progress(21) at 2021-02-11 02:39:12: 67,202,201 states generated (5,154,851 s/min), 26,143,005 distinct states found (1,959,823 ds/min), 14,076,392 states left on queue.
Progress(21) at 2021-02-11 02:40:12: 72,460,550 states generated (5,258,349 s/min), 28,074,324 distinct states found (1,931,319 ds/min), 15,058,451 states left on queue.
Progress(21) at 2021-02-11 02:41:12: 77,824,115 states generated (5,363,565 s/min), 30,091,306 distinct states found (2,016,982 ds/min), 16,108,197 states left on queue.
Progress(21) at 2021-02-11 02:42:12: 83,078,003 states generated (5,253,888 s/min), 32,135,261 distinct states found (2,043,955 ds/min), 17,177,927 states left on queue.
Progress(21) at 2021-02-11 02:43:12: 88,271,852 states generated (5,193,849 s/min), 34,092,289 distinct states found (1,957,028 ds/min), 18,158,347 states left on queue.
Progress(21) at 2021-02-11 02:44:12: 93,566,750 states generated (5,294,898 s/min), 36,023,087 distinct states found (1,930,798 ds/min), 19,138,846 states left on queue.
Progress(21) at 2021-02-11 02:45:12: 98,978,238 states generated (5,411,488 s/min), 38,051,887 distinct states found (2,028,800 ds/min), 20,203,569 states left on queue.
Progress(21) at 2021-02-11 02:46:12: 104,445,634 states generated (5,467,396 s/min), 40,071,865 distinct states found (2,019,978 ds/min), 21,248,520 states left on queue.
Progress(21) at 2021-02-11 02:47:12: 109,881,246 states generated (5,435,612 s/min), 42,132,006 distinct states found (2,060,141 ds/min), 22,340,244 states left on queue.
Progress(21) at 2021-02-11 02:48:12: 115,183,608 states generated (5,302,362 s/min), 44,164,274 distinct states found (2,032,268 ds/min), 23,405,263 states left on queue.
Checking temporal properties for the current state space with 21696314 total distinct states at (2021-02-11 02:49:12)
Finished checking temporal properties in 18min 49s at 2021-02-11 03:08:01
Progress(21) at 2021-02-11 03:08:01: 120,456,765 states generated (5,273,157 s/min), 46,075,081 distinct states found (1,910,807 ds/min), 24,378,765 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 03:09:01)
Progress(21) at 2021-02-11 03:09:01: 125,705,655 states generated (5,248,890 s/min), 47,955,120 distinct states found (1,880,039 ds/min), 25,319,792 states left on queue.
Progress(21) at 2021-02-11 03:10:01: 130,908,917 states generated (5,203,262 s/min), 49,829,939 distinct states found (1,874,819 ds/min), 26,252,161 states left on queue.
Progress(21) at 2021-02-11 03:11:01: 136,118,654 states generated (5,209,737 s/min), 51,728,088 distinct states found (1,898,149 ds/min), 27,208,471 states left on queue.
Progress(22) at 2021-02-11 03:12:01: 141,065,089 states generated (4,946,435 s/min), 53,509,326 distinct states found (1,781,238 ds/min), 28,078,078 states left on queue.
Progress(22) at 2021-02-11 03:13:01: 146,032,411 states generated (4,967,322 s/min), 55,321,074 distinct states found (1,811,748 ds/min), 28,941,637 states left on queue.
Progress(22) at 2021-02-11 03:14:01: 151,238,552 states generated (5,206,141 s/min), 57,149,307 distinct states found (1,828,233 ds/min), 29,836,769 states left on queue.
Progress(22) at 2021-02-11 03:15:01: 156,396,811 states generated (5,158,259 s/min), 58,986,415 distinct states found (1,837,108 ds/min), 30,736,488 states left on queue.
Progress(22) at 2021-02-11 03:16:01: 161,483,090 states generated (5,086,279 s/min), 60,868,922 distinct states found (1,882,507 ds/min), 31,673,443 states left on queue.
Progress(22) at 2021-02-11 03:17:01: 166,716,064 states generated (5,232,974 s/min), 62,722,756 distinct states found (1,853,834 ds/min), 32,596,532 states left on queue.
Progress(22) at 2021-02-11 03:18:01: 171,786,747 states generated (5,070,683 s/min), 64,555,320 distinct states found (1,832,564 ds/min), 33,489,093 states left on queue.
Progress(22) at 2021-02-11 03:19:01: 176,907,342 states generated (5,120,595 s/min), 66,501,153 distinct states found (1,945,833 ds/min), 34,470,570 states left on queue.
Progress(22) at 2021-02-11 03:20:01: 181,825,065 states generated (4,917,723 s/min), 68,310,037 distinct states found (1,808,884 ds/min), 35,327,405 states left on queue.
Progress(22) at 2021-02-11 03:21:01: 187,018,306 states generated (5,193,241 s/min), 70,166,709 distinct states found (1,856,672 ds/min), 36,238,194 states left on queue.
Progress(22) at 2021-02-11 03:22:01: 192,133,197 states generated (5,114,891 s/min), 72,040,185 distinct states found (1,873,476 ds/min), 37,158,433 states left on queue.
Progress(22) at 2021-02-11 03:23:02: 197,189,684 states generated (5,056,487 s/min), 73,774,744 distinct states found (1,734,559 ds/min), 37,989,269 states left on queue.
Progress(22) at 2021-02-11 03:24:02: 202,302,441 states generated (5,112,757 s/min), 75,501,156 distinct states found (1,726,412 ds/min), 38,805,335 states left on queue.
Progress(22) at 2021-02-11 03:25:02: 207,530,820 states generated (5,228,379 s/min), 77,476,912 distinct states found (1,975,756 ds/min), 39,819,439 states left on queue.
Progress(22) at 2021-02-11 03:26:02: 212,743,077 states generated (5,212,257 s/min), 79,317,352 distinct states found (1,840,440 ds/min), 40,712,001 states left on queue.
Progress(22) at 2021-02-11 03:27:02: 217,929,039 states generated (5,185,962 s/min), 81,202,074 distinct states found (1,884,722 ds/min), 41,656,082 states left on queue.
Progress(22) at 2021-02-11 03:28:02: 223,349,737 states generated (5,420,698 s/min), 83,176,933 distinct states found (1,974,859 ds/min), 42,663,069 states left on queue.
Progress(22) at 2021-02-11 03:29:02: 228,454,287 states generated (5,104,550 s/min), 85,016,588 distinct states found (1,839,655 ds/min), 43,579,203 states left on queue.
Progress(22) at 2021-02-11 03:30:02: 233,576,309 states generated (5,122,022 s/min), 86,877,748 distinct states found (1,861,160 ds/min), 44,503,215 states left on queue.
Progress(22) at 2021-02-11 03:31:02: 238,673,189 states generated (5,096,880 s/min), 88,732,584 distinct states found (1,854,836 ds/min), 45,416,399 states left on queue.
Progress(22) at 2021-02-11 03:32:02: 243,825,988 states generated (5,152,799 s/min), 90,605,024 distinct states found (1,872,440 ds/min), 46,351,764 states left on queue.
Progress(22) at 2021-02-11 03:33:02: 248,980,265 states generated (5,154,277 s/min), 92,420,024 distinct states found (1,815,000 ds/min), 47,248,415 states left on queue.
Progress(22) at 2021-02-11 03:34:02: 254,072,719 states generated (5,092,454 s/min), 94,164,567 distinct states found (1,744,543 ds/min), 48,085,016 states left on queue.
Progress(22) at 2021-02-11 03:35:02: 259,171,879 states generated (5,099,160 s/min), 95,902,586 distinct states found (1,738,019 ds/min), 48,909,526 states left on queue.
Progress(22) at 2021-02-11 03:36:02: 264,219,185 states generated (5,047,306 s/min), 97,656,877 distinct states found (1,754,291 ds/min), 49,753,174 states left on queue.
Progress(22) at 2021-02-11 03:37:02: 269,319,535 states generated (5,100,350 s/min), 99,443,383 distinct states found (1,786,506 ds/min), 50,623,647 states left on queue.
Progress(22) at 2021-02-11 03:38:02: 274,306,347 states generated (4,986,812 s/min), 101,163,858 distinct states found (1,720,475 ds/min), 51,429,036 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 03:39:02)
Progress(22) at 2021-02-11 03:39:02: 279,362,736 states generated (5,056,389 s/min), 102,898,858 distinct states found (1,735,000 ds/min), 52,259,841 states left on queue.
Progress(22) at 2021-02-11 03:40:02: 284,448,391 states generated (5,085,655 s/min), 104,714,982 distinct states found (1,816,124 ds/min), 53,135,833 states left on queue.
Progress(22) at 2021-02-11 03:41:02: 289,431,379 states generated (4,982,988 s/min), 106,437,229 distinct states found (1,722,247 ds/min), 53,942,310 states left on queue.
Progress(23) at 2021-02-11 03:42:02: 294,379,924 states generated (4,948,545 s/min), 108,168,749 distinct states found (1,731,520 ds/min), 54,750,512 states left on queue.
Progress(23) at 2021-02-11 03:43:02: 299,212,371 states generated (4,832,447 s/min), 109,879,380 distinct states found (1,710,631 ds/min), 55,529,082 states left on queue.
Progress(23) at 2021-02-11 03:44:02: 304,123,713 states generated (4,911,342 s/min), 111,589,357 distinct states found (1,709,977 ds/min), 56,314,902 states left on queue.
Progress(23) at 2021-02-11 03:45:02: 309,246,943 states generated (5,123,230 s/min), 113,322,293 distinct states found (1,732,936 ds/min), 57,128,425 states left on queue.
Progress(23) at 2021-02-11 03:46:02: 314,228,430 states generated (4,981,487 s/min), 115,023,912 distinct states found (1,701,619 ds/min), 57,928,095 states left on queue.
Progress(23) at 2021-02-11 03:47:02: 319,294,361 states generated (5,065,931 s/min), 116,714,330 distinct states found (1,690,418 ds/min), 58,709,594 states left on queue.
Progress(23) at 2021-02-11 03:48:02: 324,283,907 states generated (4,989,546 s/min), 118,477,943 distinct states found (1,763,613 ds/min), 59,546,781 states left on queue.
Progress(23) at 2021-02-11 03:49:02: 329,367,580 states generated (5,083,673 s/min), 120,381,538 distinct states found (1,903,595 ds/min), 60,499,838 states left on queue.
Progress(23) at 2021-02-11 03:50:02: 334,242,583 states generated (4,875,003 s/min), 122,042,010 distinct states found (1,660,472 ds/min), 61,243,362 states left on queue.
Progress(23) at 2021-02-11 03:51:02: 339,376,562 states generated (5,133,979 s/min), 123,771,300 distinct states found (1,729,290 ds/min), 62,075,917 states left on queue.
Progress(23) at 2021-02-11 03:52:02: 344,465,718 states generated (5,089,156 s/min), 125,520,627 distinct states found (1,749,327 ds/min), 62,905,222 states left on queue.
Progress(23) at 2021-02-11 03:53:02: 349,356,345 states generated (4,890,627 s/min), 127,223,958 distinct states found (1,703,331 ds/min), 63,688,953 states left on queue.
Progress(23) at 2021-02-11 03:54:02: 354,344,141 states generated (4,987,796 s/min), 128,932,657 distinct states found (1,708,699 ds/min), 64,488,488 states left on queue.
Progress(23) at 2021-02-11 03:55:02: 359,219,513 states generated (4,875,372 s/min), 130,703,587 distinct states found (1,770,930 ds/min), 65,312,040 states left on queue.
Progress(23) at 2021-02-11 03:56:02: 364,333,544 states generated (5,114,031 s/min), 132,597,453 distinct states found (1,893,866 ds/min), 66,257,784 states left on queue.
Progress(23) at 2021-02-11 03:57:02: 369,290,766 states generated (4,957,222 s/min), 134,376,962 distinct states found (1,779,509 ds/min), 67,096,523 states left on queue.
Progress(23) at 2021-02-11 03:58:02: 374,044,335 states generated (4,753,569 s/min), 136,035,880 distinct states found (1,658,918 ds/min), 67,832,934 states left on queue.
Progress(23) at 2021-02-11 03:59:02: 379,042,930 states generated (4,998,595 s/min), 137,764,115 distinct states found (1,728,235 ds/min), 68,648,409 states left on queue.
Progress(23) at 2021-02-11 04:00:02: 384,161,029 states generated (5,118,099 s/min), 139,505,944 distinct states found (1,741,829 ds/min), 69,465,217 states left on queue.
Progress(23) at 2021-02-11 04:01:02: 389,050,479 states generated (4,889,450 s/min), 141,275,930 distinct states found (1,769,986 ds/min), 70,289,586 states left on queue.
Progress(23) at 2021-02-11 04:02:02: 394,106,846 states generated (5,056,367 s/min), 143,024,384 distinct states found (1,748,454 ds/min), 71,112,578 states left on queue.
Progress(23) at 2021-02-11 04:03:02: 399,083,087 states generated (4,976,241 s/min), 144,689,258 distinct states found (1,664,874 ds/min), 71,889,200 states left on queue.
Progress(23) at 2021-02-11 04:04:02: 404,054,437 states generated (4,971,350 s/min), 146,350,279 distinct states found (1,661,021 ds/min), 72,653,254 states left on queue.
Progress(23) at 2021-02-11 04:05:02: 409,036,519 states generated (4,982,082 s/min), 147,957,564 distinct states found (1,607,285 ds/min), 73,376,835 states left on queue.
Progress(23) at 2021-02-11 04:06:02: 414,034,812 states generated (4,998,293 s/min), 149,597,761 distinct states found (1,640,197 ds/min), 74,120,853 states left on queue.
Progress(23) at 2021-02-11 04:07:02: 419,054,219 states generated (5,019,407 s/min), 151,396,570 distinct states found (1,798,809 ds/min), 75,001,539 states left on queue.
Progress(23) at 2021-02-11 04:08:02: 424,199,278 states generated (5,145,059 s/min), 153,256,406 distinct states found (1,859,836 ds/min), 75,919,868 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 04:09:03)
Progress(23) at 2021-02-11 04:09:03: 429,501,414 states generated (5,302,136 s/min), 155,129,990 distinct states found (1,873,584 ds/min), 76,844,690 states left on queue.
Progress(23) at 2021-02-11 04:10:03: 434,500,092 states generated (4,998,678 s/min), 156,841,201 distinct states found (1,711,211 ds/min), 77,621,427 states left on queue.
Progress(23) at 2021-02-11 04:11:03: 439,512,130 states generated (5,012,038 s/min), 158,550,955 distinct states found (1,709,754 ds/min), 78,425,523 states left on queue.
Progress(23) at 2021-02-11 04:12:03: 444,602,362 states generated (5,090,232 s/min), 160,342,840 distinct states found (1,791,885 ds/min), 79,306,126 states left on queue.
Progress(23) at 2021-02-11 04:13:03: 449,801,513 states generated (5,199,151 s/min), 162,223,084 distinct states found (1,880,244 ds/min), 80,235,562 states left on queue.
Progress(23) at 2021-02-11 04:14:03: 455,054,260 states generated (5,252,747 s/min), 164,083,443 distinct states found (1,860,359 ds/min), 81,157,927 states left on queue.
Progress(23) at 2021-02-11 04:15:03: 460,263,135 states generated (5,208,875 s/min), 165,929,602 distinct states found (1,846,159 ds/min), 82,058,936 states left on queue.
Progress(23) at 2021-02-11 04:16:03: 465,275,038 states generated (5,011,903 s/min), 167,659,511 distinct states found (1,729,909 ds/min), 82,879,122 states left on queue.
Progress(23) at 2021-02-11 04:17:03: 470,294,210 states generated (5,019,172 s/min), 169,401,789 distinct states found (1,742,278 ds/min), 83,708,706 states left on queue.
Progress(23) at 2021-02-11 04:18:03: 475,268,123 states generated (4,973,913 s/min), 171,136,611 distinct states found (1,734,822 ds/min), 84,523,358 states left on queue.
Progress(23) at 2021-02-11 04:19:03: 480,283,835 states generated (5,015,712 s/min), 172,869,035 distinct states found (1,732,424 ds/min), 85,343,748 states left on queue.
Progress(23) at 2021-02-11 04:20:03: 485,229,401 states generated (4,945,566 s/min), 174,580,854 distinct states found (1,711,819 ds/min), 86,143,241 states left on queue.
Progress(23) at 2021-02-11 04:21:03: 490,184,149 states generated (4,954,748 s/min), 176,312,424 distinct states found (1,731,570 ds/min), 86,954,322 states left on queue.
Progress(23) at 2021-02-11 04:22:03: 495,199,318 states generated (5,015,169 s/min), 178,088,823 distinct states found (1,776,399 ds/min), 87,802,768 states left on queue.
Checking temporal properties for the current state space with 91187357 total distinct states at (2021-02-11 04:23:03)
Finished checking temporal properties in 01h 15min at 2021-02-11 05:38:42
Progress(23) at 2021-02-11 05:38:42: 500,206,893 states generated (5,007,575 s/min), 179,785,843 distinct states found (1,697,020 ds/min), 88,598,484 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 05:39:43)
Progress(23) at 2021-02-11 05:39:43: 505,281,857 states generated (5,074,964 s/min), 181,481,620 distinct states found (1,695,777 ds/min), 89,390,114 states left on queue.
Progress(23) at 2021-02-11 05:40:43: 510,304,091 states generated (5,022,234 s/min), 183,221,620 distinct states found (1,740,000 ds/min), 90,209,398 states left on queue.
Progress(23) at 2021-02-11 05:41:43: 515,253,436 states generated (4,949,345 s/min), 184,834,804 distinct states found (1,613,184 ds/min), 90,946,583 states left on queue.
Progress(23) at 2021-02-11 05:42:43: 520,195,061 states generated (4,941,625 s/min), 186,495,105 distinct states found (1,660,301 ds/min), 91,712,439 states left on queue.
Progress(23) at 2021-02-11 05:43:43: 525,207,032 states generated (5,011,971 s/min), 188,119,545 distinct states found (1,624,440 ds/min), 92,453,025 states left on queue.
Progress(23) at 2021-02-11 05:44:43: 530,141,604 states generated (4,934,572 s/min), 189,789,480 distinct states found (1,669,935 ds/min), 93,220,623 states left on queue.
Progress(23) at 2021-02-11 05:45:43: 535,059,752 states generated (4,918,148 s/min), 191,404,992 distinct states found (1,615,512 ds/min), 93,956,668 states left on queue.
Progress(23) at 2021-02-11 05:46:43: 540,020,559 states generated (4,960,807 s/min), 193,131,455 distinct states found (1,726,463 ds/min), 94,766,230 states left on queue.
Progress(23) at 2021-02-11 05:47:43: 544,974,403 states generated (4,953,844 s/min), 194,764,474 distinct states found (1,633,019 ds/min), 95,512,629 states left on queue.
Progress(23) at 2021-02-11 05:48:43: 549,899,653 states generated (4,925,250 s/min), 196,422,553 distinct states found (1,658,079 ds/min), 96,269,669 states left on queue.
Progress(23) at 2021-02-11 05:49:43: 554,485,737 states generated (4,586,084 s/min), 197,949,201 distinct states found (1,526,648 ds/min), 96,955,462 states left on queue.
Progress(23) at 2021-02-11 05:50:43: 559,420,788 states generated (4,935,051 s/min), 199,570,915 distinct states found (1,621,714 ds/min), 97,682,803 states left on queue.
Progress(23) at 2021-02-11 05:51:43: 564,498,116 states generated (5,077,328 s/min), 201,253,017 distinct states found (1,682,102 ds/min), 98,464,451 states left on queue.
Progress(23) at 2021-02-11 05:52:43: 569,444,852 states generated (4,946,736 s/min), 202,934,998 distinct states found (1,681,981 ds/min), 99,237,934 states left on queue.
Progress(23) at 2021-02-11 05:53:43: 574,360,727 states generated (4,915,875 s/min), 204,650,576 distinct states found (1,715,578 ds/min), 100,034,386 states left on queue.
Progress(23) at 2021-02-11 05:54:43: 579,301,117 states generated (4,940,390 s/min), 206,331,534 distinct states found (1,680,958 ds/min), 100,805,335 states left on queue.
Progress(23) at 2021-02-11 05:55:43: 584,120,298 states generated (4,819,181 s/min), 207,920,584 distinct states found (1,589,050 ds/min), 101,509,629 states left on queue.
Progress(24) at 2021-02-11 05:56:43: 588,930,683 states generated (4,810,385 s/min), 209,588,454 distinct states found (1,667,870 ds/min), 102,268,144 states left on queue.
Progress(24) at 2021-02-11 05:57:43: 593,767,039 states generated (4,836,356 s/min), 211,186,051 distinct states found (1,597,597 ds/min), 102,977,123 states left on queue.
Progress(24) at 2021-02-11 05:58:43: 598,496,624 states generated (4,729,585 s/min), 212,815,260 distinct states found (1,629,209 ds/min), 103,692,438 states left on queue.
Progress(24) at 2021-02-11 05:59:43: 603,227,423 states generated (4,730,799 s/min), 214,426,280 distinct states found (1,611,020 ds/min), 104,400,813 states left on queue.
Progress(24) at 2021-02-11 06:00:43: 608,043,545 states generated (4,816,122 s/min), 216,042,447 distinct states found (1,616,167 ds/min), 105,119,587 states left on queue.
Progress(24) at 2021-02-11 06:01:43: 612,847,003 states generated (4,803,458 s/min), 217,664,421 distinct states found (1,621,974 ds/min), 105,842,333 states left on queue.
Progress(24) at 2021-02-11 06:02:43: 617,762,176 states generated (4,915,173 s/min), 219,301,613 distinct states found (1,637,192 ds/min), 106,577,301 states left on queue.
Progress(24) at 2021-02-11 06:03:43: 622,778,600 states generated (5,016,424 s/min), 220,896,638 distinct states found (1,595,025 ds/min), 107,292,931 states left on queue.
Progress(24) at 2021-02-11 06:04:43: 627,623,735 states generated (4,845,135 s/min), 222,457,645 distinct states found (1,561,007 ds/min), 107,979,049 states left on queue.
Progress(24) at 2021-02-11 06:05:43: 632,613,906 states generated (4,990,171 s/min), 224,185,454 distinct states found (1,727,809 ds/min), 108,797,762 states left on queue.
Progress(24) at 2021-02-11 06:06:43: 637,556,352 states generated (4,942,446 s/min), 225,762,272 distinct states found (1,576,818 ds/min), 109,490,985 states left on queue.
Progress(24) at 2021-02-11 06:07:43: 642,367,699 states generated (4,811,347 s/min), 227,371,617 distinct states found (1,609,345 ds/min), 110,199,771 states left on queue.
Progress(24) at 2021-02-11 06:08:43: 647,278,446 states generated (4,910,747 s/min), 229,068,603 distinct states found (1,696,986 ds/min), 110,984,984 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 06:09:43)
Progress(24) at 2021-02-11 06:09:43: 652,199,632 states generated (4,921,186 s/min), 230,799,607 distinct states found (1,731,004 ds/min), 111,784,601 states left on queue.
Progress(24) at 2021-02-11 06:10:43: 657,173,035 states generated (4,973,403 s/min), 232,618,405 distinct states found (1,818,798 ds/min), 112,668,273 states left on queue.
Progress(24) at 2021-02-11 06:11:43: 662,105,146 states generated (4,932,111 s/min), 234,285,915 distinct states found (1,667,510 ds/min), 113,437,003 states left on queue.
Progress(24) at 2021-02-11 06:12:43: 666,784,862 states generated (4,679,716 s/min), 235,883,004 distinct states found (1,597,089 ds/min), 114,119,323 states left on queue.
Progress(24) at 2021-02-11 06:13:43: 671,744,939 states generated (4,960,077 s/min), 237,479,791 distinct states found (1,596,787 ds/min), 114,838,280 states left on queue.
Progress(24) at 2021-02-11 06:14:43: 676,758,795 states generated (5,013,856 s/min), 239,075,829 distinct states found (1,596,038 ds/min), 115,568,594 states left on queue.
Progress(24) at 2021-02-11 06:15:43: 681,760,556 states generated (5,001,761 s/min), 240,744,502 distinct states found (1,668,673 ds/min), 116,340,686 states left on queue.
Progress(24) at 2021-02-11 06:16:43: 686,700,020 states generated (4,939,464 s/min), 242,379,272 distinct states found (1,634,770 ds/min), 117,073,995 states left on queue.
Progress(24) at 2021-02-11 06:17:43: 691,517,044 states generated (4,817,024 s/min), 243,988,878 distinct states found (1,609,606 ds/min), 117,796,759 states left on queue.
Progress(24) at 2021-02-11 06:18:43: 696,242,115 states generated (4,725,071 s/min), 245,582,414 distinct states found (1,593,536 ds/min), 118,493,278 states left on queue.
Progress(24) at 2021-02-11 06:19:43: 701,190,374 states generated (4,948,259 s/min), 247,264,642 distinct states found (1,682,228 ds/min), 119,270,786 states left on queue.
Progress(24) at 2021-02-11 06:20:43: 706,039,123 states generated (4,848,749 s/min), 248,839,808 distinct states found (1,575,166 ds/min), 119,965,970 states left on queue.
Progress(24) at 2021-02-11 06:21:43: 710,835,879 states generated (4,796,756 s/min), 250,494,731 distinct states found (1,654,923 ds/min), 120,709,533 states left on queue.
Progress(24) at 2021-02-11 06:22:43: 715,560,311 states generated (4,724,432 s/min), 252,190,271 distinct states found (1,695,540 ds/min), 121,470,396 states left on queue.
Progress(24) at 2021-02-11 06:23:43: 720,495,244 states generated (4,934,933 s/min), 253,964,818 distinct states found (1,774,547 ds/min), 122,314,829 states left on queue.
Progress(24) at 2021-02-11 06:24:43: 725,480,346 states generated (4,985,102 s/min), 255,697,216 distinct states found (1,732,398 ds/min), 123,126,802 states left on queue.
Progress(24) at 2021-02-11 06:25:43: 730,491,561 states generated (5,011,215 s/min), 257,431,794 distinct states found (1,734,578 ds/min), 123,938,200 states left on queue.
Progress(24) at 2021-02-11 06:26:43: 735,140,876 states generated (4,649,315 s/min), 259,043,554 distinct states found (1,611,760 ds/min), 124,638,975 states left on queue.
Progress(24) at 2021-02-11 06:27:43: 739,831,378 states generated (4,690,502 s/min), 260,694,835 distinct states found (1,651,281 ds/min), 125,366,152 states left on queue.
Progress(24) at 2021-02-11 06:28:43: 744,472,208 states generated (4,640,830 s/min), 262,215,192 distinct states found (1,520,357 ds/min), 126,003,610 states left on queue.
Progress(24) at 2021-02-11 06:29:43: 749,346,385 states generated (4,874,177 s/min), 263,921,105 distinct states found (1,705,913 ds/min), 126,793,856 states left on queue.
Progress(24) at 2021-02-11 06:30:43: 754,307,073 states generated (4,960,688 s/min), 265,483,559 distinct states found (1,562,454 ds/min), 127,483,859 states left on queue.
Progress(24) at 2021-02-11 06:31:43: 759,354,931 states generated (5,047,858 s/min), 267,151,526 distinct states found (1,667,967 ds/min), 128,249,460 states left on queue.
Progress(24) at 2021-02-11 06:32:43: 764,167,391 states generated (4,812,460 s/min), 268,792,536 distinct states found (1,641,010 ds/min), 128,978,445 states left on queue.
Progress(24) at 2021-02-11 06:33:43: 768,846,738 states generated (4,679,347 s/min), 270,442,687 distinct states found (1,650,151 ds/min), 129,702,941 states left on queue.
Progress(24) at 2021-02-11 06:34:43: 773,775,246 states generated (4,928,508 s/min), 272,117,585 distinct states found (1,674,898 ds/min), 130,475,568 states left on queue.
Progress(24) at 2021-02-11 06:35:43: 778,695,412 states generated (4,920,166 s/min), 273,755,199 distinct states found (1,637,614 ds/min), 131,212,091 states left on queue.
Progress(24) at 2021-02-11 06:36:43: 783,593,290 states generated (4,897,878 s/min), 275,392,681 distinct states found (1,637,482 ds/min), 131,952,479 states left on queue.
Progress(24) at 2021-02-11 06:37:43: 788,476,841 states generated (4,883,551 s/min), 276,972,403 distinct states found (1,579,722 ds/min), 132,656,188 states left on queue.
Progress(24) at 2021-02-11 06:38:43: 793,296,934 states generated (4,820,093 s/min), 278,493,160 distinct states found (1,520,757 ds/min), 133,316,372 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 06:39:44)
Progress(24) at 2021-02-11 06:39:44: 798,184,463 states generated (4,887,529 s/min), 280,110,607 distinct states found (1,617,447 ds/min), 134,039,556 states left on queue.
Progress(24) at 2021-02-11 06:40:44: 802,997,394 states generated (4,812,931 s/min), 281,617,253 distinct states found (1,506,646 ds/min), 134,684,946 states left on queue.
Progress(24) at 2021-02-11 06:41:44: 807,882,941 states generated (4,885,547 s/min), 283,172,471 distinct states found (1,555,218 ds/min), 135,372,474 states left on queue.
Progress(24) at 2021-02-11 06:42:44: 812,722,765 states generated (4,839,824 s/min), 284,722,084 distinct states found (1,549,613 ds/min), 136,050,959 states left on queue.
Progress(24) at 2021-02-11 06:43:44: 817,618,874 states generated (4,896,109 s/min), 286,273,189 distinct states found (1,551,105 ds/min), 136,726,549 states left on queue.
Progress(24) at 2021-02-11 06:44:44: 822,502,009 states generated (4,883,135 s/min), 287,912,749 distinct states found (1,639,560 ds/min), 137,475,952 states left on queue.
Progress(24) at 2021-02-11 06:45:44: 827,440,455 states generated (4,938,446 s/min), 289,639,909 distinct states found (1,727,160 ds/min), 138,286,033 states left on queue.
Progress(24) at 2021-02-11 06:46:44: 832,332,007 states generated (4,891,552 s/min), 291,339,488 distinct states found (1,699,579 ds/min), 139,063,030 states left on queue.
Progress(24) at 2021-02-11 06:47:44: 837,400,069 states generated (5,068,062 s/min), 293,083,905 distinct states found (1,744,417 ds/min), 139,893,661 states left on queue.
Progress(24) at 2021-02-11 06:48:44: 842,481,901 states generated (5,081,832 s/min), 294,770,702 distinct states found (1,686,797 ds/min), 140,675,955 states left on queue.
Progress(24) at 2021-02-11 06:49:44: 847,268,385 states generated (4,786,484 s/min), 296,441,022 distinct states found (1,670,320 ds/min), 141,465,248 states left on queue.
Progress(24) at 2021-02-11 06:50:44: 852,250,251 states generated (4,981,866 s/min), 298,097,918 distinct states found (1,656,896 ds/min), 142,213,341 states left on queue.
Progress(24) at 2021-02-11 06:51:44: 857,040,479 states generated (4,790,228 s/min), 299,717,682 distinct states found (1,619,764 ds/min), 142,912,834 states left on queue.
Progress(24) at 2021-02-11 06:52:44: 861,969,377 states generated (4,928,898 s/min), 301,351,713 distinct states found (1,634,031 ds/min), 143,642,120 states left on queue.
Progress(24) at 2021-02-11 06:53:44: 866,881,521 states generated (4,912,144 s/min), 302,966,763 distinct states found (1,615,050 ds/min), 144,368,732 states left on queue.
Progress(24) at 2021-02-11 06:54:44: 871,801,986 states generated (4,920,465 s/min), 304,587,137 distinct states found (1,620,374 ds/min), 145,104,654 states left on queue.
Progress(24) at 2021-02-11 06:55:44: 876,795,406 states generated (4,993,420 s/min), 306,317,376 distinct states found (1,730,239 ds/min), 145,923,565 states left on queue.
Progress(24) at 2021-02-11 06:56:44: 881,812,342 states generated (5,016,936 s/min), 308,092,641 distinct states found (1,775,265 ds/min), 146,762,042 states left on queue.
Progress(24) at 2021-02-11 06:57:44: 886,891,343 states generated (5,079,001 s/min), 309,832,789 distinct states found (1,740,148 ds/min), 147,573,599 states left on queue.
Progress(24) at 2021-02-11 06:58:44: 891,982,045 states generated (5,090,702 s/min), 311,565,821 distinct states found (1,733,032 ds/min), 148,381,874 states left on queue.
Progress(24) at 2021-02-11 06:59:44: 897,062,292 states generated (5,080,247 s/min), 313,311,838 distinct states found (1,746,017 ds/min), 149,208,625 states left on queue.
Progress(24) at 2021-02-11 07:00:44: 902,161,054 states generated (5,098,762 s/min), 315,051,191 distinct states found (1,739,353 ds/min), 150,037,813 states left on queue.
Progress(24) at 2021-02-11 07:01:44: 907,155,105 states generated (4,994,051 s/min), 316,774,561 distinct states found (1,723,370 ds/min), 150,817,993 states left on queue.
Progress(24) at 2021-02-11 07:02:44: 912,110,702 states generated (4,955,597 s/min), 318,419,706 distinct states found (1,645,145 ds/min), 151,569,086 states left on queue.
Progress(24) at 2021-02-11 07:03:44: 916,978,261 states generated (4,867,559 s/min), 320,072,170 distinct states found (1,652,464 ds/min), 152,314,414 states left on queue.
Progress(24) at 2021-02-11 07:04:44: 921,941,240 states generated (4,962,979 s/min), 321,695,862 distinct states found (1,623,692 ds/min), 153,056,288 states left on queue.
Progress(24) at 2021-02-11 07:05:44: 926,775,649 states generated (4,834,409 s/min), 323,360,270 distinct states found (1,664,408 ds/min), 153,812,681 states left on queue.
Progress(24) at 2021-02-11 07:06:44: 931,619,208 states generated (4,843,559 s/min), 324,981,727 distinct states found (1,621,457 ds/min), 154,534,271 states left on queue.
Progress(24) at 2021-02-11 07:07:44: 936,551,126 states generated (4,931,918 s/min), 326,611,313 distinct states found (1,629,586 ds/min), 155,272,698 states left on queue.
Progress(24) at 2021-02-11 07:08:44: 941,404,891 states generated (4,853,765 s/min), 328,265,693 distinct states found (1,654,380 ds/min), 156,015,591 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 07:09:45)
Progress(24) at 2021-02-11 07:09:45: 946,355,221 states generated (4,950,330 s/min), 329,886,289 distinct states found (1,620,596 ds/min), 156,748,353 states left on queue.
Progress(24) at 2021-02-11 07:10:45: 951,199,951 states generated (4,844,730 s/min), 331,519,920 distinct states found (1,633,631 ds/min), 157,477,239 states left on queue.
Progress(24) at 2021-02-11 07:11:45: 955,984,794 states generated (4,784,843 s/min), 333,176,516 distinct states found (1,656,596 ds/min), 158,214,113 states left on queue.
Progress(24) at 2021-02-11 07:12:45: 960,857,024 states generated (4,872,230 s/min), 334,793,305 distinct states found (1,616,789 ds/min), 158,934,543 states left on queue.
Progress(24) at 2021-02-11 07:13:45: 965,787,492 states generated (4,930,468 s/min), 336,433,485 distinct states found (1,640,180 ds/min), 159,682,879 states left on queue.
Progress(24) at 2021-02-11 07:14:45: 970,680,945 states generated (4,893,453 s/min), 338,083,005 distinct states found (1,649,520 ds/min), 160,434,251 states left on queue.
Progress(24) at 2021-02-11 07:15:45: 975,510,657 states generated (4,829,712 s/min), 339,768,083 distinct states found (1,685,078 ds/min), 161,199,939 states left on queue.
Progress(24) at 2021-02-11 07:16:45: 980,451,767 states generated (4,941,110 s/min), 341,363,994 distinct states found (1,595,911 ds/min), 161,923,382 states left on queue.
Progress(24) at 2021-02-11 07:17:45: 985,390,637 states generated (4,938,870 s/min), 342,940,384 distinct states found (1,576,390 ds/min), 162,618,097 states left on queue.
Progress(24) at 2021-02-11 07:18:45: 990,297,212 states generated (4,906,575 s/min), 344,552,655 distinct states found (1,612,271 ds/min), 163,346,038 states left on queue.
Progress(24) at 2021-02-11 07:19:45: 995,195,030 states generated (4,897,818 s/min), 346,214,753 distinct states found (1,662,098 ds/min), 164,101,857 states left on queue.
Progress(24) at 2021-02-11 07:20:45: 1,000,143,431 states generated (4,948,401 s/min), 347,861,579 distinct states found (1,646,826 ds/min), 164,854,756 states left on queue.
Progress(24) at 2021-02-11 07:21:45: 1,004,989,297 states generated (4,845,866 s/min), 349,415,729 distinct states found (1,554,150 ds/min), 165,536,701 states left on queue.
Progress(24) at 2021-02-11 07:22:45: 1,009,838,164 states generated (4,848,867 s/min), 350,950,615 distinct states found (1,534,886 ds/min), 166,209,242 states left on queue.
Progress(24) at 2021-02-11 07:23:45: 1,014,601,765 states generated (4,763,601 s/min), 352,434,403 distinct states found (1,483,788 ds/min), 166,833,698 states left on queue.
Progress(24) at 2021-02-11 07:24:45: 1,019,488,353 states generated (4,886,588 s/min), 354,081,376 distinct states found (1,646,973 ds/min), 167,588,042 states left on queue.
Progress(24) at 2021-02-11 07:25:45: 1,024,473,107 states generated (4,984,754 s/min), 355,684,304 distinct states found (1,602,928 ds/min), 168,306,112 states left on queue.
Progress(24) at 2021-02-11 07:26:45: 1,029,265,377 states generated (4,792,270 s/min), 357,166,982 distinct states found (1,482,678 ds/min), 168,936,759 states left on queue.
Progress(24) at 2021-02-11 07:27:45: 1,034,092,125 states generated (4,826,748 s/min), 358,769,913 distinct states found (1,602,931 ds/min), 169,643,062 states left on queue.
Progress(24) at 2021-02-11 07:28:45: 1,038,932,243 states generated (4,840,118 s/min), 360,334,396 distinct states found (1,564,483 ds/min), 170,331,006 states left on queue.
Progress(24) at 2021-02-11 07:29:45: 1,043,741,677 states generated (4,809,434 s/min), 361,883,035 distinct states found (1,548,639 ds/min), 171,014,008 states left on queue.
Progress(24) at 2021-02-11 07:30:45: 1,048,621,677 states generated (4,880,000 s/min), 363,451,690 distinct states found (1,568,655 ds/min), 171,707,317 states left on queue.
Progress(24) at 2021-02-11 07:31:45: 1,053,501,475 states generated (4,879,798 s/min), 365,106,156 distinct states found (1,654,466 ds/min), 172,461,163 states left on queue.
Progress(24) at 2021-02-11 07:32:45: 1,058,328,254 states generated (4,826,779 s/min), 366,682,859 distinct states found (1,576,703 ds/min), 173,159,136 states left on queue.
Progress(24) at 2021-02-11 07:33:45: 1,063,155,082 states generated (4,826,828 s/min), 368,233,583 distinct states found (1,550,724 ds/min), 173,837,989 states left on queue.
Progress(24) at 2021-02-11 07:34:45: 1,068,065,827 states generated (4,910,745 s/min), 369,809,039 distinct states found (1,575,456 ds/min), 174,544,981 states left on queue.
Progress(24) at 2021-02-11 07:35:45: 1,072,818,367 states generated (4,752,540 s/min), 371,395,210 distinct states found (1,586,171 ds/min), 175,239,053 states left on queue.
Progress(24) at 2021-02-11 07:36:45: 1,077,625,365 states generated (4,806,998 s/min), 372,919,698 distinct states found (1,524,488 ds/min), 175,902,525 states left on queue.
Progress(24) at 2021-02-11 07:37:45: 1,082,344,590 states generated (4,719,225 s/min), 374,471,284 distinct states found (1,551,586 ds/min), 176,574,978 states left on queue.
Progress(24) at 2021-02-11 07:38:45: 1,087,131,664 states generated (4,787,074 s/min), 375,963,789 distinct states found (1,492,505 ds/min), 177,204,195 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 07:39:46)
Progress(24) at 2021-02-11 07:39:46: 1,092,011,076 states generated (4,879,412 s/min), 377,579,453 distinct states found (1,615,664 ds/min), 177,923,289 states left on queue.
Progress(24) at 2021-02-11 07:40:46: 1,096,862,455 states generated (4,851,379 s/min), 379,133,794 distinct states found (1,554,341 ds/min), 178,603,596 states left on queue.
Progress(24) at 2021-02-11 07:41:46: 1,101,429,564 states generated (4,567,109 s/min), 380,610,105 distinct states found (1,476,311 ds/min), 179,281,314 states left on queue.
Progress(24) at 2021-02-11 07:42:46: 1,106,268,664 states generated (4,839,100 s/min), 382,164,126 distinct states found (1,554,021 ds/min), 179,962,206 states left on queue.
Progress(24) at 2021-02-11 07:43:46: 1,111,090,566 states generated (4,821,902 s/min), 383,835,721 distinct states found (1,671,595 ds/min), 180,717,745 states left on queue.
Progress(24) at 2021-02-11 07:44:46: 1,115,845,325 states generated (4,754,759 s/min), 385,428,475 distinct states found (1,592,754 ds/min), 181,415,954 states left on queue.
Progress(24) at 2021-02-11 07:45:46: 1,120,810,240 states generated (4,964,915 s/min), 387,044,979 distinct states found (1,616,504 ds/min), 182,145,300 states left on queue.
Progress(24) at 2021-02-11 07:46:46: 1,125,624,630 states generated (4,814,390 s/min), 388,688,479 distinct states found (1,643,500 ds/min), 182,878,581 states left on queue.
Progress(24) at 2021-02-11 07:47:46: 1,130,370,481 states generated (4,745,851 s/min), 390,204,744 distinct states found (1,516,265 ds/min), 183,534,784 states left on queue.
Progress(24) at 2021-02-11 07:48:46: 1,135,071,963 states generated (4,701,482 s/min), 391,693,147 distinct states found (1,488,403 ds/min), 184,163,989 states left on queue.
Progress(24) at 2021-02-11 07:49:46: 1,139,740,990 states generated (4,669,027 s/min), 393,285,165 distinct states found (1,592,018 ds/min), 184,851,978 states left on queue.
Progress(25) at 2021-02-11 07:50:46: 1,144,476,219 states generated (4,735,229 s/min), 394,891,919 distinct states found (1,606,754 ds/min), 185,561,293 states left on queue.
Progress(25) at 2021-02-11 07:51:46: 1,149,232,855 states generated (4,756,636 s/min), 396,428,622 distinct states found (1,536,703 ds/min), 186,224,457 states left on queue.
Progress(25) at 2021-02-11 07:52:46: 1,153,927,735 states generated (4,694,880 s/min), 397,927,345 distinct states found (1,498,723 ds/min), 186,852,537 states left on queue.
Progress(25) at 2021-02-11 07:53:46: 1,158,637,964 states generated (4,710,229 s/min), 399,441,132 distinct states found (1,513,787 ds/min), 187,493,439 states left on queue.
Progress(25) at 2021-02-11 07:54:46: 1,163,178,486 states generated (4,540,522 s/min), 401,012,309 distinct states found (1,571,177 ds/min), 188,155,727 states left on queue.
Progress(25) at 2021-02-11 07:55:46: 1,167,768,896 states generated (4,590,410 s/min), 402,552,584 distinct states found (1,540,275 ds/min), 188,803,113 states left on queue.
Progress(25) at 2021-02-11 07:56:46: 1,172,501,045 states generated (4,732,149 s/min), 404,089,168 distinct states found (1,536,584 ds/min), 189,464,682 states left on queue.
Progress(25) at 2021-02-11 07:57:46: 1,177,218,928 states generated (4,717,883 s/min), 405,625,575 distinct states found (1,536,407 ds/min), 190,122,375 states left on queue.
Progress(25) at 2021-02-11 07:58:46: 1,181,855,635 states generated (4,636,707 s/min), 407,145,529 distinct states found (1,519,954 ds/min), 190,761,004 states left on queue.
Progress(25) at 2021-02-11 07:59:46: 1,186,541,286 states generated (4,685,651 s/min), 408,702,165 distinct states found (1,556,636 ds/min), 191,432,452 states left on queue.
Progress(25) at 2021-02-11 08:00:46: 1,191,292,445 states generated (4,751,159 s/min), 410,237,436 distinct states found (1,535,271 ds/min), 192,094,328 states left on queue.
Progress(25) at 2021-02-11 08:01:46: 1,196,070,068 states generated (4,777,623 s/min), 411,764,742 distinct states found (1,527,306 ds/min), 192,748,147 states left on queue.
Progress(25) at 2021-02-11 08:02:46: 1,201,078,051 states generated (5,007,983 s/min), 413,402,539 distinct states found (1,637,797 ds/min), 193,495,984 states left on queue.
Progress(25) at 2021-02-11 08:03:46: 1,205,908,475 states generated (4,830,424 s/min), 414,852,191 distinct states found (1,449,652 ds/min), 194,098,919 states left on queue.
Progress(25) at 2021-02-11 08:04:46: 1,210,627,632 states generated (4,719,157 s/min), 416,310,936 distinct states found (1,458,745 ds/min), 194,709,886 states left on queue.
Progress(25) at 2021-02-11 08:05:46: 1,215,387,721 states generated (4,760,089 s/min), 417,823,322 distinct states found (1,512,386 ds/min), 195,361,881 states left on queue.
Progress(25) at 2021-02-11 08:06:46: 1,220,287,158 states generated (4,899,437 s/min), 419,527,280 distinct states found (1,703,958 ds/min), 196,153,231 states left on queue.
Progress(25) at 2021-02-11 08:07:46: 1,225,125,535 states generated (4,838,377 s/min), 421,072,118 distinct states found (1,544,838 ds/min), 196,833,571 states left on queue.
Progress(25) at 2021-02-11 08:08:46: 1,229,925,420 states generated (4,799,885 s/min), 422,544,374 distinct states found (1,472,256 ds/min), 197,450,792 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 08:09:47)
Progress(25) at 2021-02-11 08:09:47: 1,234,765,422 states generated (4,840,002 s/min), 424,140,486 distinct states found (1,596,112 ds/min), 198,145,817 states left on queue.
Progress(25) at 2021-02-11 08:10:47: 1,239,490,986 states generated (4,725,564 s/min), 425,633,707 distinct states found (1,493,221 ds/min), 198,775,462 states left on queue.
Progress(25) at 2021-02-11 08:11:47: 1,244,178,330 states generated (4,687,344 s/min), 427,174,268 distinct states found (1,540,561 ds/min), 199,436,661 states left on queue.
Progress(25) at 2021-02-11 08:12:47: 1,249,028,461 states generated (4,850,131 s/min), 428,849,736 distinct states found (1,675,468 ds/min), 200,203,616 states left on queue.
Progress(25) at 2021-02-11 08:13:47: 1,253,777,101 states generated (4,748,640 s/min), 430,402,584 distinct states found (1,552,848 ds/min), 200,883,154 states left on queue.
Progress(25) at 2021-02-11 08:14:47: 1,258,510,036 states generated (4,732,935 s/min), 432,001,463 distinct states found (1,598,879 ds/min), 201,590,755 states left on queue.
Progress(25) at 2021-02-11 08:15:47: 1,263,276,004 states generated (4,765,968 s/min), 433,690,673 distinct states found (1,689,210 ds/min), 202,362,682 states left on queue.
Progress(25) at 2021-02-11 08:16:47: 1,268,149,179 states generated (4,873,175 s/min), 435,397,383 distinct states found (1,706,710 ds/min), 203,162,026 states left on queue.
Progress(25) at 2021-02-11 08:17:47: 1,273,102,576 states generated (4,953,397 s/min), 437,104,296 distinct states found (1,706,913 ds/min), 203,966,009 states left on queue.
Progress(25) at 2021-02-11 08:18:47: 1,277,888,614 states generated (4,786,038 s/min), 438,661,732 distinct states found (1,557,436 ds/min), 204,655,637 states left on queue.
Progress(25) at 2021-02-11 08:19:47: 1,282,454,866 states generated (4,566,252 s/min), 440,178,038 distinct states found (1,516,306 ds/min), 205,276,200 states left on queue.
Progress(25) at 2021-02-11 08:20:47: 1,287,005,815 states generated (4,550,949 s/min), 441,690,044 distinct states found (1,512,006 ds/min), 205,893,186 states left on queue.
Progress(25) at 2021-02-11 08:21:47: 1,291,809,643 states generated (4,803,828 s/min), 443,133,700 distinct states found (1,443,656 ds/min), 206,500,985 states left on queue.
Progress(25) at 2021-02-11 08:22:47: 1,296,637,024 states generated (4,827,381 s/min), 444,714,280 distinct states found (1,580,580 ds/min), 207,202,131 states left on queue.
Progress(25) at 2021-02-11 08:23:47: 1,301,524,227 states generated (4,887,203 s/min), 446,201,913 distinct states found (1,487,633 ds/min), 207,856,326 states left on queue.
Progress(25) at 2021-02-11 08:24:47: 1,306,434,410 states generated (4,910,183 s/min), 447,717,411 distinct states found (1,515,498 ds/min), 208,522,900 states left on queue.
Progress(25) at 2021-02-11 08:25:47: 1,311,237,898 states generated (4,803,488 s/min), 449,320,867 distinct states found (1,603,456 ds/min), 209,243,135 states left on queue.
Progress(25) at 2021-02-11 08:26:47: 1,316,095,298 states generated (4,857,400 s/min), 450,960,331 distinct states found (1,639,464 ds/min), 209,987,871 states left on queue.
Progress(25) at 2021-02-11 08:27:47: 1,320,986,393 states generated (4,891,095 s/min), 452,503,061 distinct states found (1,542,730 ds/min), 210,660,366 states left on queue.
Progress(25) at 2021-02-11 08:28:47: 1,325,677,044 states generated (4,690,651 s/min), 453,987,550 distinct states found (1,484,489 ds/min), 211,289,603 states left on queue.
Progress(25) at 2021-02-11 08:29:47: 1,330,381,686 states generated (4,704,642 s/min), 455,523,816 distinct states found (1,536,266 ds/min), 211,957,081 states left on queue.
Progress(25) at 2021-02-11 08:30:47: 1,335,016,275 states generated (4,634,589 s/min), 457,048,797 distinct states found (1,524,981 ds/min), 212,607,379 states left on queue.
Progress(25) at 2021-02-11 08:31:47: 1,339,560,041 states generated (4,543,766 s/min), 458,545,273 distinct states found (1,496,476 ds/min), 213,222,916 states left on queue.
Progress(25) at 2021-02-11 08:32:47: 1,344,383,592 states generated (4,823,551 s/min), 460,104,929 distinct states found (1,559,656 ds/min), 213,911,121 states left on queue.
Progress(25) at 2021-02-11 08:33:47: 1,349,219,692 states generated (4,836,100 s/min), 461,722,329 distinct states found (1,617,400 ds/min), 214,645,593 states left on queue.
Progress(25) at 2021-02-11 08:34:47: 1,353,924,706 states generated (4,705,014 s/min), 463,194,168 distinct states found (1,471,839 ds/min), 215,262,385 states left on queue.
Progress(25) at 2021-02-11 08:35:47: 1,358,670,655 states generated (4,745,949 s/min), 464,710,974 distinct states found (1,516,806 ds/min), 215,911,827 states left on queue.
Progress(25) at 2021-02-11 08:36:47: 1,363,230,255 states generated (4,559,600 s/min), 466,302,250 distinct states found (1,591,276 ds/min), 216,588,522 states left on queue.
Progress(25) at 2021-02-11 08:37:47: 1,367,991,876 states generated (4,761,621 s/min), 467,819,696 distinct states found (1,517,446 ds/min), 217,241,213 states left on queue.
Progress(25) at 2021-02-11 08:38:47: 1,372,560,233 states generated (4,568,357 s/min), 469,425,033 distinct states found (1,605,337 ds/min), 217,934,502 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 08:39:48)
Progress(25) at 2021-02-11 08:39:48: 1,377,253,010 states generated (4,692,777 s/min), 471,073,625 distinct states found (1,648,592 ds/min), 218,660,486 states left on queue.
Progress(25) at 2021-02-11 08:40:48: 1,382,037,068 states generated (4,784,058 s/min), 472,757,849 distinct states found (1,684,224 ds/min), 219,435,822 states left on queue.
Progress(25) at 2021-02-11 08:41:54: 1,386,764,612 states generated (4,727,544 s/min), 474,364,643 distinct states found (1,606,794 ds/min), 220,170,075 states left on queue.
Progress(25) at 2021-02-11 08:42:54: 1,391,621,251 states generated (4,856,639 s/min), 476,018,221 distinct states found (1,653,578 ds/min), 220,915,450 states left on queue.
Progress(25) at 2021-02-11 08:43:54: 1,396,485,459 states generated (4,864,208 s/min), 477,599,728 distinct states found (1,581,507 ds/min), 221,612,650 states left on queue.
Progress(25) at 2021-02-11 08:44:54: 1,401,403,093 states generated (4,917,634 s/min), 479,240,838 distinct states found (1,641,110 ds/min), 222,365,364 states left on queue.
Progress(25) at 2021-02-11 08:45:54: 1,406,079,257 states generated (4,676,164 s/min), 480,863,576 distinct states found (1,622,738 ds/min), 223,080,221 states left on queue.
Progress(25) at 2021-02-11 08:46:54: 1,410,602,169 states generated (4,522,912 s/min), 482,383,952 distinct states found (1,520,376 ds/min), 223,715,526 states left on queue.
Progress(25) at 2021-02-11 08:47:54: 1,415,166,386 states generated (4,564,217 s/min), 483,905,522 distinct states found (1,521,570 ds/min), 224,352,534 states left on queue.
Progress(25) at 2021-02-11 08:48:54: 1,419,736,056 states generated (4,569,670 s/min), 485,509,323 distinct states found (1,603,801 ds/min), 225,037,331 states left on queue.
Progress(25) at 2021-02-11 08:49:54: 1,424,306,090 states generated (4,570,034 s/min), 486,942,972 distinct states found (1,433,649 ds/min), 225,618,563 states left on queue.
Progress(25) at 2021-02-11 08:50:54: 1,428,787,600 states generated (4,481,510 s/min), 488,406,346 distinct states found (1,463,374 ds/min), 226,210,215 states left on queue.
Progress(25) at 2021-02-11 08:51:54: 1,433,486,700 states generated (4,699,100 s/min), 490,023,215 distinct states found (1,616,869 ds/min), 226,931,164 states left on queue.
Progress(25) at 2021-02-11 08:52:54: 1,438,289,160 states generated (4,802,460 s/min), 491,624,390 distinct states found (1,601,175 ds/min), 227,651,142 states left on queue.
Progress(25) at 2021-02-11 08:53:54: 1,442,999,330 states generated (4,710,170 s/min), 493,110,645 distinct states found (1,486,255 ds/min), 228,278,970 states left on queue.
Progress(25) at 2021-02-11 08:54:54: 1,447,964,666 states generated (4,965,336 s/min), 494,604,253 distinct states found (1,493,608 ds/min), 228,928,800 states left on queue.
Progress(25) at 2021-02-11 08:55:54: 1,452,871,400 states generated (4,906,734 s/min), 496,198,483 distinct states found (1,594,230 ds/min), 229,641,503 states left on queue.
Progress(25) at 2021-02-11 08:56:54: 1,457,710,915 states generated (4,839,515 s/min), 497,706,713 distinct states found (1,508,230 ds/min), 230,287,886 states left on queue.
Progress(25) at 2021-02-11 08:57:54: 1,462,338,295 states generated (4,627,380 s/min), 499,247,357 distinct states found (1,540,644 ds/min), 230,941,736 states left on queue.
Progress(25) at 2021-02-11 08:58:54: 1,466,970,918 states generated (4,632,623 s/min), 500,887,896 distinct states found (1,640,539 ds/min), 231,670,399 states left on queue.
Progress(25) at 2021-02-11 08:59:54: 1,471,531,700 states generated (4,560,782 s/min), 502,434,220 distinct states found (1,546,324 ds/min), 232,322,521 states left on queue.
Progress(25) at 2021-02-11 09:00:54: 1,476,221,160 states generated (4,689,460 s/min), 503,979,964 distinct states found (1,545,744 ds/min), 232,986,954 states left on queue.
Progress(25) at 2021-02-11 09:01:54: 1,480,940,032 states generated (4,718,872 s/min), 505,574,798 distinct states found (1,594,834 ds/min), 233,685,508 states left on queue.
Progress(25) at 2021-02-11 09:02:54: 1,485,765,349 states generated (4,825,317 s/min), 507,111,027 distinct states found (1,536,229 ds/min), 234,353,405 states left on queue.
Progress(25) at 2021-02-11 09:03:54: 1,490,507,190 states generated (4,741,841 s/min), 508,646,778 distinct states found (1,535,751 ds/min), 235,012,483 states left on queue.
Progress(25) at 2021-02-11 09:04:54: 1,495,265,620 states generated (4,758,430 s/min), 510,179,715 distinct states found (1,532,937 ds/min), 235,675,086 states left on queue.
Progress(25) at 2021-02-11 09:05:54: 1,500,029,885 states generated (4,764,265 s/min), 511,748,909 distinct states found (1,569,194 ds/min), 236,372,110 states left on queue.
Progress(25) at 2021-02-11 09:06:54: 1,504,784,417 states generated (4,754,532 s/min), 513,341,397 distinct states found (1,592,488 ds/min), 237,080,357 states left on queue.
Progress(25) at 2021-02-11 09:07:54: 1,509,519,786 states generated (4,735,369 s/min), 514,747,467 distinct states found (1,406,070 ds/min), 237,666,601 states left on queue.
Progress(25) at 2021-02-11 09:08:54: 1,514,223,957 states generated (4,704,171 s/min), 516,170,818 distinct states found (1,423,351 ds/min), 238,257,600 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 09:09:55)
Progress(25) at 2021-02-11 09:09:55: 1,518,928,189 states generated (4,704,232 s/min), 517,654,623 distinct states found (1,483,805 ds/min), 238,884,948 states left on queue.
Progress(25) at 2021-02-11 09:10:55: 1,523,619,055 states generated (4,690,866 s/min), 519,204,259 distinct states found (1,549,636 ds/min), 239,560,696 states left on queue.
Progress(25) at 2021-02-11 09:11:55: 1,528,328,860 states generated (4,709,805 s/min), 520,691,386 distinct states found (1,487,127 ds/min), 240,190,347 states left on queue.
Progress(25) at 2021-02-11 09:12:55: 1,532,982,904 states generated (4,654,044 s/min), 522,077,920 distinct states found (1,386,534 ds/min), 240,755,682 states left on queue.
Progress(25) at 2021-02-11 09:13:55: 1,537,681,060 states generated (4,698,156 s/min), 523,570,597 distinct states found (1,492,677 ds/min), 241,392,383 states left on queue.
Progress(25) at 2021-02-11 09:14:55: 1,542,404,954 states generated (4,723,894 s/min), 525,028,322 distinct states found (1,457,725 ds/min), 242,010,662 states left on queue.
Progress(25) at 2021-02-11 09:15:55: 1,547,110,176 states generated (4,705,222 s/min), 526,463,267 distinct states found (1,434,945 ds/min), 242,605,232 states left on queue.
Progress(25) at 2021-02-11 09:16:55: 1,551,814,499 states generated (4,704,323 s/min), 527,938,788 distinct states found (1,475,521 ds/min), 243,235,171 states left on queue.
Progress(25) at 2021-02-11 09:17:55: 1,556,569,352 states generated (4,754,853 s/min), 529,426,174 distinct states found (1,487,386 ds/min), 243,872,749 states left on queue.
Progress(25) at 2021-02-11 09:18:55: 1,561,308,681 states generated (4,739,329 s/min), 530,872,554 distinct states found (1,446,380 ds/min), 244,476,547 states left on queue.
Progress(25) at 2021-02-11 09:19:55: 1,566,014,477 states generated (4,705,796 s/min), 532,416,578 distinct states found (1,544,024 ds/min), 245,154,644 states left on queue.
Progress(25) at 2021-02-11 09:20:55: 1,570,777,207 states generated (4,762,730 s/min), 533,976,240 distinct states found (1,559,662 ds/min), 245,848,559 states left on queue.
Progress(25) at 2021-02-11 09:21:55: 1,575,592,384 states generated (4,815,177 s/min), 535,557,645 distinct states found (1,581,405 ds/min), 246,560,192 states left on queue.
Progress(25) at 2021-02-11 09:22:55: 1,579,252,502 states generated (3,660,118 s/min), 536,865,624 distinct states found (1,307,979 ds/min), 247,161,638 states left on queue.
Progress(25) at 2021-02-11 09:23:55: 1,582,552,665 states generated (3,300,163 s/min), 537,991,299 distinct states found (1,125,675 ds/min), 247,665,278 states left on queue.
Progress(25) at 2021-02-11 09:24:55: 1,587,322,108 states generated (4,769,443 s/min), 539,601,677 distinct states found (1,610,378 ds/min), 248,375,426 states left on queue.
Progress(25) at 2021-02-11 09:25:55: 1,592,245,270 states generated (4,923,162 s/min), 541,267,239 distinct states found (1,665,562 ds/min), 249,142,480 states left on queue.
Progress(25) at 2021-02-11 09:26:55: 1,597,216,224 states generated (4,970,954 s/min), 542,903,347 distinct states found (1,636,108 ds/min), 249,890,020 states left on queue.
Progress(25) at 2021-02-11 09:27:55: 1,602,123,802 states generated (4,907,578 s/min), 544,582,246 distinct states found (1,678,899 ds/min), 250,664,107 states left on queue.
Progress(25) at 2021-02-11 09:28:55: 1,607,133,663 states generated (5,009,861 s/min), 546,116,319 distinct states found (1,534,073 ds/min), 251,336,079 states left on queue.
Progress(25) at 2021-02-11 09:29:55: 1,612,054,302 states generated (4,920,639 s/min), 547,777,245 distinct states found (1,660,926 ds/min), 252,093,543 states left on queue.
Progress(25) at 2021-02-11 09:30:55: 1,616,958,425 states generated (4,904,123 s/min), 549,450,598 distinct states found (1,673,353 ds/min), 252,860,700 states left on queue.
Progress(25) at 2021-02-11 09:31:55: 1,621,787,579 states generated (4,829,154 s/min), 551,088,660 distinct states found (1,638,062 ds/min), 253,581,419 states left on queue.
Progress(25) at 2021-02-11 09:32:55: 1,626,582,123 states generated (4,794,544 s/min), 552,552,953 distinct states found (1,464,293 ds/min), 254,195,566 states left on queue.
Progress(25) at 2021-02-11 09:33:55: 1,631,273,985 states generated (4,691,862 s/min), 554,098,114 distinct states found (1,545,161 ds/min), 254,850,123 states left on queue.
Progress(25) at 2021-02-11 09:34:55: 1,635,981,654 states generated (4,707,669 s/min), 555,653,184 distinct states found (1,555,070 ds/min), 255,513,974 states left on queue.
Progress(25) at 2021-02-11 09:35:55: 1,640,772,143 states generated (4,790,489 s/min), 557,224,299 distinct states found (1,571,115 ds/min), 256,196,032 states left on queue.
Progress(25) at 2021-02-11 09:36:55: 1,645,667,848 states generated (4,895,705 s/min), 558,821,277 distinct states found (1,596,978 ds/min), 256,912,343 states left on queue.
Progress(25) at 2021-02-11 09:37:55: 1,650,434,046 states generated (4,766,198 s/min), 560,349,977 distinct states found (1,528,700 ds/min), 257,574,023 states left on queue.
Progress(25) at 2021-02-11 09:38:55: 1,655,242,946 states generated (4,808,900 s/min), 561,866,083 distinct states found (1,516,106 ds/min), 258,234,572 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 09:39:55)
Progress(25) at 2021-02-11 09:39:55: 1,660,071,164 states generated (4,828,218 s/min), 563,442,574 distinct states found (1,576,491 ds/min), 258,930,725 states left on queue.
Progress(25) at 2021-02-11 09:40:55: 1,664,948,538 states generated (4,877,374 s/min), 565,063,082 distinct states found (1,620,508 ds/min), 259,665,631 states left on queue.
Progress(25) at 2021-02-11 09:42:03: 1,669,724,812 states generated (4,776,274 s/min), 566,672,033 distinct states found (1,608,951 ds/min), 260,398,474 states left on queue.
Progress(25) at 2021-02-11 09:43:03: 1,674,551,780 states generated (4,826,968 s/min), 568,359,900 distinct states found (1,687,867 ds/min), 261,170,650 states left on queue.
Progress(25) at 2021-02-11 09:44:03: 1,679,457,535 states generated (4,905,755 s/min), 570,025,672 distinct states found (1,665,772 ds/min), 261,930,408 states left on queue.
Progress(25) at 2021-02-11 09:45:03: 1,684,389,795 states generated (4,932,260 s/min), 571,670,087 distinct states found (1,644,415 ds/min), 262,680,995 states left on queue.
Progress(25) at 2021-02-11 09:46:03: 1,689,315,600 states generated (4,925,805 s/min), 573,311,543 distinct states found (1,641,456 ds/min), 263,419,312 states left on queue.
Progress(25) at 2021-02-11 09:47:03: 1,694,245,686 states generated (4,930,086 s/min), 574,950,484 distinct states found (1,638,941 ds/min), 264,153,836 states left on queue.
Progress(25) at 2021-02-11 09:48:03: 1,699,178,000 states generated (4,932,314 s/min), 576,597,644 distinct states found (1,647,160 ds/min), 264,901,090 states left on queue.
Progress(25) at 2021-02-11 09:49:03: 1,704,095,350 states generated (4,917,350 s/min), 578,251,538 distinct states found (1,653,894 ds/min), 265,663,199 states left on queue.
Progress(25) at 2021-02-11 09:50:03: 1,709,042,151 states generated (4,946,801 s/min), 579,895,283 distinct states found (1,643,745 ds/min), 266,414,286 states left on queue.
Progress(25) at 2021-02-11 09:51:03: 1,714,015,537 states generated (4,973,386 s/min), 581,519,646 distinct states found (1,624,363 ds/min), 267,159,947 states left on queue.
Progress(25) at 2021-02-11 09:52:03: 1,718,904,980 states generated (4,889,443 s/min), 583,196,285 distinct states found (1,676,639 ds/min), 267,932,324 states left on queue.
Progress(25) at 2021-02-11 09:53:03: 1,723,802,772 states generated (4,897,792 s/min), 584,851,827 distinct states found (1,655,542 ds/min), 268,665,790 states left on queue.
Progress(25) at 2021-02-11 09:54:03: 1,728,537,053 states generated (4,734,281 s/min), 586,461,875 distinct states found (1,610,048 ds/min), 269,361,569 states left on queue.
Progress(25) at 2021-02-11 09:55:03: 1,733,366,930 states generated (4,829,877 s/min), 587,983,982 distinct states found (1,522,107 ds/min), 270,020,553 states left on queue.
Progress(25) at 2021-02-11 09:56:03: 1,738,207,092 states generated (4,840,162 s/min), 589,541,068 distinct states found (1,557,086 ds/min), 270,705,460 states left on queue.
Progress(25) at 2021-02-11 09:57:03: 1,742,943,334 states generated (4,736,242 s/min), 591,106,789 distinct states found (1,565,721 ds/min), 271,383,732 states left on queue.
Progress(25) at 2021-02-11 09:58:03: 1,747,708,097 states generated (4,764,763 s/min), 592,675,372 distinct states found (1,568,583 ds/min), 272,072,221 states left on queue.
Progress(25) at 2021-02-11 09:59:03: 1,752,550,932 states generated (4,842,835 s/min), 594,203,333 distinct states found (1,527,961 ds/min), 272,741,795 states left on queue.
Progress(25) at 2021-02-11 10:00:03: 1,757,317,215 states generated (4,766,283 s/min), 595,721,664 distinct states found (1,518,331 ds/min), 273,399,278 states left on queue.
Progress(25) at 2021-02-11 10:01:03: 1,761,999,820 states generated (4,682,605 s/min), 597,324,685 distinct states found (1,603,021 ds/min), 274,100,850 states left on queue.
Progress(25) at 2021-02-11 10:02:03: 1,766,623,867 states generated (4,624,047 s/min), 598,923,558 distinct states found (1,598,873 ds/min), 274,795,398 states left on queue.
Progress(25) at 2021-02-11 10:03:03: 1,771,448,881 states generated (4,825,014 s/min), 600,425,856 distinct states found (1,502,298 ds/min), 275,445,096 states left on queue.
Progress(25) at 2021-02-11 10:04:03: 1,776,206,149 states generated (4,757,268 s/min), 602,002,209 distinct states found (1,576,353 ds/min), 276,130,478 states left on queue.
Progress(25) at 2021-02-11 10:05:03: 1,781,027,970 states generated (4,821,821 s/min), 603,506,212 distinct states found (1,504,003 ds/min), 276,782,038 states left on queue.
Progress(25) at 2021-02-11 10:06:03: 1,785,699,570 states generated (4,671,600 s/min), 605,082,331 distinct states found (1,576,119 ds/min), 277,460,547 states left on queue.
Progress(25) at 2021-02-11 10:07:03: 1,790,507,796 states generated (4,808,226 s/min), 606,630,057 distinct states found (1,547,726 ds/min), 278,141,423 states left on queue.
Progress(25) at 2021-02-11 10:08:03: 1,795,294,135 states generated (4,786,339 s/min), 608,155,428 distinct states found (1,525,371 ds/min), 278,808,797 states left on queue.
Progress(25) at 2021-02-11 10:09:03: 1,800,042,992 states generated (4,748,857 s/min), 609,665,833 distinct states found (1,510,405 ds/min), 279,461,587 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 10:10:03)
Progress(25) at 2021-02-11 10:10:03: 1,804,769,283 states generated (4,726,291 s/min), 611,266,960 distinct states found (1,601,127 ds/min), 280,150,777 states left on queue.
Progress(25) at 2021-02-11 10:11:03: 1,809,603,610 states generated (4,834,327 s/min), 612,774,377 distinct states found (1,507,417 ds/min), 280,803,114 states left on queue.
Progress(25) at 2021-02-11 10:12:03: 1,814,209,191 states generated (4,605,581 s/min), 614,377,101 distinct states found (1,602,724 ds/min), 281,500,122 states left on queue.
Progress(25) at 2021-02-11 10:13:03: 1,818,864,474 states generated (4,655,283 s/min), 615,954,331 distinct states found (1,577,230 ds/min), 282,178,611 states left on queue.
Progress(25) at 2021-02-11 10:14:03: 1,823,638,416 states generated (4,773,942 s/min), 617,471,953 distinct states found (1,517,622 ds/min), 282,838,687 states left on queue.
Progress(25) at 2021-02-11 10:15:03: 1,828,413,137 states generated (4,774,721 s/min), 619,004,066 distinct states found (1,532,113 ds/min), 283,503,967 states left on queue.
Progress(25) at 2021-02-11 10:16:03: 1,833,230,801 states generated (4,817,664 s/min), 620,558,690 distinct states found (1,554,624 ds/min), 284,190,707 states left on queue.
Progress(25) at 2021-02-11 10:17:03: 1,838,017,073 states generated (4,786,272 s/min), 622,076,365 distinct states found (1,517,675 ds/min), 284,842,562 states left on queue.
Progress(25) at 2021-02-11 10:18:03: 1,842,756,251 states generated (4,739,178 s/min), 623,682,298 distinct states found (1,605,933 ds/min), 285,549,984 states left on queue.
Progress(25) at 2021-02-11 10:19:03: 1,847,439,782 states generated (4,683,531 s/min), 625,314,828 distinct states found (1,632,530 ds/min), 286,267,530 states left on queue.
Progress(25) at 2021-02-11 10:20:03: 1,852,158,772 states generated (4,718,990 s/min), 626,836,463 distinct states found (1,521,635 ds/min), 286,919,792 states left on queue.
Progress(25) at 2021-02-11 10:21:03: 1,856,949,608 states generated (4,790,836 s/min), 628,371,176 distinct states found (1,534,713 ds/min), 287,591,707 states left on queue.
Progress(25) at 2021-02-11 10:22:03: 1,861,780,625 states generated (4,831,017 s/min), 629,853,045 distinct states found (1,481,869 ds/min), 288,230,853 states left on queue.
Progress(25) at 2021-02-11 10:23:03: 1,866,547,113 states generated (4,766,488 s/min), 631,389,165 distinct states found (1,536,120 ds/min), 288,887,583 states left on queue.
Progress(25) at 2021-02-11 10:24:03: 1,871,427,002 states generated (4,879,889 s/min), 632,881,352 distinct states found (1,492,187 ds/min), 289,532,764 states left on queue.
Progress(25) at 2021-02-11 10:25:03: 1,876,194,894 states generated (4,767,892 s/min), 634,408,510 distinct states found (1,527,158 ds/min), 290,196,156 states left on queue.
Progress(25) at 2021-02-11 10:26:03: 1,880,970,712 states generated (4,775,818 s/min), 635,912,454 distinct states found (1,503,944 ds/min), 290,845,626 states left on queue.
Progress(25) at 2021-02-11 10:27:03: 1,885,735,074 states generated (4,764,362 s/min), 637,479,622 distinct states found (1,567,168 ds/min), 291,522,085 states left on queue.
Progress(25) at 2021-02-11 10:28:03: 1,890,558,177 states generated (4,823,103 s/min), 638,995,212 distinct states found (1,515,590 ds/min), 292,176,877 states left on queue.
Progress(25) at 2021-02-11 10:29:03: 1,895,309,349 states generated (4,751,172 s/min), 640,594,753 distinct states found (1,599,541 ds/min), 292,878,089 states left on queue.
Progress(25) at 2021-02-11 10:30:03: 1,900,004,503 states generated (4,695,154 s/min), 642,088,413 distinct states found (1,493,660 ds/min), 293,503,591 states left on queue.
Progress(25) at 2021-02-11 10:31:03: 1,904,764,693 states generated (4,760,190 s/min), 643,585,520 distinct states found (1,497,107 ds/min), 294,150,725 states left on queue.
Progress(25) at 2021-02-11 10:32:03: 1,909,543,559 states generated (4,778,866 s/min), 645,063,898 distinct states found (1,478,378 ds/min), 294,782,515 states left on queue.
Progress(25) at 2021-02-11 10:33:03: 1,914,205,153 states generated (4,661,594 s/min), 646,489,477 distinct states found (1,425,579 ds/min), 295,371,569 states left on queue.
Progress(25) at 2021-02-11 10:34:03: 1,918,874,590 states generated (4,669,437 s/min), 647,931,180 distinct states found (1,441,703 ds/min), 295,965,868 states left on queue.
Progress(25) at 2021-02-11 10:35:03: 1,923,561,010 states generated (4,686,420 s/min), 649,375,567 distinct states found (1,444,387 ds/min), 296,562,992 states left on queue.
Progress(25) at 2021-02-11 10:36:03: 1,928,315,328 states generated (4,754,318 s/min), 650,972,942 distinct states found (1,597,375 ds/min), 297,271,121 states left on queue.
Progress(25) at 2021-02-11 10:37:03: 1,933,141,771 states generated (4,826,443 s/min), 652,478,959 distinct states found (1,506,017 ds/min), 297,924,338 states left on queue.
Progress(25) at 2021-02-11 10:38:03: 1,938,052,302 states generated (4,910,531 s/min), 654,021,572 distinct states found (1,542,613 ds/min), 298,602,640 states left on queue.
Progress(25) at 2021-02-11 10:39:03: 1,942,736,038 states generated (4,683,736 s/min), 655,472,199 distinct states found (1,450,627 ds/min), 299,207,592 states left on queue.
Checkpointing of run states/21-02-11-02-22-04
Checkpointing completed at (2021-02-11 10:40:04)
Progress(25) at 2021-02-11 10:40:04: 1,947,446,868 states generated (4,710,830 s/min), 656,885,953 distinct states found (1,413,754 ds/min), 299,787,265 states left on queue.
Progress(25) at 2021-02-11 10:41:04: 1,952,165,030 states generated (4,718,162 s/min), 658,388,446 distinct states found (1,502,493 ds/min), 300,423,679 states left on queue.
Checking temporal properties for the current state space with 358834505 total distinct states at (2021-02-11 10:42:04)
Error: TLC threw an unexpected exception.
This was probably caused by an error in the spec or model.
See the User Output or TLC Console for clues to what happened.
The exception was a java.lang.ArrayIndexOutOfBoundsException
: Index -574397211 out of bounds for length 1573086437