benchmark,config,result,time_real,time_cpu,memory
6s200j0000.aig,nuxmv,sat,1051.5176639929996,12619.207994,26803.728384
6s200j0000.aig,super-prove,none,3601.0011603630046,10863.491392,5193.695232
6s200j0001.aig,nuxmv,sat,1659.283607737998,19911.412889,29142.54848
6s200j0001.aig,super-prove,none,3601.001326282014,10896.41795,5027.151872
6s200j0005.aig,nuxmv,sat,1216.8447519109977,14602.612405,26866.794496
6s200j0005.aig,super-prove,none,3601.0011170549988,10862.542942,4997.103616
6s200j0010.aig,nuxmv,sat,1135.0834113230012,13620.648069,28799.750144
6s200j0010.aig,super-prove,none,3601.0012261179945,10895.126971,5466.566656
6s200j0011.aig,nuxmv,sat,1425.5293723440045,17106.988463,29077.610496
6s200j0011.aig,super-prove,none,3601.001085779004,10862.888791,5231.378432
6s200j0012.aig,nuxmv,sat,1175.7760438179976,14108.968325,28773.064704
6s200j0012.aig,super-prove,none,3601.001145021997,10864.31999,4796.571648
6s200j0016.aig,nuxmv,sat,1292.1375879229963,15506.295663,29516.414976
6s200j0016.aig,super-prove,none,3601.0011250690004,10866.123965,5272.834048
6s201j18.aig,nuxmv,unsat,13.262542648000817,158.84169,4994.707456
6s201j18.aig,super-prove,none,621.1196013000008,1870.883397,120000.0
6s201j19.aig,super-prove,none,650.3400060940039,2185.381579,120000.0
6s201j19.aig,nuxmv,none,3601.0013803890033,28240.550439,104506.40896
6s201j20.aig,nuxmv,unsat,12.831033809998189,153.374192,4669.054976
6s201j20.aig,super-prove,none,623.1659277479994,1876.937591,120000.0
6s201j34.aig,nuxmv,unsat,12.894423547004408,154.389218,4469.665792
6s201j34.aig,super-prove,none,626.7574138670025,1887.505909,120000.0
6s201j36.aig,nuxmv,unsat,12.888085120997857,154.352206,4753.027072
6s201j36.aig,super-prove,none,623.2964139780015,1877.352865,120000.0
6s201j38.aig,nuxmv,unsat,12.861585047001427,154.118387,4934.705152
6s201j38.aig,super-prove,none,617.3412450239994,1859.36483,120000.0
6s201j40.aig,nuxmv,unsat,12.874152534001041,154.120192,4594.454528
6s201j40.aig,super-prove,none,622.8918678219998,1875.947197,120000.0
6s202j01.aig,super-prove,none,694.5433830160036,2091.303691,120000.0
6s202j01.aig,nuxmv,none,3601.006468046995,43216.333924,53110.706176
6s202j04.aig,super-prove,none,694.0877936700053,2089.799335,120000.0
6s202j04.aig,nuxmv,none,3601.005309279004,43216.225283,53128.97024
6s202j17.aig,super-prove,none,693.0698577010044,2086.677966,120000.0
6s202j17.aig,nuxmv,none,3601.004400136997,43216.73062,53089.161216
6s202j30.aig,super-prove,none,695.8155725769975,2095.149603,120000.0
6s202j30.aig,nuxmv,none,3601.0043865000043,43216.871116,53108.064256
6s202j40.aig,super-prove,none,695.3403187450022,2093.698085,120000.0
6s202j40.aig,nuxmv,none,3601.004166607003,43216.876754,53094.096896
6s202j71.aig,super-prove,none,697.7831867339992,2100.765339,120000.0
6s202j71.aig,nuxmv,none,3601.0044810659965,43215.834389,53044.523008
6s202j79.aig,super-prove,none,704.2183026050043,2120.530816,120000.0
6s202j79.aig,nuxmv,none,3601.001426886003,43211.508551,6427.971584
6s203j04.aig,super-prove,none,700.0630129750061,2107.493029,120000.0
6s203j04.aig,nuxmv,none,3601.007016373005,43216.732965,53097.029632
6s203j14.aig,super-prove,none,698.5010336869964,2102.878005,120000.0
6s203j14.aig,nuxmv,none,3601.005798832004,43217.027255,53082.066944
6s203j17.aig,super-prove,none,693.656830382999,2088.373502,120000.0
6s203j17.aig,nuxmv,none,3601.005267392,43216.681873,53091.524608
6s203j20.aig,super-prove,none,695.3910554819959,2093.477662,120000.0
6s203j20.aig,nuxmv,none,3601.0075066380014,43217.131591,53079.871488
6s203j30.aig,super-prove,none,698.6802522869984,2103.32972,120000.0
6s203j30.aig,nuxmv,none,3601.0044306759955,43216.728309,53089.558528
6s203j57.aig,super-prove,none,694.2759179949935,2090.610683,120000.0
6s203j57.aig,nuxmv,none,3601.0050811870024,43217.088715,53057.449984
6s203j63.aig,super-prove,none,698.4535257399984,2102.79428,120000.0
6s203j63.aig,nuxmv,none,3601.008929882002,43216.419863,53049.626624
6s204j12.aig,super-prove,none,863.5218558990018,2601.180499,120000.0
6s204j12.aig,nuxmv,none,3601.0015903460007,39775.744213,31069.749248
6s204j20.aig,super-prove,none,876.8590874639995,2641.234472,120000.0
6s204j20.aig,nuxmv,none,3601.0025978570047,39733.180548,30517.260288
6s204j21.aig,super-prove,none,873.2946128219992,2630.574462,120000.0
6s204j21.aig,nuxmv,none,3601.0017331130002,39778.355302,31309.406208
6s204j30.aig,super-prove,none,866.5037340880008,2610.522763,120000.0
6s204j30.aig,nuxmv,none,3601.001561751,39780.980774,31090.352128
6s204j39.aig,super-prove,none,881.8953570720041,2656.711259,120000.0
6s204j39.aig,nuxmv,none,3601.001682091999,39782.30011,31178.948608
6s204j57.aig,super-prove,none,866.6024086810066,2610.672081,120000.0
6s204j57.aig,nuxmv,none,3601.001511802002,39762.611002,30934.433792
6s204j63.aig,super-prove,none,867.5464259069995,2613.091408,120000.0
6s204j63.aig,nuxmv,none,3601.002271631005,39737.174341,30835.789824
6s205j00.aig,super-prove,none,699.3717890600092,2105.912427,120000.0
6s205j00.aig,nuxmv,none,3601.005718458,43216.252134,53096.0384
6s205j21.aig,super-prove,none,698.832724578002,2104.120144,120000.0
6s205j21.aig,nuxmv,none,3601.006431355003,43215.807506,53069.04576
6s205j23.aig,super-prove,none,693.4016863980069,2087.825189,120000.0
6s205j23.aig,nuxmv,none,3601.004707434993,43215.951401,53106.593792
6s205j30.aig,super-prove,none,724.0264622250106,2144.11232,120000.0
6s205j30.aig,nuxmv,none,3601.0050047340046,43216.105818,53125.71392
6s205j34.aig,super-prove,none,705.7412679269983,2124.370249,120000.0
6s205j34.aig,nuxmv,none,3601.005561251004,43216.158325,53122.433024
6s205j39.aig,super-prove,none,711.4464146030004,2141.661233,120000.0
6s205j39.aig,nuxmv,none,3601.0016538900018,43211.212524,6407.221248
6s205j57.aig,super-prove,none,702.3690977820079,2108.097768,120000.0
6s205j57.aig,nuxmv,none,3601.0063060190005,43216.565885,53090.357248
6s206j000.aig,nuxmv,unsat,1.1661838729996816,13.236331,696.643584
6s206j000.aig,super-prove,unsat,42.81497011100146,128.764325,3277.664256
6s208j0.aig,nuxmv,sat,280.03271952200157,3358.767839,5142.69184
6s208j0.aig,super-prove,sat,3349.6657531160017,10048.677228,1375.932416
6s208j1.aig,super-prove,sat,0.6731020429942873,1.703369,220.291072
6s208j1.aig,nuxmv,sat,1.2182768889979343,14.145137,607.592448
6s208j2.aig,super-prove,sat,1.6868816420028452,5.731623,258.072576
6s208j2.aig,nuxmv,sat,2.769573721998313,32.729721,795.21792
6s208j3.aig,super-prove,sat,3.682845356997859,11.495248,254.713856
6s208j3.aig,nuxmv,sat,3.865327482999419,45.763595,802.414592
6s208j4.aig,super-prove,sat,1.6118186120002065,5.45659,258.322432
6s208j4.aig,nuxmv,sat,2.256507401005365,26.630479,712.425472
6s208j5.aig,super-prove,sat,0.6971443990000026,1.799093,221.20448
6s208j5.aig,nuxmv,sat,1.4284990110027138,16.645251,664.502272
6s210j006.aig,super-prove,unsat,212.27600769000128,637.317179,731.357184
6s210j006.aig,nuxmv,unsat,659.9292140930047,7919.827106,19985.219584
6s210j039.aig,super-prove,unsat,265.2038238399982,796.297603,688.88576
6s210j039.aig,nuxmv,unsat,1337.8615336889998,16055.197324,25178.816512
6s210j052.aig,super-prove,unsat,367.83821070400154,1104.16042,875.319296
6s210j052.aig,nuxmv,unsat,851.4703479630043,10217.944217,25557.794816
6s210j065.aig,super-prove,unsat,357.94043041300756,1074.181559,785.092608
6s210j065.aig,nuxmv,unsat,958.6487742429963,11504.346159,18020.225024
6s210j090.aig,super-prove,unsat,342.90331601800426,1029.406114,754.085888
6s210j090.aig,nuxmv,unsat,1551.1197627380025,18614.084322,22159.540224
6s210j093.aig,super-prove,unsat,288.52289418700093,866.256327,670.98624
6s210j093.aig,nuxmv,unsat,1068.6329687520047,12824.476233,26058.428416
6s210j116.aig,super-prove,unsat,323.034091542002,969.795428,735.862784
6s210j116.aig,nuxmv,unsat,1442.523761122,17311.167617,26025.816064
6s211.aig,nuxmv,sat,17.7122271249973,211.287174,2842.120192
6s211.aig,super-prove,none,3601.0011189599973,10830.536771,11264.802816
6s212.aig,super-prove,unsat,0.9621994370027096,2.769048,320.458752
6s212.aig,nuxmv,unsat,1.1093908440016094,12.254297,393.875456
6s213j000.aig,super-prove,unsat,9.717208203001064,37.083859,1938.20672
6s213j000.aig,nuxmv,unsat,10.840552237998054,129.73175,4338.540544
6s213j001.aig,super-prove,unsat,6.598014287999831,26.35327,884.723712
6s213j001.aig,nuxmv,unsat,8.631200056996022,102.579931,3367.129088
6s213j002.aig,super-prove,unsat,7.244420945004094,27.950989,883.265536
6s213j002.aig,nuxmv,unsat,56.88514397900144,682.388012,5274.320896
6s214j0.aig,super-prove,sat,0.8841756170004373,2.502022,150.474752
6s214j0.aig,nuxmv,sat,5.047425532997295,60.100077,645.615616
6s214j1.aig,super-prove,sat,0.7834919829983846,2.334446,150.925312
6s214j1.aig,nuxmv,sat,5.50311812399741,65.54355,633.184256
6s214j2.aig,super-prove,sat,0.8141672420024406,2.032723,150.15936
6s214j2.aig,nuxmv,sat,4.859270245004154,57.788809,629.669888
6s214j3.aig,super-prove,none,3601.0011681670003,10803.495324,4380.069888
6s214j3.aig,nuxmv,none,3601.0015777399967,43211.160155,7244.115968
6s215j0.aig,super-prove,sat,86.245113166995,266.643821,329.150464
6s215j0.aig,nuxmv,sat,127.55512377300329,1530.263117,2141.83936
6s216j0.aig,nuxmv,sat,2848.7170928569976,34183.336994,4530.335744
6s216j0.aig,super-prove,none,3601.001177862003,10813.592404,2273.902592
6s217j0.aig,super-prove,unsat,2.0265317559969844,7.595604,601.735168
6s217j0.aig,nuxmv,unsat,1.6993311070036725,19.922271,651.874304
6s217j1.aig,super-prove,unsat,2.005978712993965,7.518575,594.47296
6s217j1.aig,nuxmv,unsat,2.1582077450002544,25.489704,1092.23936
6s218j0002.aig,nuxmv,sat,1853.4498072080023,22241.73773,20642.291712
6s218j0002.aig,super-prove,none,3601.001149093994,10891.534972,2843.000832
6s218j0003.aig,nuxmv,sat,1086.5373325580003,13038.764134,20384.362496
6s218j0003.aig,super-prove,none,3601.0012472320013,10894.508656,2717.007872
6s218j0011.aig,nuxmv,sat,1111.2813230879983,13335.429659,19924.893696
6s218j0011.aig,super-prove,none,3601.001178406994,10892.245249,2674.393088
6s218j0015.aig,nuxmv,sat,1055.7058222909982,12668.933828,19923.083264
6s218j0015.aig,super-prove,none,3601.0010606669966,10889.68918,2716.319744
6s218j0019.aig,nuxmv,sat,1232.2705787039959,14787.711283,20828.942336
6s218j0019.aig,super-prove,none,3601.001286865001,10895.068054,2825.240576
6s219j00.aig,nuxmv,sat,2733.749532349,32805.183268,20870.324224
6s219j00.aig,super-prove,none,3601.0011597699995,10850.400043,3890.040832
6s219j05.aig,nuxmv,sat,1887.8808147969976,22654.360627,22533.505024
6s219j05.aig,super-prove,none,3601.0012534459966,10850.531263,3596.627968
6s219j06.aig,nuxmv,sat,1757.0952636489965,21085.000205,23885.438976
6s219j06.aig,super-prove,none,3601.0012970509997,10850.291777,4145.168384
6s219j11.aig,nuxmv,sat,2652.981699421005,31835.150426,22484.43904
6s219j11.aig,super-prove,none,3601.001472910997,10850.673358,4145.99168
6s219j16.aig,nuxmv,sat,2268.376703230002,27220.596863,22536.163328
6s219j16.aig,super-prove,none,3601.0011957219904,10849.88584,3811.51232
6s220.aig,nuxmv,unsat,15.299390423999284,182.903189,5715.02592
6s220.aig,super-prove,unsat,132.93915082899912,525.289882,2346.057728
6s221j00.aig,super-prove,sat,10.216452250002476,34.642319,974.782464
6s221j00.aig,nuxmv,sat,14.785432160999335,176.840124,3764.322304
6s307j00.aig,super-prove,sat,0.38929497599747265,0.579289,156.852224
6s307j00.aig,nuxmv,sat,1.385878244000196,15.934181,451.026944
6s364j00000.aig,super-prove,sat,1178.173450547998,3542.398143,8507.691008
6s364j00000.aig,nuxmv,none,3601.002454235997,43217.168791,69886.713856
6s364j00001.aig,nuxmv,unsat,53.450294336005754,642.23456,18718.326784
6s364j00001.aig,super-prove,unsat,351.31738982800016,1053.948922,63547.26912
6s364j00002.aig,nuxmv,unsat,53.59431376500288,644.634872,18654.150656
6s364j00002.aig,super-prove,unsat,336.01757205999456,1009.086571,57450.385408
6s364j00003.aig,nuxmv,unsat,63.996082894998835,768.880872,18978.455552
6s364j00003.aig,super-prove,unsat,334.92499330099963,1005.858761,57499.508736
6s364j00005.aig,nuxmv,unsat,49.174141914001666,591.4902,18588.291072
6s364j00005.aig,super-prove,unsat,428.2344766030001,1281.725292,79128.65792
arbi0s08bugp03.aig,super-prove,sat,0.27546621899819,0.228364,77.402112
arbi0s08bugp03.aig,nuxmv,sat,0.07376344699878246,0.394591,106.409984
arbi0s08p03.aig,super-prove,unsat,89.95728881499963,269.77472,116.748288
arbi0s08p03.aig,nuxmv,unsat,151.99744106399885,1823.494571,1314.578432
arbi0s16bugp03.aig,super-prove,sat,0.3277005449999706,0.478268,83.02592
arbi0s16bugp03.aig,nuxmv,sat,0.17605177099903813,0.87764,142.78656
arbi0s16p03.aig,super-prove,none,3601.001116922991,10802.775874,572.68224
arbi0s16p03.aig,nuxmv,none,3601.001629487,43210.880166,3439.927296
arbi0s32bugp03.aig,nuxmv,sat,0.2763697350019356,2.285652,232.669184
arbi0s32bugp03.aig,super-prove,sat,2.4903154089988675,7.586089,123.41248
arbi0s32p03.aig,super-prove,none,3601.0011407580023,10803.25738,1407.926272
arbi0s32p03.aig,nuxmv,none,3601.0022869390014,43210.278097,9615.36
arbi0s64bugp03.aig,nuxmv,sat,0.566371047993016,6.301014,433.819648
arbi0s64bugp03.aig,super-prove,sat,284.7367863489999,855.387512,853.827584
arbi0s64p03.aig,super-prove,none,3601.001289936008,10804.63674,3074.2528
arbi0s64p03.aig,nuxmv,none,3601.0017906819994,43211.753022,13228.920832
arbixs08bugp03.aig,super-prove,sat,0.41565056299441494,0.240121,74.801152
arbixs08bugp03.aig,nuxmv,sat,0.0779327030031709,0.401019,105.51296
arbixs08p03.aig,super-prove,none,3601.0010556499983,10801.675088,365.043712
arbixs08p03.aig,nuxmv,none,3601.001599543997,43211.295747,5656.444928
arbixs16bugp03.aig,super-prove,sat,0.34971043599944096,0.390451,85.024768
arbixs16bugp03.aig,nuxmv,sat,0.16651918800198473,0.896493,142.9504
arbixs16p03.aig,super-prove,none,3601.0011339279954,10802.892835,758.161408
arbixs16p03.aig,nuxmv,none,3601.001530443995,43210.848474,3253.92384
arbixs32bugp03.aig,nuxmv,sat,0.17531442100153072,1.617173,209.608704
arbixs32bugp03.aig,super-prove,sat,16.30968419800047,49.27906,152.8832
arbixs32p03.aig,super-prove,none,3601.001078319001,10802.981833,1614.196736
arbixs32p03.aig,nuxmv,none,3601.0018301140008,43209.932469,8593.895424
arbixs64bugp03.aig,nuxmv,sat,0.5771691959962482,6.44105,435.724288
arbixs64bugp03.aig,super-prove,none,3601.0011622060047,10803.789255,1563.201536
arbixs64p03.aig,super-prove,none,3601.001176220998,10803.929961,2289.09056
arbixs64p03.aig,nuxmv,none,3601.0019799239963,43211.023087,9805.451264
cuabq2f.aig,super-prove,unsat,0.3163919069993426,0.692768,86.106112
cuabq2f.aig,nuxmv,unsat,0.32926411800144706,2.860968,235.43808
cuabq2fro.aig,super-prove,unsat,0.3474385630033794,0.695353,87.031808
cuabq2fro.aig,nuxmv,unsat,0.21702716399886413,2.108688,223.444992
cuabq2mf.aig,super-prove,unsat,0.3682245980016887,0.380461,79.970304
cuabq2mf.aig,nuxmv,unsat,0.16300973000033991,1.461092,190.21824
cuabq2mfro.aig,super-prove,unsat,0.29984638200403424,0.377765,79.880192
cuabq2mfro.aig,nuxmv,unsat,0.1635021640031482,1.456887,190.042112
cuabq4f.aig,super-prove,unsat,1.3045384509969153,3.871456,107.503616
cuabq4f.aig,nuxmv,unsat,1.017704402001982,11.715924,337.555456
cuabq4fro.aig,super-prove,unsat,1.3189011559952633,3.789042,108.273664
cuabq4fro.aig,nuxmv,unsat,1.081656402995577,11.880338,346.804224
cuabq4mf.aig,super-prove,unsat,0.5944462010011193,1.179957,100.294656
cuabq4mf.aig,nuxmv,unsat,0.434155278999242,4.728711,240.656384
cuabq4mfro.aig,super-prove,unsat,0.48530876099539455,1.177897,100.27008
cuabq4mfro.aig,nuxmv,unsat,0.4420759499989799,4.804236,242.212864
cuabq8f.aig,super-prove,unsat,36.24191349100147,109.053145,238.174208
cuabq8f.aig,nuxmv,unsat,32.012339037995844,383.667007,741.511168
cuabq8fro.aig,super-prove,unsat,36.51417449700239,109.901845,237.195264
cuabq8fro.aig,nuxmv,unsat,49.38749337400077,592.140263,806.014976
cuabq8mf.aig,super-prove,unsat,9.924340147001203,29.978022,139.649024
cuabq8mf.aig,nuxmv,unsat,4.3676711750013055,51.931046,393.25696
cuabq8mfro.aig,super-prove,unsat,9.924766206997447,30.002072,139.862016
cuabq8mfro.aig,nuxmv,unsat,4.245257310998568,50.460024,400.953344
cuads11.aig,nuxmv,sat,1.3396741780015873,15.572899,221.356032
cuads11.aig,super-prove,sat,7.277363052999135,21.776529,94.466048
cuads12.aig,nuxmv,sat,0.8844166499984567,10.124765,221.208576
cuads12.aig,super-prove,sat,13.500466580000648,40.457454,100.20864
cuads13.aig,nuxmv,sat,0.5384923210003763,5.979207,214.294528
cuads13.aig,super-prove,sat,8.331112475003465,24.950767,94.609408
cuasq10.aig,nuxmv,sat,0.6452730560049531,6.675806,187.293696
cuasq10.aig,super-prove,sat,20.415685522995773,60.689823,92.73344
cuasq11.aig,nuxmv,sat,0.3316412060012226,3.502307,177.278976
cuasq11.aig,super-prove,sat,17.20386521599721,51.450764,92.164096
cuasq12.aig,nuxmv,sat,0.5361550450033974,5.942271,179.79392
cuasq12.aig,super-prove,sat,23.33089180800016,69.813614,95.883264
cubak.aig,nuxmv,sat,8.014208114000212,95.713595,395.259904
cubak.aig,super-prove,sat,32.176676278999366,96.480196,193.67936
cubakro.aig,nuxmv,sat,7.935451301003923,94.75637,387.309568
cubakro.aig,super-prove,sat,32.318702627992025,96.695504,193.76128
cucab09.aig,nuxmv,unsat,104.46328843000083,1253.070424,1663.254528
cucab09.aig,super-prove,none,3601.0013307820045,10802.965161,4039.24992
cucab10.aig,super-prove,sat,0.35741463000000095,0.521427,91.967488
cucab10.aig,nuxmv,sat,0.4559077989979414,4.983735,264.773632
cucab11.aig,nuxmv,unsat,10.471667714999057,124.625234,928.002048
cucab11.aig,super-prove,unsat,117.07044476999727,351.321502,1444.401152
cucab12.aig,super-prove,unsat,2.2250470869985293,6.872421,158.26944
cucab12.aig,nuxmv,unsat,42.11873042499792,504.04134,1514.876928
cucab13.aig,nuxmv,unsat,105.7198182869979,1268.180359,1548.98432
cucab13.aig,super-prove,none,3601.0012926489944,10802.440549,7972.405248
cucnt10.aig,nuxmv,unsat,0.06743890300276689,0.300898,147.083264
cucnt10.aig,super-prove,unsat,300.34626837800005,897.742315,31225.81504
cucnt10ro.aig,nuxmv,unsat,0.06133211700216634,0.242333,140.148736
cucnt10ro.aig,super-prove,unsat,297.63098513599834,889.912205,31178.149888
cucnt12.aig,nuxmv,unsat,0.0628704140035552,0.261204,141.262848
cucnt12.aig,super-prove,none,1004.8329472449986,3018.249026,120000.0
cucnt128.aig,nuxmv,unsat,3.0793729750002967,36.462179,559.230976
cucnt128.aig,super-prove,none,3601.001187101996,10804.191452,5469.401088
cucnt128ro.aig,nuxmv,unsat,3.300834207999287,38.555657,684.593152
cucnt128ro.aig,super-prove,none,3601.0011312200004,10804.289996,5395.054592
cucnt12ro.aig,nuxmv,unsat,0.07637211199471494,0.259705,142.241792
cucnt12ro.aig,super-prove,none,993.2259369449966,2983.730406,119999.995904
cucnt3.aig,nuxmv,unsat,0.058502598003542516,0.203357,131.284992
cucnt3.aig,super-prove,unsat,0.39571049499500077,0.235552,77.836288
cucnt32.aig,nuxmv,unsat,0.1100194430036936,0.82365,171.073536
cucnt32.aig,super-prove,none,3601.001258010001,10802.886237,1748.545536
cucnt32ro.aig,nuxmv,unsat,0.1086792179994518,0.740062,135.626752
cucnt32ro.aig,super-prove,none,3601.001202856998,10802.772713,1742.139392
cucnt3ro.aig,nuxmv,unsat,0.056880317999457475,0.195052,122.937344
cucnt3ro.aig,super-prove,unsat,0.31736549500055844,0.228321,77.647872
cuffl09.aig,nuxmv,unsat,0.9688204819976818,11.149577,326.172672
cuffl09.aig,super-prove,unsat,45.770493365998846,137.273246,192.864256
cuffl10.aig,super-prove,unsat,2.270004969999718,6.374038,116.87936
cuffl10.aig,nuxmv,unsat,2.298432080002385,26.526954,527.364096
cuffl11.aig,nuxmv,unsat,0.1311582689959323,0.183729,93.478912
cuffl11.aig,super-prove,unsat,0.2703037489991402,0.24147,74.809344
cuffl12.aig,super-prove,sat,0.27959154400014086,0.226722,74.842112
cuffl12.aig,nuxmv,sat,0.07236321800155565,0.377797,127.516672
cufq1.aig,super-prove,unsat,495.7802965699957,1487.383562,740.999168
cufq1.aig,nuxmv,none,3601.0016811390014,43210.75455,5104.029696
cufq1ro.aig,super-prove,unsat,498.5319305890007,1495.659947,740.708352
cufq1ro.aig,nuxmv,none,3601.001594358997,43211.058763,4939.862016
cufq2.aig,nuxmv,sat,2.811237367001013,33.23629,453.902336
cufq2.aig,super-prove,sat,25.616529473998526,76.700349,211.881984
cufq2ro.aig,nuxmv,sat,2.295153664999816,26.523056,441.532416
cufq2ro.aig,super-prove,sat,25.550878137000836,76.722742,211.61984
cugbak.aig,super-prove,unsat,52.7796228340012,158.392583,220.360704
cugbak.aig,nuxmv,unsat,231.57747341199865,2778.423339,1300.70528
cugbakro.aig,super-prove,unsat,52.90129609599535,158.745079,220.565504
cugbakro.aig,nuxmv,unsat,219.2784143780009,2630.843957,1208.221696
cugcd.aig,nuxmv,unsat,0.37049773699982325,3.976504,292.384768
cugcd.aig,super-prove,unsat,2.3013029680005275,6.814249,98.398208
cugcdro.aig,nuxmv,unsat,0.4856986840022728,5.350996,323.301376
cugcdro.aig,super-prove,unsat,2.413064022999606,6.883272,100.339712
cuhanoi10.aig,nuxmv,sat,1.3371275879981113,15.557499,198.520832
cuhanoi10.aig,super-prove,sat,75.7623619799997,227.131716,134.975488
cuhanoi10ro.aig,nuxmv,sat,1.4259363180026412,16.627895,201.515008
cuhanoi10ro.aig,super-prove,sat,76.284621082,228.676807,133.787648
cuhanoi4.aig,super-prove,sat,0.2851373000012245,0.237508,78.659584
cuhanoi4.aig,nuxmv,sat,0.07084024899813812,0.331068,139.890688
cuhanoi4ro.aig,super-prove,sat,0.21084624600189272,0.23664,78.700544
cuhanoi4ro.aig,nuxmv,sat,0.07157592700241366,0.375383,146.665472
cuhanoi7.aig,super-prove,sat,0.5125808239972685,1.403302,89.096192
cuhanoi7.aig,nuxmv,sat,0.1692674900041311,1.543154,166.322176
cuhanoi7ro.aig,super-prove,sat,0.6243030949990498,1.401475,89.587712
cuhanoi7ro.aig,nuxmv,sat,0.17066098599752877,1.552647,165.593088
cujc12.aig,nuxmv,unsat,0.08189442499860888,0.501049,165.433344
cujc12.aig,super-prove,unsat,21.570249845004582,64.558093,137.920512
cujc128.aig,nuxmv,unsat,7.716389927998534,91.529456,413.298688
cujc128.aig,super-prove,none,3601.0011060319957,10803.722573,2348.601344
cujc128f.aig,super-prove,sat,0.2787150779986405,0.247511,74.448896
cujc128f.aig,nuxmv,sat,0.15614616999664577,1.371385,188.608512
cujc128fro.aig,super-prove,sat,0.3454353449997143,0.23721,78.0288
cujc128fro.aig,nuxmv,sat,0.17847475800226675,1.06155,190.44352
cujc128ro.aig,nuxmv,unsat,8.145324364995759,97.221585,419.352576
cujc128ro.aig,super-prove,none,3601.0013372569956,10803.632462,2328.072192
cujc12ro.aig,nuxmv,unsat,0.07911651500035077,0.418266,145.403904
cujc12ro.aig,super-prove,unsat,21.617316233001475,64.698808,137.330688
cujc32.aig,nuxmv,unsat,0.2764680869950098,2.793354,174.649344
cujc32.aig,super-prove,none,3601.001286838,10802.381137,1186.410496
cujc32ro.aig,nuxmv,unsat,0.2504769529987243,2.511453,144.371712
cujc32ro.aig,super-prove,none,3601.001144199996,10802.843162,1184.034816
culock.aig,super-prove,unsat,4.325714790997154,12.78097,91.078656
culock.aig,nuxmv,unsat,1.667839287998504,19.518532,223.035392
culockro.aig,super-prove,unsat,4.345047065999999,12.842113,92.676096
culockro.aig,nuxmv,unsat,1.3198233029979747,14.752371,214.781952
cunim1.aig,nuxmv,unsat,0.4836917050051852,5.299321,326.832128
cunim1.aig,super-prove,unsat,26.720037525999942,80.124018,118.366208
cunim1ro.aig,nuxmv,unsat,0.48878004500147654,5.329091,307.597312
cunim1ro.aig,super-prove,unsat,26.652266012999462,79.960309,118.632448
cunim2.aig,nuxmv,unsat,4.109157052997034,48.846019,410.427392
cunim2.aig,super-prove,unsat,108.25196101300389,324.729327,221.331456
cunim2ro.aig,nuxmv,unsat,4.102714125998318,48.757663,397.438976
cunim2ro.aig,super-prove,unsat,108.81768721000117,326.46692,218.394624
cunim3.aig,super-prove,sat,0.25885060900327517,0.255817,81.73568
cunim3.aig,nuxmv,sat,0.11536698899726616,0.895187,128.929792
cunim3ro.aig,super-prove,sat,0.28827799999999115,0.256015,82.173952
cunim3ro.aig,nuxmv,sat,0.10172050999972271,0.698712,128.397312
cuom1.aig,nuxmv,unsat,0.35953482300101314,3.198511,197.455872
cuom1.aig,super-prove,none,3601.001254711,10802.640533,1450.04544
cuom1ro.aig,nuxmv,unsat,0.30500834400299937,3.162573,217.546752
cuom1ro.aig,super-prove,none,3601.0011347059917,10802.625052,1458.5856
cuom2.aig,nuxmv,unsat,4.290560355002526,50.997782,556.068864
cuom2.aig,super-prove,unsat,210.5876863529993,631.435217,465.89952
cuom2ro.aig,nuxmv,unsat,3.892794466999476,46.245344,542.9248
cuom2ro.aig,super-prove,unsat,211.48541516299883,634.400996,471.04
cuom3.aig,nuxmv,unsat,0.319867880003585,3.348359,214.26176
cuom3.aig,super-prove,unsat,224.74505845600652,674.105404,762.372096
cuom3ro.aig,nuxmv,unsat,0.33633575099520385,3.549888,217.88672
cuom3ro.aig,super-prove,unsat,227.25621837799554,679.302382,786.055168
cupts14.aig,nuxmv,sat,1.4136050680026528,16.454806,272.744448
cupts14.aig,super-prove,sat,24.863779532999615,74.337493,160.210944
cupts15.aig,nuxmv,sat,3.0683707680000225,36.318379,282.267648
cupts15.aig,super-prove,sat,20.10152041699621,59.935082,163.434496
cupts16.aig,nuxmv,sat,2.343228553996596,27.632983,280.600576
cupts16.aig,super-prove,sat,11.39052400500077,34.143313,127.070208
cusarb16.aig,super-prove,unsat,0.4844339420014876,0.839602,106.770432
cusarb16.aig,nuxmv,unsat,0.12263210500532296,0.992444,174.030848
cusarb16ro.aig,super-prove,unsat,0.4168930289961281,0.823324,107.667456
cusarb16ro.aig,nuxmv,unsat,0.12460268500581151,1.00516,172.834816
cusarb32.aig,super-prove,unsat,2.213132865996158,6.49652,205.078528
cusarb32.aig,nuxmv,unsat,0.6804312340027536,7.672049,287.88736
cusarb32ro.aig,super-prove,unsat,2.214211354003055,6.553038,204.96384
cusarb32ro.aig,nuxmv,unsat,0.9709326960000908,11.154685,324.497408
cutarb16.aig,super-prove,unsat,39.6239858609988,118.684089,157.052928
cutarb16.aig,nuxmv,unsat,40.782207262003794,489.002008,2356.514816
cutarb16ro.aig,super-prove,unsat,39.57410985699971,118.498678,156.164096
cutarb16ro.aig,nuxmv,unsat,38.81084800499957,465.30615,2094.903296
cutarb32.aig,nuxmv,unsat,453.8271879680033,5446.536504,24674.11968
cutarb32.aig,super-prove,unsat,1936.0367458089968,5808.231163,799.363072
cutarb32ro.aig,nuxmv,unsat,481.24898147399654,5775.375309,29704.695808
cutarb32ro.aig,super-prove,unsat,1935.3190827969956,5806.044801,814.8992
cutarb4.aig,super-prove,unsat,0.620570498998859,1.55249,92.848128
cutarb4.aig,nuxmv,unsat,0.5874284660021658,6.562546,233.521152
cutarb4ro.aig,super-prove,unsat,0.6605595810033265,1.53399,93.249536
cutarb4ro.aig,nuxmv,unsat,0.638412229003734,6.578644,236.797952
cutarb8.aig,super-prove,unsat,3.94016697499319,11.800027,96.813056
cutarb8.aig,nuxmv,unsat,3.9442795499999193,46.847963,597.741568
cutarb8ro.aig,super-prove,unsat,3.9465484249958536,11.797845,97.079296
cutarb8ro.aig,nuxmv,unsat,4.017655061994446,47.739011,608.878592
cutf1.aig,super-prove,unsat,95.76406424699962,286.965028,240.996352
cutf1.aig,nuxmv,unsat,139.8216223030031,1677.385096,1109.192704
cutf1ro.aig,super-prove,unsat,95.22702706899872,285.592906,249.15968
cutf1ro.aig,nuxmv,unsat,167.78215196599922,2012.007878,1248.354304
cutf2.aig,super-prove,sat,0.21129309999378165,0.253365,80.044032
cutf2.aig,nuxmv,sat,0.09972788100276375,0.70716,110.81728
cutf2ro.aig,super-prove,sat,0.38388121500611305,0.267327,80.236544
cutf2ro.aig,nuxmv,sat,0.14248440099618165,0.661427,114.8928
cutf3.aig,super-prove,unsat,3.7211833089822903,0.510821,107.35616
cutf3.aig,nuxmv,unsat,0.6284903709965874,7.051119,269.684736
cutf3ro.aig,super-prove,unsat,0.443023883002752,0.492349,86.269952
cutf3ro.aig,nuxmv,unsat,0.5860924290027469,5.923228,247.21408
cutq1.aig,super-prove,unsat,299.011056344003,896.968692,470.810624
cutq1.aig,nuxmv,unsat,268.9620922969989,3227.06548,1732.849664
cutq1ro.aig,super-prove,unsat,293.00036674799776,878.891555,456.404992
cutq1ro.aig,nuxmv,unsat,297.284822996,3566.306818,1799.76192
cutq2.aig,super-prove,sat,0.46085446999495616,0.763488,87.945216
cutq2.aig,nuxmv,sat,0.5656505700026173,6.280858,257.277952
cutq2ro.aig,super-prove,sat,0.4631549680052558,0.750477,87.564288
cutq2ro.aig,nuxmv,sat,0.5903257400059374,5.722167,259.70688
lmcs06abp4p0.aig,super-prove,sat,0.6985555200008093,1.994964,95.92832
lmcs06abp4p0.aig,nuxmv,sat,0.2514650820012321,2.520738,224.698368
lmcs06abp4p1.aig,super-prove,unsat,2.447749504004605,6.893123,96.739328
lmcs06abp4p1.aig,nuxmv,unsat,1.505615559995931,17.57919,262.004736
lmcs06abp4p2.aig,super-prove,unsat,2.1971686109973234,6.102012,96.50176
lmcs06abp4p2.aig,nuxmv,unsat,1.0709086950009805,12.356872,255.565824
lmcs06abp4p3.aig,super-prove,sat,0.9971523540007183,2.857768,96.079872
lmcs06abp4p3.aig,nuxmv,sat,0.4015617460026988,4.304473,235.044864
lmcs06abp4p4.aig,super-prove,unsat,0.6207539879978867,1.249944,97.890304
lmcs06abp4p4.aig,nuxmv,unsat,0.2909143729993957,2.247183,230.793216
lmcs06bc57sp0.aig,nuxmv,sat,3.499122741006431,40.943894,453.623808
lmcs06bc57sp0.aig,super-prove,sat,21.02330251300009,62.792185,177.045504
lmcs06bc57sp1.aig,nuxmv,unsat,1.1686521830051788,13.525867,408.387584
lmcs06bc57sp1.aig,super-prove,unsat,15.947054791999108,47.909915,219.828224
lmcs06bc57sp2.aig,super-prove,unsat,16.255380458998843,48.882312,254.390272
lmcs06bc57sp2.aig,nuxmv,unsat,5.532097156006785,63.144134,491.99104
lmcs06bc57sp3.aig,nuxmv,unsat,1.2123441160001676,14.0427,378.724352
lmcs06bc57sp3.aig,super-prove,unsat,4.762581524002599,14.170912,279.027712
lmcs06bc57sp4.aig,super-prove,sat,13.35937181799818,40.160976,149.471232
lmcs06bc57sp4.aig,nuxmv,sat,14.881422390004445,177.55302,656.429056
lmcs06bc57sp5.aig,nuxmv,sat,2.9101009679943672,34.455279,442.744832
lmcs06bc57sp5.aig,super-prove,sat,15.356043493004108,46.134902,168.198144
lmcs06bc57sp6.aig,nuxmv,sat,3.6989940400017076,43.343577,467.505152
lmcs06bc57sp6.aig,super-prove,sat,21.16093450399785,63.087158,184.64768
lmcs06brp0.aig,super-prove,unsat,0.4123199699970428,0.553655,107.016192
lmcs06brp0.aig,nuxmv,unsat,0.1974115740013076,1.206028,131.817472
lmcs06brp1.aig,super-prove,sat,0.34831065899925306,0.23134,76.374016
lmcs06brp1.aig,nuxmv,sat,0.14370151899493067,0.651532,127.639552
lmcs06brp2.aig,super-prove,unsat,1.3242151869999361,3.770316,106.53696
lmcs06brp2.aig,nuxmv,unsat,0.4860420329932822,5.319995,269.545472
lmcs06brp3.aig,super-prove,sat,3.3829782829998294,9.37726,100.749312
lmcs06brp3.aig,nuxmv,sat,1.9288629090005998,21.003348,257.028096
lmcs06brp4.aig,super-prove,sat,0.2713685359994997,0.233046,76.53376
lmcs06brp4.aig,nuxmv,sat,0.10652718300116248,0.799718,123.691008
lmcs06counter0.aig,super-prove,unsat,0.3484461400003056,0.300816,77.9264
lmcs06counter0.aig,nuxmv,unsat,0.0728473409981234,0.373571,147.709952
lmcs06counter1.aig,nuxmv,sat,0.06568093600071734,0.256392,134.017024
lmcs06counter1.aig,super-prove,sat,1.1292842379999986,0.266478,90.23488
lmcs06dme2p0.aig,super-prove,sat,1.05855448100192,2.663322,100.196352
lmcs06dme2p0.aig,nuxmv,sat,0.7618349120020866,8.659202,228.728832
lmcs06dme2p1.aig,super-prove,sat,0.6578639179933816,1.869995,99.49184
lmcs06dme2p1.aig,nuxmv,sat,0.5951115630014101,6.617508,225.230848
lmcs06dme2p2.aig,super-prove,sat,0.33269735400244826,0.227559,77.340672
lmcs06dme2p2.aig,nuxmv,sat,0.07169195499591297,0.344662,109.543424
lmcs06dme3p0.aig,super-prove,sat,9.019760176001,26.946176,125.034496
lmcs06dme3p0.aig,nuxmv,sat,2.577050405998307,30.432988,320.745472
lmcs06dme3p1.aig,super-prove,sat,0.2741813109969371,0.231872,75.476992
lmcs06dme3p1.aig,nuxmv,sat,0.10170001599908574,0.745438,122.093568
lmcs06dme3p2.aig,super-prove,unsat,1779.2525029889948,5337.306582,3050.500096
lmcs06dme3p2.aig,nuxmv,none,3601.001621903997,43210.973635,3413.151744
lmcs06dme3p3.aig,super-prove,sat,3.827942534000613,11.186447,105.701376
lmcs06dme3p3.aig,nuxmv,sat,3.1695839569947566,37.519949,335.253504
lmcs06dme3p4.aig,super-prove,sat,0.28563630700227804,0.22885,72.708096
lmcs06dme3p4.aig,nuxmv,sat,0.07640783899842063,0.398852,119.263232
lmcs06dme4p0.aig,nuxmv,sat,17.472037585997896,209.191159,569.929728
lmcs06dme4p0.aig,super-prove,sat,81.98624881200521,245.617215,300.240896
lmcs06dme4p1.aig,super-prove,sat,0.3841253729988239,0.238992,77.778944
lmcs06dme4p1.aig,nuxmv,sat,0.09447678799915593,0.643791,132.153344
lmcs06dme4p2.aig,super-prove,none,3601.001118495995,10802.592581,1896.353792
lmcs06dme4p2.aig,nuxmv,none,3601.0015285510017,43211.286297,3568.246784
lmcs06dme4p3.aig,nuxmv,sat,12.446486744003778,148.868436,501.37088
lmcs06dme4p3.aig,super-prove,sat,55.088522614001704,165.036956,301.707264
lmcs06dme4p4.aig,super-prove,sat,0.27103277900459943,0.236417,75.751424
lmcs06dme4p4.aig,nuxmv,sat,0.14654498799791327,0.636821,131.989504
lmcs06dme5p0.aig,nuxmv,sat,35.588497368997196,426.622997,771.321856
lmcs06dme5p0.aig,super-prove,sat,738.1588704089954,2214.50575,861.851648
lmcs06dme5p1.aig,super-prove,sat,0.27816628900473006,0.239449,75.661312
lmcs06dme5p1.aig,nuxmv,sat,0.09898106299806386,0.698072,137.306112
lmcs06dme5p2.aig,super-prove,none,3601.001115456005,10802.88942,1504.956416
lmcs06dme5p2.aig,nuxmv,none,3601.001651192004,43211.165782,3891.703808
lmcs06dme5p3.aig,nuxmv,sat,16.442716751000262,196.875612,602.7264
lmcs06dme5p3.aig,super-prove,sat,500.8799970140026,1502.585959,615.40352
lmcs06dme5p4.aig,super-prove,sat,0.4773961910032085,0.238918,76.951552
lmcs06dme5p4.aig,nuxmv,sat,0.13633127100183628,0.582037,137.826304
lmcs06dme6p0.aig,nuxmv,sat,132.22756892300094,1586.293361,1349.103616
lmcs06dme6p0.aig,super-prove,none,3601.0011735160006,10802.801423,1493.860352
lmcs06dme6p1.aig,super-prove,sat,0.3291940539784264,0.239995,76.017664
lmcs06dme6p1.aig,nuxmv,sat,0.11069175699958578,0.765624,142.778368
lmcs06dme6p2.aig,super-prove,none,3601.0012274200053,10802.808771,1504.997376
lmcs06dme6p2.aig,nuxmv,none,3601.001604866993,43211.09692,4761.41568
lmcs06dme6p3.aig,nuxmv,sat,108.42893697099498,1300.692062,1229.934592
lmcs06dme6p3.aig,super-prove,none,3601.0011353329974,10802.862314,2163.580928
lmcs06dme6p4.aig,super-prove,sat,0.38211381399742095,0.241306,76.996608
lmcs06dme6p4.aig,nuxmv,sat,0.10130037400085712,0.731002,141.12768
lmcs06mutex0.aig,super-prove,unsat,0.20918548999907216,0.252737,78.569472
lmcs06mutex0.aig,nuxmv,unsat,0.06837272299890174,0.292522,145.379328
lmcs06mutex1.aig,nuxmv,sat,0.11667455099814106,0.260187,137.089024
lmcs06mutex1.aig,super-prove,sat,1.187932869012002,0.282744,90.0096
lmcs06prodcell0.aig,super-prove,sat,0.26150216800306225,0.469408,103.411712
lmcs06prodcell0.aig,nuxmv,sat,0.8427791819995036,9.63987,474.320896
lmcs06prodcell1.aig,super-prove,sat,0.2782162459989195,0.534611,109.101056
lmcs06prodcell1.aig,nuxmv,sat,1.131232635001652,12.54227,460.496896
lmcs06prodcell2.aig,super-prove,unsat,27.78035742099746,84.528808,795.406336
lmcs06prodcell2.aig,nuxmv,unsat,11.015725524994195,131.765347,1174.462464
lmcs06prodcell3.aig,nuxmv,unsat,10.60886869100068,126.855578,1113.186304
lmcs06prodcell3.aig,super-prove,unsat,46.70291352299682,141.351265,806.969344
lmcs06prodcell4.aig,super-prove,unsat,45.31976652800222,137.254806,829.0304
lmcs06prodcell4.aig,nuxmv,unsat,16.26111769700219,194.138852,1470.246912
lmcs06prodcell5.aig,nuxmv,unsat,1.2988923599987174,15.073511,678.469632
lmcs06prodcell5.aig,super-prove,unsat,100.10548988200026,301.353113,1546.989568
lmcs06prodcell6.aig,nuxmv,unsat,1.796983006002847,21.134771,783.642624
lmcs06prodcell6.aig,super-prove,unsat,78.0814502409994,235.254609,1323.27424
lmcs06prodcell7.aig,super-prove,sat,0.2614897969979211,0.429119,101.257216
lmcs06prodcell7.aig,nuxmv,sat,0.72688288900099,8.251976,424.656896
lmcs06prodcell8.aig,super-prove,sat,0.24852295099844923,0.403613,99.827712
lmcs06prodcell8.aig,nuxmv,sat,0.5583757529966533,6.216834,257.896448
lmcs06prodcell9.aig,super-prove,sat,0.33800133000477217,0.539805,108.249088
lmcs06prodcell9.aig,nuxmv,sat,1.0153914609982166,11.729464,468.205568
lmcs06ring0.aig,super-prove,unsat,0.2893705599999521,0.317067,77.98784
lmcs06ring0.aig,nuxmv,unsat,0.12431873699824791,1.012092,158.4128
lmcs06ring1.aig,super-prove,sat,0.23395466299552936,0.227944,78.45888
lmcs06ring1.aig,nuxmv,sat,0.06567277300200658,0.294549,141.033472
lmcs06short0.aig,super-prove,unsat,0.3319434099976206,0.226893,77.914112
lmcs06short0.aig,nuxmv,unsat,0.06181995600491064,0.253228,137.478144
lmcs06short1.aig,super-prove,sat,0.37861525399785023,0.219618,78.061568
lmcs06short1.aig,nuxmv,sat,0.11193657600233564,0.224023,120.754176
lmcs06srg5p0.aig,super-prove,unsat,0.40637565899669426,0.585552,84.893696
lmcs06srg5p0.aig,nuxmv,unsat,0.1687478470048518,1.547713,191.30368
lmcs06srg5p1.aig,super-prove,sat,0.21558970399928512,0.237829,79.302656
lmcs06srg5p1.aig,nuxmv,sat,0.0979759309993824,0.701007,173.555712
lmcs06srg5p2.aig,super-prove,sat,0.28036816700478084,0.227483,77.43488
lmcs06srg5p2.aig,nuxmv,sat,0.07327142499707406,0.340686,105.488384