| 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 |
|---|