benchmark,config,result,time_real,time_cpu,memory
2019/mann/safe/arbitrated_fifos_n2d8w8.btor2,btor2-select,unknown,0.02281592899817042,0.004094,1.052672
2019/mann/safe/arbitrated_fifos_n2d8w8.btor2,btormc,unknown,0.04560750399832614,0.004177,0.999424
2019/mann/safe/arbitrated_fifos_n2d8w8.btor2,pono,unknown,0.01055722200544551,0.004193,1.011712
2019/mann/safe/arbitrated_fifos_n2d8w8.btor2,avr,unknown,0.04454004700528458,0.00436,1.007616
2019/mann/safe/linked_list_fifo_n2d4.btor2,avr,unknown,0.04268925602082163,0.004146,1.00352
2019/mann/safe/linked_list_fifo_n2d4.btor2,btor2-select,unknown,0.02249155199388042,0.004198,1.183744
2019/mann/safe/linked_list_fifo_n2d4.btor2,btormc,unknown,0.044546057004481554,0.004275,1.077248
2019/mann/safe/linked_list_fifo_n2d4.btor2,pono,unknown,0.01164889000938274,0.004493,1.060864
2019/mann/unknown/ridecore_array.btor2,pono,sat,0.22018404299160466,0.101189,13.901824
2019/mann/unknown/ridecore_array.btor2,btormc,unknown,0.04509021600824781,0.004112,0.884736
2019/mann/unknown/ridecore_array.btor2,btor2-select,unknown,0.022784569999203086,0.004385,1.08544
2019/mann/unknown/ridecore_array.btor2,avr,unknown,0.0436557829962112,0.00439,1.171456
2019/mann/unsafe/ridecore_array.btor2,btormc,sat,0.23868635500548407,0.076192,13.98784
2019/mann/unsafe/ridecore_array.btor2,avr,sat,0.2479787869961001,0.076722,13.856768
2019/mann/unsafe/ridecore_array.btor2,btor2-select,sat,0.2385442079976201,0.078133,14.045184
2019/mann/unsafe/ridecore_array.btor2,pono,sat,0.17211395400227048,0.103144,13.848576
2019/wolf/2018A/VexRiscv-regch0-15-p0.btor2,pono,unsat,0.011931194982025772,0.004151,1.04448
2019/wolf/2018A/VexRiscv-regch0-15-p0.btor2,avr,unsat,0.04176948199165054,0.004159,1.048576
2019/wolf/2018A/VexRiscv-regch0-15-p0.btor2,btormc,unsat,0.031132714997511357,0.004209,0.905216
2019/wolf/2018A/VexRiscv-regch0-15-p0.btor2,btor2-select,unsat,0.021214023989159614,0.004421,1.06496
2019/wolf/2018A/VexRiscv-regch0-15-p1.btor2,avr,unsat,0.040634183009387925,0.004033,1.142784
2019/wolf/2018A/VexRiscv-regch0-15-p1.btor2,pono,unsat,0.012033095001243055,0.004158,1.077248
2019/wolf/2018A/VexRiscv-regch0-15-p1.btor2,btor2-select,unsat,0.02028439601417631,0.004259,1.183744
2019/wolf/2018A/VexRiscv-regch0-15-p1.btor2,btormc,unsat,0.03159838501596823,0.004466,1.060864
2019/wolf/2018A/picorv32-check-p12.btor2,avr,unsat,0.04346016299678013,0.004027,1.028096
2019/wolf/2018A/picorv32-check-p12.btor2,pono,unsat,0.01171955800964497,0.004291,1.00352
2019/wolf/2018A/picorv32-check-p12.btor2,btor2-select,unsat,0.02072525001130998,0.004468,1.056768
2019/wolf/2018A/picorv32-check-p12.btor2,btormc,unknown,0.03758139497949742,0.004329,1.052672
2019/wolf/2018A/picorv32-check-p20.btor2,avr,unsat,0.039604441000847146,0.003889,1.052672
2019/wolf/2018A/picorv32-check-p20.btor2,btor2-select,unsat,0.019310906005557626,0.004037,1.007616
2019/wolf/2018A/picorv32-check-p20.btor2,pono,unsat,0.011748823017114773,0.004287,1.007616
2019/wolf/2018A/picorv32-check-p20.btor2,btormc,unknown,0.035664736991748214,0.004276,0.96256
2019/wolf/2018A/picorv32-check-p7.btor2,avr,unsat,0.044755944021744654,0.003985,1.093632
2019/wolf/2018A/picorv32-check-p7.btor2,btor2-select,unsat,0.01886135499808006,0.004125,1.048576
2019/wolf/2018A/picorv32-check-p7.btor2,pono,unsat,0.010289422993082553,0.004152,0.999424
2019/wolf/2018A/picorv32-check-p7.btor2,btormc,unknown,0.042286074021831155,0.004219,1.089536
2019/wolf/2018A/zipcpu-zipmmu-p34.btor2,btor2-select,unsat,0.019733115012058988,0.004065,1.18784
2019/wolf/2018A/zipcpu-zipmmu-p34.btor2,pono,unsat,0.011735898995539173,0.004143,1.007616
2019/wolf/2018A/zipcpu-zipmmu-p34.btor2,avr,unsat,0.04099887399934232,0.004189,1.00352
2019/wolf/2018A/zipcpu-zipmmu-p34.btor2,btormc,unknown,0.03829404601128772,0.004074,1.00352
2019/wolf/2018A/zipcpu-zipmmu-p40.btor2,pono,unsat,0.011689862993080169,0.004079,1.00352
2019/wolf/2018A/zipcpu-zipmmu-p40.btor2,avr,unsat,0.04165637999540195,0.004113,1.134592
2019/wolf/2018A/zipcpu-zipmmu-p40.btor2,btor2-select,unsat,0.01921158001641743,0.004122,1.048576
2019/wolf/2018A/zipcpu-zipmmu-p40.btor2,btormc,unknown,0.03480483198654838,0.004209,0.905216
2019/wolf/2019A/picorv32_mutAX_mem-p0.btor2,pono,sat,0.0542303710244596,0.020994,3.03104
2019/wolf/2019A/picorv32_mutAX_mem-p0.btor2,btormc,unknown,0.04631468799198046,0.004133,1.036288
2019/wolf/2019A/picorv32_mutAX_mem-p0.btor2,avr,unknown,0.04892390299937688,0.004272,1.18784
2019/wolf/2019A/picorv32_mutAX_mem-p0.btor2,btor2-select,unknown,0.02282793101039715,0.004392,1.183744
2019/wolf/2019A/picorv32_mutAX_mem-p7.btor2,btor2-select,sat,0.10234796098666266,0.018128,2.904064
2019/wolf/2019A/picorv32_mutAX_mem-p7.btor2,avr,sat,0.13342758399085142,0.018139,2.994176
2019/wolf/2019A/picorv32_mutAX_mem-p7.btor2,btormc,sat,0.10997517398209311,0.019123,2.99008
2019/wolf/2019A/picorv32_mutAX_mem-p7.btor2,pono,sat,0.05228152999188751,0.020397,2.940928
2019/wolf/2019A/picorv32_mutBX_mem-p1.btor2,avr,sat,0.13576197301154025,0.018544,3.022848
2019/wolf/2019A/picorv32_mutBX_mem-p1.btor2,btor2-select,sat,0.05893093399936333,0.01882,2.834432
2019/wolf/2019A/picorv32_mutBX_mem-p1.btor2,btormc,sat,0.11807360299280845,0.018932,2.985984
2019/wolf/2019A/picorv32_mutBX_mem-p1.btor2,pono,sat,0.052597209985833615,0.020349,2.92864
2019/wolf/2019A/picorv32_mutBX_mem-p5.btor2,btormc,sat,0.17027792800217867,0.018982,2.84672
2019/wolf/2019A/picorv32_mutBX_mem-p5.btor2,avr,sat,0.15548621298512444,0.019021,2.998272
2019/wolf/2019A/picorv32_mutBX_mem-p5.btor2,btor2-select,sat,0.10355006798636168,0.019109,3.01056
2019/wolf/2019A/picorv32_mutBX_mem-p5.btor2,pono,sat,0.05187252600444481,0.020405,2.895872
2019/wolf/2019A/picorv32_mutCX_mem-p5.btor2,btor2-select,sat,0.10374041498289444,0.018784,3.006464
2019/wolf/2019A/picorv32_mutCX_mem-p5.btor2,avr,sat,0.13195593300042674,0.019004,3.047424
2019/wolf/2019A/picorv32_mutCX_mem-p5.btor2,btormc,sat,0.12291048598126508,0.019086,2.92864
2019/wolf/2019A/picorv32_mutCX_mem-p5.btor2,pono,sat,0.0532136419788003,0.020636,2.94912
2019/wolf/2019A/picorv32_mutCY_mem-p5.btor2,avr,sat,0.13333252500160597,0.016785,2.674688
2019/wolf/2019A/picorv32_mutCY_mem-p5.btor2,btor2-select,sat,0.10284564600442536,0.016912,2.51904
2019/wolf/2019A/picorv32_mutCY_mem-p5.btor2,btormc,sat,0.11402999999700114,0.017359,2.49856
2019/wolf/2019A/picorv32_mutCY_mem-p5.btor2,pono,sat,0.049336528027197346,0.017722,2.482176
2019/wolf/2019C/dblclockfft_butterfly_ck3_r1-p105.btor2,btor2-select,unsat,0.08787641799426638,0.00391,1.052672
2019/wolf/2019C/dblclockfft_butterfly_ck3_r1-p105.btor2,pono,unsat,0.04246441397117451,0.004166,0.999424
2019/wolf/2019C/dblclockfft_butterfly_ck3_r1-p105.btor2,btormc,unsat,0.03984302200842649,0.004224,1.00352
2019/wolf/2019C/dblclockfft_butterfly_ck3_r1-p105.btor2,avr,unsat,0.03621006998582743,0.004231,1.00352
2019/wolf/2019C/dblclockfft_butterfly_ck3_r1-p44.btor2,btormc,unsat,0.0694129379990045,0.004042,1.089536
2019/wolf/2019C/dblclockfft_butterfly_ck3_r1-p44.btor2,btor2-select,unsat,0.09027869399869815,0.004064,1.069056
2019/wolf/2019C/dblclockfft_butterfly_ck3_r1-p44.btor2,avr,unsat,0.04206659900955856,0.004096,1.04448
2019/wolf/2019C/dblclockfft_butterfly_ck3_r1-p44.btor2,pono,unsat,0.044177037983899936,0.004336,0.905216
2019/wolf/2019C/zipcpu_zipcpu_dcache-p105.btor2,btor2-select,unsat,0.059953194024274126,0.004088,1.056768
2019/wolf/2019C/zipcpu_zipcpu_dcache-p105.btor2,avr,unsat,0.04073390198755078,0.004121,1.048576
2019/wolf/2019C/zipcpu_zipcpu_dcache-p105.btor2,pono,unsat,0.027458561991807073,0.00416,0.999424
2019/wolf/2019C/zipcpu_zipcpu_dcache-p105.btor2,btormc,unknown,0.04279611399397254,0.004282,1.011712
2019/wolf/2019C/zipcpu_zipcpu_dcache-p106.btor2,btor2-select,unsat,0.03457680900464766,0.003922,1.00352
2019/wolf/2019C/zipcpu_zipcpu_dcache-p106.btor2,avr,unsat,0.03629171702777967,0.003926,1.04448
2019/wolf/2019C/zipcpu_zipcpu_dcache-p106.btor2,pono,unsat,0.03590137101127766,0.004304,1.04448
2019/wolf/2019C/zipcpu_zipcpu_dcache-p106.btor2,btormc,unknown,0.05951422097859904,0.004199,1.110016
2019/wolf/2019C/zipcpu_zipcpu_dcache-p181.btor2,avr,unsat,0.045498737978050485,0.004143,0.995328
2019/wolf/2019C/zipcpu_zipcpu_dcache-p181.btor2,btor2-select,unsat,0.09310974698746577,0.004339,1.007616
2019/wolf/2019C/zipcpu_zipcpu_dcache-p181.btor2,pono,unsat,0.04584626600262709,0.004463,0.966656
2019/wolf/2019C/zipcpu_zipcpu_dcache-p181.btor2,btormc,unknown,0.053002619999460876,0.004106,1.011712
2019/wolf/2019C/zipcpu_zipcpu_dcache-p208.btor2,pono,unsat,0.04073403897928074,0.003961,1.00352
2019/wolf/2019C/zipcpu_zipcpu_dcache-p208.btor2,avr,unsat,0.035587369988206774,0.004282,1.007616
2019/wolf/2019C/zipcpu_zipcpu_dcache-p208.btor2,btor2-select,unknown,0.07189267600188032,0.003885,1.048576
2019/wolf/2019C/zipcpu_zipcpu_dcache-p208.btor2,btormc,unknown,0.04298957699211314,0.00422,1.011712
2019/wolf/2019C/zipcpu_zipcpu_dcache-p231.btor2,pono,unsat,0.047850923001533374,0.004109,1.18784
2019/wolf/2019C/zipcpu_zipcpu_dcache-p231.btor2,avr,unsat,0.11039861000608653,0.004283,1.04448
2019/wolf/2019C/zipcpu_zipcpu_dcache-p231.btor2,btormc,unknown,0.0412283260084223,0.003903,1.052672
2019/wolf/2019C/zipcpu_zipcpu_dcache-p231.btor2,btor2-select,unknown,0.09858595399418846,0.004379,0.991232
2019/wolf/2019C/zipcpu_zipcpu_dcache-p238.btor2,avr,unsat,0.03948572199442424,0.004164,1.183744
2019/wolf/2019C/zipcpu_zipcpu_dcache-p238.btor2,btor2-select,unsat,0.04096148902317509,0.004325,1.200128
2019/wolf/2019C/zipcpu_zipcpu_dcache-p238.btor2,pono,unsat,0.03706025698920712,0.004337,1.007616
2019/wolf/2019C/zipcpu_zipcpu_dcache-p238.btor2,btormc,unknown,0.05826001800596714,0.003957,1.040384
2019/wolf/2019C/zipcpu_zipcpu_dcache-p250.btor2,avr,unsat,0.0429737450031098,0.004167,1.134592
2019/wolf/2019C/zipcpu_zipcpu_dcache-p250.btor2,pono,unknown,0.047201720997691154,0.004093,0.966656
2019/wolf/2019C/zipcpu_zipcpu_dcache-p250.btor2,btor2-select,unknown,0.07086939999135211,0.004348,0.90112
2019/wolf/2019C/zipcpu_zipcpu_dcache-p250.btor2,btormc,unknown,0.042265871015843004,0.004444,1.00352
2019/wolf/2019C/zipcpu_zipcpu_dcache-p260.btor2,avr,unsat,0.04038393998052925,0.004171,1.024
2019/wolf/2019C/zipcpu_zipcpu_dcache-p260.btor2,pono,unsat,0.036842487985268235,0.004392,1.048576
2019/wolf/2019C/zipcpu_zipcpu_dcache-p260.btor2,btor2-select,unknown,0.055144607002148405,0.003935,1.056768
2019/wolf/2019C/zipcpu_zipcpu_dcache-p260.btor2,btormc,unknown,0.07209243800025433,0.00413,1.007616
2019/wolf/2019C/zipcpu_zipcpu_dcache-p274.btor2,btor2-select,unsat,0.059650657000020146,0.004001,1.007616
2019/wolf/2019C/zipcpu_zipcpu_dcache-p274.btor2,avr,unsat,0.04386707200319506,0.004047,1.00352
2019/wolf/2019C/zipcpu_zipcpu_dcache-p274.btor2,pono,unsat,0.026983290998032317,0.004071,1.048576
2019/wolf/2019C/zipcpu_zipcpu_dcache-p274.btor2,btormc,unknown,0.04269357101293281,0.004464,1.00352
2019/wolf/2019C/zipcpu_zipcpu_dcache-p277.btor2,pono,unsat,0.04368471700581722,0.004139,0.995328
2019/wolf/2019C/zipcpu_zipcpu_dcache-p277.btor2,avr,unsat,0.04340497401426546,0.00427,0.96256
2019/wolf/2019C/zipcpu_zipcpu_dcache-p277.btor2,btor2-select,unknown,0.0940179489844013,0.003953,1.019904
2019/wolf/2019C/zipcpu_zipcpu_dcache-p277.btor2,btormc,unknown,0.08117799597675912,0.004342,1.032192
2019/wolf/2019C/zipcpu_zipcpu_dcache-p295.btor2,pono,unsat,0.03958642698125914,0.003971,1.048576
2019/wolf/2019C/zipcpu_zipcpu_dcache-p295.btor2,avr,unsat,0.037489901995286345,0.004211,1.04448
2019/wolf/2019C/zipcpu_zipcpu_dcache-p295.btor2,btor2-select,unsat,0.030945577978855,0.004589,0.995328
2019/wolf/2019C/zipcpu_zipcpu_dcache-p295.btor2,btormc,unknown,0.033025936980266124,0.004033,1.048576
2019/wolf/2019C/zipcpu_zipcpu_dcache-p317.btor2,btor2-select,unsat,0.03381391000584699,0.003791,1.118208
2019/wolf/2019C/zipcpu_zipcpu_dcache-p317.btor2,avr,unsat,0.04185643699020147,0.003998,0.999424
2019/wolf/2019C/zipcpu_zipcpu_dcache-p317.btor2,pono,unsat,0.04350673401495442,0.004106,1.036288
2019/wolf/2019C/zipcpu_zipcpu_dcache-p317.btor2,btormc,unknown,0.08172745298361406,0.004138,1.040384
2019/wolf/2019C/zipcpu_zipcpu_dcache-p322.btor2,avr,unsat,0.04126180199091323,0.003934,1.04448
2019/wolf/2019C/zipcpu_zipcpu_dcache-p322.btor2,pono,unsat,0.02773054299177602,0.004234,1.007616
2019/wolf/2019C/zipcpu_zipcpu_dcache-p322.btor2,btor2-select,unsat,0.06529181901714765,0.004354,1.028096
2019/wolf/2019C/zipcpu_zipcpu_dcache-p322.btor2,btormc,unknown,0.053415361006045714,0.003791,1.00352
2019/wolf/2019C/zipcpu_zipcpu_dcache-p343.btor2,btor2-select,unsat,0.03973598300945014,0.00404,1.015808
2019/wolf/2019C/zipcpu_zipcpu_dcache-p343.btor2,avr,unsat,0.041007343999808654,0.004179,1.130496
2019/wolf/2019C/zipcpu_zipcpu_dcache-p343.btor2,pono,unsat,0.04529137100325897,0.004211,1.081344
2019/wolf/2019C/zipcpu_zipcpu_dcache-p343.btor2,btormc,unknown,0.06120767700485885,0.004154,1.060864
2019/wolf/2019C/zipcpu_zipcpu_dcache-p346.btor2,avr,unsat,0.036460448987782,0.003941,1.011712
2019/wolf/2019C/zipcpu_zipcpu_dcache-p346.btor2,pono,unsat,0.039765010005794466,0.004038,1.183744
2019/wolf/2019C/zipcpu_zipcpu_dcache-p346.btor2,btor2-select,unknown,0.08007958001689985,0.004325,1.024
2019/wolf/2019C/zipcpu_zipcpu_dcache-p346.btor2,btormc,unknown,0.03873734499211423,0.004391,1.019904
2019/wolf/2019C/zipcpu_zipcpu_dcache-p359.btor2,btor2-select,unknown,0.07149257999844849,0.004005,1.056768
2019/wolf/2019C/zipcpu_zipcpu_dcache-p359.btor2,pono,unknown,0.05065848500817083,0.004158,1.056768
2019/wolf/2019C/zipcpu_zipcpu_dcache-p359.btor2,avr,unknown,0.05753855500370264,0.004168,0.999424
2019/wolf/2019C/zipcpu_zipcpu_dcache-p359.btor2,btormc,unknown,0.06335058697732165,0.004213,1.024
2019/wolf/2019C/zipcpu_zipcpu_dcache-p371.btor2,btormc,unknown,0.028826563007896766,0.003687,0.999424
2019/wolf/2019C/zipcpu_zipcpu_dcache-p371.btor2,avr,unknown,0.043000867997761816,0.004085,1.007616
2019/wolf/2019C/zipcpu_zipcpu_dcache-p371.btor2,pono,unknown,0.04887393198441714,0.004461,1.00352
2019/wolf/2019C/zipcpu_zipcpu_dcache-p371.btor2,btor2-select,unknown,0.035410719021456316,0.004528,1.011712
2019/wolf/2019C/zipcpu_zipcpu_dcache-p428.btor2,btor2-select,unsat,0.037543546000961214,0.003966,1.048576
2019/wolf/2019C/zipcpu_zipcpu_dcache-p428.btor2,avr,unsat,0.035979061998659745,0.004058,1.089536
2019/wolf/2019C/zipcpu_zipcpu_dcache-p428.btor2,pono,unsat,0.036236099986126646,0.004322,1.06496
2019/wolf/2019C/zipcpu_zipcpu_dcache-p428.btor2,btormc,unknown,0.059820435009896755,0.004174,0.974848
2019/wolf/2019C/zipcpu_zipcpu_dcache-p459.btor2,avr,unknown,0.03718253501574509,0.003931,1.007616
2019/wolf/2019C/zipcpu_zipcpu_dcache-p459.btor2,btormc,unknown,0.036704016994917765,0.00403,1.00352
2019/wolf/2019C/zipcpu_zipcpu_dcache-p459.btor2,pono,unknown,0.05238186998758465,0.004161,1.00352
2019/wolf/2019C/zipcpu_zipcpu_dcache-p459.btor2,btor2-select,unknown,0.09895722998771816,0.004463,0.966656
2019/wolf/2019C/zipcpu_zipcpu_dcache-p462.btor2,pono,unsat,0.034623183018993586,0.003833,0.991232
2019/wolf/2019C/zipcpu_zipcpu_dcache-p462.btor2,avr,unsat,0.04125341700273566,0.004055,1.028096
2019/wolf/2019C/zipcpu_zipcpu_dcache-p462.btor2,btor2-select,unsat,0.053757495974423364,0.00416,1.10592
2019/wolf/2019C/zipcpu_zipcpu_dcache-p462.btor2,btormc,unknown,0.03134684998076409,0.003852,1.04448
2019/wolf/2019C/zipcpu_zipcpu_dcache-p478.btor2,btormc,unknown,0.03157898399513215,0.003846,1.040384
2019/wolf/2019C/zipcpu_zipcpu_dcache-p478.btor2,avr,unknown,0.03737052800715901,0.003864,1.00352
2019/wolf/2019C/zipcpu_zipcpu_dcache-p478.btor2,btor2-select,unknown,0.03566482599126175,0.004136,1.060864
2019/wolf/2019C/zipcpu_zipcpu_dcache-p478.btor2,pono,unknown,0.05197018900071271,0.004236,0.98304
2019/wolf/2019C/zipcpu_zipcpu_dcache-p532.btor2,pono,unsat,0.0397064030112233,0.003913,0.98304
2019/wolf/2019C/zipcpu_zipcpu_dcache-p532.btor2,avr,unsat,0.043784226989373565,0.004023,0.999424
2019/wolf/2019C/zipcpu_zipcpu_dcache-p532.btor2,btor2-select,unsat,0.09029581400682218,0.004243,1.007616
2019/wolf/2019C/zipcpu_zipcpu_dcache-p532.btor2,btormc,unknown,0.061595976003445685,0.004305,1.056768
2019/wolf/2019C/zipcpu_zipcpu_dcache-p554.btor2,btor2-select,unknown,0.10108846501680091,0.00405,1.011712
2019/wolf/2019C/zipcpu_zipcpu_dcache-p554.btor2,btormc,unknown,0.08203772100387141,0.004157,1.052672
2019/wolf/2019C/zipcpu_zipcpu_dcache-p554.btor2,pono,unknown,0.044815865985583514,0.004363,1.048576
2019/wolf/2019C/zipcpu_zipcpu_dcache-p554.btor2,avr,unknown,0.04103171100723557,0.004569,1.00352
2019/wolf/2019C/zipcpu_zipcpu_dcache-p558.btor2,pono,unsat,0.0393327200144995,0.0039,1.011712
2019/wolf/2019C/zipcpu_zipcpu_dcache-p558.btor2,btor2-select,unsat,0.054495050018886104,0.004139,1.130496
2019/wolf/2019C/zipcpu_zipcpu_dcache-p558.btor2,avr,unsat,0.03974717899109237,0.004267,1.048576
2019/wolf/2019C/zipcpu_zipcpu_dcache-p558.btor2,btormc,unknown,0.041220723011065274,0.004077,1.089536
2019/wolf/2019C/zipcpu_zipcpu_dcache-p563.btor2,avr,unsat,0.041458385006990284,0.00404,0.929792
2019/wolf/2019C/zipcpu_zipcpu_dcache-p563.btor2,btor2-select,unsat,0.09060759900603443,0.004312,1.048576
2019/wolf/2019C/zipcpu_zipcpu_dcache-p563.btor2,pono,unsat,0.04489072202704847,0.004335,1.04448
2019/wolf/2019C/zipcpu_zipcpu_dcache-p563.btor2,btormc,unknown,0.08213360098307021,0.004571,1.101824
2019/wolf/2019C/zipcpu_zipcpu_dcache-p570.btor2,pono,unknown,0.0465958260174375,0.004036,1.10592
2019/wolf/2019C/zipcpu_zipcpu_dcache-p570.btor2,btormc,unknown,0.05737409298308194,0.004095,0.995328
2019/wolf/2019C/zipcpu_zipcpu_dcache-p570.btor2,avr,unknown,0.04890517599415034,0.004169,0.966656
2019/wolf/2019C/zipcpu_zipcpu_dcache-p570.btor2,btor2-select,unknown,0.0948221430007834,0.004833,1.089536
2019/wolf/2019C/zipcpu_zipcpu_dcache-p581.btor2,avr,unsat,0.04413874397869222,0.004085,0.950272
2019/wolf/2019C/zipcpu_zipcpu_dcache-p581.btor2,pono,unsat,0.04448735900223255,0.004105,0.995328
2019/wolf/2019C/zipcpu_zipcpu_dcache-p581.btor2,btor2-select,unsat,0.09127218701178208,0.004229,1.019904
2019/wolf/2019C/zipcpu_zipcpu_dcache-p581.btor2,btormc,unknown,0.07710767799289897,0.004141,0.995328
2019/wolf/2019C/zipcpu_zipcpu_dcache-p591.btor2,pono,unsat,0.048709891008911654,0.004189,1.114112
2019/wolf/2019C/zipcpu_zipcpu_dcache-p591.btor2,avr,unsat,0.10557154499110766,0.004464,1.048576
2019/wolf/2019C/zipcpu_zipcpu_dcache-p591.btor2,btormc,unknown,0.03862754697911441,0.003922,1.052672
2019/wolf/2019C/zipcpu_zipcpu_dcache-p591.btor2,btor2-select,unknown,0.0985747920058202,0.004238,0.995328
2019/wolf/2019C/zipcpu_zipcpu_piped-p133.btor2,btormc,unknown,0.05497233002097346,0.004021,0.999424
2019/wolf/2019C/zipcpu_zipcpu_piped-p133.btor2,btor2-select,unknown,0.049228724994463846,0.004032,1.007616
2019/wolf/2019C/zipcpu_zipcpu_piped-p133.btor2,avr,unknown,0.0542316600040067,0.004246,1.183744
2019/wolf/2019C/zipcpu_zipcpu_piped-p133.btor2,pono,unknown,0.03861373299150728,0.004354,1.056768
2019/wolf/2019C/zipcpu_zipcpu_piped-p160.btor2,btor2-select,unsat,0.08992483399924822,0.004061,0.987136
2019/wolf/2019C/zipcpu_zipcpu_piped-p160.btor2,avr,unsat,0.03617165700416081,0.00411,0.999424
2019/wolf/2019C/zipcpu_zipcpu_piped-p160.btor2,pono,unsat,0.04399795300560072,0.004136,1.011712
2019/wolf/2019C/zipcpu_zipcpu_piped-p160.btor2,btormc,unknown,0.09295854397350922,0.004165,1.04448
2019/wolf/2019C/zipcpu_zipcpu_piped-p195.btor2,avr,unsat,0.04285553900990635,0.004077,1.114112
2019/wolf/2019C/zipcpu_zipcpu_piped-p195.btor2,btor2-select,unsat,0.06090024998411536,0.004219,1.048576
2019/wolf/2019C/zipcpu_zipcpu_piped-p195.btor2,pono,unsat,0.012231947999680415,0.004376,1.183744
2019/wolf/2019C/zipcpu_zipcpu_piped-p195.btor2,btormc,unknown,0.04174220599816181,0.004337,1.110016
2019/wolf/2019C/zipcpu_zipcpu_piped-p240.btor2,avr,unsat,0.04077388800214976,0.003962,1.048576
2019/wolf/2019C/zipcpu_zipcpu_piped-p240.btor2,btor2-select,unsat,0.06428091300767846,0.004054,1.183744
2019/wolf/2019C/zipcpu_zipcpu_piped-p240.btor2,pono,unsat,0.027307178999762982,0.00433,1.011712
2019/wolf/2019C/zipcpu_zipcpu_piped-p240.btor2,btormc,unknown,0.04458904001512565,0.0047,1.175552
2019/wolf/2019C/zipcpu_zipcpu_piped-p241.btor2,avr,unsat,0.04171805200167,0.004014,0.974848
2019/wolf/2019C/zipcpu_zipcpu_piped-p241.btor2,btormc,unknown,0.05624392902245745,0.003986,1.052672
2019/wolf/2019C/zipcpu_zipcpu_piped-p241.btor2,pono,unknown,0.051005829009227455,0.00417,1.183744
2019/wolf/2019C/zipcpu_zipcpu_piped-p241.btor2,btor2-select,unknown,0.09450224597821943,0.00427,0.999424
2019/wolf/2019C/zipcpu_zipcpu_piped-p284.btor2,avr,unsat,0.03849322901805863,0.003889,1.04448
2019/wolf/2019C/zipcpu_zipcpu_piped-p284.btor2,btor2-select,unsat,0.09063482799683698,0.004286,1.183744
2019/wolf/2019C/zipcpu_zipcpu_piped-p284.btor2,pono,unsat,0.03635223797755316,0.004388,1.036288
2019/wolf/2019C/zipcpu_zipcpu_piped-p284.btor2,btormc,unknown,0.059632213989971206,0.00414,1.052672
2019/wolf/2019C/zipcpu_zipcpu_piped-p310.btor2,btor2-select,unsat,0.09771604000707157,0.004165,1.011712
2019/wolf/2019C/zipcpu_zipcpu_piped-p310.btor2,avr,unsat,0.11118950400850736,0.004255,1.04448
2019/wolf/2019C/zipcpu_zipcpu_piped-p310.btor2,pono,unsat,0.04852095802198164,0.004288,1.00352
2019/wolf/2019C/zipcpu_zipcpu_piped-p310.btor2,btormc,unknown,0.0400397700141184,0.004184,0.999424
2019/wolf/2019C/zipcpu_zipcpu_piped-p311.btor2,avr,unsat,0.02964088600128889,0.003753,1.011712
2019/wolf/2019C/zipcpu_zipcpu_piped-p311.btor2,pono,unsat,0.03677202298422344,0.003911,1.007616
2019/wolf/2019C/zipcpu_zipcpu_piped-p311.btor2,btormc,unknown,0.03516418099752627,0.004005,1.00352
2019/wolf/2019C/zipcpu_zipcpu_piped-p311.btor2,btor2-select,unknown,0.034003587992629036,0.004808,0.995328
2019/wolf/2019C/zipcpu_zipcpu_piped-p358.btor2,btor2-select,unsat,0.06128166598500684,0.003867,1.019904
2019/wolf/2019C/zipcpu_zipcpu_piped-p358.btor2,avr,unsat,0.04533393000019714,0.004014,0.991232
2019/wolf/2019C/zipcpu_zipcpu_piped-p358.btor2,pono,unsat,0.02741901800618507,0.004385,1.04448
2019/wolf/2019C/zipcpu_zipcpu_piped-p358.btor2,btormc,unknown,0.042401233018608764,0.004282,1.191936
2019/wolf/2019C/zipcpu_zipcpu_piped-p366.btor2,btor2-select,unsat,0.08986306897713803,0.003985,1.007616
2019/wolf/2019C/zipcpu_zipcpu_piped-p366.btor2,pono,unsat,0.044932014017831534,0.004202,0.999424
2019/wolf/2019C/zipcpu_zipcpu_piped-p366.btor2,avr,unsat,0.0429203950043302,0.004841,1.024
2019/wolf/2019C/zipcpu_zipcpu_piped-p366.btor2,btormc,unknown,0.042097946017747745,0.00416,1.00352
2019/wolf/2019C/zipcpu_zipcpu_piped-p395.btor2,avr,unsat,0.03118664800422266,0.003822,1.007616
2019/wolf/2019C/zipcpu_zipcpu_piped-p395.btor2,pono,unsat,0.0494597060023807,0.004126,1.130496
2019/wolf/2019C/zipcpu_zipcpu_piped-p395.btor2,btor2-select,unsat,0.09324546900461428,0.004333,0.98304
2019/wolf/2019C/zipcpu_zipcpu_piped-p395.btor2,btormc,unknown,0.038122005003970116,0.004054,0.999424
2019/wolf/2019C/zipcpu_zipcpu_piped-p421.btor2,pono,unsat,0.043748944997787476,0.004074,1.00352
2019/wolf/2019C/zipcpu_zipcpu_piped-p421.btor2,avr,unsat,0.043109689984703436,0.004189,1.130496
2019/wolf/2019C/zipcpu_zipcpu_piped-p421.btor2,btor2-select,unsat,0.05778317101066932,0.004241,1.052672
2019/wolf/2019C/zipcpu_zipcpu_piped-p421.btor2,btormc,unknown,0.04273796599591151,0.004252,1.00352
2019/wolf/2019C/zipcpu_zipcpu_piped-p43.btor2,pono,unsat,0.04424927500076592,0.004095,1.040384
2019/wolf/2019C/zipcpu_zipcpu_piped-p43.btor2,avr,unsat,0.0453146240033675,0.004162,1.007616
2019/wolf/2019C/zipcpu_zipcpu_piped-p43.btor2,btor2-select,unsat,0.09095262101618573,0.004427,1.011712
2019/wolf/2019C/zipcpu_zipcpu_piped-p43.btor2,btormc,unknown,0.059400441008619964,0.004025,1.00352
2019/wolf/2019C/zipcpu_zipcpu_piped-p458.btor2,btor2-select,unsat,0.09290898698964156,0.004183,1.18784
2019/wolf/2019C/zipcpu_zipcpu_piped-p458.btor2,avr,unsat,0.041888425999786705,0.004188,1.118208
2019/wolf/2019C/zipcpu_zipcpu_piped-p458.btor2,pono,unsat,0.043719962995965034,0.004201,1.04448
2019/wolf/2019C/zipcpu_zipcpu_piped-p458.btor2,btormc,unknown,0.08174061597674154,0.004029,0.995328
2019/wolf/2019C/zipcpu_zipcpu_piped-p485.btor2,avr,unsat,0.037754668010165915,0.004046,1.015808
2019/wolf/2019C/zipcpu_zipcpu_piped-p485.btor2,pono,unsat,0.04295452398946509,0.004161,0.995328
2019/wolf/2019C/zipcpu_zipcpu_piped-p485.btor2,btor2-select,unsat,0.05757465198985301,0.004369,1.007616
2019/wolf/2019C/zipcpu_zipcpu_piped-p485.btor2,btormc,unknown,0.04199241800233722,0.004125,1.00352
2019/wolf/2019C/zipcpu_zipcpu_piped-p493.btor2,avr,unsat,0.03411947499262169,0.003894,1.056768
2019/wolf/2019C/zipcpu_zipcpu_piped-p493.btor2,pono,unsat,0.04057659499812871,0.004057,1.00352
2019/wolf/2019C/zipcpu_zipcpu_piped-p493.btor2,btor2-select,unsat,0.05516339698806405,0.004183,0.954368
2019/wolf/2019C/zipcpu_zipcpu_piped-p493.btor2,btormc,unknown,0.04126492599607445,0.004181,1.00352
2019/wolf/2019C/zipcpu_zipcpu_piped-p496.btor2,avr,unsat,0.043703901988919824,0.004072,1.052672
2019/wolf/2019C/zipcpu_zipcpu_piped-p496.btor2,btormc,unknown,0.04291227200883441,0.004079,1.08544
2019/wolf/2019C/zipcpu_zipcpu_piped-p496.btor2,btor2-select,unknown,0.08104059498873539,0.004125,1.036288
2019/wolf/2019C/zipcpu_zipcpu_piped-p496.btor2,pono,unknown,0.013136881025275216,0.00429,1.159168
2020/mann/array_lt200.btor2,pono,unsat,0.0298772010137327,0.004226,1.056768
2020/mann/array_lt200.btor2,btormc,unknown,0.04417427000589669,0.004094,1.007616
2020/mann/array_lt200.btor2,avr,unknown,0.12057385698426515,0.004124,1.036288
2020/mann/array_lt200.btor2,btor2-select,unknown,0.08738326499587856,0.004136,1.077248
2020/mann/array_swap.btor2,btor2-select,unknown,0.07899220800027251,0.003989,0.966656
2020/mann/array_swap.btor2,avr,unknown,0.12037578501622193,0.004166,1.052672
2020/mann/array_swap.btor2,btormc,unknown,0.04681971998070367,0.004368,1.007616
2020/mann/array_swap.btor2,pono,unknown,0.03803746702033095,0.004658,1.00352
2020/mann/deep_overflow_bug.btor2,avr,unknown,0.12049265499808826,0.004008,1.04448
2020/mann/deep_overflow_bug.btor2,pono,unknown,0.03596376400673762,0.004085,1.007616
2020/mann/deep_overflow_bug.btor2,btor2-select,unknown,0.08288087201071903,0.004094,0.995328
2020/mann/deep_overflow_bug.btor2,btormc,unknown,0.1000879229977727,0.00413,1.00352
2020/mann/easy_zero_array.btor2,btor2-select,unsat,0.09234941299655475,0.004206,1.056768
2020/mann/easy_zero_array.btor2,pono,unsat,0.03454625699669123,0.004508,1.093632
2020/mann/easy_zero_array.btor2,avr,unknown,0.09524246898945421,0.004061,1.048576
2020/mann/easy_zero_array.btor2,btormc,unknown,0.04445685099926777,0.00428,1.015808
2020/mann/simple-stack-pred1.btor2,pono,unsat,0.0340863720048219,0.00489,1.036288
2020/mann/simple-stack-pred1.btor2,btormc,unknown,0.045482949004508555,0.004036,1.007616
2020/mann/simple-stack-pred1.btor2,btor2-select,unknown,0.09472191100940108,0.004176,0.966656
2020/mann/simple-stack-pred1.btor2,avr,unknown,0.09640804000082426,0.004281,1.040384
2020/mann/zero_array.btor2,btor2-select,unknown,0.09836572699714452,0.004127,0.999424
2020/mann/zero_array.btor2,btormc,unknown,0.04302260698750615,0.004131,1.08544
2020/mann/zero_array.btor2,avr,unknown,0.12143531301990151,0.004184,1.138688
2020/mann/zero_array.btor2,pono,unknown,0.038264233007794246,0.004524,1.040384
2024/hkust/branch_coverage/array/rocket_1939.btor2,avr,unsat,0.024014372000237927,0.004286,1.056768
2024/hkust/branch_coverage/array/rocket_1939.btor2,pono,unknown,0.01142811300815083,0.004106,1.052672
2024/hkust/branch_coverage/array/rocket_1939.btor2,btormc,unknown,0.0124305929930415,0.004318,1.011712
2024/hkust/branch_coverage/array/rocket_1939.btor2,btor2-select,unknown,0.0466227579745464,0.004395,1.015808
2024/hkust/branch_coverage/array/rocket_2021.btor2,btor2-select,sat,0.22632497499580495,0.071459,8.564736
2024/hkust/branch_coverage/array/rocket_2021.btor2,avr,sat,0.2719171369972173,0.072029,8.02816
2024/hkust/branch_coverage/array/rocket_2021.btor2,pono,unknown,0.011232977005420253,0.004243,0.991232
2024/hkust/branch_coverage/array/rocket_2021.btor2,btormc,unknown,0.012572568986797705,0.00473,1.00352
2024/hkust/branch_coverage/array/rocket_2029.btor2,btormc,sat,0.13362369101378135,0.039074,8.200192
2024/hkust/branch_coverage/array/rocket_2029.btor2,avr,sat,0.24749692500336096,0.039526,7.92576
2024/hkust/branch_coverage/array/rocket_2029.btor2,pono,sat,0.07550393999554217,0.039926,7.815168
2024/hkust/branch_coverage/array/rocket_2029.btor2,btor2-select,sat,0.1775136239884887,0.041201,7.991296
2024/hkust/branch_coverage/array/rocket_2045.btor2,pono,sat,0.0758988450106699,0.039587,7.753728
2024/hkust/branch_coverage/array/rocket_2045.btor2,avr,sat,0.23416315802023746,0.039695,7.9872
2024/hkust/branch_coverage/array/rocket_2045.btor2,btormc,sat,0.10823267098749056,0.040065,8.077312
2024/hkust/branch_coverage/array/rocket_2045.btor2,btor2-select,sat,0.1696330510021653,0.040097,7.974912
2024/hkust/branch_coverage/array/rocket_2047.btor2,btormc,sat,0.131395586009603,0.039288,8.077312
2024/hkust/branch_coverage/array/rocket_2047.btor2,avr,sat,0.25623551598982885,0.039726,7.860224
2024/hkust/branch_coverage/array/rocket_2047.btor2,btor2-select,sat,0.18419330200413242,0.039799,8.00768
2024/hkust/branch_coverage/array/rocket_2047.btor2,pono,sat,0.07570045697502792,0.040455,7.831552
2024/hkust/branch_coverage/array/rocket_2053.btor2,pono,sat,0.07873978299903683,0.04217,8.024064
2024/hkust/branch_coverage/array/rocket_2053.btor2,btor2-select,sat,0.2043921079894062,0.042889,7.999488
2024/hkust/branch_coverage/array/rocket_2053.btor2,btormc,sat,0.11444585301796906,0.043462,8.065024
2024/hkust/branch_coverage/array/rocket_2053.btor2,avr,sat,0.29096404698793776,0.085163,8.257536
2024/hkust/branch_coverage/array/rocket_2067.btor2,btor2-select,unsat,0.044436234020395204,0.004075,1.036288
2024/hkust/branch_coverage/array/rocket_2067.btor2,avr,unsat,0.023925304994918406,0.004302,1.00352
2024/hkust/branch_coverage/array/rocket_2067.btor2,btormc,unknown,0.018320212984690443,0.00439,1.052672
2024/hkust/branch_coverage/array/rocket_2067.btor2,pono,unknown,0.012322040012804791,0.004586,1.14688
2024/hkust/refinement_checking/array/ILA_Flute_ADDI_problem.btor2,pono,unknown,0.03309944100328721,0.004047,1.019904
2024/hkust/refinement_checking/array/ILA_Flute_ADDI_problem.btor2,avr,unknown,0.02143894199980423,0.004053,1.036288
2024/hkust/refinement_checking/array/ILA_Flute_ADDI_problem.btor2,btor2-select,unknown,0.04523717999109067,0.004098,1.00352
2024/hkust/refinement_checking/array/ILA_Flute_ADDI_problem.btor2,btormc,unknown,0.01882979500805959,0.004293,1.00352
2024/hkust/refinement_checking/array/ILA_Flute_AND_problem.btor2,btormc,unknown,0.10389764700084925,0.004096,1.056768
2024/hkust/refinement_checking/array/ILA_Flute_AND_problem.btor2,btor2-select,unknown,0.10660753099364229,0.004158,0.954368
2024/hkust/refinement_checking/array/ILA_Flute_AND_problem.btor2,avr,unknown,0.014358259999426082,0.004165,1.00352
2024/hkust/refinement_checking/array/ILA_Flute_AND_problem.btor2,pono,unknown,0.03520331799518317,0.004691,1.18784
2024/hkust/refinement_checking/array/ILA_Flute_AUIPC_problem.btor2,pono,unknown,0.031223951024003327,0.003884,0.999424
2024/hkust/refinement_checking/array/ILA_Flute_AUIPC_problem.btor2,btormc,unknown,0.01181481999810785,0.004374,1.060864
2024/hkust/refinement_checking/array/ILA_Flute_AUIPC_problem.btor2,btor2-select,unknown,0.011927473999094218,0.004673,1.060864
2024/hkust/refinement_checking/array/ILA_Flute_AUIPC_problem.btor2,avr,unknown,0.019903323991457,0.004697,1.093632
2024/hkust/refinement_checking/array/ILA_Flute_BEQ_sanity.btor2,pono,unknown,0.02783810198889114,0.003886,1.011712
2024/hkust/refinement_checking/array/ILA_Flute_BEQ_sanity.btor2,btormc,unknown,0.07914071701816283,0.004218,1.1264
2024/hkust/refinement_checking/array/ILA_Flute_BEQ_sanity.btor2,btor2-select,unknown,0.04437802897882648,0.004551,1.048576
2024/hkust/refinement_checking/array/ILA_Flute_BEQ_sanity.btor2,avr,unknown,0.023688654007855803,0.004676,0.999424
2024/hkust/refinement_checking/array/ILA_Flute_BGEU_problem.btor2,pono,unknown,0.030975709989434108,0.003865,1.191936
2024/hkust/refinement_checking/array/ILA_Flute_BGEU_problem.btor2,btor2-select,unknown,0.11542685798485763,0.003977,1.024
2024/hkust/refinement_checking/array/ILA_Flute_BGEU_problem.btor2,btormc,unknown,0.08681602001888677,0.004026,1.183744
2024/hkust/refinement_checking/array/ILA_Flute_BGEU_problem.btor2,avr,unknown,0.020407222997164354,0.004182,1.08544
2024/hkust/refinement_checking/array/ILA_Flute_BLT_problem.btor2,pono,unknown,0.03413320198887959,0.00423,1.00352
2024/hkust/refinement_checking/array/ILA_Flute_BLT_problem.btor2,btor2-select,unknown,0.011053780996007845,0.004271,1.073152
2024/hkust/refinement_checking/array/ILA_Flute_BLT_problem.btor2,avr,unknown,0.018757929996354505,0.004307,1.032192
2024/hkust/refinement_checking/array/ILA_Flute_BLT_problem.btor2,btormc,unknown,0.012049890996422619,0.004767,1.060864
2024/hkust/refinement_checking/array/ILA_Flute_LHU_sanity.btor2,avr,unknown,0.02125750301638618,0.004101,1.196032
2024/hkust/refinement_checking/array/ILA_Flute_LHU_sanity.btor2,pono,unknown,0.034305287001188844,0.004116,0.966656
2024/hkust/refinement_checking/array/ILA_Flute_LHU_sanity.btor2,btor2-select,unknown,0.011528012983035296,0.004395,1.060864
2024/hkust/refinement_checking/array/ILA_Flute_LHU_sanity.btor2,btormc,unknown,0.020356468012323603,0.004489,1.052672
2024/hkust/refinement_checking/array/ILA_Flute_OR_sanity.btor2,btor2-select,unknown,0.10644898400641978,0.004065,1.040384
2024/hkust/refinement_checking/array/ILA_Flute_OR_sanity.btor2,btormc,unknown,0.1059870439930819,0.004292,1.060864
2024/hkust/refinement_checking/array/ILA_Flute_OR_sanity.btor2,pono,unknown,0.027354364981874824,0.004457,1.052672
2024/hkust/refinement_checking/array/ILA_Flute_OR_sanity.btor2,avr,unknown,0.014873184001771733,0.004761,1.14688
2024/hkust/refinement_checking/array/ILA_Flute_SB_problem.btor2,avr,unknown,0.13994140701834112,0.004026,1.052672
2024/hkust/refinement_checking/array/ILA_Flute_SB_problem.btor2,btormc,unknown,0.11908466200111434,0.004149,1.114112
2024/hkust/refinement_checking/array/ILA_Flute_SB_problem.btor2,btor2-select,unknown,0.10671110200928524,0.004297,1.015808
2024/hkust/refinement_checking/array/ILA_Flute_SB_problem.btor2,pono,unknown,0.036615086981328204,0.004327,1.024
2024/hkust/refinement_checking/array/ILA_Flute_SH_problem.btor2,avr,unknown,0.12043915098183788,0.003989,1.019904
2024/hkust/refinement_checking/array/ILA_Flute_SH_problem.btor2,btormc,unknown,0.11932831900776364,0.004016,1.191936
2024/hkust/refinement_checking/array/ILA_Flute_SH_problem.btor2,pono,unknown,0.03468734602211043,0.004139,0.974848
2024/hkust/refinement_checking/array/ILA_Flute_SH_problem.btor2,btor2-select,unknown,0.10662091299309395,0.004161,1.048576
2024/hkust/refinement_checking/array/ILA_Flute_SH_sanity.btor2,pono,unknown,0.028092562017263845,0.004033,1.015808
2024/hkust/refinement_checking/array/ILA_Flute_SH_sanity.btor2,avr,unknown,0.023124967992771417,0.004197,1.011712
2024/hkust/refinement_checking/array/ILA_Flute_SH_sanity.btor2,btor2-select,unknown,0.046440728998277336,0.004274,1.056768
2024/hkust/refinement_checking/array/ILA_Flute_SH_sanity.btor2,btormc,unknown,0.018628940015332773,0.004341,1.155072
2024/hkust/refinement_checking/array/ILA_Flute_SLLI_sanity.btor2,pono,unknown,0.026466840994544327,0.003858,1.040384
2024/hkust/refinement_checking/array/ILA_Flute_SLLI_sanity.btor2,btor2-select,unknown,0.011770779005018994,0.004285,0.995328
2024/hkust/refinement_checking/array/ILA_Flute_SLLI_sanity.btor2,btormc,unknown,0.020956052001565695,0.004447,1.2288
2024/hkust/refinement_checking/array/ILA_Flute_SLLI_sanity.btor2,avr,unknown,0.02324569399934262,0.004524,1.015808
2024/hkust/refinement_checking/array/ILA_Flute_SLTI_problem.btor2,pono,unknown,0.0362943819782231,0.004018,1.015808
2024/hkust/refinement_checking/array/ILA_Flute_SLTI_problem.btor2,btor2-select,unknown,0.009982638992369175,0.004072,1.048576
2024/hkust/refinement_checking/array/ILA_Flute_SLTI_problem.btor2,btormc,unknown,0.019750520994421095,0.004262,1.089536
2024/hkust/refinement_checking/array/ILA_Flute_SLTI_problem.btor2,avr,unknown,0.019375736999791116,0.00458,1.204224
2024/hkust/refinement_checking/array/ILA_Flute_SLTI_sanity.btor2,avr,unknown,0.1386578060046304,0.004017,1.011712
2024/hkust/refinement_checking/array/ILA_Flute_SLTI_sanity.btor2,btormc,unknown,0.11361915100133047,0.00405,1.114112
2024/hkust/refinement_checking/array/ILA_Flute_SLTI_sanity.btor2,btor2-select,unknown,0.10673213200061582,0.004142,1.052672
2024/hkust/refinement_checking/array/ILA_Flute_SLTI_sanity.btor2,pono,unknown,0.034931893984321505,0.004183,1.048576
2024/hkust/refinement_checking/array/ILA_Flute_SRAI_problem.btor2,pono,unknown,0.029153790994314477,0.003929,1.056768
2024/hkust/refinement_checking/array/ILA_Flute_SRAI_problem.btor2,avr,unknown,0.02319015102693811,0.004162,0.966656
2024/hkust/refinement_checking/array/ILA_Flute_SRAI_problem.btor2,btor2-select,unknown,0.011313802999211475,0.00417,1.00352
2024/hkust/refinement_checking/array/ILA_Flute_SRAI_problem.btor2,btormc,unknown,0.01997743602260016,0.004262,1.06496
2024/hkust/refinement_checking/array/ILA_Flute_SUB_problem.btor2,btormc,unknown,0.08190160300000571,0.004129,1.134592
2024/hkust/refinement_checking/array/ILA_Flute_SUB_problem.btor2,btor2-select,unknown,0.011185827985173091,0.004336,1.007616
2024/hkust/refinement_checking/array/ILA_Flute_SUB_problem.btor2,pono,unknown,0.034745028999168426,0.004351,1.191936
2024/hkust/refinement_checking/array/ILA_Flute_SUB_problem.btor2,avr,unknown,0.01914641700568609,0.004572,1.150976
2024/hkust/refinement_checking/array/ILA_Flute_SW_sanity.btor2,avr,unknown,0.021852656005648896,0.004013,0.966656
2024/hkust/refinement_checking/array/ILA_Flute_SW_sanity.btor2,pono,unknown,0.03318062299513258,0.004082,1.04448
2024/hkust/refinement_checking/array/ILA_Flute_SW_sanity.btor2,btormc,unknown,0.07911483297357336,0.004225,1.06496
2024/hkust/refinement_checking/array/ILA_Flute_SW_sanity.btor2,btor2-select,unknown,0.014947582996683195,0.004497,1.019904
2024/hkust/refinement_checking/array/ILA_Flute_XORI_problem.btor2,pono,unknown,0.03026169099030085,0.003939,1.011712
2024/hkust/refinement_checking/array/ILA_Flute_XORI_problem.btor2,btormc,unknown,0.018266453000251204,0.004191,1.142784
2024/hkust/refinement_checking/array/ILA_Flute_XORI_problem.btor2,avr,unknown,0.023400342994136736,0.0042,1.011712
2024/hkust/refinement_checking/array/ILA_Flute_XORI_problem.btor2,btor2-select,unknown,0.011713790998328477,0.004453,1.060864
2024/hkust/refinement_checking/array/ILA_Piccolo_ADD_sanity.btor2,pono,unsat,0.029278486996190622,0.003831,1.048576
2024/hkust/refinement_checking/array/ILA_Piccolo_ADD_sanity.btor2,btor2-select,unsat,0.09931206799228676,0.004143,1.028096
2024/hkust/refinement_checking/array/ILA_Piccolo_ADD_sanity.btor2,avr,unsat,0.018316883011721075,0.004258,0.970752
2024/hkust/refinement_checking/array/ILA_Piccolo_ADD_sanity.btor2,btormc,unknown,0.08857874700333923,0.004225,1.142784
2024/hkust/refinement_checking/array/ILA_Piccolo_BNE_sanity.btor2,pono,unsat,0.034500259993365034,0.003974,1.060864
2024/hkust/refinement_checking/array/ILA_Piccolo_BNE_sanity.btor2,avr,unsat,0.01729811599943787,0.004101,0.991232
2024/hkust/refinement_checking/array/ILA_Piccolo_BNE_sanity.btor2,btormc,unknown,0.011604447005083784,0.004368,1.142784
2024/hkust/refinement_checking/array/ILA_Piccolo_BNE_sanity.btor2,btor2-select,unknown,0.011287798988632858,0.004465,1.019904
2024/hkust/refinement_checking/array/ILA_Piccolo_JALR_problem.btor2,avr,unknown,0.11114956298843026,0.003903,1.056768
2024/hkust/refinement_checking/array/ILA_Piccolo_JALR_problem.btor2,btor2-select,unknown,0.07965702202636749,0.004152,1.06496
2024/hkust/refinement_checking/array/ILA_Piccolo_JALR_problem.btor2,pono,unknown,0.034802100009983405,0.004156,1.007616
2024/hkust/refinement_checking/array/ILA_Piccolo_JALR_problem.btor2,btormc,unknown,0.09862038498977199,0.004486,1.00352
2024/hkust/refinement_checking/array/ILA_Piccolo_JALR_sanity.btor2,avr,unsat,0.020233669987646863,0.003962,1.04448
2024/hkust/refinement_checking/array/ILA_Piccolo_JALR_sanity.btor2,pono,unsat,0.03365254099480808,0.00418,1.052672
2024/hkust/refinement_checking/array/ILA_Piccolo_JALR_sanity.btor2,btor2-select,unsat,0.09784704699995928,0.004189,1.040384
2024/hkust/refinement_checking/array/ILA_Piccolo_JALR_sanity.btor2,btormc,unknown,0.09103447399684228,0.004318,1.138688
2024/hkust/refinement_checking/array/ILA_Piccolo_LBU_sanity.btor2,pono,sat,0.21537210201495327,0.031761,7.053312
2024/hkust/refinement_checking/array/ILA_Piccolo_LBU_sanity.btor2,btormc,sat,0.3709432989999186,0.03346,7.057408
2024/hkust/refinement_checking/array/ILA_Piccolo_LBU_sanity.btor2,btor2-select,sat,0.20151054600137286,0.034349,7.10656
2024/hkust/refinement_checking/array/ILA_Piccolo_LBU_sanity.btor2,avr,sat,0.21684943899163045,0.035029,7.143424
2024/hkust/refinement_checking/array/ILA_Piccolo_LH_sanity.btor2,pono,sat,0.2331635270093102,0.031709,7.135232
2024/hkust/refinement_checking/array/ILA_Piccolo_LH_sanity.btor2,btormc,sat,0.37203286300064065,0.03376,7.155712
2024/hkust/refinement_checking/array/ILA_Piccolo_LH_sanity.btor2,btor2-select,sat,0.06464038201374933,0.033943,7.233536
2024/hkust/refinement_checking/array/ILA_Piccolo_LH_sanity.btor2,avr,sat,0.24202614297973923,0.034193,7.20896
2024/hkust/refinement_checking/array/ILA_Piccolo_LUI_sanity.btor2,pono,unsat,0.02064704999793321,0.003842,1.04448
2024/hkust/refinement_checking/array/ILA_Piccolo_LUI_sanity.btor2,btor2-select,unsat,0.011146909993840382,0.004307,1.011712
2024/hkust/refinement_checking/array/ILA_Piccolo_LUI_sanity.btor2,avr,unsat,0.01768080299370922,0.004352,1.122304
2024/hkust/refinement_checking/array/ILA_Piccolo_LUI_sanity.btor2,btormc,unknown,0.0196338520036079,0.004284,1.052672
2024/hkust/refinement_checking/array/ILA_Piccolo_LW_problem.btor2,btormc,sat,0.42249374400125816,0.035848,7.012352
2024/hkust/refinement_checking/array/ILA_Piccolo_LW_problem.btor2,btor2-select,sat,0.3133802780066617,0.036206,7.032832
2024/hkust/refinement_checking/array/ILA_Piccolo_LW_problem.btor2,pono,sat,0.2656927000207361,0.037014,7.184384
2024/hkust/refinement_checking/array/ILA_Piccolo_LW_problem.btor2,avr,sat,0.5286759910231922,0.037053,7.020544
2024/hkust/refinement_checking/array/ILA_Piccolo_ORI_sanity.btor2,pono,unsat,0.03397611799300648,0.004078,1.007616
2024/hkust/refinement_checking/array/ILA_Piccolo_ORI_sanity.btor2,avr,unsat,0.1187362700002268,0.004151,1.048576
2024/hkust/refinement_checking/array/ILA_Piccolo_ORI_sanity.btor2,btor2-select,unsat,0.06821075599873438,0.004232,1.200128
2024/hkust/refinement_checking/array/ILA_Piccolo_ORI_sanity.btor2,btormc,unknown,0.11694832501234487,0.003996,1.138688
2024/hkust/refinement_checking/array/ILA_Piccolo_SB_sanity.btor2,pono,sat,0.17571815702831373,0.030331,7.032832
2024/hkust/refinement_checking/array/ILA_Piccolo_SB_sanity.btor2,btor2-select,sat,0.28564279500278644,0.031912,7.114752
2024/hkust/refinement_checking/array/ILA_Piccolo_SB_sanity.btor2,avr,sat,0.21341198700247332,0.032768,7.131136
2024/hkust/refinement_checking/array/ILA_Piccolo_SB_sanity.btor2,btormc,sat,0.24596329798805527,0.034226,7.307264
2024/hkust/refinement_checking/array/ILA_Piccolo_SLLI_problem.btor2,btormc,unknown,0.07909764998476021,0.004142,1.138688
2024/hkust/refinement_checking/array/ILA_Piccolo_SLLI_problem.btor2,pono,unknown,0.0341457589820493,0.004246,0.966656
2024/hkust/refinement_checking/array/ILA_Piccolo_SLLI_problem.btor2,avr,unknown,0.02389492400106974,0.00426,1.011712
2024/hkust/refinement_checking/array/ILA_Piccolo_SLLI_problem.btor2,btor2-select,unknown,0.014242292993003502,0.00458,1.069056
2024/hkust/refinement_checking/array/ILA_Piccolo_SLL_problem.btor2,pono,unknown,0.037191559007624164,0.004175,0.958464
2024/hkust/refinement_checking/array/ILA_Piccolo_SLL_problem.btor2,btor2-select,unknown,0.1028945010039024,0.004274,1.00352
2024/hkust/refinement_checking/array/ILA_Piccolo_SLL_problem.btor2,avr,unknown,0.020596428017597646,0.004281,0.991232
2024/hkust/refinement_checking/array/ILA_Piccolo_SLL_problem.btor2,btormc,unknown,0.08888537200982682,0.00429,1.130496
2024/hkust/refinement_checking/array/ILA_Piccolo_SLTI_problem.btor2,avr,unknown,0.019964937993790954,0.003931,1.011712
2024/hkust/refinement_checking/array/ILA_Piccolo_SLTI_problem.btor2,btormc,unknown,0.07891672200639732,0.004175,1.011712
2024/hkust/refinement_checking/array/ILA_Piccolo_SLTI_problem.btor2,pono,unknown,0.035615306987892836,0.004299,1.114112
2024/hkust/refinement_checking/array/ILA_Piccolo_SLTI_problem.btor2,btor2-select,unknown,0.015428994025569409,0.004427,1.204224
2024/hkust/refinement_checking/array/ILA_Piccolo_SLT_sanity.btor2,pono,unsat,0.030896408978151157,0.003937,1.011712
2024/hkust/refinement_checking/array/ILA_Piccolo_SLT_sanity.btor2,avr,unsat,0.02119953400688246,0.004663,1.089536
2024/hkust/refinement_checking/array/ILA_Piccolo_SLT_sanity.btor2,btormc,unknown,0.08559481299016625,0.004072,1.015808
2024/hkust/refinement_checking/array/ILA_Piccolo_SLT_sanity.btor2,btor2-select,unknown,0.010622064000926912,0.004108,1.200128
2024/hkust/refinement_checking/array/ILA_Piccolo_SRL_sanity.btor2,pono,unsat,0.03638123901328072,0.004061,1.028096
2024/hkust/refinement_checking/array/ILA_Piccolo_SRL_sanity.btor2,avr,unsat,0.021913859993219376,0.004111,1.183744
2024/hkust/refinement_checking/array/ILA_Piccolo_SRL_sanity.btor2,btor2-select,unknown,0.10228531199391,0.004138,1.056768
2024/hkust/refinement_checking/array/ILA_Piccolo_SRL_sanity.btor2,btormc,unknown,0.08862327999668196,0.004296,1.06496
2024/hkust/refinement_checking/array/ILA_Piccolo_SW_problem.btor2,btormc,unknown,0.016879620001418516,0.004166,1.060864
2024/hkust/refinement_checking/array/ILA_Piccolo_SW_problem.btor2,btor2-select,unknown,0.04640863899840042,0.004244,1.048576
2024/hkust/refinement_checking/array/ILA_Piccolo_SW_problem.btor2,avr,unknown,0.023779601993737742,0.004451,1.04448
2024/hkust/refinement_checking/array/ILA_Piccolo_SW_problem.btor2,pono,unknown,0.01225129800150171,0.004501,1.134592
2024/hkust/refinement_checking/array/ILA_Piccolo_XORI_sanity.btor2,pono,unsat,0.03550463399733417,0.004053,1.052672
2024/hkust/refinement_checking/array/ILA_Piccolo_XORI_sanity.btor2,avr,unsat,0.018777880002744496,0.004196,1.028096
2024/hkust/refinement_checking/array/ILA_Piccolo_XORI_sanity.btor2,btor2-select,unsat,0.042403847008245066,0.004467,0.978944
2024/hkust/refinement_checking/array/ILA_Piccolo_XORI_sanity.btor2,btormc,unknown,0.07235642199520953,0.003934,1.056768
2024/hkust/refinement_checking/array/ILA_Ridecore_BLTU_problem.btor2,pono,unknown,0.032675308000762016,0.003982,1.036288
2024/hkust/refinement_checking/array/ILA_Ridecore_BLTU_problem.btor2,btor2-select,unknown,0.10195733798900619,0.00407,1.040384
2024/hkust/refinement_checking/array/ILA_Ridecore_BLTU_problem.btor2,btormc,unknown,0.0907290109898895,0.004263,1.179648
2024/hkust/refinement_checking/array/ILA_Ridecore_BLTU_problem.btor2,avr,unknown,0.019814180996036157,0.004303,0.991232
2024/hkust/refinement_checking/array/ILA_Ridecore_LB_problem.btor2,btormc,sat,0.2532623109873384,0.034872,8.056832
2024/hkust/refinement_checking/array/ILA_Ridecore_LB_problem.btor2,btor2-select,sat,0.38231031299801543,0.035273,8.015872
2024/hkust/refinement_checking/array/ILA_Ridecore_LB_problem.btor2,pono,sat,0.18661554699065164,0.035932,7.995392
2024/hkust/refinement_checking/array/ILA_Ridecore_LB_problem.btor2,avr,sat,0.2478847189922817,0.036035,7.84384
2024/hkust/refinement_checking/array/ILA_Ridecore_LUI_problem.btor2,pono,sat,0.2394043469976168,0.032392,7.634944
2024/hkust/refinement_checking/array/ILA_Ridecore_LUI_problem.btor2,avr,sat,0.2560876439965796,0.032456,7.74144
2024/hkust/refinement_checking/array/ILA_Ridecore_LUI_problem.btor2,btormc,sat,0.37657566301641054,0.032831,7.745536
2024/hkust/refinement_checking/array/ILA_Ridecore_LUI_problem.btor2,btor2-select,sat,0.3696669470227789,0.033359,7.84384
2024/hkust/refinement_checking/array/ILA_Ridecore_ORI_problem.btor2,avr,sat,0.48420470897690393,0.032447,7.811072
2024/hkust/refinement_checking/array/ILA_Ridecore_ORI_problem.btor2,btor2-select,sat,0.3287880610150751,0.032574,7.70048
2024/hkust/refinement_checking/array/ILA_Ridecore_ORI_problem.btor2,pono,sat,0.26679868099745363,0.033004,8.019968
2024/hkust/refinement_checking/array/ILA_Ridecore_ORI_problem.btor2,btormc,sat,0.4246984990022611,0.033451,7.7824
2024/hkust/refinement_checking/array/ILA_Ridecore_SRAI_problem.btor2,pono,sat,0.23220854601822793,0.032097,7.999488
2024/hkust/refinement_checking/array/ILA_Ridecore_SRAI_problem.btor2,btormc,sat,0.3809454989968799,0.033322,7.876608
2024/hkust/refinement_checking/array/ILA_Ridecore_SRAI_problem.btor2,avr,sat,0.22899519899510778,0.034521,7.704576
2024/hkust/refinement_checking/array/ILA_Ridecore_SRAI_problem.btor2,btor2-select,sat,0.22535634698579088,0.034625,8.003584
2024/hkust/refinement_checking/array/ILA_Rocket_ADD_sanity.btor2,btor2-select,sat,0.3063289299898315,0.021586,6.688768
2024/hkust/refinement_checking/array/ILA_Rocket_ADD_sanity.btor2,avr,sat,0.36908497801050544,0.021597,6.750208
2024/hkust/refinement_checking/array/ILA_Rocket_ADD_sanity.btor2,btormc,sat,0.40911009098635986,0.021871,6.565888
2024/hkust/refinement_checking/array/ILA_Rocket_ADD_sanity.btor2,pono,sat,0.25606375202187337,0.022076,6.545408
2024/hkust/refinement_checking/array/ILA_Rocket_ANDI_sanity.btor2,pono,sat,0.21961988700786605,0.02147,6.402048
2024/hkust/refinement_checking/array/ILA_Rocket_ANDI_sanity.btor2,avr,sat,0.21397232500021346,0.021712,6.672384
2024/hkust/refinement_checking/array/ILA_Rocket_ANDI_sanity.btor2,btormc,sat,0.3585956009919755,0.021731,6.438912
2024/hkust/refinement_checking/array/ILA_Rocket_ANDI_sanity.btor2,btor2-select,sat,0.18934395699761808,0.023254,6.627328
2024/hkust/refinement_checking/array/ILA_Rocket_AND_problem.btor2,btormc,sat,0.412109666998731,0.022048,6.475776
2024/hkust/refinement_checking/array/ILA_Rocket_AND_problem.btor2,avr,sat,0.402241364994552,0.022265,6.336512
2024/hkust/refinement_checking/array/ILA_Rocket_AND_problem.btor2,btor2-select,sat,0.2964612789801322,0.02237,6.455296
2024/hkust/refinement_checking/array/ILA_Rocket_AND_problem.btor2,pono,sat,0.2532546689908486,0.024282,6.209536
2024/hkust/refinement_checking/array/ILA_Rocket_AND_sanity.btor2,avr,sat,0.5225917170173489,0.021649,6.381568
2024/hkust/refinement_checking/array/ILA_Rocket_AND_sanity.btor2,btor2-select,sat,0.30216467802529223,0.021775,6.750208
2024/hkust/refinement_checking/array/ILA_Rocket_AND_sanity.btor2,btormc,sat,0.30568892098381184,0.022229,6.639616
2024/hkust/refinement_checking/array/ILA_Rocket_AND_sanity.btor2,pono,sat,0.25423554200096987,0.023948,6.438912
2024/hkust/refinement_checking/array/ILA_Rocket_BLTU_problem.btor2,btor2-select,sat,0.2998738620080985,0.022354,6.180864
2024/hkust/refinement_checking/array/ILA_Rocket_BLTU_problem.btor2,avr,sat,0.44251948699820787,0.02239,6.238208
2024/hkust/refinement_checking/array/ILA_Rocket_BLTU_problem.btor2,btormc,sat,0.3079043439938687,0.02303,6.418432
2024/hkust/refinement_checking/array/ILA_Rocket_BLTU_problem.btor2,pono,sat,0.2515489250072278,0.023534,6.098944
2024/hkust/refinement_checking/array/ILA_Rocket_BNE_problem.btor2,pono,sat,0.12575298800948076,0.021778,6.43072
2024/hkust/refinement_checking/array/ILA_Rocket_BNE_problem.btor2,btormc,sat,0.05338760101585649,0.023426,6.381568
2024/hkust/refinement_checking/array/ILA_Rocket_BNE_problem.btor2,avr,sat,0.15006437001284212,0.023511,6.377472
2024/hkust/refinement_checking/array/ILA_Rocket_BNE_problem.btor2,btor2-select,none,0.05048062501009554,0.020163,6.193152
2024/hkust/refinement_checking/array/ILA_Rocket_JAL_sanity.btor2,pono,sat,0.13438385000335984,0.020337,6.529024
2024/hkust/refinement_checking/array/ILA_Rocket_JAL_sanity.btor2,btor2-select,sat,0.18333031897782348,0.021658,6.705152
2024/hkust/refinement_checking/array/ILA_Rocket_JAL_sanity.btor2,avr,sat,0.5516339850146323,0.021708,6.488064
2024/hkust/refinement_checking/array/ILA_Rocket_JAL_sanity.btor2,btormc,sat,0.23333114298293367,0.024436,6.455296
2024/hkust/refinement_checking/array/ILA_Rocket_LUI_sanity.btor2,pono,sat,0.20248793199425563,0.021781,6.275072
2024/hkust/refinement_checking/array/ILA_Rocket_LUI_sanity.btor2,btormc,sat,0.35779584498959593,0.022326,6.750208
2024/hkust/refinement_checking/array/ILA_Rocket_LUI_sanity.btor2,avr,sat,0.19153902502148412,0.023584,6.664192
2024/hkust/refinement_checking/array/ILA_Rocket_LUI_sanity.btor2,btor2-select,none,0.19411040699924342,0.023153,6.406144
2024/hkust/refinement_checking/array/ILA_Rocket_LW_sanity.btor2,pono,sat,0.2263546710019,0.02085,6.43072
2024/hkust/refinement_checking/array/ILA_Rocket_LW_sanity.btor2,btor2-select,sat,0.07241004100069404,0.021643,6.61504
2024/hkust/refinement_checking/array/ILA_Rocket_LW_sanity.btor2,avr,sat,0.22985270898789167,0.021854,6.762496
2024/hkust/refinement_checking/array/ILA_Rocket_LW_sanity.btor2,btormc,sat,0.07957932699355297,0.022086,6.713344
2024/hkust/refinement_checking/array/ILA_Rocket_ORI_sanity.btor2,btor2-select,sat,0.31729634999646805,0.021937,6.582272
2024/hkust/refinement_checking/array/ILA_Rocket_ORI_sanity.btor2,pono,sat,0.25496049399953336,0.022368,6.28736
2024/hkust/refinement_checking/array/ILA_Rocket_ORI_sanity.btor2,btormc,sat,0.3065781940240413,0.023116,6.426624
2024/hkust/refinement_checking/array/ILA_Rocket_ORI_sanity.btor2,avr,sat,0.17312444900744595,0.023266,6.569984
2024/hkust/refinement_checking/array/ILA_Rocket_SLLI_problem.btor2,avr,sat,0.22982957397471182,0.02231,6.156288
2024/hkust/refinement_checking/array/ILA_Rocket_SLLI_problem.btor2,btormc,sat,0.3562118739937432,0.0225,6.516736
2024/hkust/refinement_checking/array/ILA_Rocket_SLLI_problem.btor2,pono,sat,0.21531469601904973,0.022733,6.262784
2024/hkust/refinement_checking/array/ILA_Rocket_SLLI_problem.btor2,btor2-select,sat,0.06993070000316948,0.024196,6.47168
2024/hkust/refinement_checking/array/ILA_Rocket_SLL_sanity.btor2,btor2-select,sat,0.2924348730011843,0.021823,6.688768
2024/hkust/refinement_checking/array/ILA_Rocket_SLL_sanity.btor2,btormc,sat,0.3080283160088584,0.021946,6.651904
2024/hkust/refinement_checking/array/ILA_Rocket_SLL_sanity.btor2,avr,sat,0.17936333300895058,0.022844,6.385664
2024/hkust/refinement_checking/array/ILA_Rocket_SLL_sanity.btor2,pono,sat,0.2496759759960696,0.023072,6.418432
2024/hkust/refinement_checking/array/ILA_Rocket_SLTIU_problem.btor2,avr,sat,0.23463585201534443,0.021957,6.41024
2024/hkust/refinement_checking/array/ILA_Rocket_SLTIU_problem.btor2,btormc,sat,0.11687252100091428,0.022836,6.455296
2024/hkust/refinement_checking/array/ILA_Rocket_SLTIU_problem.btor2,pono,sat,0.2250156959926244,0.022964,6.180864
2024/hkust/refinement_checking/array/ILA_Rocket_SLTIU_problem.btor2,btor2-select,none,0.07030093198409304,0.0208,5.971968
2024/sosylab/array-examples/standard_compareModified_ground.btor2,pono,unknown,0.034883312007877976,0.004115,1.056768
2024/sosylab/array-examples/standard_compareModified_ground.btor2,btor2-select,unknown,0.06970258598448709,0.004182,1.040384
2024/sosylab/array-examples/standard_compareModified_ground.btor2,avr,unknown,0.12391548498999327,0.004303,0.991232
2024/sosylab/array-examples/standard_compareModified_ground.btor2,btormc,unknown,0.0914824060164392,0.004414,0.970752
2024/sosylab/array-examples/standard_compare_ground.btor2,avr,unknown,0.10892549602431245,0.004154,1.036288
2024/sosylab/array-examples/standard_compare_ground.btor2,pono,unknown,0.03609072999097407,0.004161,0.970752
2024/sosylab/array-examples/standard_compare_ground.btor2,btor2-select,unknown,0.06752626498928294,0.004376,1.06496
2024/sosylab/array-examples/standard_compare_ground.btor2,btormc,unknown,0.09555362301762216,0.004831,1.14688
2024/sosylab/array-examples/standard_partition_ground-1.btor2,btor2-select,unknown,0.091219566995278,0.004038,0.974848
2024/sosylab/array-examples/standard_partition_ground-1.btor2,pono,unknown,0.03696883900556713,0.004049,0.98304
2024/sosylab/array-examples/standard_partition_ground-1.btor2,avr,unknown,0.10809561898349784,0.004072,1.024
2024/sosylab/array-examples/standard_partition_ground-1.btor2,btormc,unknown,0.09155007402296178,0.004771,1.019904
2024/sosylab/array-fpi/brs2.btor2,btor2-select,unknown,0.08809631899930537,0.003996,1.048576
2024/sosylab/array-fpi/brs2.btor2,pono,unknown,0.03478212299523875,0.004203,1.04448
2024/sosylab/array-fpi/brs2.btor2,btormc,unknown,0.07190128398360685,0.004393,1.040384
2024/sosylab/array-fpi/brs2.btor2,avr,unknown,0.097295284998836,0.004674,1.040384
2024/sosylab/array-fpi/brs2f.btor2,btor2-select,sat,0.22946786298416555,0.010442,1.818624
2024/sosylab/array-fpi/brs2f.btor2,pono,sat,0.06774022002355196,0.010816,1.835008
2024/sosylab/array-fpi/brs2f.btor2,avr,sat,0.24355148000176996,0.011193,1.859584
2024/sosylab/array-fpi/brs2f.btor2,btormc,sat,0.16359093401115388,0.013383,1.76128
2024/sosylab/array-fpi/brs3f.btor2,pono,sat,0.06907411600695923,0.009895,1.892352
2024/sosylab/array-fpi/brs3f.btor2,btor2-select,sat,0.13276201498229057,0.010014,1.748992
2024/sosylab/array-fpi/brs3f.btor2,avr,sat,0.1452051519881934,0.010611,1.9456
2024/sosylab/array-fpi/brs3f.btor2,btormc,sat,0.1428864519984927,0.012296,1.818624
2024/sosylab/array-fpi/condaf.btor2,btor2-select,sat,0.11919993400806561,0.00943,1.748992
2024/sosylab/array-fpi/condaf.btor2,pono,sat,0.07057957499637268,0.010238,1.9456
2024/sosylab/array-fpi/condaf.btor2,avr,sat,0.15064781601540744,0.011294,1.92512
2024/sosylab/array-fpi/condaf.btor2,btormc,sat,0.14467305899597704,0.012665,1.835008
2024/sosylab/array-fpi/ifcompf.btor2,btor2-select,sat,0.2384480659966357,0.013361,1.830912
2024/sosylab/array-fpi/ifcompf.btor2,pono,sat,0.09162182800355367,0.018581,1.953792
2024/sosylab/array-fpi/ifcompf.btor2,avr,unknown,0.11706563498592004,0.004075,1.114112
2024/sosylab/array-fpi/ifcompf.btor2,btormc,unknown,0.08027446101186797,0.004335,0.974848
2024/sosylab/array-fpi/ifeqn2f.btor2,pono,sat,0.06331750602112152,0.009648,1.851392
2024/sosylab/array-fpi/ifeqn2f.btor2,btor2-select,sat,0.13786760202492587,0.009937,1.875968
2024/sosylab/array-fpi/ifeqn2f.btor2,avr,sat,0.1445994739769958,0.010627,1.728512
2024/sosylab/array-fpi/ifeqn2f.btor2,btormc,sat,0.14606175100198016,0.012029,1.851392
2024/sosylab/array-fpi/ifeqn5.btor2,avr,unsat,0.08745952899334952,0.004952,1.036288
2024/sosylab/array-fpi/ifeqn5.btor2,pono,unknown,0.03122884500771761,0.003949,0.995328
2024/sosylab/array-fpi/ifeqn5.btor2,btor2-select,unknown,0.08371493098093197,0.00405,1.06496
2024/sosylab/array-fpi/ifeqn5.btor2,btormc,unknown,0.07259088600403629,0.00462,1.028096
2024/sosylab/array-fpi/s12if.btor2,pono,unknown,0.037424031004775316,0.00412,1.007616
2024/sosylab/array-fpi/s12if.btor2,btor2-select,unknown,0.08360603600158356,0.004201,1.097728
2024/sosylab/array-fpi/s12if.btor2,avr,unknown,0.07859913501306437,0.00447,0.958464
2024/sosylab/array-fpi/s12if.btor2,btormc,unknown,0.07265885398373939,0.00474,0.999424
2024/sosylab/array-fpi/s2iff.btor2,pono,sat,0.07440903899259865,0.010367,2.00704
2024/sosylab/array-fpi/s2iff.btor2,btor2-select,sat,0.21724451801856048,0.010647,1.839104
2024/sosylab/array-fpi/s2iff.btor2,btormc,sat,0.15562094398774207,0.011605,1.712128
2024/sosylab/array-fpi/s2iff.btor2,avr,unknown,0.11760006798431277,0.004185,1.019904
2024/sosylab/array-fpi/s3if.btor2,pono,unknown,0.027119400998344645,0.003801,1.048576
2024/sosylab/array-fpi/s3if.btor2,btor2-select,unknown,0.08412879801471718,0.004013,0.991232
2024/sosylab/array-fpi/s3if.btor2,btormc,unknown,0.09288822300732136,0.004227,1.138688
2024/sosylab/array-fpi/s3if.btor2,avr,unknown,0.10461894300533459,0.004487,1.048576
2024/sosylab/array-fpi/s4liff.btor2,pono,sat,0.06476226300583221,0.009599,1.9456
2024/sosylab/array-fpi/s4liff.btor2,avr,sat,0.23674934101291,0.010917,2.035712
2024/sosylab/array-fpi/s4liff.btor2,btor2-select,sat,0.2239241900097113,0.011181,1.810432
2024/sosylab/array-fpi/s4liff.btor2,btormc,sat,0.15521271000034176,0.012381,1.67936
2024/sosylab/array-industry-pattern/array_assert_loop_dep.btor2,btor2-select,unknown,0.09914538302109577,0.004216,1.00352
2024/sosylab/array-industry-pattern/array_assert_loop_dep.btor2,avr,unknown,0.11095962201943621,0.00424,1.040384
2024/sosylab/array-industry-pattern/array_assert_loop_dep.btor2,pono,unknown,0.031978805986000225,0.0044,1.077248
2024/sosylab/array-industry-pattern/array_assert_loop_dep.btor2,btormc,unknown,0.10102307799388655,0.005037,1.011712
2024/sosylab/array-industry-pattern/array_monotonic.btor2,btor2-select,unknown,0.09123430398176424,0.004145,1.00352
2024/sosylab/array-industry-pattern/array_monotonic.btor2,avr,unknown,0.10962544998619705,0.004241,0.991232
2024/sosylab/array-industry-pattern/array_monotonic.btor2,btormc,unknown,0.1087430749903433,0.004376,1.114112
2024/sosylab/array-industry-pattern/array_monotonic.btor2,pono,unknown,0.029734851996181533,0.00446,0.991232
2024/sosylab/array-industry-pattern/array_of_struct_ptr_mul_init.btor2,avr,unknown,0.10859029801213183,0.004113,1.040384
2024/sosylab/array-industry-pattern/array_of_struct_ptr_mul_init.btor2,btor2-select,unknown,0.08999373798724264,0.004132,1.011712
2024/sosylab/array-industry-pattern/array_of_struct_ptr_mul_init.btor2,btormc,unknown,0.10939129898906685,0.004208,1.04448
2024/sosylab/array-industry-pattern/array_of_struct_ptr_mul_init.btor2,pono,unknown,0.031101461994694546,0.004304,0.987136
2024/sosylab/array-lopstr16/flag_loopdep.btor2,pono,unknown,0.03676233199075796,0.003996,1.08544
2024/sosylab/array-lopstr16/flag_loopdep.btor2,avr,unknown,0.11574987400672399,0.004368,0.995328
2024/sosylab/array-lopstr16/flag_loopdep.btor2,btor2-select,unknown,0.06973731101606973,0.004411,1.052672
2024/sosylab/array-lopstr16/flag_loopdep.btor2,btormc,unknown,0.09534536299179308,0.004833,1.163264
2024/sosylab/array-patterns/array10_pattern.btor2,btormc,unknown,0.0643755909986794,0.00396,1.048576
2024/sosylab/array-patterns/array10_pattern.btor2,avr,unknown,0.11107751398230903,0.004212,1.060864
2024/sosylab/array-patterns/array10_pattern.btor2,btor2-select,unknown,0.04796616200474091,0.004243,1.019904
2024/sosylab/array-patterns/array10_pattern.btor2,pono,unknown,0.033874323999043554,0.00445,1.06496
2024/sosylab/array-patterns/array16_pattern.btor2,btor2-select,unknown,0.08611664501950145,0.003929,1.00352
2024/sosylab/array-patterns/array16_pattern.btor2,avr,unknown,0.11125272198114544,0.004148,1.130496
2024/sosylab/array-patterns/array16_pattern.btor2,btormc,unknown,0.10767644699080847,0.00415,1.011712
2024/sosylab/array-patterns/array16_pattern.btor2,pono,unknown,0.03240200798609294,0.004334,1.142784
2024/sosylab/array-patterns/array17_pattern.btor2,btormc,unknown,0.06664320998243056,0.004062,1.04448
2024/sosylab/array-patterns/array17_pattern.btor2,avr,unknown,0.12447845897986554,0.004227,0.954368
2024/sosylab/array-patterns/array17_pattern.btor2,pono,unknown,0.03310231998329982,0.004533,1.00352
2024/sosylab/array-patterns/array17_pattern.btor2,btor2-select,unknown,0.048913622013060376,0.004621,1.015808
2024/sosylab/array-patterns/array18_pattern.btor2,btormc,unknown,0.06238255798234604,0.003913,0.991232
2024/sosylab/array-patterns/array18_pattern.btor2,avr,unknown,0.1104339300072752,0.004,1.14688
2024/sosylab/array-patterns/array18_pattern.btor2,btor2-select,unknown,0.06310832701274194,0.004478,1.024
2024/sosylab/array-patterns/array18_pattern.btor2,pono,unknown,0.037792113987961784,0.004664,1.056768
2024/sosylab/array-patterns/array22_pattern.btor2,btor2-select,unknown,0.09429611702216789,0.004081,1.048576
2024/sosylab/array-patterns/array22_pattern.btor2,avr,unknown,0.10980197999742813,0.00412,0.995328
2024/sosylab/array-patterns/array22_pattern.btor2,btormc,unknown,0.10817952000070363,0.00427,1.028096
2024/sosylab/array-patterns/array22_pattern.btor2,pono,unknown,0.031644999980926514,0.004373,1.052672
2024/sosylab/array-patterns/array23_pattern.btor2,btormc,unknown,0.0654081600077916,0.00395,1.052672
2024/sosylab/array-patterns/array23_pattern.btor2,avr,unknown,0.11430369797744788,0.004104,1.06496
2024/sosylab/array-patterns/array23_pattern.btor2,btor2-select,unknown,0.06326736498158425,0.004305,1.056768
2024/sosylab/array-patterns/array23_pattern.btor2,pono,unknown,0.03589724798803218,0.00465,1.196032
2024/sosylab/array-patterns/array29_pattern.btor2,btormc,unknown,0.06361980101792142,0.003987,0.999424
2024/sosylab/array-patterns/array29_pattern.btor2,avr,unknown,0.11043442101799883,0.004366,1.155072
2024/sosylab/array-patterns/array29_pattern.btor2,btor2-select,unknown,0.05783316699671559,0.004577,1.142784
2024/sosylab/array-patterns/array29_pattern.btor2,pono,unknown,0.03972128199529834,0.004634,1.011712
2024/sosylab/array-patterns/array4_pattern.btor2,avr,unknown,0.11021835799328983,0.004163,1.052672
2024/sosylab/array-patterns/array4_pattern.btor2,btor2-select,unknown,0.102320669015171,0.004212,1.056768
2024/sosylab/array-patterns/array4_pattern.btor2,btormc,unknown,0.10882469802163541,0.004232,1.114112
2024/sosylab/array-patterns/array4_pattern.btor2,pono,unknown,0.030835562996799126,0.004305,0.987136
2024/sosylab/array-patterns/array5_pattern.btor2,btormc,unknown,0.07382925500860438,0.003988,1.04448
2024/sosylab/array-patterns/array5_pattern.btor2,avr,unknown,0.11136634400463663,0.004143,1.011712
2024/sosylab/array-patterns/array5_pattern.btor2,btor2-select,unknown,0.0483656529977452,0.00423,1.052672
2024/sosylab/array-patterns/array5_pattern.btor2,pono,unknown,0.03845723799895495,0.004687,0.954368
2024/sosylab/array-programs/partial_mod_count_5.btor2,pono,unknown,0.03893004698329605,0.004245,0.999424
2024/sosylab/array-programs/partial_mod_count_5.btor2,avr,unknown,0.11766968798474409,0.004249,1.069056
2024/sosylab/array-programs/partial_mod_count_5.btor2,btor2-select,unknown,0.09457510599168018,0.004633,1.04448
2024/sosylab/array-programs/partial_mod_count_5.btor2,btormc,unknown,0.07910102599998936,0.004806,1.00352
2024/sosylab/array-programs/partial_mod_count_limited_1.btor2,avr,unknown,0.11820699600502849,0.004087,1.089536
2024/sosylab/array-programs/partial_mod_count_limited_1.btor2,pono,unknown,0.03843424600199796,0.004242,1.007616
2024/sosylab/array-programs/partial_mod_count_limited_1.btor2,btor2-select,unknown,0.09406163499807008,0.004345,1.118208
2024/sosylab/array-programs/partial_mod_count_limited_1.btor2,btormc,unknown,0.0792340750049334,0.004413,1.011712
2024/sosylab/array-programs/partial_mod_count_limited_3.btor2,avr,unknown,0.12427377499989234,0.004082,0.987136
2024/sosylab/array-programs/partial_mod_count_limited_3.btor2,pono,unknown,0.037377503991592675,0.004282,1.048576
2024/sosylab/array-programs/partial_mod_count_limited_3.btor2,btormc,unknown,0.06312623398844153,0.004462,1.052672
2024/sosylab/array-programs/partial_mod_count_limited_3.btor2,btor2-select,unknown,0.06372096700943075,0.004542,1.048576
2024/sosylab/array-tiling/mbpr2.btor2,pono,unknown,0.037725463014794514,0.004064,0.905216
2024/sosylab/array-tiling/mbpr2.btor2,avr,unknown,0.12943899698439054,0.004089,1.015808
2024/sosylab/array-tiling/mbpr2.btor2,btormc,unknown,0.10876040402217768,0.004092,1.179648
2024/sosylab/array-tiling/mbpr2.btor2,btor2-select,unknown,0.11021097400225699,0.004185,1.032192
2024/sosylab/array-tiling/skippedu.btor2,pono,sat,0.0620941540109925,0.010138,1.961984
2024/sosylab/array-tiling/skippedu.btor2,avr,sat,0.2532368809916079,0.010661,1.794048
2024/sosylab/array-tiling/skippedu.btor2,btor2-select,sat,0.24010575099964626,0.010937,1.830912
2024/sosylab/array-tiling/skippedu.btor2,btormc,sat,0.16528402199037373,0.011816,1.949696
2024/sosylab/ddv-machzwd/ddv_machzwd_all.btor2,btor2-select,unknown,0.0831461290072184,0.004039,1.052672
2024/sosylab/ddv-machzwd/ddv_machzwd_all.btor2,btormc,unknown,0.08952010099892505,0.004276,1.036288
2024/sosylab/ddv-machzwd/ddv_machzwd_all.btor2,pono,unknown,0.040783420990919694,0.004616,1.048576
2024/sosylab/ddv-machzwd/ddv_machzwd_all.btor2,avr,unknown,0.14333887500106357,0.004875,1.00352
2024/sosylab/ddv-machzwd/ddv_machzwd_inw.btor2,btor2-select,unknown,0.08314768198761158,0.003944,1.060864
2024/sosylab/ddv-machzwd/ddv_machzwd_inw.btor2,btormc,unknown,0.0892817459825892,0.004256,0.974848
2024/sosylab/ddv-machzwd/ddv_machzwd_inw.btor2,pono,unknown,0.04040579099091701,0.004542,1.179648
2024/sosylab/ddv-machzwd/ddv_machzwd_inw.btor2,avr,unknown,0.1431334110093303,0.004949,1.048576
2024/sosylab/ldv-regression/test28-2.btor2,avr,unsat,0.10552901399205439,0.004064,1.028096
2024/sosylab/ldv-regression/test28-2.btor2,btor2-select,unsat,0.09639126798720099,0.004182,0.958464
2024/sosylab/ldv-regression/test28-2.btor2,pono,unsat,0.03051560401218012,0.004456,0.987136
2024/sosylab/ldv-regression/test28-2.btor2,btormc,unsat,0.10678110001026653,0.004667,1.191936
2024/sosylab/loops/array-1.btor2,pono,unsat,0.037204016000032425,0.004085,1.015808
2024/sosylab/loops/array-1.btor2,btor2-select,unsat,0.06598857400240377,0.00411,0.909312
2024/sosylab/loops/array-1.btor2,avr,unsat,0.13587294801254757,0.004459,1.00352
2024/sosylab/loops/array-1.btor2,btormc,unknown,0.08844606200000271,0.004337,0.999424
2024/sosylab/loops/n.c11.btor2,btor2-select,unsat,0.06567523599369451,0.004093,1.04448
2024/sosylab/loops/n.c11.btor2,pono,unsat,0.035266224993392825,0.00422,1.00352
2024/sosylab/loops/n.c11.btor2,avr,unsat,0.13544715201715007,0.004418,1.110016
2024/sosylab/loops/n.c11.btor2,btormc,unknown,0.09080067698960193,0.004377,1.040384
2024/sosylab/loops/string-2.btor2,btor2-select,sat,0.2091763210191857,0.010728,1.789952
2024/sosylab/loops/string-2.btor2,pono,sat,0.11357599799521267,0.011165,1.9456
2024/sosylab/loops/string-2.btor2,avr,sat,0.2678779200068675,0.01352,1.9456
2024/sosylab/loops/string-2.btor2,btormc,sat,0.26269189099548385,0.017505,1.72032
2024/sosylab/product-lines/email_spec11_productSimulator.cil.btor2,btor2-select,sat,2.7036216220003553,1.444779,281.104384
2024/sosylab/product-lines/email_spec11_productSimulator.cil.btor2,avr,sat,2.7322033130039927,1.482126,267.206656
2024/sosylab/product-lines/email_spec11_productSimulator.cil.btor2,btormc,sat,2.6112752449989785,1.500379,280.86272
2024/sosylab/product-lines/email_spec11_productSimulator.cil.btor2,pono,unknown,0.03666706001968123,0.004077,1.183744
2024/sosylab/product-lines/email_spec1_product28.cil.btor2,btormc,unsat,0.04155205699498765,0.003719,1.007616
2024/sosylab/product-lines/email_spec1_product28.cil.btor2,pono,unsat,0.02745792199857533,0.003782,1.048576
2024/sosylab/product-lines/email_spec1_product28.cil.btor2,avr,unsat,0.06378114499966614,0.004131,1.00352
2024/sosylab/product-lines/email_spec1_product28.cil.btor2,btor2-select,unsat,0.08392043400090188,0.004798,1.056768
2024/sosylab/product-lines/email_spec1_product35.cil.btor2,btor2-select,sat,0.857832696987316,0.631926,40.148992
2024/sosylab/product-lines/email_spec1_product35.cil.btor2,pono,sat,0.8135707160108723,0.645961,40.05888
2024/sosylab/product-lines/email_spec1_product35.cil.btor2,avr,sat,1.0328861970047,0.765637,40.751104
2024/sosylab/product-lines/email_spec1_product35.cil.btor2,btormc,sat,1.017403859004844,0.766267,40.988672
2024/sosylab/product-lines/email_spec27_product34.cil.btor2,pono,sat,0.6765301779960282,0.582874,37.773312
2024/sosylab/product-lines/email_spec27_product34.cil.btor2,btor2-select,sat,0.8239553330058698,0.591544,37.732352
2024/sosylab/product-lines/email_spec27_product34.cil.btor2,avr,sat,0.8497284550103359,0.627685,38.35904
2024/sosylab/product-lines/email_spec27_product34.cil.btor2,btormc,sat,0.817525285994634,0.629181,38.547456
2024/sosylab/product-lines/email_spec8_product14.cil.btor2,btormc,unsat,0.046757010015426204,0.003915,1.048576
2024/sosylab/product-lines/email_spec8_product14.cil.btor2,avr,unsat,0.06071010697633028,0.00397,1.007616
2024/sosylab/product-lines/email_spec8_product14.cil.btor2,pono,unsat,0.03617177199339494,0.00441,0.888832
2024/sosylab/product-lines/email_spec8_product14.cil.btor2,btor2-select,unsat,0.08396340400213376,0.004724,1.04448
2024/sosylab/product-lines/email_spec8_product29.cil.btor2,pono,unsat,0.02809360102401115,0.003737,1.00352
2024/sosylab/product-lines/email_spec8_product29.cil.btor2,btormc,unsat,0.04407519000233151,0.003976,0.98304
2024/sosylab/product-lines/email_spec8_product29.cil.btor2,avr,unsat,0.0637061030138284,0.004159,1.019904
2024/sosylab/product-lines/email_spec8_product29.cil.btor2,btor2-select,unsat,0.07644766199518926,0.004842,1.18784
2024/sosylab/product-lines/email_spec9_product12.cil.btor2,pono,unsat,0.03110471201944165,0.003894,0.905216
2024/sosylab/product-lines/email_spec9_product12.cil.btor2,btormc,unsat,0.0909218649903778,0.003984,1.048576
2024/sosylab/product-lines/email_spec9_product12.cil.btor2,avr,unsat,0.1247947420051787,0.004245,0.950272
2024/sosylab/product-lines/email_spec9_product12.cil.btor2,btor2-select,unsat,0.06422749999910593,0.004482,1.122304
2024/sosylab/product-lines/email_spec9_product14.cil.btor2,btormc,unsat,0.09136427400517277,0.003868,1.040384
2024/sosylab/product-lines/email_spec9_product14.cil.btor2,avr,unsat,0.12343311199219897,0.004081,1.015808
2024/sosylab/product-lines/email_spec9_product14.cil.btor2,pono,unsat,0.030492918012896553,0.004186,1.00352
2024/sosylab/product-lines/email_spec9_product14.cil.btor2,btor2-select,unsat,0.06397125002695248,0.004478,1.040384
2024/sosylab/product-lines/email_spec9_product26.cil.btor2,btor2-select,sat,0.7826245460018981,0.577506,35.352576
2024/sosylab/product-lines/email_spec9_product26.cil.btor2,pono,sat,0.7013945709913969,0.581564,35.344384
2024/sosylab/product-lines/email_spec9_product26.cil.btor2,btormc,sat,0.8792352610034868,0.657953,36.196352
2024/sosylab/product-lines/email_spec9_product26.cil.btor2,avr,sat,0.8850511229829863,0.67574,36.319232
2024/sosylab/product-lines/email_spec9_product35.cil.btor2,pono,sat,0.908860878989799,0.757408,45.666304
2024/sosylab/product-lines/email_spec9_product35.cil.btor2,btor2-select,sat,0.9766653209808283,0.761928,46.108672
2024/sosylab/product-lines/email_spec9_product35.cil.btor2,btormc,sat,1.0991981730039697,0.861341,46.96064
2024/sosylab/product-lines/email_spec9_product35.cil.btor2,avr,sat,1.11066800399567,0.876755,46.768128
2024/sosylab/reducercommutativity/max05-1.btor2,pono,unknown,0.03305980598088354,0.004165,1.04448
2024/sosylab/reducercommutativity/max05-1.btor2,avr,unknown,0.12494180799694732,0.004186,1.032192
2024/sosylab/reducercommutativity/max05-1.btor2,btormc,unknown,0.0948307370126713,0.004229,0.987136
2024/sosylab/reducercommutativity/max05-1.btor2,btor2-select,unknown,0.07647986299707554,0.004779,1.056768
2024/sosylab/reducercommutativity/max10-1.btor2,btormc,unknown,0.09391964800306596,0.004108,1.019904
2024/sosylab/reducercommutativity/max10-1.btor2,avr,unknown,0.1309030140109826,0.004226,1.048576
2024/sosylab/reducercommutativity/max10-1.btor2,pono,unknown,0.03468192499713041,0.004242,0.991232
2024/sosylab/reducercommutativity/max10-1.btor2,btor2-select,unknown,0.07818967101047747,0.00464,1.134592
2024/sosylab/reducercommutativity/sep20-1.btor2,btormc,unknown,0.09382369800005108,0.004147,0.958464
2024/sosylab/reducercommutativity/sep20-1.btor2,pono,unknown,0.03621605399530381,0.00425,1.04448
2024/sosylab/reducercommutativity/sep20-1.btor2,avr,unknown,0.13195810100296512,0.004462,1.040384
2024/sosylab/reducercommutativity/sep20-1.btor2,btor2-select,unknown,0.07928590298979543,0.00489,1.015808
2024/sosylab/reducercommutativity/sep40-1.btor2,btormc,unknown,0.09414205499342643,0.003951,1.040384
2024/sosylab/reducercommutativity/sep40-1.btor2,pono,unknown,0.0381275890104007,0.004342,1.00352
2024/sosylab/reducercommutativity/sep40-1.btor2,avr,unknown,0.12456324897357263,0.004598,1.138688
2024/sosylab/reducercommutativity/sep40-1.btor2,btor2-select,unknown,0.07862157901399769,0.004718,1.060864
2024/sosylab/seq-mthreaded/rekcba_aso.1.M4-2.btor2,btormc,unknown,0.08970419599791057,0.004084,1.036288
2024/sosylab/seq-mthreaded/rekcba_aso.1.M4-2.btor2,btor2-select,unknown,0.07931576401460916,0.004194,1.142784
2024/sosylab/seq-mthreaded/rekcba_aso.1.M4-2.btor2,avr,unknown,0.11130631397827528,0.004465,1.196032
2024/sosylab/seq-mthreaded/rekcba_aso.1.M4-2.btor2,pono,unknown,0.041506768990075216,0.004625,1.032192
2024/sosylab/seq-mthreaded/rekcba_aso.2.M1-2.btor2,btormc,unknown,0.10544499097159132,0.00396,1.007616
2024/sosylab/seq-mthreaded/rekcba_aso.2.M1-2.btor2,pono,unknown,0.03598352099652402,0.004118,1.019904
2024/sosylab/seq-mthreaded/rekcba_aso.2.M1-2.btor2,btor2-select,unknown,0.07897479401435703,0.004149,1.00352
2024/sosylab/seq-mthreaded/rekcba_aso.2.M1-2.btor2,avr,unknown,0.12991735400282778,0.004154,1.138688
2024/sosylab/seq-mthreaded/rekcba_aso.4.M4.btor2,pono,unknown,0.03611688400269486,0.004065,1.052672
2024/sosylab/seq-mthreaded/rekcba_aso.4.M4.btor2,btor2-select,unknown,0.07797429402126,0.004098,1.1264
2024/sosylab/seq-mthreaded/rekcba_aso.4.M4.btor2,btormc,unknown,0.09043987200129777,0.004107,1.056768
2024/sosylab/seq-mthreaded/rekcba_aso.4.M4.btor2,avr,unknown,0.11421473301015794,0.004289,1.18784
2024/sosylab/seq-mthreaded/rekcba_ctm.2-2.btor2,btormc,unknown,0.10701496398542076,0.003919,0.991232
2024/sosylab/seq-mthreaded/rekcba_ctm.2-2.btor2,btor2-select,unknown,0.07859708397882059,0.00412,1.06496
2024/sosylab/seq-mthreaded/rekcba_ctm.2-2.btor2,pono,unknown,0.04023959900951013,0.004311,1.056768
2024/sosylab/seq-mthreaded/rekcba_ctm.2-2.btor2,avr,unknown,0.1126174200035166,0.004696,1.032192
2024/sosylab/seq-mthreaded/rekh_ctm.1.btor2,btor2-select,unsat,0.06450103098177351,0.004075,1.011712
2024/sosylab/seq-mthreaded/rekh_ctm.1.btor2,avr,unsat,0.09671901300316676,0.004087,1.052672
2024/sosylab/seq-mthreaded/rekh_ctm.1.btor2,pono,unsat,0.03672426598495804,0.004107,1.011712
2024/sosylab/seq-mthreaded/rekh_ctm.1.btor2,btormc,unknown,0.08877908499562182,0.004067,0.991232
2024/sosylab/seq-mthreaded/rekh_ctm.3-2.btor2,btor2-select,sat,0.9979748819896486,0.455362,93.298688
2024/sosylab/seq-mthreaded/rekh_ctm.3-2.btor2,pono,unknown,0.037781491002533585,0.004141,1.093632
2024/sosylab/seq-mthreaded/rekh_ctm.3-2.btor2,btormc,unknown,0.10868688701884821,0.004371,0.999424
2024/sosylab/seq-mthreaded/rekh_ctm.3-2.btor2,avr,unknown,0.10683552801492624,0.004529,1.056768
2024/sosylab/seq-mthreaded/rekh_nxt.1.M1-1.btor2,pono,unknown,0.034473003004677594,0.003907,1.093632
2024/sosylab/seq-mthreaded/rekh_nxt.1.M1-1.btor2,btormc,unknown,0.10551577401929535,0.003992,0.995328
2024/sosylab/seq-mthreaded/rekh_nxt.1.M1-1.btor2,btor2-select,unknown,0.07860842501395382,0.004357,1.191936
2024/sosylab/seq-mthreaded/rekh_nxt.1.M1-1.btor2,avr,unknown,0.10909568102215417,0.004741,1.060864
2024/sosylab/seq-mthreaded/rekh_nxt.3.M1.btor2,pono,unknown,0.03304274400579743,0.003873,1.04448
2024/sosylab/seq-mthreaded/rekh_nxt.3.M1.btor2,btormc,unknown,0.10880751197692007,0.004091,1.007616
2024/sosylab/seq-mthreaded/rekh_nxt.3.M1.btor2,avr,unknown,0.12901499099098146,0.004094,1.04448
2024/sosylab/seq-mthreaded/rekh_nxt.3.M1.btor2,btor2-select,unknown,0.07803299301303923,0.004309,1.052672
2025/sosylab/liveness-l2s-func/array-examples/sanfoundry_24-1.btor2,btormc,unknown,0.09087246100534685,0.004091,1.060864
2025/sosylab/liveness-l2s-func/array-examples/sanfoundry_24-1.btor2,pono,unknown,0.041924299992388114,0.004227,1.097728
2025/sosylab/liveness-l2s-func/array-examples/sanfoundry_24-1.btor2,btor2-select,unknown,0.10598091300926171,0.004292,1.04448
2025/sosylab/liveness-l2s-func/array-examples/sanfoundry_24-1.btor2,avr,unknown,0.11441417600144632,0.004471,1.036288
2025/sosylab/liveness-l2s-func/array-industry-pattern/array_assert_loop_dep.btor2,btormc,unknown,0.09965295699657872,0.004139,1.007616
2025/sosylab/liveness-l2s-func/array-industry-pattern/array_assert_loop_dep.btor2,avr,unknown,0.1040416500181891,0.004341,1.048576
2025/sosylab/liveness-l2s-func/array-industry-pattern/array_assert_loop_dep.btor2,btor2-select,unknown,0.09775262500625104,0.004427,1.040384
2025/sosylab/liveness-l2s-func/array-industry-pattern/array_assert_loop_dep.btor2,pono,unknown,0.042973400006303564,0.004554,0.987136
2025/sosylab/liveness-l2s-func/loop-crafted/simple_array_index_value_1-1.btor2,btormc,unknown,0.09016696101753041,0.00406,0.978944
2025/sosylab/liveness-l2s-func/loop-crafted/simple_array_index_value_1-1.btor2,btor2-select,unknown,0.10288659599609673,0.004185,1.130496
2025/sosylab/liveness-l2s-func/loop-crafted/simple_array_index_value_1-1.btor2,pono,unknown,0.038609655981417745,0.004362,1.138688
2025/sosylab/liveness-l2s-func/loop-crafted/simple_array_index_value_1-1.btor2,avr,unknown,0.11762570001883432,0.004569,1.019904
2025/sosylab/liveness-l2s-func/loop-crafted/simple_array_index_value_4.btor2,btormc,unknown,0.0882090280065313,0.004119,1.04448
2025/sosylab/liveness-l2s-func/loop-crafted/simple_array_index_value_4.btor2,btor2-select,unknown,0.10400685801869258,0.004189,1.007616
2025/sosylab/liveness-l2s-func/loop-crafted/simple_array_index_value_4.btor2,avr,unknown,0.11516290900181048,0.004637,1.048576
2025/sosylab/liveness-l2s-func/loop-crafted/simple_array_index_value_4.btor2,pono,unknown,0.040713763009989634,0.00489,1.118208
2025/sosylab/liveness-l2s-func/reducercommutativity/max.btor2,pono,unknown,0.04247352201491594,0.004091,1.052672
2025/sosylab/liveness-l2s-func/reducercommutativity/max.btor2,btormc,unknown,0.08387125300941989,0.004207,1.007616
2025/sosylab/liveness-l2s-func/reducercommutativity/max.btor2,btor2-select,unknown,0.10268094899947755,0.004299,0.909312
2025/sosylab/liveness-l2s-func/reducercommutativity/max.btor2,avr,unknown,0.11611158499727026,0.004753,1.024
2025/sosylab/liveness-l2s-func/reducercommutativity/max10-1.btor2,btor2-select,unsat,0.09682435798458755,0.004184,1.040384
2025/sosylab/liveness-l2s-func/reducercommutativity/max10-1.btor2,pono,unsat,0.040717782016145065,0.004257,1.04448
2025/sosylab/liveness-l2s-func/reducercommutativity/max10-1.btor2,btormc,unknown,0.09136489301454276,0.004113,1.015808
2025/sosylab/liveness-l2s-func/reducercommutativity/max10-1.btor2,avr,unknown,0.1150503069802653,0.004662,1.032192
2025/sosylab/liveness-l2s-func/termination-crafted/LexIndexValue-Array-1.btor2,btormc,unknown,0.08425713499309495,0.004312,1.191936
2025/sosylab/liveness-l2s-func/termination-crafted/LexIndexValue-Array-1.btor2,pono,unknown,0.04216092801652849,0.004344,1.056768
2025/sosylab/liveness-l2s-func/termination-crafted/LexIndexValue-Array-1.btor2,avr,unknown,0.11656835899339058,0.004569,1.052672
2025/sosylab/liveness-l2s-func/termination-crafted/LexIndexValue-Array-1.btor2,btor2-select,unknown,0.10382421500980854,0.004882,1.052672
2025/sosylab/liveness-l2s-rel/loop-acceleration/array_3-1.btor2,btor2-select,unknown,0.10905753099359572,0.004091,1.06496
2025/sosylab/liveness-l2s-rel/loop-acceleration/array_3-1.btor2,btormc,unknown,0.05793351601460017,0.004173,1.015808
2025/sosylab/liveness-l2s-rel/loop-acceleration/array_3-1.btor2,avr,unknown,0.11115619898191653,0.004193,1.036288
2025/sosylab/liveness-l2s-rel/loop-acceleration/array_3-1.btor2,pono,unknown,0.032768706005299464,0.004677,1.032192
2025/sosylab/liveness-l2s-rel/loop-acceleration/array_3-2.btor2,avr,unknown,0.11305382597493008,0.00422,1.150976
2025/sosylab/liveness-l2s-rel/loop-acceleration/array_3-2.btor2,btormc,unknown,0.0848242969950661,0.004344,1.015808
2025/sosylab/liveness-l2s-rel/loop-acceleration/array_3-2.btor2,pono,unknown,0.03272619700874202,0.004458,0.966656
2025/sosylab/liveness-l2s-rel/loop-acceleration/array_3-2.btor2,btor2-select,unknown,0.1100373369990848,0.004637,1.155072
2025/sosylab/liveness-l2s-rel/loop-crafted/simple_array_index_value_3.btor2,btor2-select,unknown,0.10890112799825147,0.004067,1.130496
2025/sosylab/liveness-l2s-rel/loop-crafted/simple_array_index_value_3.btor2,avr,unknown,0.11500036501092836,0.004129,1.130496
2025/sosylab/liveness-l2s-rel/loop-crafted/simple_array_index_value_3.btor2,btormc,unknown,0.05509287101449445,0.004344,1.00352
2025/sosylab/liveness-l2s-rel/loop-crafted/simple_array_index_value_3.btor2,pono,unknown,0.03222360200015828,0.004703,1.138688
2025/sosylab/liveness-l2s-rel/loops/string-1.btor2,btor2-select,unsat,0.09982063199277036,0.004392,0.999424
2025/sosylab/liveness-l2s-rel/loops/string-1.btor2,pono,unsat,0.02958038100041449,0.004718,1.056768
2025/sosylab/liveness-l2s-rel/loops/string-1.btor2,avr,unknown,0.11611121197347529,0.004319,1.040384
2025/sosylab/liveness-l2s-rel/loops/string-1.btor2,btormc,unknown,0.0855989679985214,0.004359,0.999424
2025/sosylab/liveness-l2s-rel/reducercommutativity/max.btor2,btor2-select,unknown,0.11213231302099302,0.004073,1.052672
2025/sosylab/liveness-l2s-rel/reducercommutativity/max.btor2,avr,unknown,0.11701049201656133,0.004239,1.036288
2025/sosylab/liveness-l2s-rel/reducercommutativity/max.btor2,pono,unknown,0.0320313919801265,0.004319,1.056768
2025/sosylab/liveness-l2s-rel/reducercommutativity/max.btor2,btormc,unknown,0.1001464189903345,0.004462,1.048576
2025/sosylab/safety-func/array-crafted/mapavg5.btor2,pono,unknown,0.04124514001887292,0.004223,0.995328
2025/sosylab/safety-func/array-crafted/mapavg5.btor2,avr,unknown,0.1126904190168716,0.00426,1.015808
2025/sosylab/safety-func/array-crafted/mapavg5.btor2,btormc,unknown,0.10547382198274136,0.004318,1.175552
2025/sosylab/safety-func/array-crafted/mapavg5.btor2,btor2-select,unknown,0.09722214299836196,0.00464,1.040384
2025/sosylab/safety-func/array-examples/standard_init3_ground-1.btor2,btormc,unknown,0.06436513000517152,0.004215,1.048576
2025/sosylab/safety-func/array-examples/standard_init3_ground-1.btor2,avr,unknown,0.09880940199946053,0.004333,0.974848
2025/sosylab/safety-func/array-examples/standard_init3_ground-1.btor2,pono,unknown,0.03683080698829144,0.00526,1.052672
2025/sosylab/safety-func/array-examples/standard_init3_ground-1.btor2,btor2-select,none,36002.68941229902,36000.705061,239.90272
2025/sosylab/safety-func/array-examples/standard_sentinel.i.v+cfa-reducer.btor2,btormc,unknown,0.06386080500669777,0.004271,1.00352
2025/sosylab/safety-func/array-examples/standard_sentinel.i.v+cfa-reducer.btor2,avr,unknown,0.09580212199944071,0.004382,0.974848
2025/sosylab/safety-func/array-examples/standard_sentinel.i.v+cfa-reducer.btor2,btor2-select,unknown,0.0976745670195669,0.004712,1.04448
2025/sosylab/safety-func/array-examples/standard_sentinel.i.v+cfa-reducer.btor2,pono,unknown,0.03680519899353385,0.005023,1.118208
2025/sosylab/safety-func/array-fpi/eqn1.btor2,avr,unknown,0.13506217999383807,0.004123,1.183744
2025/sosylab/safety-func/array-fpi/eqn1.btor2,pono,unknown,0.04151002300204709,0.004315,1.040384
2025/sosylab/safety-func/array-fpi/eqn1.btor2,btor2-select,unknown,0.09103824399062432,0.004365,1.00352
2025/sosylab/safety-func/array-fpi/eqn1.btor2,btormc,unknown,0.06250335401273333,0.004547,1.007616
2025/sosylab/safety-func/array-fpi/ifcomp.btor2,avr,unsat,0.08869112600223161,0.004199,1.118208
2025/sosylab/safety-func/array-fpi/ifcomp.btor2,pono,unknown,0.03868404601234943,0.004051,1.040384
2025/sosylab/safety-func/array-fpi/ifcomp.btor2,btormc,unknown,0.10343308100709692,0.004497,1.155072
2025/sosylab/safety-func/array-fpi/ifcomp.btor2,btor2-select,unknown,0.09183194398065098,0.0045,1.007616
2025/sosylab/safety-func/array-fpi/ifcompf.btor2,pono,sat,0.0741664880188182,0.011422,1.748992
2025/sosylab/safety-func/array-fpi/ifcompf.btor2,avr,sat,0.38799799300613813,0.011776,1.92512
2025/sosylab/safety-func/array-fpi/ifcompf.btor2,btor2-select,sat,0.1932027819857467,0.012318,1.806336
2025/sosylab/safety-func/array-fpi/ifcompf.btor2,btormc,sat,0.18739557699882425,0.012668,1.76128
2025/sosylab/safety-func/array-fpi/res1.btor2,avr,unknown,0.10287610799423419,0.004,1.056768
2025/sosylab/safety-func/array-fpi/res1.btor2,pono,unknown,0.03936225699726492,0.004172,1.00352
2025/sosylab/safety-func/array-fpi/res1.btor2,btormc,unknown,0.10248726600548252,0.004221,0.999424
2025/sosylab/safety-func/array-fpi/res1.btor2,btor2-select,unknown,0.09047683200333267,0.004435,1.028096
2025/sosylab/safety-func/array-fpi/res2.btor2,pono,unknown,0.03749697800958529,0.003945,0.991232
2025/sosylab/safety-func/array-fpi/res2.btor2,avr,unknown,0.10922591699636541,0.004224,1.138688
2025/sosylab/safety-func/array-fpi/res2.btor2,btormc,unknown,0.1044050249911379,0.004481,0.999424
2025/sosylab/safety-func/array-fpi/res2.btor2,btor2-select,unknown,0.09023561599315144,0.004482,1.036288
2025/sosylab/safety-func/array-fpi/s1if.btor2,pono,unknown,0.03774352298933081,0.004095,1.196032
2025/sosylab/safety-func/array-fpi/s1if.btor2,avr,unknown,0.1331131340120919,0.004337,1.011712
2025/sosylab/safety-func/array-fpi/s1if.btor2,btormc,unknown,0.06085507301031612,0.004365,0.958464
2025/sosylab/safety-func/array-fpi/s1if.btor2,btor2-select,unknown,0.09120622900081798,0.004953,1.06496
2025/sosylab/safety-func/array-fpi/s5iff.btor2,btor2-select,sat,0.1473592710099183,0.01021,1.691648
2025/sosylab/safety-func/array-fpi/s5iff.btor2,pono,sat,0.07172553599230014,0.01037,2.052096
2025/sosylab/safety-func/array-fpi/s5iff.btor2,btormc,sat,0.11161402802099474,0.010694,2.019328
2025/sosylab/safety-func/array-fpi/s5iff.btor2,avr,unknown,0.13498945301398635,0.004322,1.048576
2025/sosylab/safety-func/array-fpi/s5lif.btor2,btormc,unknown,0.061001639027381316,0.004118,0.999424
2025/sosylab/safety-func/array-fpi/s5lif.btor2,pono,unknown,0.039188059978187084,0.004148,1.036288
2025/sosylab/safety-func/array-fpi/s5lif.btor2,btor2-select,unknown,0.0917082020023372,0.00458,1.134592
2025/sosylab/safety-func/array-fpi/s5lif.btor2,avr,unknown,0.13624218699987978,0.004646,1.04448
2025/sosylab/safety-func/array-fpi/ss1.btor2,avr,unknown,0.10170931101310998,0.00398,1.007616
2025/sosylab/safety-func/array-fpi/ss1.btor2,pono,unknown,0.04097695800010115,0.00422,0.999424
2025/sosylab/safety-func/array-fpi/ss1.btor2,btor2-select,unknown,0.09084706602152437,0.004471,1.04448
2025/sosylab/safety-func/array-fpi/ss1.btor2,btormc,unknown,0.10388302599312738,0.004529,1.093632
2025/sosylab/safety-func/array-industry-pattern/array_assert_loop_dep.btor2,btor2-select,sat,32242.120081382018,32240.498322,177.569792
2025/sosylab/safety-func/array-industry-pattern/array_assert_loop_dep.btor2,avr,unknown,0.10941357800038531,0.004167,0.991232
2025/sosylab/safety-func/array-industry-pattern/array_assert_loop_dep.btor2,pono,unknown,0.0414795879914891,0.004195,1.052672
2025/sosylab/safety-func/array-industry-pattern/array_assert_loop_dep.btor2,btormc,unknown,0.06260705497697927,0.004293,1.00352
2025/sosylab/safety-func/array-industry-pattern/array_shadowinit.btor2,btormc,unknown,0.061511721985880286,0.004093,1.08544
2025/sosylab/safety-func/array-industry-pattern/array_shadowinit.btor2,avr,unknown,0.10131588898366317,0.004207,1.019904
2025/sosylab/safety-func/array-industry-pattern/array_shadowinit.btor2,btor2-select,unknown,0.10235959300189279,0.00444,1.015808
2025/sosylab/safety-func/array-industry-pattern/array_shadowinit.btor2,pono,unknown,0.03706404200056568,0.005171,1.04448
2025/sosylab/safety-func/array-lopstr16/flag_loopdep_simple.btor2,btormc,unknown,0.0624432279728353,0.003905,1.060864
2025/sosylab/safety-func/array-lopstr16/flag_loopdep_simple.btor2,avr,unknown,0.10161736601730809,0.004275,1.097728
2025/sosylab/safety-func/array-lopstr16/flag_loopdep_simple.btor2,btor2-select,unknown,0.09807721499237232,0.004844,1.048576
2025/sosylab/safety-func/array-lopstr16/flag_loopdep_simple.btor2,pono,unknown,0.03703058999963105,0.00564,1.011712
2025/sosylab/safety-func/array-patterns/array28_pattern.btor2,btormc,unknown,0.06172673500259407,0.004115,1.04448
2025/sosylab/safety-func/array-patterns/array28_pattern.btor2,avr,unknown,0.10024040899588726,0.004397,1.183744
2025/sosylab/safety-func/array-patterns/array28_pattern.btor2,btor2-select,unknown,0.09819924499606714,0.004987,1.142784
2025/sosylab/safety-func/array-patterns/array28_pattern.btor2,pono,unknown,0.03735662900726311,0.005362,0.995328
2025/sosylab/safety-func/array-programs/partial_mod_count_4.btor2,btormc,unknown,0.06652263400610536,0.004258,1.06496
2025/sosylab/safety-func/array-programs/partial_mod_count_4.btor2,avr,unknown,0.09997005100012757,0.004369,1.040384
2025/sosylab/safety-func/array-programs/partial_mod_count_4.btor2,btor2-select,unknown,0.09808336701826192,0.004989,1.142784
2025/sosylab/safety-func/array-programs/partial_mod_count_4.btor2,pono,unknown,0.03737096599070355,0.005348,0.96256
2025/sosylab/safety-func/array-tiling/mbpr5.btor2,btor2-select,unknown,0.11231515498366207,0.004195,1.048576
2025/sosylab/safety-func/array-tiling/mbpr5.btor2,btormc,unknown,0.08391640800982714,0.004365,1.056768
2025/sosylab/safety-func/array-tiling/mbpr5.btor2,pono,unknown,0.031353439000668004,0.004446,1.00352
2025/sosylab/safety-func/array-tiling/mbpr5.btor2,avr,unknown,0.13852011802373454,0.004623,1.052672
2025/sosylab/safety-func/array-tiling/rewnifrev2.btor2,avr,unknown,0.1373162259988021,0.004136,1.150976
2025/sosylab/safety-func/array-tiling/rewnifrev2.btor2,pono,unknown,0.040760567993856966,0.00425,0.999424
2025/sosylab/safety-func/array-tiling/rewnifrev2.btor2,btormc,unknown,0.06511631200555712,0.004289,1.138688
2025/sosylab/safety-func/array-tiling/rewnifrev2.btor2,btor2-select,unknown,0.09186861300258897,0.004576,1.134592
2025/sosylab/safety-func/array-tiling/skipped.btor2,pono,unknown,0.03866396797820926,0.004099,0.999424
2025/sosylab/safety-func/array-tiling/skipped.btor2,btor2-select,unknown,0.1105778899800498,0.004183,0.995328
2025/sosylab/safety-func/array-tiling/skipped.btor2,avr,unknown,0.1371528710005805,0.004266,0.974848
2025/sosylab/safety-func/array-tiling/skipped.btor2,btormc,unknown,0.07798280598944984,0.004567,1.04448
2025/sosylab/safety-func/ntdrivers/kbfiltr.i.cil-2.btor2,pono,sat,0.08153532299911603,0.012805,2.4576
2025/sosylab/safety-func/ntdrivers/kbfiltr.i.cil-2.btor2,btor2-select,sat,0.21977672300999984,0.013736,2.551808
2025/sosylab/safety-func/ntdrivers/kbfiltr.i.cil-2.btor2,btormc,sat,0.19506650499533862,0.014467,2.7648
2025/sosylab/safety-func/ntdrivers/kbfiltr.i.cil-2.btor2,avr,unknown,0.11252379600773565,0.004206,1.081344
2025/sosylab/safety-func/reducercommutativity/avg10-2.btor2,btor2-select,unknown,0.11058264900930226,0.004136,1.130496
2025/sosylab/safety-func/reducercommutativity/avg10-2.btor2,avr,unknown,0.11515562600106932,0.004193,1.048576
2025/sosylab/safety-func/reducercommutativity/avg10-2.btor2,pono,unknown,0.03275593198486604,0.00468,1.011712
2025/sosylab/safety-func/reducercommutativity/avg10-2.btor2,btormc,unknown,0.08039463200839236,0.004923,1.212416
2025/sosylab/safety-rel/array-examples/sorting_bubblesort_ground-1.btor2,btormc,unknown,0.10039228198002093,0.004023,1.130496
2025/sosylab/safety-rel/array-examples/sorting_bubblesort_ground-1.btor2,pono,unknown,0.03958094699191861,0.004025,0.995328
2025/sosylab/safety-rel/array-examples/sorting_bubblesort_ground-1.btor2,btor2-select,unknown,0.09888784101349302,0.004398,1.036288
2025/sosylab/safety-rel/array-examples/sorting_bubblesort_ground-1.btor2,avr,unknown,0.08367886301130056,0.0046,1.011712
2025/sosylab/safety-rel/array-examples/standard_copy9_ground-1.btor2,pono,unknown,0.04640608199406415,0.004087,1.00352
2025/sosylab/safety-rel/array-examples/standard_copy9_ground-1.btor2,btormc,unknown,0.10234949001460336,0.004158,1.007616
2025/sosylab/safety-rel/array-examples/standard_copy9_ground-1.btor2,avr,unknown,0.10402155900374055,0.004293,1.007616
2025/sosylab/safety-rel/array-examples/standard_copy9_ground-1.btor2,btor2-select,unknown,0.07490938500268385,0.005919,1.093632
2025/sosylab/safety-rel/array-examples/standard_init7_ground-2.btor2,btormc,unknown,0.09498694899957627,0.004074,1.097728
2025/sosylab/safety-rel/array-examples/standard_init7_ground-2.btor2,pono,unknown,0.044314433995168656,0.004283,1.011712
2025/sosylab/safety-rel/array-examples/standard_init7_ground-2.btor2,avr,unknown,0.0816557080252096,0.004313,1.183744
2025/sosylab/safety-rel/array-examples/standard_init7_ground-2.btor2,btor2-select,unknown,0.07547078299103305,0.00578,1.101824
2025/sosylab/safety-rel/array-examples/standard_partial_init_ground.btor2,btormc,unknown,0.09469784898101352,0.003963,1.16736
2025/sosylab/safety-rel/array-examples/standard_partial_init_ground.btor2,avr,unknown,0.10296352600562386,0.004058,1.056768
2025/sosylab/safety-rel/array-examples/standard_partial_init_ground.btor2,pono,unknown,0.046850515995174646,0.004169,0.999424
2025/sosylab/safety-rel/array-examples/standard_partial_init_ground.btor2,btor2-select,unknown,0.06824263199814595,0.00589,1.097728
2025/sosylab/safety-rel/array-examples/standard_two_index_07.btor2,pono,unknown,0.04389434200129472,0.004136,1.019904
2025/sosylab/safety-rel/array-examples/standard_two_index_07.btor2,btormc,unknown,0.10304176399949938,0.004177,0.974848
2025/sosylab/safety-rel/array-examples/standard_two_index_07.btor2,btor2-select,unknown,0.09784534000209533,0.004415,1.052672
2025/sosylab/safety-rel/array-examples/standard_two_index_07.btor2,avr,unknown,0.08245930200791918,0.00446,1.196032
2025/sosylab/safety-rel/array-fpi/ifeqn2.btor2,avr,unsat,0.07938571300473996,0.004475,0.987136
2025/sosylab/safety-rel/array-fpi/ifeqn2.btor2,btor2-select,unknown,0.08352390900836326,0.00415,1.056768
2025/sosylab/safety-rel/array-fpi/ifeqn2.btor2,pono,unknown,0.04241713599185459,0.004284,1.048576
2025/sosylab/safety-rel/array-fpi/ifeqn2.btor2,btormc,unknown,0.07464692401117645,0.005044,0.995328
2025/sosylab/safety-rel/array-fpi/s3if.btor2,pono,unknown,0.041520470986142755,0.004208,1.04448
2025/sosylab/safety-rel/array-fpi/s3if.btor2,btor2-select,unknown,0.08714571798918769,0.004336,1.007616
2025/sosylab/safety-rel/array-fpi/s3if.btor2,avr,unknown,0.09394880599575117,0.004449,1.052672
2025/sosylab/safety-rel/array-fpi/s3if.btor2,btormc,unknown,0.07513057798496448,0.005112,1.036288
2025/sosylab/safety-rel/array-industry-pattern/array_of_struct_loop_dep.btor2,pono,unknown,0.04050111598917283,0.004019,1.00352
2025/sosylab/safety-rel/array-industry-pattern/array_of_struct_loop_dep.btor2,btor2-select,unknown,0.12815964600304142,0.004212,1.036288
2025/sosylab/safety-rel/array-industry-pattern/array_of_struct_loop_dep.btor2,avr,unknown,0.10230204899562523,0.004329,1.00352
2025/sosylab/safety-rel/array-industry-pattern/array_of_struct_loop_dep.btor2,btormc,unknown,0.03537776001030579,0.004596,1.06496
2025/sosylab/safety-rel/array-multidimensional/diff-3-n-u.btor2,pono,unsat,0.039152858982561156,0.004049,1.048576
2025/sosylab/safety-rel/array-multidimensional/diff-3-n-u.btor2,btor2-select,unknown,0.0871464689844288,0.004219,1.101824
2025/sosylab/safety-rel/array-multidimensional/diff-3-n-u.btor2,avr,unknown,0.09027956202044152,0.004968,0.995328
2025/sosylab/safety-rel/array-multidimensional/diff-3-n-u.btor2,btormc,unknown,0.07489274299587123,0.00541,0.970752
2025/sosylab/safety-rel/array-patterns/array15_pattern.btor2,btormc,unknown,0.08597049000672996,0.004052,1.015808
2025/sosylab/safety-rel/array-patterns/array15_pattern.btor2,pono,unknown,0.044052782002836466,0.004166,1.04448
2025/sosylab/safety-rel/array-patterns/array15_pattern.btor2,btor2-select,unknown,0.12440233697998337,0.004324,1.04448
2025/sosylab/safety-rel/array-patterns/array15_pattern.btor2,avr,unknown,0.09759147599106655,0.004328,1.04448
2025/sosylab/safety-rel/array-patterns/array16_pattern.btor2,btormc,unknown,0.09269723598845303,0.004028,0.970752
2025/sosylab/safety-rel/array-patterns/array16_pattern.btor2,avr,unknown,0.09831750701414421,0.00422,0.991232
2025/sosylab/safety-rel/array-patterns/array16_pattern.btor2,pono,unknown,0.04574028099887073,0.004232,1.040384
2025/sosylab/safety-rel/array-patterns/array16_pattern.btor2,btor2-select,unknown,0.08356300898594782,0.005492,1.163264
2025/sosylab/safety-rel/array-patterns/array28_pattern.btor2,pono,unknown,0.047460862988373265,0.0042,1.011712
2025/sosylab/safety-rel/array-patterns/array28_pattern.btor2,btormc,unknown,0.0872580999857746,0.004204,0.999424
2025/sosylab/safety-rel/array-patterns/array28_pattern.btor2,avr,unknown,0.09985682199476287,0.004345,1.06496
2025/sosylab/safety-rel/array-patterns/array28_pattern.btor2,btor2-select,unknown,0.08619593697949313,0.005559,0.999424
2025/sosylab/safety-rel/array-programs/partial_mod_count_limited_4.btor2,pono,unknown,0.04230571902007796,0.004106,0.999424
2025/sosylab/safety-rel/array-programs/partial_mod_count_limited_4.btor2,btormc,unknown,0.08902737699099816,0.004189,0.999424
2025/sosylab/safety-rel/array-programs/partial_mod_count_limited_4.btor2,btor2-select,unknown,0.12022223701933399,0.004353,1.1264
2025/sosylab/safety-rel/array-programs/partial_mod_count_limited_4.btor2,avr,unknown,0.09876957899541594,0.004433,1.00352
2025/sosylab/safety-rel/array-programs/partial_mod_count_limited_5.btor2,pono,unknown,0.03960462100803852,0.004044,0.991232
2025/sosylab/safety-rel/array-programs/partial_mod_count_limited_5.btor2,btor2-select,unknown,0.12650491099338979,0.00423,1.130496
2025/sosylab/safety-rel/array-programs/partial_mod_count_limited_5.btor2,btormc,unknown,0.034900981991086155,0.004666,1.019904
2025/sosylab/safety-rel/array-programs/partial_mod_count_limited_5.btor2,avr,unknown,0.09951544800424017,0.004948,0.909312
2025/sosylab/safety-rel/array-programs/partial_mod_count_limited_base.btor2,btormc,unknown,0.08713075102423318,0.004006,1.048576
2025/sosylab/safety-rel/array-programs/partial_mod_count_limited_base.btor2,pono,unknown,0.042202274984447286,0.004176,1.007616
2025/sosylab/safety-rel/array-programs/partial_mod_count_limited_base.btor2,btor2-select,unknown,0.117581146012526,0.004208,1.036288
2025/sosylab/safety-rel/array-programs/partial_mod_count_limited_base.btor2,avr,unknown,0.09850088402163237,0.004432,1.142784
2025/sosylab/safety-rel/array-tiling/mbpr5.btor2,btormc,unknown,0.09009211900411174,0.00396,1.101824
2025/sosylab/safety-rel/array-tiling/mbpr5.btor2,pono,unknown,0.04635571799008176,0.00413,1.048576
2025/sosylab/safety-rel/array-tiling/mbpr5.btor2,btor2-select,unknown,0.12646499602124095,0.004237,1.040384
2025/sosylab/safety-rel/array-tiling/mbpr5.btor2,avr,unknown,0.09980299198650755,0.004384,0.94208
2025/sosylab/safety-rel/array-tiling/pr3.btor2,btormc,unknown,0.10176177800167352,0.004022,0.917504
2025/sosylab/safety-rel/array-tiling/pr3.btor2,pono,unknown,0.042092921008588746,0.004143,1.00352
2025/sosylab/safety-rel/array-tiling/pr3.btor2,btor2-select,unknown,0.12678231997415423,0.004336,1.04448
2025/sosylab/safety-rel/array-tiling/pr3.btor2,avr,unknown,0.10297197601175867,0.004661,0.966656
2025/sosylab/safety-rel/loop-lit/mcmillan2006.btor2,btormc,unknown,0.10759231899282895,0.004054,1.056768
2025/sosylab/safety-rel/loop-lit/mcmillan2006.btor2,pono,unknown,0.043137945991475135,0.004339,1.015808
2025/sosylab/safety-rel/loop-lit/mcmillan2006.btor2,avr,unknown,0.08198987299692817,0.004366,1.04448
2025/sosylab/safety-rel/loop-lit/mcmillan2006.btor2,btor2-select,unknown,0.09981004800647497,0.004782,1.011712
2025/sosylab/safety-rel/loops/compact.btor2,pono,unknown,0.042884611000772566,0.004171,1.019904
2025/sosylab/safety-rel/loops/compact.btor2,btor2-select,unknown,0.07817223900929093,0.004241,1.052672
2025/sosylab/safety-rel/loops/compact.btor2,btormc,unknown,0.03475516100297682,0.005043,1.056768
2025/sosylab/safety-rel/loops/compact.btor2,avr,unknown,0.09925387700786814,0.005089,1.06496
2025/sosylab/safety-rel/loops/vogal-1.btor2,pono,unknown,0.043759244988905266,0.00411,0.966656
2025/sosylab/safety-rel/loops/vogal-1.btor2,btor2-select,unknown,0.08415938098914921,0.004215,1.138688
2025/sosylab/safety-rel/loops/vogal-1.btor2,avr,unknown,0.08922515899757855,0.004309,1.048576
2025/sosylab/safety-rel/loops/vogal-1.btor2,btormc,unknown,0.0747026180033572,0.005524,1.048576
2025/sosylab/safety-rel/loops/vogal-2.btor2,btor2-select,sat,0.15147774602519348,0.014946,1.826816
2025/sosylab/safety-rel/loops/vogal-2.btor2,pono,sat,0.07866090702009387,0.015818,1.835008
2025/sosylab/safety-rel/loops/vogal-2.btor2,btormc,sat,0.2300077060062904,0.058582,2.834432
2025/sosylab/safety-rel/loops/vogal-2.btor2,avr,unknown,0.08822763100033626,0.004907,0.987136
2025/sosylab/safety-rel/memory-model/4SB.btor2,avr,unknown,0.10234302299795672,0.004067,1.00352
2025/sosylab/safety-rel/memory-model/4SB.btor2,pono,unknown,0.04630645498400554,0.004217,1.052672
2025/sosylab/safety-rel/memory-model/4SB.btor2,btormc,unknown,0.08800958399660885,0.004356,0.999424
2025/sosylab/safety-rel/memory-model/4SB.btor2,btor2-select,unknown,0.06861668100464158,0.005386,1.142784
2025/sosylab/safety-rel/reducercommutativity/avg60-1.btor2,pono,unknown,0.04029381801956333,0.004,1.048576
2025/sosylab/safety-rel/reducercommutativity/avg60-1.btor2,btormc,unknown,0.035665926028741524,0.004449,1.007616
2025/sosylab/safety-rel/reducercommutativity/avg60-1.btor2,btor2-select,unknown,0.08781846900819801,0.004528,1.04448
2025/sosylab/safety-rel/reducercommutativity/avg60-1.btor2,avr,unknown,0.09859746499569155,0.004602,1.048576
2025/sosylab/safety-rel/seq-mthreaded/rekcba_aso.1.M1-2.btor2,pono,unknown,0.04266129600000568,0.004123,1.155072
2025/sosylab/safety-rel/seq-mthreaded/rekcba_aso.1.M1-2.btor2,avr,unknown,0.11926994897658005,0.004289,1.060864
2025/sosylab/safety-rel/seq-mthreaded/rekcba_aso.1.M1-2.btor2,btor2-select,unknown,0.10464362302445807,0.004424,1.056768
2025/sosylab/safety-rel/seq-mthreaded/rekcba_aso.1.M1-2.btor2,btormc,unknown,0.07661412900779396,0.005503,1.00352
2025/sosylab/safety-rel/verifythis/duplets.btor2,btormc,unknown,0.1009918820054736,0.004115,1.048576
2025/sosylab/safety-rel/verifythis/duplets.btor2,pono,unknown,0.040531637001549825,0.004121,1.00352
2025/sosylab/safety-rel/verifythis/duplets.btor2,avr,unknown,0.0824445839971304,0.004178,1.060864
2025/sosylab/safety-rel/verifythis/duplets.btor2,btor2-select,unknown,0.1112337859813124,0.004225,0.999424
2025/sosylab/safety-rel/verifythis/elimination_max.btor2,pono,unknown,0.043451152014313266,0.004097,1.00352
2025/sosylab/safety-rel/verifythis/elimination_max.btor2,btormc,unknown,0.10222852299921215,0.004235,0.987136
2025/sosylab/safety-rel/verifythis/elimination_max.btor2,avr,unknown,0.08231208598590456,0.004329,1.007616
2025/sosylab/safety-rel/verifythis/elimination_max.btor2,btor2-select,unknown,0.10018464497989044,0.004389,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p11.btor2,pono,unsat,0.035521988989785314,0.004025,1.048576
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p11.btor2,btor2-select,unknown,0.07314088099519722,0.003945,1.056768
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p11.btor2,avr,unknown,0.03935787299997173,0.004306,0.978944
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p11.btor2,btormc,unknown,0.04333293900708668,0.00438,1.036288
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p13.btor2,pono,unsat,0.040940709004644305,0.004751,1.048576
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p13.btor2,btormc,unknown,0.030298230005428195,0.003769,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p13.btor2,btor2-select,unknown,0.09835671001928858,0.004058,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p13.btor2,avr,unknown,0.05755388300167397,0.004473,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p2.btor2,pono,unsat,0.026318502001231536,0.003831,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p2.btor2,avr,unknown,0.09943393102730624,0.004058,1.04448
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p2.btor2,btormc,unknown,0.08378562299185432,0.004076,1.04448
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p2.btor2,btor2-select,unknown,0.08071973902406171,0.004204,1.06496
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p3.btor2,pono,unknown,0.0405116839974653,0.003879,1.04448
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p3.btor2,btor2-select,unknown,0.08430423602112569,0.004096,1.179648
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p3.btor2,avr,unknown,0.12153346699778922,0.004109,1.04448
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p3.btor2,btormc,unknown,0.09283227697596885,0.004336,0.946176
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p6.btor2,avr,unknown,0.03762476198608056,0.003928,0.966656
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p6.btor2,pono,unknown,0.044311050995020196,0.003956,1.024
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p6.btor2,btor2-select,unknown,0.07660553700407036,0.004248,1.036288
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p6.btor2,btormc,unknown,0.05579067298094742,0.004392,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p7.btor2,avr,unknown,0.031931335979606956,0.003791,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p7.btor2,btor2-select,unknown,0.06769217201508582,0.003916,1.040384
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p7.btor2,pono,unknown,0.04103388398652896,0.003974,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p7.btor2,btormc,unknown,0.041454613994574174,0.004828,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p8.btor2,pono,unsat,0.041045404999749735,0.004159,0.98304
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p8.btor2,btor2-select,unknown,0.10152583901071921,0.00405,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p8.btor2,btormc,unknown,0.038230311998631805,0.004238,0.970752
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0-p8.btor2,avr,unknown,0.050037220993544906,0.004601,0.991232
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0_faulty-p14.btor2,pono,unsat,0.03530606799176894,0.003974,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0_faulty-p14.btor2,btor2-select,unknown,0.08396799501497298,0.003987,1.08544
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0_faulty-p14.btor2,btormc,unknown,0.06098662698059343,0.004313,0.966656
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0_faulty-p14.btor2,avr,unknown,0.09532224500435404,0.005142,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0_faulty-p2.btor2,pono,unsat,0.05022736400132999,0.003911,1.081344
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0_faulty-p2.btor2,btormc,unknown,0.03630758699728176,0.004196,0.999424
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0_faulty-p2.btor2,avr,unknown,0.09755020000739023,0.004264,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0_faulty-p2.btor2,btor2-select,unknown,0.0641858669987414,0.004629,1.118208
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0_faulty-p3.btor2,pono,unsat,0.027852031984366477,0.003758,1.024
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0_faulty-p3.btor2,btor2-select,unknown,0.07978262001415715,0.004124,1.04448
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0_faulty-p3.btor2,btormc,unknown,0.0844928809965495,0.004187,0.970752
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_ch0_faulty-p3.btor2,avr,unknown,0.04527714301366359,0.004269,0.905216
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p1.btor2,pono,unsat,0.02356902402243577,0.003745,1.024
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p1.btor2,btormc,unknown,0.03303089601104148,0.003876,0.966656
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p1.btor2,btor2-select,unknown,0.057362894993275404,0.004272,1.060864
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p1.btor2,avr,unknown,0.09780712000792846,0.004277,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p12.btor2,pono,unknown,0.03058547299588099,0.003951,1.191936
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p12.btor2,btormc,unknown,0.05306994801503606,0.004063,0.98304
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p12.btor2,btor2-select,unknown,0.07763205299852416,0.004124,1.024
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p12.btor2,avr,unknown,0.0537519549834542,0.00455,0.999424
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p15.btor2,pono,unsat,0.042084810993401334,0.003881,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p15.btor2,btor2-select,unknown,0.08083554200129583,0.004033,1.14688
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p15.btor2,avr,unknown,0.041276228992501274,0.004246,1.101824
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p15.btor2,btormc,unknown,0.04812305100494996,0.004602,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p18.btor2,btor2-select,unknown,0.06547215397586115,0.00384,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p18.btor2,pono,unknown,0.038015236001228914,0.003964,1.183744
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p18.btor2,avr,unknown,0.03532847200403921,0.003982,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p18.btor2,btormc,unknown,0.04361135300132446,0.004426,1.08544
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p19.btor2,pono,unsat,0.04952024298836477,0.004264,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p19.btor2,avr,unknown,0.03410886999336071,0.003823,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p19.btor2,btormc,unknown,0.051488366996636614,0.004265,1.18784
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p19.btor2,btor2-select,unknown,0.08381135400850326,0.004481,0.974848
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p2.btor2,pono,unsat,0.021788048004964367,0.003732,0.995328
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p2.btor2,avr,unknown,0.043549816007725894,0.003888,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p2.btor2,btormc,unknown,0.03688836601213552,0.003999,1.060864
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p2.btor2,btor2-select,unknown,0.07836922098067589,0.004141,0.995328
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p23.btor2,avr,unknown,0.03051068398053758,0.003858,1.183744
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p23.btor2,btor2-select,unknown,0.07132088398793712,0.003965,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p23.btor2,pono,unknown,0.042906471993774176,0.004015,0.974848
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0-p23.btor2,btormc,unknown,0.03636707301484421,0.004048,1.155072
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p14.btor2,pono,unsat,0.037678445980418473,0.003891,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p14.btor2,btormc,unknown,0.08989438600838184,0.003897,1.024
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p14.btor2,avr,unknown,0.12429099599830806,0.004111,1.036288
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p14.btor2,btor2-select,unknown,0.08593004901194945,0.004133,0.999424
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p15.btor2,btormc,sat,0.1427875869849231,0.015057,3.063808
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p15.btor2,pono,sat,0.07106870101415552,0.015174,3.026944
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p15.btor2,btor2-select,sat,0.11879915199824609,0.015506,3.129344
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p15.btor2,avr,unknown,0.09896723800920881,0.004208,1.191936
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p17.btor2,pono,sat,0.06501170899719,0.014999,3.13344
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p17.btor2,btormc,sat,0.1276797940081451,0.015271,3.01056
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p17.btor2,btor2-select,sat,0.17547133698826656,0.015885,3.080192
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p17.btor2,avr,unknown,0.0999119880143553,0.005389,1.048576
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p19.btor2,pono,sat,0.06602842497522943,0.015016,3.047424
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p19.btor2,btormc,sat,0.14445686098770238,0.015561,3.067904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p19.btor2,btor2-select,sat,0.12901427800534293,0.01559,2.961408
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p19.btor2,avr,unknown,0.08862290502293035,0.004026,1.14688
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p2.btor2,pono,unsat,0.03728577902074903,0.004348,1.138688
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p2.btor2,btor2-select,unknown,0.0987839309964329,0.003853,0.999424
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p2.btor2,avr,unknown,0.05484286797582172,0.004197,1.183744
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p2.btor2,btormc,unknown,0.0352570190152619,0.004316,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p22.btor2,pono,unsat,0.028980917006265372,0.003809,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p22.btor2,btormc,unknown,0.0757942360069137,0.003876,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p22.btor2,avr,unknown,0.045203043991932645,0.003947,1.081344
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p22.btor2,btor2-select,unknown,0.08225323999067768,0.004156,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p24.btor2,btormc,sat,0.17183854698669165,0.015438,3.11296
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p24.btor2,btor2-select,sat,0.1954149109951686,0.01566,3.305472
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p24.btor2,pono,sat,0.1019186890043784,0.018081,3.272704
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p24.btor2,avr,unknown,0.05702817902783863,0.00434,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p6.btor2,pono,unsat,0.03238570402027108,0.003928,1.10592
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p6.btor2,btormc,unknown,0.05116346798604354,0.003757,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p6.btor2,btor2-select,unknown,0.07420035099494271,0.004088,1.040384
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p6.btor2,avr,unknown,0.09620937099680305,0.005156,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p7.btor2,pono,unsat,0.04376265700557269,0.004199,0.970752
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p7.btor2,avr,unknown,0.0422970810031984,0.00396,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p7.btor2,btor2-select,unknown,0.07788403399172239,0.004069,0.999424
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_fault_ch0_faulty-p7.btor2,btormc,unknown,0.03718916999059729,0.004069,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_order_ch0-p9.btor2,pono,unsat,0.028416237008059397,0.003771,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_order_ch0-p9.btor2,btormc,unknown,0.03385950901429169,0.003703,0.995328
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_order_ch0-p9.btor2,btor2-select,unknown,0.05854755302425474,0.004255,1.14688
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_order_ch0-p9.btor2,avr,unknown,0.12434863398084417,0.004324,1.183744
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p11.btor2,pono,unsat,0.040398337005171925,0.003901,0.970752
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p11.btor2,btormc,unknown,0.030675037996843457,0.00377,1.060864
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p11.btor2,avr,unknown,0.03568706300575286,0.003927,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p11.btor2,btor2-select,unknown,0.10059125800034963,0.004069,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p13.btor2,pono,unsat,0.03906402597203851,0.004163,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p13.btor2,btor2-select,unknown,0.07296016500913538,0.003906,0.978944
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p13.btor2,btormc,unknown,0.08949477600981481,0.004029,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p13.btor2,avr,unknown,0.12453035500948317,0.004249,1.056768
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p2.btor2,pono,unsat,0.029165304003981873,0.003814,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p2.btor2,btormc,unsat,0.034853110992116854,0.003824,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p2.btor2,btor2-select,unsat,0.05668088802485727,0.004246,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p2.btor2,avr,unknown,0.09339481400093064,0.003961,1.040384
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p3.btor2,pono,unsat,0.03924778100918047,0.004071,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p3.btor2,btormc,unknown,0.08721119200345129,0.00382,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p3.btor2,avr,unknown,0.1248138879891485,0.004255,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_ch0-p3.btor2,btor2-select,unknown,0.10858953898423351,0.004403,1.196032
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_fault_ch0-p2.btor2,pono,unsat,0.03703852099715732,0.004058,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_fault_ch0-p2.btor2,btor2-select,unsat,0.07773946397355758,0.004209,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_fault_ch0-p2.btor2,btormc,unsat,0.03241714899195358,0.004668,1.04448
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_fault_ch0-p2.btor2,avr,unknown,0.039220334991114214,0.004068,1.056768
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_fault_ch0-p7.btor2,pono,unsat,0.028971248015295714,0.00379,1.118208
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_fault_ch0-p7.btor2,btormc,unknown,0.07604129999526776,0.003907,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_fault_ch0-p7.btor2,avr,unknown,0.04906615798245184,0.0042,0.90112
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_read_fault_ch0-p7.btor2,btor2-select,unknown,0.08072151298983954,0.004212,1.089536
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p1.btor2,btormc,unknown,0.03365277801640332,0.003852,1.18784
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p1.btor2,pono,unknown,0.05156590702245012,0.00404,1.130496
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p1.btor2,btor2-select,unknown,0.09968475901405327,0.004063,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p1.btor2,avr,unknown,0.04357551599969156,0.004159,0.978944
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p12.btor2,pono,unsat,0.019368584995390847,0.003743,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p12.btor2,avr,unknown,0.03967105399351567,0.003935,1.040384
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p12.btor2,btormc,unknown,0.035158097016392276,0.004021,1.069056
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p12.btor2,btor2-select,unknown,0.07754204500815831,0.004033,0.995328
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p14.btor2,pono,unsat,0.03814059900469147,0.004289,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p14.btor2,btor2-select,unknown,0.07502158201532438,0.003958,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p14.btor2,btormc,unknown,0.03835608100052923,0.00405,1.056768
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p14.btor2,avr,unknown,0.10639370800345205,0.004889,1.040384
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p5.btor2,pono,unsat,0.025394847005372867,0.003766,1.024
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p5.btor2,btor2-select,unknown,0.07772900399868377,0.004147,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p5.btor2,btormc,unknown,0.0389928350050468,0.004219,1.040384
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_ch0-p5.btor2,avr,unknown,0.04790944900014438,0.004539,1.048576
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_fault_ch0-p10.btor2,pono,unsat,0.03000616599456407,0.003947,1.048576
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_fault_ch0-p10.btor2,btor2-select,unknown,0.06365117800305597,0.003804,0.999424
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_fault_ch0-p10.btor2,btormc,unknown,0.05889104199013673,0.004305,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_fault_ch0-p10.btor2,avr,unknown,0.09726507301093079,0.005605,0.98304
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_fault_ch0-p6.btor2,pono,unsat,0.04424419900169596,0.003986,1.18784
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_fault_ch0-p6.btor2,btor2-select,unknown,0.07619296299526468,0.004236,1.138688
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_fault_ch0-p6.btor2,btormc,unknown,0.03881346000707708,0.004503,0.995328
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_dmem_io_write_fault_ch0-p6.btor2,avr,unknown,0.05114850899553858,0.004984,1.056768
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p1.btor2,pono,unsat,0.039231725997524336,0.004051,0.98304
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p1.btor2,btormc,unknown,0.04138659400632605,0.004014,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p1.btor2,btor2-select,unknown,0.07993425501626916,0.004097,1.056768
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p1.btor2,avr,unknown,0.08854623200022615,0.004143,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p10.btor2,pono,unsat,0.019486515986500308,0.003716,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p10.btor2,btor2-select,unknown,0.07755577101488598,0.004044,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p10.btor2,btormc,unknown,0.04188643299858086,0.004214,1.04448
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p10.btor2,avr,unknown,0.04639408699586056,0.004311,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p12.btor2,pono,unsat,0.03191200000583194,0.003785,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p12.btor2,btormc,unknown,0.02890147900325246,0.003808,1.015808
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p12.btor2,avr,unknown,0.1236816419987008,0.004388,1.048576
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p12.btor2,btor2-select,unknown,0.0663009480049368,0.004698,1.134592
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p14.btor2,pono,unsat,0.03811615699669346,0.004455,1.048576
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p14.btor2,btor2-select,unknown,0.09840689398697577,0.004043,1.04448
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p14.btor2,avr,unknown,0.05289323799661361,0.004066,0.999424
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p14.btor2,btormc,unknown,0.03555831499397755,0.004186,0.995328
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p7.btor2,btor2-select,unknown,0.05947345998720266,0.003799,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p7.btor2,avr,unknown,0.050575257977470756,0.003985,1.130496
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p7.btor2,btormc,unknown,0.09412419100408442,0.004082,0.995328
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p7.btor2,pono,unknown,0.048684924986446276,0.00465,0.995328
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p8.btor2,btormc,unsat,0.037150974007090554,0.004195,1.036288
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p8.btor2,pono,unsat,0.04586981202010065,0.00429,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p8.btor2,btor2-select,unsat,0.09221882099518552,0.004304,0.995328
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0-p8.btor2,avr,unknown,0.10561835300177336,0.004435,1.101824
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p0.btor2,pono,unsat,0.043206292000832036,0.003949,1.060864
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p0.btor2,btormc,unknown,0.026995280000846833,0.00369,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p0.btor2,btor2-select,unknown,0.09612371501862071,0.004059,1.036288
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p0.btor2,avr,unknown,0.043000175995985046,0.004218,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p13.btor2,pono,unsat,0.04971926100552082,0.004342,1.048576
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p13.btor2,btormc,unknown,0.03998604998923838,0.004107,1.138688
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p13.btor2,avr,unknown,0.12322207901161164,0.00429,1.036288
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p13.btor2,btor2-select,unknown,0.06166047099395655,0.004456,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p2.btor2,btormc,sat,0.09727565999492072,0.015033,3.104768
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p2.btor2,btor2-select,sat,0.1797249070077669,0.015621,3.11296
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p2.btor2,pono,sat,0.1128641729883384,0.016679,2.912256
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p2.btor2,avr,unknown,0.11004855399369262,0.004641,1.048576
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p3.btor2,pono,unsat,0.04358208199846558,0.003925,1.048576
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p3.btor2,avr,unknown,0.04156380699714646,0.004085,1.015808
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p3.btor2,btor2-select,unknown,0.08256863299175166,0.004193,0.96256
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p3.btor2,btormc,unknown,0.051364445011131465,0.004359,1.04448
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p5.btor2,pono,unsat,0.03855931700672954,0.004467,1.142784
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p5.btor2,btor2-select,unknown,0.06510055300896056,0.003633,1.196032
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p5.btor2,btormc,unknown,0.05715838700416498,0.003956,1.191936
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_ch0_faulty-p5.btor2,avr,unknown,0.0956048619991634,0.005294,0.995328
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p1.btor2,pono,unsat,0.03408497798955068,0.004029,1.032192
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p1.btor2,btor2-select,unknown,0.06862539998837747,0.003877,1.056768
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p1.btor2,btormc,unknown,0.05562171101337299,0.003909,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p1.btor2,avr,unknown,0.07378378100111149,0.004264,0.995328
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p10.btor2,avr,unknown,0.028921967023052275,0.003682,1.04448
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p10.btor2,pono,unknown,0.04339856098522432,0.004018,1.048576
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p10.btor2,btor2-select,unknown,0.07258347497554496,0.00412,1.069056
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p10.btor2,btormc,unknown,0.04320739401737228,0.004428,1.089536
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p13.btor2,btormc,unknown,0.02986010699532926,0.003882,1.015808
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p13.btor2,avr,unknown,0.06478457900811918,0.004048,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p13.btor2,btor2-select,unknown,0.1029547970101703,0.004066,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p13.btor2,pono,unknown,0.03822863899404183,0.004109,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p15.btor2,btormc,unknown,0.08255080299568363,0.004007,1.18784
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p15.btor2,avr,unknown,0.045493009994970635,0.004076,1.04448
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p15.btor2,btor2-select,unknown,0.08261242398293689,0.004215,0.892928
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p15.btor2,pono,unknown,0.04053997099981643,0.004354,1.18784
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p2.btor2,pono,unsat,0.03474425699096173,0.003867,0.96256
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p2.btor2,btormc,unknown,0.03406126701156609,0.003829,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p2.btor2,avr,unknown,0.08889287899364717,0.004299,1.052672
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p2.btor2,btor2-select,unknown,0.06517499900655821,0.004527,0.999424
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p7.btor2,pono,unsat,0.03905600399593823,0.003893,1.134592
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p7.btor2,avr,unknown,0.03763681501732208,0.003928,1.028096
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p7.btor2,btor2-select,unknown,0.09061118098907173,0.004073,1.00352
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p7.btor2,btormc,unknown,0.048649869015207514,0.004325,1.191936
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p9.btor2,btormc,unknown,0.09116575098596513,0.003932,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p9.btor2,btor2-select,unknown,0.07903020299272612,0.003991,1.060864
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p9.btor2,pono,unknown,0.04318365899962373,0.004158,1.028096
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0-p9.btor2,avr,unknown,0.11978660599561408,0.004248,1.073152
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0_faulty-p18.btor2,pono,unsat,0.038554063998162746,0.004677,1.015808
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0_faulty-p18.btor2,btormc,unknown,0.05675248501938768,0.004005,0.991232
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0_faulty-p18.btor2,btor2-select,unknown,0.08070013098767959,0.004153,1.040384
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0_faulty-p18.btor2,avr,unknown,0.09626760001992807,0.005821,0.991232
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0_faulty-p2.btor2,pono,unsat,0.03923576499801129,0.003982,1.142784
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0_faulty-p2.btor2,btor2-select,unknown,0.06408017099602148,0.003727,1.011712
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0_faulty-p2.btor2,avr,unknown,0.033557644026586786,0.003909,1.056768
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0_faulty-p2.btor2,btormc,unknown,0.04081502600456588,0.004112,1.019904
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0_faulty-p8.btor2,pono,unsat,0.03141474799485877,0.003966,1.007616
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0_faulty-p8.btor2,btor2-select,unknown,0.07637035500374623,0.004037,1.024
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0_faulty-p8.btor2,avr,unknown,0.05259553299401887,0.00425,0.970752
2025/yosyshq/riscv_formal_nerv_axi_cache_bus_imem_fault_ch0_faulty-p8.btor2,btormc,unknown,0.03916667099110782,0.004261,1.032192