L2Sia-wfrL2SiaHSFUltimate-LTLT2-ctlstarT2-termination
resulttimeresulttimedeltaresulttimedeltaresulttimedeltaresulttimedeltaresulttimedelta
crafted/any-down-livesafe1.16?1201.83-1?0-1?343.25-1safe19.5350---
crafted/choice-livesafe14.63?1201.83-1safe8.050?346.61-1safe136.6280---
crafted/conc-whiles-livesafe5.03?1201.81-1?0-1?215.98-1?297.09-1---
crafted/count-down-livesafe0.23?1201.96-1safe2.370?142.55-1safe78.6840---
crafted/count-nested-live?1201.52?1201.830?00?210.970safe30.367+1---
crafted/count-up-to-sym-livesafe0.23?1201.98-1?0-1safe8.640safe17.9340---
crafted/example-fig2-livesafe0.34?1201.97-1?0-1?32.24-1safe18.2790---
crafted/example1-livesafe0.31?1201.28-1safe1.620safe10.50safe16.9520---
crafted/example2-livesafe0.16?1201.93-1?0-1safe2.590safe16.3090---
crafted/example3-livesafe0.36?1202.02-1safe1.420safe140.620?18.481-1---
crafted/example4-live-intsafe0.25?1201.91-1?0-1safe2.810?17.42-1---
crafted/gothenburg-livesafe0.49?1201.7-1safe3.20safe372.250safe51.2370---
crafted/loops-livesafe1.22?1201.87-1?0-1?256.75-1?320.84-1---
crafted/parallel-livesafe0.31?1201.94-1safe12.250safe347.410safe28.4370---
crafted/piecewise-livesafe0.63?1201.72-1safe3.710safe15.850?15.89-1---
crafted/stabilize-livesafe0.53?1201.96-1?0.3-1?231.74-1safe1.1260---
crafted/swap-dec-livesafe0.36?1201.93-1safe1.730?222.38-1safe1.4320---
ultimate-ltl/coolant/coolant_basis_1_neg?1201.83?1201.840?1.360?2.10?16.0940---
ultimate-ltl/coolant/coolant_basis_1_safe_sftysafe0.9safe0.850?1.34-1safe4.20safe1.6070---
ultimate-ltl/coolant/coolant_basis_1_unsafe_sfty?1202.0?1202.740?1.30unsafe19.03+1?15.710---
ultimate-ltl/coolant/coolant_basis_2_neg?1202.04?1202.060?00?67.940?8.1550---
ultimate-ltl/coolant/coolant_basis_2_safe_livenesssafe27.26safe23.070?0-1safe103.850safe3.4180---
ultimate-ltl/coolant/coolant_basis_2_unsafe_livenessunsafe5.12unsafe3.680?0-1?1095.66-1?10.748-1---
ultimate-ltl/coolant/coolant_basis_3_safe_sftylivenesssafe0.86safe0.760?1.21-1safe3.280?6.406-1---
ultimate-ltl/coolant/coolant_basis_3_unsafe_sftylivenessunsafe2.05unsafe1.980?1.09-1?63.88-1?10.949-1---
ultimate-ltl/coolant/coolant_basis_4_1_unsafe_sftyliveness?1202.69?1202.20?1.260?81.690?9.8690---
ultimate-ltl/coolant/coolant_basis_4_2_unsafe_sftyliveness?1201.83?1202.080?1.50?78.720?14.8860---
ultimate-ltl/coolant/coolant_basis_4_negunsafe0.49unsafe0.490?0-1unsafe18.630?7.335-1---
ultimate-ltl/coolant/coolant_basis_4_safe_sftylivenesssafe1.25safe1.140?1.2-1safe3.60?5.035-1---
ultimate-ltl/coolant/coolant_basis_4_unsafe_sftyliveness?1202.03?1201.810?1.320?1201.80?58.680---
ultimate-ltl/coolant/coolant_basis_5_negunsafe0.74unsafe0.620?1.2-1unsafe10.60?0.36-1---
ultimate-ltl/coolant/coolant_basis_5_safe_sftylivenesssafe1.85safe1.740?1.12-1safe4.220?0.36-1---
ultimate-ltl/coolant/coolant_basis_5_unsafe_sftyliveness?1201.91?1201.280?1.190?66.350?0.360---
ultimate-ltl/coolant/coolant_basis_6_safe_sftylivenesssafe2.74safe2.650?0-1safe4.460?12.953-1---
ultimate-ltl/coolant/coolant_basis_6_unsafe_sftyliveness?1202.13?1201.930?00?84.630?7.0150---
ultimate-ltl/decision-predicates/01-exsec2safe0.19safe0.070safe192.670safe2.680safe0.480---
ultimate-ltl/decision-predicates/02-fig8-2007safe0.54safe0.480?0.26-1safe3.040safe4.610---
ultimate-ltl/decision-predicates/03-toyacquirereleasesafe0.32safe0.210?0.22-1safe3.20?2.18-1---
ultimate-ltl/decision-predicates/04-toylinarith1unsafe2.62unsafe2.670?0-1unsafe2.60safe2.591?---
ultimate-ltl/decision-predicates/05-toylinarith2safe23.78?1201.88-1?0-1safe3.10?0.53-1---
ultimate-ltl/decision-predicates/06-postgreSQL_strmsrvsafe3.94safe3.820?0-1safe3.590?26.5-1---
ultimate-ltl/decision-predicates/07-postgreSQL_strmsrv_wbugsafe4.32safe4.230?0-1safe3.470?106.712-1---
ultimate-ltl/decision-predicates/08-postgreSQL_pgarchunsafe0.51unsafe0.40?98.8-1?63.1-1?304.47-1---
ultimate-ltl/decision-predicates/09-postgreSQL_dropbuf_prop1unsafe4.27unsafe2.150?0.22-1unsafe21.530?0.31-1---
ultimate-ltl/decision-predicates/10-postgreSQL_dropbuf_prop2safe1.44safe1.440safe147.680safe14.90?24.502-1---
ultimate-ltl/decision-predicates/11-apache_accept_livenessunsafe13.11unsafe13.170?0.22-1?140.38-1?147.681-1---
ultimate-ltl/decision-predicates/12-apache_progresssafe1.85safe1.850?0.13-1safe3.990?97.472-1---
ultimate-ltl/decision-predicates/13-windows_os_frag1safe0.81safe0.710?0.24-1safe38.510safe31.4110---
ultimate-ltl/decision-predicates/14-windows_os_frag2safe0.3safe0.290?0-1safe3.070safe26.4230---
ultimate-ltl/decision-predicates/15-windows_os_frag2_wbugunsafe0.58unsafe0.590?0-1unsafe7.350?240.145-1---
ultimate-ltl/decision-predicates/16-windows_os_frag3safe0.1safe0.090safe88.380safe2.890safe1.2430---
ultimate-ltl/decision-predicates/17-windows_os_frag4_prop1safe0.38safe0.350?0.12-1safe18.040?259.729-1---
ultimate-ltl/decision-predicates/18-windows_os_frag4_prop2unsafe6.64?1201.35-1?1.11-1unsafe46.050?314.98-1---
ultimate-ltl/decision-predicates/19-windows_os_frag5safe7.43?1202.14-1?0.53-1?1204.05-1safe113.7980---
ultimate-ltl/decision-predicates/20-windows_os_frag6safe2.36?1201.73-1?0-1?269.18-1?4.11-1---
ultimate-ltl/decision-predicates/21-windows_os_frag6_wbugunsafe0.27unsafe0.230?0-1unsafe4.690?6.583-1---
ultimate-ltl/decision-predicates/22-windows_os_frag7safe0.94?1201.92-1?0-1safe14.490safe1.9650---
ultimate-ltl/decision-predicates/23-windows_os_frag8safe2.14?1201.85-1?0-1?890.95-1safe40.1880---
t2-ctl/P1safe1.06?1201.99-1safe5.510safe3.650safe1.3280---
t2-ctl/P2safe0.23safe0.220safe5.610safe2.720safe1.4380---
t2-ctl/P3unsafe0.24unsafe0.230?4.1-1unsafe7.180?1.298-1---
t2-ctl/P4safe0.44safe0.430?3.03-1safe3.110?0.958-1---
t2-ctl/P5safe5.19?1202.06-1safe14.480safe3.930safe0.5720---
t2-ctl/P6safe0.23safe0.210safe1.770safe2.920safe2.4560---
t2-ctl/P7safe4.28?1203.16-1safe16.730safe4.50safe0.5740---
t2-ctl/P8safe3.42?1201.95-1safe10.530safe3.830safe2.1870---
t2-ctl/P9safe55.39?1201.3-1safe350.670safe4.790safe2.7420---
t2-ctl/P10unsafe21.12unsafe11.820?427.7-1unsafe41.260?11.761-1---
t2-ctl/P11unsafe98.5?1201.77-1?0-1unsafe38.510?10.024-1---
t2-ctl/P12unsafe230.08unsafe17.270?447.91-1?96.91-1?42.084-1---
t2-ctl/P13?1201.88?1201.970?00safe7.57+1safe0.787+1---
t2-ctl/P14safe0.07safe0.060?399.46-1safe3.580safe0.7970---
t2-ctl/P15unsafe19.88?1202.13-1?143.52-1?155.07-1?4.552-1---
t2-ctl/P16safe0.04safe0.070?423.67-1safe3.480safe4.1930---
t2-ctl/P17safe1.17?1201.87-1safe5.730safe25.00safe1.5110---
t2-ctl/P18unsafe0.34?1201.98-1?1.36-1unsafe5.770?5.472-1---
t2-ctl/P19unsafe0.23unsafe0.10?3.15-1unsafe12.090?4.833-1---
t2-ctl/P20unsafe0.28?1202.06-1?3.22-1unsafe12.630?1122.45-1---
t2-ctl/P21safe0.37safe0.30safe1.240safe2.910safe0.4820---
t2-ctl/P22unsafe0.14unsafe0.140?0.86-1unsafe4.020?1.044-1---
t2-ctl/P23unsafe0.59?1202.05-1?7.74-1unsafe7.730?8.409-1---
t2-ctl/P24unsafe0.52?1202.11-1?2.79-1unsafe8.080?1.49-1---
t2-ctl/P25safe21.36?48.57-1safe21.040safe11.570safe0.6530---
t2-ctl/P26safe1.77safe1.360safe14.490safe5.040?0.747-1---
t2-ctl/P27safe1.13safe0.640safe14.290safe11.890safe0.8670---
t2-ctl/P28safe1.61safe0.940safe25.920safe4.640?0.69-1---
# Benchmarks: 86totalsafeunsafetimetotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlost
765422618.02s412615103.52s-3503524240951.09s-520526144171512.13s-1521736360662.650s-402420000s000