forked from richard-evans/vampire
-
Notifications
You must be signed in to change notification settings - Fork 0
/
output_0.1_1
128 lines (128 loc) · 4.88 KB
/
output_0.1_1
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
#----------------------------------------------------------------------------------------------------------------------------------------------------------
# Output file for vampire simulation
# time : 2024-06-30 21:28:49 process id : 199355
# hostname : Student08
# path : /home/friweber/vampire
# version : 6.0.0
# githash : ab4919646096b7ce8253c1e394cff1912ba88ea9
#----------------------------------------------------------------------------------------------------------------------------------------------------------
2e-13 114.22 0.945978
4e-13 114.22 0.941712
6e-13 114.22 0.938584
8e-13 114.22 0.938339
1e-12 114.22 0.937375
1.2e-12 114.22 0.937098
1.4e-12 114.22 0.936141
1.6e-12 114.22 0.936212
1.8e-12 114.22 0.935961
2e-12 114.22 0.93585
2.2e-12 114.22 0.936263
2.4e-12 114.22 0.935908
2.6e-12 114.22 0.935466
2.8e-12 114.22 0.935483
3e-12 1659.58 0.704284
3.2e-12 2087.54 0.0194611
3.4e-12 940.1 0.00979874
3.6e-12 666.2 0.0111266
3.8e-12 591.23 0.00998715
4e-12 559.72 0.00797027
4.2e-12 541.86 0.0156871
4.4e-12 531.36 0.0189683
4.6e-12 525.06 0.022443
4.8e-12 520.86 0.024712
5e-12 517.82 0.0242286
5.2e-12 515.37 0.030102
5.4e-12 513.24 0.0382606
5.6e-12 511.31 0.0409189
5.8e-12 509.49 0.0517215
6e-12 507.77 0.052584
6.2e-12 506.12 0.048667
6.4e-12 504.53 0.0523413
6.6e-12 502.99 0.0481525
6.8e-12 501.49 0.0470802
7e-12 500.04 0.0535602
7.2e-12 498.63 0.0530841
7.4e-12 497.26 0.0534488
7.6e-12 495.93 0.049227
7.8e-12 494.63 0.042899
8e-12 493.37 0.0427294
8.2e-12 492.13 0.0505821
8.4e-12 490.93 0.0525737
8.6e-12 489.76 0.0550686
8.8e-12 488.61 0.0591771
9e-12 487.49 0.0608353
9.2e-12 486.4 0.0612964
9.4e-12 485.33 0.0644979
9.6e-12 484.28 0.0605556
9.8e-12 483.25 0.0674324
1e-11 482.25 0.069879
1.02e-11 481.26 0.0681437
1.04e-11 480.3 0.0782138
1.06e-11 479.35 0.0917764
1.08e-11 478.43 0.0930723
1.1e-11 477.52 0.093077
1.12e-11 476.62 0.090966
1.14e-11 475.75 0.0874995
1.16e-11 474.89 0.089805
1.18e-11 474.04 0.094087
1.2e-11 473.21 0.0943571
1.22e-11 472.39 0.0949721
1.24e-11 471.58 0.100173
1.26e-11 470.79 0.101667
1.28e-11 470.02 0.103872
1.3e-11 469.25 0.104658
1.32e-11 468.49 0.10162
1.34e-11 467.75 0.107628
1.36e-11 467.02 0.1103
1.38e-11 466.3 0.110493
1.4e-11 465.59 0.112398
1.42e-11 464.89 0.113751
1.44e-11 464.2 0.11376
1.46e-11 463.52 0.116562
1.48e-11 462.85 0.12135
1.5e-11 462.18 0.121549
1.52e-11 461.53 0.123139
1.54e-11 460.89 0.127221
1.56e-11 460.25 0.131278
1.58e-11 459.62 0.140751
1.6e-11 459 0.139179
1.62e-11 458.39 0.14412
1.64e-11 457.78 0.149399
1.66e-11 457.18 0.150891
1.68e-11 456.59 0.154353
1.7e-11 456.01 0.158431
1.72e-11 455.43 0.153136
1.74e-11 454.86 0.154834
1.76e-11 454.3 0.157072
1.78e-11 453.74 0.159612
1.8e-11 453.19 0.163285
1.82e-11 452.65 0.168214
1.84e-11 452.11 0.171139
1.86e-11 451.58 0.175313
1.88e-11 451.05 0.175882
1.9e-11 450.53 0.177406
1.92e-11 450.02 0.185724
1.94e-11 449.51 0.195117
1.96e-11 449 0.197691
1.98e-11 448.5 0.199254
2e-11 448.01 0.207738
2.02e-11 447.52 0.208433
2.04e-11 447.03 0.206147
2.06e-11 446.55 0.201903
2.08e-11 446.08 0.209526
2.1e-11 445.6 0.218133
2.12e-11 445.14 0.221031
2.14e-11 444.67 0.215349
2.16e-11 444.22 0.221906
2.18e-11 443.76 0.23027
2.2e-11 443.31 0.225972
2.22e-11 442.87 0.22251
2.24e-11 442.43 0.220807
2.26e-11 441.99 0.219651
2.28e-11 441.56 0.223055
2.3e-11 441.13 0.229001
2.32e-11 440.7 0.224462
2.34e-11 440.28 0.228049
2.36e-11 439.86 0.236965
2.38e-11 439.45 0.241223
2.4e-11 439.04 0.243032