Certifying the Weighted Path Ordering: Benchmarks that only NaTT proves terminating39411

Job info CSV
benchmark NaTT v.1.6c Certifiable
Ex1_Luc02b_GM.xml 5161247 YES 0.08/0.23 (CERTIFIED 0.38)
Ex1_Luc02b_iGM.xml 5161714 YES 0.20/0.51 (CERTIFIED 1.32)
Ex3_12_Luc96a_GM.xml 5161252 YES 0.07/0.16 (CERTIFIED 0.28)
Ex3_12_Luc96a_iGM.xml 5161300 YES 0.13/0.29 (CERTIFIED 0.88)
Ex3_2_Luc97_C.xml 5161457 YES 0.93/0.92 (CERTIFIED 1.72)
Ex3_2_Luc97_FR.xml 5161559 YES 0.13/0.34 (CERTIFIED 0.51)
Ex3_2_Luc97_GM.xml 5161414 YES 0.09/0.26 (CERTIFIED 0.44)
Ex3_2_Luc97_iGM.xml 5161576 YES 0.73/0.72 (CERTIFIED 1.62)
Ex3_2_Luc97_Z.xml 5161253 YES 0.13/0.37 (CERTIFIED 0.80)
Ex4_7_37_Bor03_GM.xml 5161305 YES 0.65/0.61 (CERTIFIED 1.44)
Ex4_7_37_Bor03_iGM.xml 5161633 YES 2.45/2.23 (CERTIFIED 3.55)
Ex4_Zan97_GM.xml 5161708 YES 0.07/0.23 (CERTIFIED 0.46)
Ex4_Zan97_iGM.xml 5161605 YES 0.18/0.54 (CERTIFIED 1.39)
Ex5_7_Luc97_C.xml 5161711 YES 2.0/1.84 (CERTIFIED 2.82)
Ex5_7_Luc97_FR.xml 5161320 YES 0.17/0.47 (CERTIFIED 1.10)
Ex5_7_Luc97_GM.xml 5161359 YES 0.57/0.61 (CERTIFIED 1.55)
Ex5_7_Luc97_iGM.xml 5161615 YES 2.07/1.92 (CERTIFIED 3.73)
Ex5_7_Luc97_Z.xml 5161552 YES 0.17/0.48 (CERTIFIED 1.09)
Ex7_BLR02_GM.xml 5161674 YES 0.11/0.32 (CERTIFIED 0.68)
Ex7_BLR02_iGM.xml 5161651 YES 0.64/0.60 (CERTIFIED 1.60)
Ex8_BLR02_GM.xml 5161294 YES 0.56/0.56 (CERTIFIED 1.50)
Ex8_BLR02_iGM.xml 5161627 YES 0.88/0.79 (CERTIFIED 1.75)
ExSec4_2_DLMMU04_GM.xml 5161408 YES 0.62/0.63 (CERTIFIED 1.07)
ExSec4_2_DLMMU04_iGM.xml 5161567 YES 2.58/2.34 (CERTIFIED 5.94)
LengthOfFiniteLists_complete_noand_iGM.xml 5161263 YES 127.33/124.12 (CERTIFIED 55.09)
LISTUTILITIES_complete_GM.xml 5161570 YES 24.45/22.82 (CERTIFIED 7.79)
LISTUTILITIES_complete_iGM.xml 5161370 YES 119.65/114.63 (CERTIFIED 61.18)
LISTUTILITIES_nokinds_GM.xml 5161675 YES 5.18/4.77 (CERTIFIED 4.32)
LISTUTILITIES_nokinds_iGM.xml 5161275 YES 20.95/19.34 (CERTIFIED 17.70)
LISTUTILITIES_nokinds_noand_GM.xml 5161403 YES 13.24/12.71 (CERTIFIED 5.48)
LISTUTILITIES_nokinds_noand_iGM.xml 5161343 YES 70.91/68.94 (CERTIFIED 43.98)
LISTUTILITIES_nosorts_GM.xml 5161591 YES 0.96/0.92 (CERTIFIED 1.56)
LISTUTILITIES_nosorts_iGM.xml 5161250 YES 3.06/2.78 (CERTIFIED 5.04)
LISTUTILITIES_nosorts_noand_GM.xml 5161517 YES 4.12/3.86 (CERTIFIED 3.00)
LISTUTILITIES_nosorts_noand_iGM.xml 5161614 YES 16.91/15.88 (CERTIFIED 23.18)
MYNAT_complete_noand_iGM.xml 5161661 YES 76.96/75.84 (CERTIFIED 46.46)
36