Skip to content
Snippets Groups Projects
Commit 35eac510 authored by Thomas's avatar Thomas
Browse files

nfabenchmarks

parent 0c132bb7
Branches
No related tags found
No related merge requests found
file,origstates,forward states,forward rounds,mqueries,reverse states,reverse rounds,mqueries
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_0.timbuk,4,4,3,174,4,3,145
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_1.timbuk,3,4,2,27,3,2,21
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_4.timbuk,16,16,7,3616,16,6,2260
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_6.timbuk,40,36,16,23120,36,15,16473
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_10.timbuk,125,88,43,305493,90,35,187889
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_11.timbuk,89,67,26,136359,61,27,91485
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_12.timbuk,165,101,57,448655,95,49,247566
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_14.timbuk,206,105,56,473662,105,47,279490
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_16.timbuk,227,112,58,510687,106,50,301455
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_18.timbuk,276,132,65,686982,123,47,353215
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_20.timbuk,318,142,64,781521,133,44,363285
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_22.timbuk,332,144,54,1004338,135,48,508079
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_24.timbuk,341,151,70,1163605,140,45,504200
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_26.timbuk,367,151,65,1105357,150,36,505087
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_30.timbuk,380,158,66,1264428,152,33,505575
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_32.timbuk,417,164,52,1181768,150,31,464713
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_50.timbuk,TIMEOUT
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_72.timbuk,TIMEOUT
../../NFA/Bakery4pBinEnc-FbtOneOne-Nondet/armcNFA_inclTest_0.timbuk,7,7,4,832,7,4,855
../../NFA/Bakery4pBinEnc-FbtOneOne-Nondet/armcNFA_inclTest_1.timbuk,3,4,2,33,4,2,36
../../NFA/Bakery4pBinEnc-FbtOneOne-Nondet/armcNFA_inclTest_10.timbuk,124,85,41,275494,87,37,191115
../../NFA/Bakery4pBinEnc-FbtOneOne-Nondet/armcNFA_inclTest_34.timbuk,416,164,53,1212505,150,31,478968
../../NFA/Bakery4pBinEnc-FbtOneOne-Nondet/armcNFA_inclTest_38.timbuk,425,181,62,1400276,168,40,629021
../../NFA/Bakery4pBinEnc-FbtOneOne-Nondet/armcNFA_inclTest_60.timbuk,633,256,76,2684146,239,77,1585158
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_0.timbuk,9,7,5,741,7,4,450
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_1.timbuk,3,4,2,33,4,2,36
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_2.timbuk,15,13,7,2760,13,6,1564
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_4.timbuk,56,40,17,31395,40,15,19581
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_6.timbuk,105,74,28,165908,68,30,120395
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_10.timbuk,275,112,46,462540,106,43,274725
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_11.timbuk,206,95,41,344520,97,34,211442
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_12.timbuk,288,116,48,514131,116,50,344190
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_14.timbuk,307,123,49,578799,117,52,358053
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_16.timbuk,381,143,54,741975,134,55,429833
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_20.timbuk,412,155,53,1122088,146,54,608810
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_22.timbuk,438,162,71,1386171,151,47,606337
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_24.timbuk,446,162,49,1181128,161,36,553709
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_26.timbuk,461,165,61,1400868,162,44,646590
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_28.timbuk,502,169,72,1531774,163,38,631992
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_30.timbuk,499,175,53,1261728,161,43,648720
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_32.timbuk,528,187,57,1478643,178,38,711568
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_34.timbuk,564,192,52,1524006,179,46,816480
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_36.timbuk,573,196,60,1701848,189,50,897654
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_38.timbuk,606,209,55,1781620,196,52,994575
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_40.timbuk,671,227,52,1880204,207,64,1269138
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_42.timbuk,676,237,53,2128400,217,57,1220704
../../NFA/Bakery5PUnrEnc-FlOneOne-Nondet/armcNFA_inclTest_0.timbuk,10,7,5,845,7,4,570
../../NFA/Bakery5PUnrEnc-FlOneOne-Nondet/armcNFA_inclTest_1.timbuk,3,4,2,33,4,2,36
../../NFA/Bakery5PUnrEnc-FlOneOne-Nondet/armcNFA_inclTest_4.timbuk,92,62,18,133227,62,18,93141
../../NFA/Bakery5PUnrEnc-FlOneOne-Nondet/armcNFA_inclTest_6.timbuk,222,147,48,1453234,147,49,916760
../../NFA/Bakery5PUnrEnc-FlOneOne-Nondet/armcNFA_inclTest_10.timbuk,871,348,120,11359164,348,113,6857903
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_0.timbuk,3,3,2,165,4,2,365
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_1.timbuk,3,3,2,156,4,2,207
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_2.timbuk,3,3,2,183,4,2,324
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_4.timbuk,3,3,2,192,4,2,255
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_6.timbuk,3,3,2,201,4,2,267
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_9.timbuk,11,11,2,2068,11,2,2068
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_10.timbuk,35,11,2,2431,11,2,2431
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_11.timbuk,19,11,2,2189,11,2,2189
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_12.timbuk,39,11,2,2552,11,2,2552
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_0.timbuk,3,3,2,165,3,2,165
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_1.timbuk,3,3,2,208,3,2,156
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_2.timbuk,3,3,2,244,3,2,183
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_4.timbuk,3,3,2,320,3,2,192
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_6.timbuk,3,3,2,201,3,2,201
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_9.timbuk,10,10,2,1710,10,2,1710
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_10.timbuk,14,10,2,2010,10,2,2010
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_8.timbuk,33,25,5,26746,24,6,36818
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_10.timbuk,42,29,7,47838,27,5,36746
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_11.timbuk,28,26,5,38964,24,4,16928
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_12.timbuk,43,30,7,38005,27,4,23865
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_14.timbuk,49,27,4,22066,26,3,18172
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_16.timbuk,64,25,4,21636,25,5,21875
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_18.timbuk,68,25,5,27045,25,6,40362
file,origstates,forward states,forward rounds,mqueries,reverse states,reverse rounds,mqueries
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_0.timbuk,4,4,3,174,4,3,145
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_1.timbuk,3,4,2,27,3,2,21
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_4.timbuk,16,16,7,3616,16,6,2260
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_6.timbuk,40,36,16,23120,36,15,16473
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_10.timbuk,125,88,43,305493,90,35,187889
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_11.timbuk,89,67,26,136359,61,27,91485
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_12.timbuk,165,101,57,448655,95,49,247566
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_14.timbuk,206,105,56,473662,105,47,279490
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_16.timbuk,227,112,58,510687,106,50,301455
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_18.timbuk,276,132,65,686982,123,47,353215
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_20.timbuk,318,142,64,781521,133,44,363285
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_22.timbuk,332,144,54,1004338,135,48,508079
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_24.timbuk,341,151,70,1163605,140,45,504200
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_26.timbuk,367,151,65,1105357,150,36,505087
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_30.timbuk,380,158,66,1264428,152,33,505575
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_32.timbuk,417,164,52,1181768,150,31,464713
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_50.timbuk,TIMEOUT
../../NFA/Bakery4pBinEnc-FbOneOne-Nondet-Partial/armcNFA_inclTest_72.timbuk,TIMEOUT
../../NFA/Bakery4pBinEnc-FbtOneOne-Nondet/armcNFA_inclTest_0.timbuk,7,7,4,832,7,4,855
../../NFA/Bakery4pBinEnc-FbtOneOne-Nondet/armcNFA_inclTest_1.timbuk,3,4,2,33,4,2,36
../../NFA/Bakery4pBinEnc-FbtOneOne-Nondet/armcNFA_inclTest_10.timbuk,124,85,41,275494,87,37,191115
../../NFA/Bakery4pBinEnc-FbtOneOne-Nondet/armcNFA_inclTest_34.timbuk,416,164,53,1212505,150,31,478968
../../NFA/Bakery4pBinEnc-FbtOneOne-Nondet/armcNFA_inclTest_38.timbuk,425,181,62,1400276,168,40,629021
../../NFA/Bakery4pBinEnc-FbtOneOne-Nondet/armcNFA_inclTest_60.timbuk,633,256,76,2684146,239,77,1585158
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_0.timbuk,9,7,5,741,7,4,450
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_1.timbuk,3,4,2,33,4,2,36
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_2.timbuk,15,13,7,2760,13,6,1564
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_4.timbuk,56,40,17,31395,40,15,19581
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_6.timbuk,105,74,28,165908,68,30,120395
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_10.timbuk,275,112,46,462540,106,43,274725
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_11.timbuk,206,95,41,344520,97,34,211442
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_12.timbuk,288,116,48,514131,116,50,344190
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_14.timbuk,307,123,49,578799,117,52,358053
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_16.timbuk,381,143,54,741975,134,55,429833
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_20.timbuk,412,155,53,1122088,146,54,608810
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_22.timbuk,438,162,71,1386171,151,47,606337
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_24.timbuk,446,162,49,1181128,161,36,553709
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_26.timbuk,461,165,61,1400868,162,44,646590
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_28.timbuk,502,169,72,1531774,163,38,631992
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_30.timbuk,499,175,53,1261728,161,43,648720
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_32.timbuk,528,187,57,1478643,178,38,711568
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_34.timbuk,564,192,52,1524006,179,46,816480
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_36.timbuk,573,196,60,1701848,189,50,897654
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_38.timbuk,606,209,55,1781620,196,52,994575
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_40.timbuk,671,227,52,1880204,207,64,1269138
../../NFA/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial/armcNFA_inclTest_42.timbuk,676,237,53,2128400,217,57,1220704
../../NFA/Bakery5PUnrEnc-FlOneOne-Nondet/armcNFA_inclTest_0.timbuk,10,7,5,845,7,4,570
../../NFA/Bakery5PUnrEnc-FlOneOne-Nondet/armcNFA_inclTest_1.timbuk,3,4,2,33,4,2,36
../../NFA/Bakery5PUnrEnc-FlOneOne-Nondet/armcNFA_inclTest_4.timbuk,92,62,18,133227,62,18,93141
../../NFA/Bakery5PUnrEnc-FlOneOne-Nondet/armcNFA_inclTest_6.timbuk,222,147,48,1453234,147,49,916760
../../NFA/Bakery5PUnrEnc-FlOneOne-Nondet/armcNFA_inclTest_10.timbuk,871,348,120,11359164,348,113,6857903
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_0.timbuk,3,3,2,165,4,2,365
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_1.timbuk,3,3,2,156,4,2,207
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_2.timbuk,3,3,2,183,4,2,324
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_4.timbuk,3,3,2,192,4,2,255
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_6.timbuk,3,3,2,201,4,2,267
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_9.timbuk,11,11,2,2068,11,2,2068
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_10.timbuk,35,11,2,2431,11,2,2431
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_11.timbuk,19,11,2,2189,11,2,2189
../../NFA/BubbleSort-full-FbOneOne-Nondet/armcNFA_inclTest_12.timbuk,39,11,2,2552,11,2,2552
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_0.timbuk,3,3,2,165,3,2,165
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_1.timbuk,3,3,2,208,3,2,156
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_2.timbuk,3,3,2,244,3,2,183
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_4.timbuk,3,3,2,320,3,2,192
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_6.timbuk,3,3,2,201,3,2,201
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_9.timbuk,10,10,2,1710,10,2,1710
../../NFA/BubbleSort-full-FlOneOne-Nondet-Partial/armcNFA_inclTest_10.timbuk,14,10,2,2010,10,2,2010
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_8.timbuk,33,25,5,26746,24,6,36818
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_10.timbuk,42,29,7,47838,27,5,36746
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_11.timbuk,28,26,5,38964,24,4,16928
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_12.timbuk,43,30,7,38005,27,4,23865
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_14.timbuk,49,27,4,22066,26,3,18172
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_16.timbuk,64,25,4,21636,25,5,21875
../../NFA/ProdConsDHeadQ-FwBad-Nondet/armcNFA_inclTest_18.timbuk,68,25,5,27045,25,6,40362
File added
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment