L2Sia-wfrL2SiaHSFUltimate-LTLT2-ctlstarT2-termination
resulttimeresulttimedeltaresulttimedeltaresulttimedeltaresulttimedeltaresulttimedelta
t2-testsuite/2unsafe0.93?1202.01-1?0-1?113.85-1?25.007-1unsafe0.8260
t2-testsuite/byron-1safe0.68?1201.27-1?0-1safe7.630safe1.4770safe0.6850
t2-testsuite/byron-2safe1.02?1201.85-1safe7.450safe30.220safe0.9710safe0.5410
t2-testsuite/cfg?1201.91?1201.90?2.030unsafe4.5+1?1.6460unsafe0.633+1
t2-testsuite/consts1nt?1202.04?1201.150?00unsafe4.77+1?1.5310unsafe0.694+1
t2-testsuite/consts1safe0.16safe20.460?0-1safe4.030safe1.2080safe0.5990
t2-testsuite/consts2nt?1202.73?1201.810?0.620?33.30?0.8320unsafe0.463+1
t2-testsuite/consts2safe0.28?1202.07-1safe0.70safe5.370safe0.6480safe0.3770
t2-testsuite/consts3nt?1201.78?1202.030?0.60?31.980?0.7230unsafe0.462+1
t2-testsuite/consts3safe0.27?1201.76-1safe0.70safe4.020safe0.6150safe0.3710
t2-testsuite/consts4nt?1201.88?1201.850?0.620?33.680?0.8590unsafe0.471+1
t2-testsuite/consts4safe0.27?1201.97-1safe0.710safe4.410safe0.6530safe0.3740
t2-testsuite/consts5nt?1202.08?1201.990?0.650?37.090?0.7780unsafe0.486+1
t2-testsuite/consts5safe0.1safe0.090safe0.630safe2.720safe0.7080safe0.3980
t2-testsuite/create_segsafe2.02?1202.04-1?0-1safe17.00?300.51-1safe0.4070
t2-testsuite/create_via_tmpssafe4.01?1203.27-1?0-1safe50.060?300.7-1safe0.6890
t2-testsuite/createsafe1.5?1201.99-1?0-1safe16.550safe0.9530safe0.4020
t2-testsuite/ctlstar_3unsafe0.19unsafe0.080?1.21-1unsafe5.160?0.993-1unsafe0.4680
t2-testsuite/ctlstar_4unsafe5.3?1202.04-1?20.92-1unsafe38.320?6.35-1unsafe0.7520
t2-testsuite/ctlstar_5unsafe0.09unsafe0.090?0.61-1unsafe3.440?0.968-1unsafe0.440
t2-testsuite/ctlstar_6unsafe0.1unsafe0.120?1.2-1unsafe4.520?0.977-1unsafe0.4610
t2-testsuite/ctlstarunsafe0.08unsafe0.070?1.27-1unsafe4.510?1.574-1unsafe0.4620
t2-testsuite/curious2safe0.05safe0.040safe0.120safe2.540safe0.4550safe0.2130
t2-testsuite/curiousunsafe0.06unsafe0.070?2.18-1unsafe4.80?1.23-1unsafe0.4760
t2-testsuite/dbsafe0.15safe0.160safe0.880safe3.270safe0.5880safe0.370
t2-testsuite/defectunsafe0.06unsafe0.060?0.57-1unsafe2.940?0.77-1unsafe0.4280
t2-testsuite/destroy_seg_leakunsafe4.9?1202.3-1?1207.12-1?266.43-1?113.893-1unsafe2.6290
t2-testsuite/destroy_segsafe6.9?1201.93-1?0-1safe40.330safe9.8850safe1.0110
t2-testsuite/destroysafe4.44?1202.01-1?0-1safe31.760?301.05-1safe0.7140
t2-testsuite/disj_nightmaresafe0.26safe0.160safe138.610safe11.540safe246.1140safe11.6930
t2-testsuite/eric1?1201.65?1201.820?00?00safe2.766+1safe2.898+1
t2-testsuite/eric3?1201.83?1201.970?00unsafe63.35+1?2.4880unsafe0.523+1
t2-testsuite/example10unsafe0.09unsafe0.080?1.61-1unsafe3.460?0.913-1unsafe0.450
t2-testsuite/example9unsafe0.55?1202.06-1?3.85-1unsafe5.520?1.164-1unsafe0.4730
t2-testsuite/flipflopunsafe0.08unsafe0.070?0.6-1?9.4-1?0.713-1unsafe0.4560
t2-testsuite/fun10unsafe1.27unsafe1.240?0.21-1?886.59-1?123.362-1unsafe6.2950
t2-testsuite/fun11?1201.65?1202.170?00?81.790?1.8590?0.9740
t2-testsuite/fun1unsafe2.69?1202.14-1?72.92-1?169.09-1?56.662-1unsafe42.9730
t2-testsuite/fun2safe25.91?1201.94-1safe60.120safe47.690safe15.5930safe1.4760
t2-testsuite/fun4safe1.76safe1.480safe31.90safe24.130safe3.2280safe3.2910
t2-testsuite/fun6unsafe2.01?1201.31-1?27.95-1?154.39-1?108.899-1unsafe2.9410
t2-testsuite/fun7unsafe0.26unsafe0.260?12.63-1?506.33-1?13.689-1unsafe0.8550
t2-testsuite/fun9?1202.03?1201.990?1123.790?196.350?311.660unsafe1.404+1
t2-testsuite/heidy10safe0.61?1201.34-1safe3.140safe12.530safe0.8820safe0.390
t2-testsuite/heidy1?1201.51?1201.190?00unsafe3.58+1?0.8150unsafe0.447+1
t2-testsuite/heidy2unsafe0.26?1201.86-1?7.61-1unsafe25.150?1.484-1unsafe0.4560
t2-testsuite/heidy3unsafe0.25unsafe0.130?2.84-1unsafe5.860?0.967-1unsafe0.4710
t2-testsuite/heidy5safe0.95?1201.95-1safe5.270safe3.440safe0.780safe0.3670
t2-testsuite/heidy6unsafe0.8?1201.83-1?2.35-1unsafe5.710?1.244-1unsafe0.5010
t2-testsuite/heidy7unsafe1.83?1201.33-1?8.13-1unsafe38.560?2.087-1unsafe0.5210
t2-testsuite/heidy8unsafe0.21unsafe0.10?4.82-1unsafe40.670?2.445-1unsafe0.5370
t2-testsuite/heidy9safe0.78?1202.13-1safe3.380safe3.370safe0.7060safe0.3610
t2-testsuite/huhsafe151.77?1202.15-1?0-1safe20.290safe3.3130safe0.4930
t2-testsuite/iecssafe0.27?1202.09-1?0-1safe7.470safe0.6990safe0.5220
t2-testsuite/n-10unsafe0.11unsafe0.090?1.34-1unsafe117.510?1.563-1unsafe0.4850
t2-testsuite/n-12aunsafe0.09unsafe0.070?0.71-1unsafe6.830?0.796-1unsafe0.4360
t2-testsuite/n-12unsafe0.09unsafe0.080?0.55-1unsafe26.180?1.283-1unsafe0.4740
t2-testsuite/n-13?1201.49?1201.230?0.540unsafe5.8+1?0.7360unsafe0.448+1
t2-testsuite/n-14unsafe0.12unsafe0.110?2.94-1unsafe32.340?1.52-1unsafe0.4910
t2-testsuite/n-15aunsafe0.08unsafe0.060?3.84-1unsafe5.480?1.338-1unsafe0.4830
t2-testsuite/n-15?1202.14?1201.840?0.780?33.620?1.4270unsafe0.534+1
t2-testsuite/n-16aunsafe0.07unsafe0.10?0.71-1?35.17-1?0.891-1unsafe0.4570
t2-testsuite/n-16?1201.55?1201.810?0.540?33.420?1.8230unsafe0.526+1
t2-testsuite/n-17?1201.45?1201.870?0.520?31.830?2.0740unsafe0.472+1
t2-testsuite/n-18aunsafe0.07unsafe0.060?1.79-1?35.91-1?2.108-1unsafe0.4620
t2-testsuite/n-18?1201.46?1201.240?0.520?33.810?0.8420unsafe0.467+1
t2-testsuite/n-1cunsafe0.19unsafe0.080?1.21-1unsafe111.270?1.214-1unsafe0.4950
t2-testsuite/n-1dunsafe0.07unsafe0.10?0.63-1unsafe29.430?1.038-1unsafe0.4930
t2-testsuite/n-1unsafe0.08unsafe0.080?4.17-1unsafe136.920?1.747-1unsafe0.4940
t2-testsuite/n-20unsafe0.74?1202.08-1?1.86-1?151.87-1?0.917-1unsafe0.5060
t2-testsuite/n-21?1201.14?1201.780?2.160unsafe9.83+1?1.2820unsafe0.513+1
t2-testsuite/n-32unsafe0.08unsafe0.070?1.66-1unsafe9.290?2.687-1unsafe0.4480
t2-testsuite/n-33unsafe0.23unsafe0.120?0.56-1unsafe10.410?1.588-1unsafe0.4730
t2-testsuite/n-36unsafe0.28unsafe0.170?0.76-1unsafe123.20?1.844-1unsafe0.5320
t2-testsuite/n-37?1201.15?1203.080?00?73.270?2.1230unsafe0.477+1
t2-testsuite/n-3aunsafe0.07unsafe0.070?2.35-1unsafe30.230?1.774-1unsafe0.5250
t2-testsuite/n-3?1201.38?1201.820?1.680?47.920?0.8920unsafe0.54+1
t2-testsuite/n-40?1201.73?1202.090?29.110unsafe8.57+1?10.4320unsafe0.643+1
t2-testsuite/n-46?1201.82?1201.240?00?36.620safe0.829+1unsafe0.444+1
t2-testsuite/n-48?1202.14?1202.00?2.020?49.060?1.2510unsafe0.486+1
t2-testsuite/n-4unsafe0.26unsafe0.150?11.32-1unsafe18.230?12.94-1unsafe0.9930
t2-testsuite/n-5unsafe0.66?1201.22-1?10.08-1unsafe72.320?16.908-1unsafe1.1180
t2-testsuite/n-6aunsafe0.18unsafe0.070?4.67-1unsafe49.940?0.928-1unsafe0.5940
t2-testsuite/n-6?1202.89?1201.860?0.540?37.80?0.9770unsafe0.483+1
t2-testsuite/n-7?1201.88?1202.00?7.020?41.150?1.4760unsafe0.514+1
t2-testsuite/n-8aunsafe0.09unsafe0.070?0.54-1unsafe65.460?0.918-1unsafe0.4710
t2-testsuite/n-8unsafe0.08unsafe0.090?1.09-1unsafe70.250?1.972-1unsafe0.4870
t2-testsuite/n-9unsafe0.09unsafe0.10?1.18-1?104.14-1?1.655-1unsafe0.4860
t2-testsuite/nested2?1202.57?1201.860?1706.520?1201.980safe1.089+1safe0.449+1
t2-testsuite/p-10unsafe0.1unsafe0.080?1.91-1unsafe100.550?0.886-1unsafe0.4840
t2-testsuite/p-12safe0.41?1201.15-1safe1.40safe3.360safe0.6710safe0.3640
t2-testsuite/p-13safe0.05safe0.040?0.34-1safe2.670safe0.5460safe0.210
t2-testsuite/p-14safe0.3?1201.83-1safe1.780safe3.490safe0.5960safe0.3640
t2-testsuite/p-15safe0.55?1201.86-1safe2.070safe3.20safe0.5990safe0.3580
t2-testsuite/p-16safe0.54?1201.88-1safe2.050safe3.40safe0.6460safe0.3630
t2-testsuite/p-18safe0.66?1202.0-1safe1.370safe3.20safe0.6770safe0.3580
t2-testsuite/p-1bsafe0.32?1201.31-1safe2.120safe3.410safe0.6870safe0.3610
t2-testsuite/p-1dsafe0.38?1201.4-1safe8.660safe4.210safe0.9180safe0.3750
t2-testsuite/p-1unsafe0.1unsafe0.080?1.68-1unsafe130.50?0.975-1unsafe0.4820
t2-testsuite/p-20unsafe0.16unsafe0.160?2.43-1unsafe79.740?1.095-1unsafe0.4820
t2-testsuite/p-21safe1.34?1202.91-1safe4.450safe4.320safe0.9240safe0.4190
t2-testsuite/p-22safe0.36?1201.15-1safe1.960safe3.960safe1.5250safe0.3680
t2-testsuite/p-32unsafe0.08unsafe0.070?1.61-1unsafe9.520?3.045-1unsafe0.4550
t2-testsuite/p-33unsafe0.08unsafe0.070?1.87-1unsafe9.440?1.495-1unsafe0.460
t2-testsuite/p-34unsafe0.2unsafe0.210?1.8-1unsafe160.440?1.541-1unsafe0.5140
t2-testsuite/p-36unsafe0.13unsafe0.130?1.33-1unsafe222.680?3.153-1unsafe0.5090
t2-testsuite/p-37safe0.51safe0.470safe27.340safe15.910safe1.0530safe0.3780
t2-testsuite/p-3safe0.42?1201.99-1safe5.670safe3.820safe0.670safe0.3640
t2-testsuite/p-40?1201.22?1201.80safe3.13+1safe3.42+1safe0.818+1safe0.374+1
t2-testsuite/p-41safe0.05safe0.040?0.35-1safe2.660safe0.610safe0.2030
t2-testsuite/p-42safe1.38?1201.91-1safe2.810safe3.960safe0.6610safe0.3580
t2-testsuite/p-43safe0.44?1201.12-1safe11.590safe25.510safe2.3670safe2.0330
t2-testsuite/p-44safe0.48?1202.11-1safe2.630safe3.990safe0.6370safe0.3720
t2-testsuite/p-45safe0.79?1201.95-1safe2.510safe16.110safe2.0730safe0.3710
t2-testsuite/p-46unsafe0.17unsafe0.140?10.06-1?387.28-1?5.733-1?5.187-1
t2-testsuite/p-49safe0.35?1201.83-1safe2.380safe3.880safe0.6190safe0.3670
t2-testsuite/p-4safe2.0?1201.94-1safe3.730safe5.220safe1.070safe0.3990
t2-testsuite/p-52unsafe0.09unsafe0.080?0.73-1unsafe48.760?0.797-1unsafe0.4730
t2-testsuite/p-53safe0.14safe0.120safe2.670safe2.80safe0.6310safe0.2130
t2-testsuite/p-55safe0.79?1201.83-1safe7.590safe5.560safe0.9480safe0.4050
t2-testsuite/p-56safe0.52?1201.92-1safe4.370safe3.710safe0.9760safe0.4010
t2-testsuite/p-58safe0.18safe0.120safe0.490safe2.940safe0.5190safe0.3590
t2-testsuite/p-5unsafe0.67?1202.21-1?10.52-1unsafe72.470?16.922-1unsafe1.1130
t2-testsuite/p-60?1201.88safe26.39+1?00safe3.56+1safe0.742+1safe0.382+1
t2-testsuite/p-61?1201.94?1201.290?00safe3.58+1safe0.734+1safe0.388+1
t2-testsuite/p-63safe0.76?1201.84-1?0-1safe15.250safe1.2770safe0.5340
t2-testsuite/p-6safe0.36?1201.72-1safe7.860safe4.20safe0.9110safe0.3810
t2-testsuite/p-7bsafe0.86?1201.91-1safe5.930safe4.60safe0.6780safe0.3750
t2-testsuite/p-7safe0.87?1201.13-1safe9.020safe4.320safe0.8390safe0.3970
t2-testsuite/p-8unsafe0.08unsafe0.070?1.73-1?98.0-1?0.957-1unsafe0.4620
t2-testsuite/p-9unsafe0.09unsafe0.070?1.7-1?100.5-1?0.928-1unsafe0.4590
t2-testsuite/pgarchunsafe59.52?1202.24-1?1.27-1?0-1?227.37-1unsafe49.7160
t2-testsuite/polyrank1safe0.55?1201.88-1?0.59-1safe11.280?0.922-1safe0.5570
t2-testsuite/polyrank2safe32.23?1201.89-1?0.66-1safe4.00?1.092-1safe0.5910
t2-testsuite/polyrank3safe5.94?1201.86-1?0.53-1?0-1?0.985-1safe0.7520
t2-testsuite/polyrank4?1201.85?1201.050?0.530?381.00?1.0550safe1.002+1
t2-testsuite/polyrank5?1203.02?1202.090?0.530safe5.69+1?1.0170safe1.368+1
t2-testsuite/polyrank6safe1.46?1201.97-1?1.78-1safe16.910?1.668-1safe0.5930
t2-testsuite/polyrank7?1202.68?1202.20?0.550?34.550?1.1630unsafe0.438+1
t2-testsuite/printsafe15.82?1201.8-1?0-1safe78.830safe45.5560safe2.5970
t2-testsuite/refine_disj_problem?1201.91?1201.840?2.460?40.210?1.5320unsafe0.482+1
t2-testsuite/reverse_div4unsafe0.47unsafe0.460?269.47-1?217.54-1?68.108-1unsafe1.5340
t2-testsuite/reverse_seg_cyclicsafe70.67?1202.07-1?0-1safe36.390safe18.6440safe1.790
t2-testsuite/reversesafe123.81?1201.32-1?0-1safe42.770safe49.8430safe4.6930
t2-testsuite/rev_nt2unsafe0.27unsafe0.260?32.69-1?155.03-1?94.872-1unsafe0.8090
t2-testsuite/rewriteunsafe0.08unsafe0.060?0.68-1?61.28-1?0.721-1unsafe0.460
t2-testsuite/s1-savedsafe15.54?1201.98-1?0-1safe40.340safe31.9720safe1.8270
t2-testsuite/seq2safe0.19?1202.03-1safe0.850safe3.170safe0.6240safe0.3550
t2-testsuite/seqsafe0.18?1201.86-1safe0.910safe3.280safe0.6070safe0.3670
t2-testsuite/simple?1201.15?1202.050?0.960unsafe15.8+1?1.0170unsafe0.528+1
t2-testsuite/small01safe0.19?1202.0-1safe4.980safe3.50safe0.9430safe0.3880
t2-testsuite/small02?1202.01?1202.030?7.720?63.010?1.0890unsafe0.489+1
t2-testsuite/small03?1201.75?1202.190?1248.490unsafe3.62+1?0.8930unsafe0.445+1
t2-testsuite/small04?1201.87?1202.020?00unsafe3.75+1?0.8960unsafe0.438+1
t2-testsuite/small05?1201.89?1201.190?0.530?33.850?0.7740unsafe0.452+1
t2-testsuite/small06safe1.52?1201.85-1safe6.210safe3.910safe0.9440safe0.3790
t2-testsuite/small07safe12.35?1202.04-1safe9.720safe5.970safe1.0290safe0.4310
t2-testsuite/small08safe7.27?1202.09-1safe10.730safe5.180safe1.0350safe0.4160
t2-testsuite/small09safe14.14?1203.05-1safe19.450safe5.830safe1.0580safe0.4190
t2-testsuite/small10unsafe0.07unsafe0.060?1.29-1?70.94-1?2.08-1unsafe0.5020
t2-testsuite/small11unsafe0.07unsafe0.070?0.95-1unsafe3.190?1.065-1unsafe0.4510
t2-testsuite/small12safe0.66?1202.07-1safe2.480safe4.190safe0.7440safe0.3660
t2-testsuite/small13safe1.35?1201.92-1safe2.260safe15.470safe0.7230safe0.3670
t2-testsuite/small14?1201.26?1202.140?2.420?87.780?4.2340unsafe0.498+1
t2-testsuite/small15?1202.08?1202.040?1.560?39.920?1.4810unsafe0.471+1
t2-testsuite/small16?1201.86?1201.150?1.510unsafe36.1+1?1.390unsafe0.454+1
t2-testsuite/small17unsafe0.08unsafe0.070?1.62-1unsafe24.10?1.005-1unsafe0.4570
t2-testsuite/small18unsafe0.06unsafe0.070?0.73-1unsafe5.140?1.655-1unsafe0.5020
t2-testsuite/small19safe1.46?1202.01-1safe2.250safe5.960safe0.7480safe0.4040
t2-testsuite/small20safe1.72?1202.27-1?0-1safe4.840safe1.0990safe0.4080
t2-testsuite/small21safe2.87?1202.05-1?0-1safe5.690safe1.1340safe0.4470
t2-testsuite/small22unsafe0.09unsafe0.080?2.33-1?38.69-1?2.42-1unsafe0.5450
t2-testsuite/small23unsafe0.31?1201.92-1?5.0-1unsafe23.710?13.55-1unsafe0.6770
t2-testsuite/small24unsafe0.06unsafe0.060?0.51-1unsafe5.170?1.033-1unsafe0.4560
t2-testsuite/small25unsafe0.06unsafe0.060?0.56-1unsafe3.510?0.99-1unsafe0.4240
t2-testsuite/small26safe0.19?1202.94-1safe0.760safe3.150safe0.6470safe0.3690
t2-testsuite/small27safe0.05safe0.040?0.23-1safe2.750safe0.6170safe0.4170
t2-testsuite/small28safe0.1safe0.090safe0.760safe3.730safe0.6380safe0.4010
t2-testsuite/small29unsafe0.07unsafe0.070?0.6-1unsafe8.910?1.239-1unsafe0.4940
t2-testsuite/small30unsafe0.05unsafe0.070?0.59-1unsafe3.290?1.152-1unsafe0.4210
t2-testsuite/small31safe0.08safe0.040?0.22-1safe2.770safe0.7480safe0.3460
t2-testsuite/small32safe0.07safe0.050?0.24-1safe2.420safe0.610safe0.3560
t2-testsuite/small33safe0.05safe0.040?0.24-1safe2.840safe0.5850safe0.3550
t2-testsuite/small34safe0.17?1202.1-1safe0.80safe3.550safe0.7580safe0.3540
t2-testsuite/small35?1201.9?1201.910?0.550?34.290?1.1510unsafe0.438+1
t2-testsuite/test_byron_2unsafe0.1unsafe0.080?1.22-1unsafe5.280?0.99-1unsafe0.4490
t2-testsuite/traverse2safe197.05?1201.59-1?0-1safe85.350?302.48-1safe3.0140
t2-testsuite/traverse_seg2safe27.57?1202.67-1?0-1safe37.790safe30.6390safe2.0610
t2-testsuite/traverse_segsafe34.58?1202.02-1?0-1safe49.630safe33.5940safe2.8150
t2-testsuite/traverse_twicesafe51.72?1202.2-1?0-1safe50.610safe62.0740safe3.3390
t2-testsuite/traversesafe24.82?1202.12-1?0-1safe46.160safe28.6790safe1.9130
t2-testsuite/unsatsafe0.25safe0.140safe0.990safe2.80safe0.5790safe0.3620
t2-testsuite/w1unsafe0.1unsafe0.10?0.81-1unsafe13.790?0.866-1unsafe0.5750
# Benchmarks: 193totalsafeunsafetimetotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlost
1528270955.74s74185656.81s-7817952520442.34s-100110114685613311.11s-6152180800637.653s-7267819189102235.206s39401