FORMULAS
➀
UNR
➁
UNR
➀
➁
version
fort-h-2.0
CSI
total
122
122
yes
96
86
⌀ yes time
0.02
0.81
total yes time
1.89
69.99
no
26
26
⌀ no time
0.01
0.76
total no time
0.32
19.86
maybe
0
9
timeout
(60s) 0
(60s) 1
⌀ time
0.02
1.71
total time
2.21
209.12
COPS/111
0.01
0.92
COPS/114
0.04
0.71
COPS/115
0.79
0.70
COPS/116
0.06
0.71
COPS/212
0.00
0.88
COPS/213
0.00
0.77
COPS/214
0.07
0.99
COPS/215
0.07
0.81
COPS/21
0.00
0.86
COPS/224
0.00
0.75
COPS/223
0.00
0.87
COPS/225
0.00
0.75
COPS/34
0.00
0.76
COPS/33
0.00
0.80
COPS/36
0.00
0.91
COPS/38
0.00
0.81
COPS/39
0.01
0.84
COPS/40
0.00
0.75
COPS/503
0.00
0.75
COPS/505
0.00
0.73
COPS/506
0.01
0.88
COPS/507
0.01
0.78
COPS/508
0.00
0.75
COPS/509
0.00
8.05
COPS/510
0.00
4.88
COPS/511
0.01
0.86
COPS/512
0.00
2.37
COPS/557
0.00
2.39
COPS/543
0.00
0.84
COPS/647
0.00
0.74
COPS/648
0.00
0.76
COPS/649
0.00
0.77
COPS/650
0.09
0.79
COPS/652
0.00
0.76
COPS/651
0.02
0.77
COPS/653
0.00
0.77
COPS/654
0.04
0.77
COPS/655
0.00
0.77
COPS/656
0.00
0.77
COPS/657
0.00
0.76
COPS/658
0.01
0.76
COPS/659
0.00
0.76
COPS/660
0.00
0.70
COPS/661
0.01
0.79
COPS/662
0.00
0.77
COPS/663
0.01
0.76
COPS/664
0.00
0.75
COPS/665
0.01
0.77
COPS/667
0.01
0.76
COPS/666
0.01
0.78
COPS/668
0.00
0.74
COPS/670
0.00
0.76
COPS/669
0.00
0.76
COPS/671
0.09
0.77
COPS/672
0.00
0.77
COPS/673
0.00
0.78
COPS/674
0.00
0.78
COPS/675
0.08
0.76
COPS/676
0.01
0.78
COPS/677
0.00
0.76
COPS/678
0.00
0.77
COPS/679
0.00
0.77
COPS/680
0.03
0.76
COPS/681
0.09
0.77
COPS/682
0.00
0.74
COPS/683
0.00
0.76
COPS/684
0.00
0.74
COPS/685
0.00
0.73
COPS/686
0.00
0.76
COPS/687
0.00
0.77
COPS/688
0.00
0.77
COPS/689
0.00
0.74
COPS/690
0.02
0.74
COPS/691
0.00
0.75
COPS/692
0.00
0.75
COPS/693
0.00
0.77
COPS/694
0.00
0.71
COPS/695
0.00
0.74
COPS/696
0.00
0.75
COPS/697
0.00
0.76
COPS/698
0.00
0.75
COPS/699
0.02
0.75
COPS/700
0.00
0.76
COPS/701
0.00
0.77
COPS/702
0.00
0.74
COPS/703
0.25
0.77
COPS/704
0.00
0.76
COPS/705
0.00
0.87
COPS/706
0.00
0.75
COPS/707
0.00
0.73
COPS/708
0.15
0.74
COPS/709
0.00
0.76
COPS/710
0.00
0.75
COPS/711
0.00
0.76
COPS/712
0.01
0.75
COPS/713
0.00
0.74
COPS/714
0.00
0.76
COPS/715
0.00
0.76
COPS/716
0.01
0.77
COPS/717
0.00
0.76
COPS/718
0.02
0.76
COPS/719
0.00
0.77
COPS/720
0.00
0.74
COPS/721
0.00
0.76
COPS/731
0.00
7.33
COPS/732
0.00
11.00
COPS/733
0.00
10.95
COPS/734
0.00
0.74
COPS/735
0.00
0.75
COPS/736
0.00
0.74
COPS/737
0.00
0.75
COPS/738
0.00
3.79
COPS/739
0.00
11.56
COPS/740
0.00
0.76
COPS/741
0.14
∞
COPS/74
0.00
1.22
COPS/761
0.00
0.81
COPS/80
0.00
0.76
COPS/800
0.00
0.73
COPS/81
0.00
0.85
COPS/82
0.00
0.75
COPS/84
0.00
0.79