20
individual
1 10 60
alternating_bit/alternating_bit.prism sbar \texttt{alternating\_bit}:12997725750318149087 39473 40415 32818 41050 41759 42041 32699 36151 41776 33093 40770 40765 32445 41315 36470 40640 34276 36013 42539 42107 294528 340005 377668 351604 325551 337208 314747 378568 298825 363242 311335 307628 350537 291177 335173 366376 385505 377388 309231 286567 1935017 1908766 2129719 1851747 1752417 2006226 2091621 1615125 1969147 1841760 1811483 1943711 1858625 1756780 1754911 1618875 1865523 1604614 1944849 1619687
brp_N_4_MAX_2/brp_N_4_MAX_2.prism sbar \texttt{brp}, $N = 4$, $\mathit{MAX} = 2$:10594094550254658143 692487 687003 674379 682068 680028 682546 681281 695047 697502 685695 684595 685184 689519 692199 685812 679068 677402 686438 681596 687972 6765050 6793288 6901009 7054479 7035093 7040961 7092545 6879765 6862591 6848440 7151982 7158998 6805316 6783015 7198961 6857108 7103120 7088961 6814532 7042140 40866303 40992056 40401334 42197340 40929143 40817428 40778281 41127255 41457113 41280754 40509288 42601394 41122311 43226810 42976794 43301026 42822399 42141390 42818289 42725325
brp_N_16_MAX_3/brp_N_16_MAX_3.prism sbar \texttt{brp}, $N = 16$, $\mathit{MAX} = 3$:18322218425496609988 70376 70839 71169 70840 72235 71570 70305 70219 71697 71948 71299 71577 71223 71076 71557 69821 70169 72079 72926 71846 664877 662755 666594 659922 663983 666507 659692 659668 664901 658663 668011 663849 666347 662467 663967 667138 665077 660726 664041 660748 3828235 3851431 3845090 3833425 3818510 3833040 3831970 3817208 3834910 3828797 3851138 3831753 3804773 3846608 3834127 3835857 3820987 3824664 3770953 3791793
crowds_TR_3_CS_5/crowds_TR_3_CS_5.prism sbar \texttt{crowds}, $\mathit{TR} = 3$, $\mathit{CS} = 5$:5817656330701896468 38466 49236 49931 49883 50487 50325 50413 49986 50006 49954 50001 49812 49859 49461 49305 49954 49792 49841 49367 49576 272859 379743 379584 379496 378670 379653 379674 378187 379530 377429 377096 377235 378244 374584 375725 375431 375518 374496 375615 377563 1368358 1346390 1347642 2342108 2332485 2339794 2329892 2333163 2324862 2328377 2335997 2322307 2319132 2323041 2324204 2328370 2330003 2317146 2295457 2267277
dining_philosophers_3/dining_philosophers_3.prism sbar \texttt{dining\_philosophers}, $N=3$:6529413033024628720 1704205 1707726 1591414 1674303 1673688 1698605 1547430 1442284 1438258 1379796 1517294 1656214 1632314 1632195 1624613 1467924 1616688 1700979 1731552 1694504 16137027 16756268 17417552 17375631 16233944 15425677 16455827 16618826 16203998 15695505 15673598 16389918 15949550 17062956 15263235 15782866 16222625 14870887 15658056 15724952 95336282 94858203 91948420 99182776 99058222 94431938 100565239 99945751 100535619 105337566 101298866 91035215 98309830 97281362 96343021 89936738 95410007 95890988 86863505 85486561
dining_philosophers_5/dining_philosophers_5.prism sbar \texttt{dining\_philosophers}, $N=5$:309480716477158696 34335 36214 35774 36097 36081 35581 35691 35805 35973 35703 35657 35692 35465 35322 35452 34919 34804 35320 35255 34968 272378 324470 325028 323902 324864 325612 325878 325359 324831 324818 325177 324811 322848 324302 324052 323509 323608 323911 324587 323071 1869851 1867695 1866700 1867211 1864597 1859036 1864517 1864840 1872220 1865918 1871747 1858794 1866470 1868416 1859309 1868153 1858517 1867360 1857949 1870370
dresden_railways/dresden_railways.prism sbar \texttt{dresden\_railways}:11803849932596031334 1363150 1350856 1342939 1329197 1339492 1312855 1252719 1255480 1213276 1228858 1257804 1272231 1285262 1276177 1204620 1285316 1337289 1315658 1251158 1262073 12629772 12484854 13077285 12959339 12435023 12591266 12588526 12413377 12239263 12442422 12311164 12253004 12586594 12353371 12232121 12449541 13020476 12850652 12342981 12482405 71403419 79647960 80043775 80267518 79685936 79312871 76023964 74286712 78882954 73654419 77541536 72207124 75412383 73886558 77273969 77805658 73236576 72807553 77704202 78433013
generals_3/generals_3.prism sbar \texttt{generals}, $N=3$:8023919927465967172 2380911 2142371 1929834 2106874 2155041 2079723 2033813 2096573 2220443 2093458 1922135 2082171 1930523 2088595 1900726 2054263 1896554 2063802 1886352 2040727 18653522 20171184 21706695 20319355 21701525 20305539 21449267 20190835 20503181 22402882 22867296 20399384 22151667 20372036 22104407 20231593 18547523 20297065 18425271 20318697 109997992 121137189 110150034 120827076 110140367 116929006 127561075 124931391 111583065 121483120 111013669 123599898 111054515 123603074 110476266 123182182 123509244 110650528 122371667 110456858
generals_5/generals_5.prism sbar \texttt{generals}, $N=5$:7328760173365825498 51342 51609 52039 51603 51204 51109 50526 51832 51258 50354 50325 48958 50165 51080 50769 51133 50105 49983 50231 50186 554902 591091 627023 587676 626454 590660 631198 584767 627874 626412 626406 618578 592412 593368 588478 630095 583861 589895 582157 623252 3500121 3506012 3497184 3726761 3739683 3745318 3501897 3514673 3704249 3497348 3724812 3746413 3730922 3741032 3754698 3734496 3717736 3479020 3485042 3478949
generals_8/generals_8.prism sbar \texttt{generals}, $N=8$:974943617438670352 7466 7453 7977 8002 8022 8029 7917 7922 7960 7849 7957 7990 7861 7845 7940 7952 7911 7870 7795 7770 61091 70195 71106 72325 72593 72573 72397 72387 71855 72226 71826 72084 72114 70816 67263 65986 71767 64538 66566 66340 210411 294990 323642 324621 323841 323895 300119 305919 320678 324489 325574 323584 324240 320880 317215 316342 322635 323098 323354 323035