Benchmark 2026-05-17_18-21-10

Champ	Valeur
Date	2026-05-17_18-21-10
Répertoire	/home/delahayed/problems/casc/casc-30-2025/Problems/FOF
Home	/home/delahaye/ip/bench/problems/casc/casc-30-2025/Problems/FOF
Logs	/home/delahayed/benchs-ip/logs
Time limit	3
Robust time limit	true
Size limit
Max clauses
Mode	ordered-fallback
CASC	casc-30-2025_fof
Only ip	false
Version ip	c7cb440
Version vampire	Vampire 5.0.1 (Release build, commit 9eeba91d1 on 2026-05-09 07:13:19 +0100)
Version e	E 3.3.2 Countess Grey (37fde70d516b57cb64294f8fe39bc16ece8198f8)
Version zenon	zenon version 0.8.5 [a270] 2020-10-23

Résultats

Problème	Status attendu	Rating	ip	Vampire	E	Zenon
FEQ/AGT005+1.p	Unknown		Timeout 3.108s	Theorem 0.103s	Timeout 3.045s	Timeout 3.390s
FEQ/AGT011+2.p	Unknown		Timeout 3.053s	Theorem 0.098s	Timeout 3.049s	Timeout 3.069s
FEQ/AGT013+1.p	Unknown		Timeout 3.017s	Theorem 0.115s	Timeout 3.049s	Timeout 3.463s
FEQ/AGT013+2.p	Unknown		Timeout 3.014s	Theorem 0.109s	Timeout 3.043s	Timeout 3.070s
FEQ/AGT023+2.p	Unknown		Timeout 3.014s	Theorem 0.107s	Timeout 3.059s	Timeout 3.550s
FEQ/ALG049+1.p	Unknown		Error 5.062s	Theorem 0.234s	Theorem 0.548s	Timeout 3.231s
FEQ/ALG102+1.p	Unknown		Error 4.947s	Theorem 1.219s	Timeout 3.037s	Timeout 3.126s
FEQ/ALG104+1.p	Unknown		Error 5.021s	Theorem 0.219s	Timeout 3.039s	Timeout 3.302s
FEQ/ALG107+1.p	Unknown		Timeout 3.101s	Theorem 0.195s	Theorem 0.076s	Timeout 3.150s
FEQ/ALG127+1.p	Unknown		Error 4.714s	Theorem 0.199s	Theorem 0.508s	Timeout 3.306s
FEQ/ALG210+2.p	Unknown		Timeout 3.018s	Theorem 0.039s	Theorem 0.009s	Timeout 3.575s
FEQ/ALG215+2.p	Unknown		Timeout 4.848s	Theorem 1.169s	Timeout 3.050s	Timeout 5.470s
FEQ/ALG215+4.p	Unknown		Error 5.008s	Timeout 3.009s	Timeout 7.861s	Timeout 4.203s
FEQ/ALG216+4.p	Unknown		Error 5.087s	Theorem 2.557s	Timeout 3.180s	Timeout 3.238s
FEQ/BIO005+1.p	Unknown		Error 0.075s	Timeout 2.936s	Timeout 3.078s	Error 0.054s
FEQ/BIO006+1.p	Unknown		Error 0.024s	Timeout 2.957s	Timeout 3.044s	Error 0.062s
FEQ/CAT034+2.p	Unknown		Timeout 3.586s	Theorem 0.672s	Timeout 3.068s	Timeout 4.111s
FEQ/COM125+1.p	Unknown		Timeout 3.420s	Theorem 0.054s	Theorem 0.180s	Unsatisfiable 0.040s
FEQ/COM126+1.p	Unknown		Timeout 3.401s	Theorem 0.739s	Theorem 0.273s	Timeout 3.602s
FEQ/COM127+1.p	Unknown		Timeout 3.405s	Theorem 0.092s	Theorem 0.052s	Timeout 3.188s
FEQ/COM130+1.p	Unknown		Timeout 3.404s	Theorem 0.042s	Theorem 0.025s	Timeout 12.190s
FEQ/COM131+1.p	Unknown		Timeout 3.409s	Timeout 2.986s	Theorem 0.104s	Timeout 11.331s
FEQ/COM133+1.p	Unknown		Timeout 3.403s	Theorem 0.058s	Theorem 0.046s	Unsatisfiable 0.734s
FEQ/COM135+1.p	Unknown		Timeout 3.414s	Theorem 0.136s	Theorem 0.041s	Timeout 4.073s
FEQ/COM141+1.p	Unknown		Timeout 3.406s	Theorem 0.052s	Theorem 0.038s	Unsatisfiable 0.037s
FEQ/COM142+1.p	Unknown		Timeout 3.403s	Theorem 0.143s	Theorem 0.172s	Timeout 3.045s
FEQ/COM143+1.p	Unknown		Timeout 3.403s	Theorem 0.089s	Theorem 0.039s	Timeout 3.244s
FEQ/COM149+1.p	Unknown		Timeout 3.437s	Theorem 0.094s	Theorem 0.034s	Timeout 3.484s
FEQ/CSR003+1.p	Unknown		Timeout 3.044s	Timeout 2.941s	Theorem 0.906s	Timeout 3.122s
FEQ/CSR006+1.p	Unknown		Timeout 3.011s	Theorem 0.130s	Theorem 0.054s	Timeout 3.104s
FEQ/CSR015+1.p	Unknown		Timeout 3.109s	Theorem 0.042s	Theorem 0.013s	Timeout 3.167s
FEQ/CSR037+5.p	Unknown		Timeout 4.940s	Timeout 3.027s	Timeout 3.044s	Timeout 373.686s
FEQ/CSR040+4.p	Unknown		Timeout 3.292s	Theorem 1.238s	Theorem 2.612s	Timeout 4.225s
FEQ/CSR047+4.p	Unknown		Timeout 3.148s	Theorem 0.442s	Theorem 2.438s	Timeout 4.242s
FEQ/CSR047+5.p	Unknown		Timeout 4.779s	Timeout 3.028s	Timeout 3.046s	Timeout 376.746s
FEQ/CSR052+4.p	Unknown		Timeout 3.157s	Theorem 0.445s	Timeout 3.044s	Timeout 4.241s
FEQ/CSR058+4.p	Unknown		Timeout 3.156s	Theorem 2.852s	Theorem 2.442s	Timeout 4.234s
FEQ/CSR069+4.p	Unknown		Timeout 3.154s	Theorem 0.447s	Theorem 2.425s	Timeout 4.031s
FEQ/CSR117+1.p	Unknown		Timeout 3.008s	Theorem 0.040s	Theorem 0.015s	Timeout 3.345s
FEQ/CSR170+1.p	Unknown		Error 5.091s	Timeout 2.937s	Timeout 3.049s	Timeout 3.398s
FEQ/CSR201+1.p	Unknown		Error 5.093s	Timeout 2.950s	Timeout 3.052s	Timeout 3.427s
FEQ/CSR210+1.p	Unknown		Error 5.093s	Timeout 2.934s	Timeout 3.054s	Timeout 3.449s
FEQ/CSR218+1.p	Unknown		Error 5.092s	Theorem 1.128s	Timeout 3.046s	Timeout 3.452s
FEQ/CSR219+1.p	Unknown		Error 5.094s	Timeout 2.982s	Timeout 3.049s	Timeout 3.410s
FEQ/CSR228+1.p	Unknown		Error 5.091s	Timeout 2.915s	Timeout 3.050s	Timeout 3.473s
FEQ/CSR248+1.p	Unknown		Error 5.095s	Theorem 1.068s	Timeout 3.057s	Timeout 3.395s
FEQ/GEO084+1.p	Unknown		Timeout 3.019s	Theorem 0.084s	Theorem 0.144s	Timeout 3.607s
FEQ/GEO087+1.p	Unknown		Unsatisfiable 0.026s	Theorem 0.065s	Theorem 0.010s	Timeout 3.794s
FEQ/GEO088+1.p	Unknown		Timeout 3.014s	Theorem 0.192s	Timeout 3.049s	Timeout 3.190s
FEQ/GEO089+1.p	Unknown		Timeout 3.008s	Theorem 0.184s	Timeout 3.049s	Timeout 3.851s
FEQ/GEO109+1.p	Unknown		Timeout 3.050s	Timeout 2.927s	Timeout 3.054s	Timeout 3.997s
FEQ/GEO111+1.p	Unknown		Timeout 3.016s	Theorem 0.051s	Theorem 0.037s	Timeout 5.103s
FEQ/GEO125+1.p	Unknown		Timeout 3.038s	Theorem 0.058s	Theorem 0.014s	Timeout 3.524s
FEQ/GEO126+1.p	Unknown		Timeout 3.011s	Theorem 0.058s	Theorem 0.366s	Timeout 3.113s
FEQ/GEO127+1.p	Unknown		Timeout 3.010s	Theorem 0.054s	Theorem 0.012s	Timeout 4.319s
FEQ/GEO137+1.p	Unknown		Timeout 3.011s	Timeout 2.909s	Timeout 3.053s	Timeout 4.008s
FEQ/GEO169+2.p	Unknown		Timeout 3.009s	Theorem 0.720s	Timeout 3.055s	Timeout 3.444s
FEQ/GEO271+1.p	Unknown		Timeout 3.013s	Theorem 0.427s	Theorem 0.085s	Timeout 4.192s
FEQ/GEO274+1.p	Unknown		Timeout 3.014s	Theorem 0.158s	Theorem 0.083s	Timeout 3.185s
FEQ/GEO277+1.p	Unknown		Timeout 3.014s	Theorem 0.268s	Theorem 0.094s	Timeout 4.701s
FEQ/GEO278+1.p	Unknown		Timeout 3.014s	Theorem 0.286s	Theorem 0.092s	Timeout 3.329s
FEQ/GEO281+1.p	Unknown		Timeout 3.014s	Theorem 0.485s	Theorem 1.962s	Timeout 3.953s
FEQ/GEO282+1.p	Unknown		Timeout 3.014s	Theorem 0.145s	Theorem 0.179s	Timeout 3.925s
FEQ/GEO288+1.p	Unknown		Timeout 3.025s	Theorem 0.883s	Theorem 2.360s	Timeout 3.333s
FEQ/GEO290+1.p	Unknown		Timeout 3.014s	Theorem 2.344s	Theorem 0.457s	Timeout 3.116s
FEQ/GEO292+1.p	Unknown		Timeout 3.013s	Theorem 0.228s	Timeout 3.042s	Timeout 3.171s
FEQ/GEO293+1.p	Unknown		Timeout 3.015s	Theorem 0.544s	Timeout 3.041s	Timeout 3.811s
FEQ/GEO295+1.p	Unknown		Timeout 3.020s	Theorem 0.244s	Timeout 3.045s	Timeout 4.725s
FEQ/GEO298+1.p	Unknown		Timeout 3.014s	Theorem 0.715s	Theorem 0.485s	Timeout 3.903s
FEQ/GEO299+1.p	Unknown		Timeout 3.014s	Theorem 0.099s	Theorem 0.052s	Timeout 4.414s
FEQ/GEO300+1.p	Unknown		Timeout 3.014s	Theorem 0.100s	Theorem 0.096s	Timeout 3.401s
FEQ/GEO310+1.p	Unknown		Timeout 3.014s	Timeout 2.917s	Timeout 3.053s	Timeout 3.807s
FEQ/GEO311+1.p	Unknown		Timeout 3.014s	Timeout 2.930s	Timeout 3.038s	Timeout 3.418s
FEQ/GEO317+1.p	Unknown		Timeout 3.014s	Timeout 2.960s	Timeout 3.041s	Timeout 3.650s
FEQ/GEO319+1.p	Unknown		Timeout 3.015s	Timeout 2.924s	Timeout 3.052s	Timeout 3.389s
FEQ/GEO321+1.p	Unknown		Timeout 3.015s	Theorem 1.002s	Timeout 3.043s	Timeout 3.767s
FEQ/GEO323+1.p	Unknown		Timeout 3.014s	Timeout 2.924s	Timeout 3.043s	Timeout 3.480s
FEQ/GEO325+1.p	Unknown		Timeout 3.014s	Timeout 2.923s	Timeout 3.039s	Timeout 3.507s
FEQ/GEO331+1.p	Unknown		Timeout 3.019s	Theorem 0.114s	Theorem 0.054s	Timeout 3.415s
FEQ/GEO337+1.p	Unknown		Timeout 3.015s	Theorem 0.526s	Timeout 3.040s	Timeout 3.406s
FEQ/GEO340+1.p	Unknown		Timeout 3.014s	Theorem 1.205s	Timeout 3.043s	Timeout 3.816s
FEQ/GEO345+1.p	Unknown		Timeout 3.014s	Timeout 2.923s	Timeout 3.045s	Timeout 3.319s
FEQ/GEO350+1.p	Unknown		Timeout 3.014s	Timeout 2.914s	Timeout 3.046s	Timeout 3.983s
FEQ/GEO442+1.p	Unknown		Error 5.049s	Timeout 2.925s	Timeout 3.041s	Timeout 4.172s
FEQ/GEO445+1.p	Unknown		Error 5.051s	Timeout 2.931s	Timeout 3.040s	Timeout 4.314s
FEQ/GEO452+1.p	Unknown		Error 5.053s	Theorem 0.781s	Timeout 3.042s	Unsatisfiable 0.430s
FEQ/GEO475+1.p	Unknown		Error 5.051s	Timeout 2.923s	Timeout 3.048s	Timeout 4.296s
FEQ/GEO491+1.p	Unknown		Timeout 3.038s	Timeout 3.006s	Timeout 3.049s	Timeout 4.508s
FEQ/GEO495+1.p	Unknown		Timeout 3.030s	Timeout 2.972s	Timeout 3.059s	Timeout 3.983s
FEQ/GEO499+1.p	Unknown		Timeout 3.022s	Theorem 0.097s	Theorem 0.070s	Timeout 3.911s
FEQ/GEO500+1.p	Unknown		Timeout 3.011s	Theorem 1.676s	Theorem 0.172s	Timeout 4.342s
FEQ/GEO504+1.p	Unknown		Timeout 3.011s	Theorem 0.140s	Theorem 0.095s	Timeout 4.270s
FEQ/GEO507+1.p	Unknown		Timeout 3.012s	Theorem 1.034s	Timeout 3.051s	Timeout 4.905s
FEQ/GEO513+1.p	Unknown		Timeout 3.011s	Theorem 1.049s	Timeout 3.057s	Timeout 4.453s
FEQ/GEO514+1.p	Unknown		Timeout 3.015s	Theorem 1.022s	Timeout 3.052s	Timeout 4.000s
FEQ/GEO520+1.p	Unknown		Timeout 3.011s	Timeout 2.916s	Timeout 3.053s	Timeout 4.559s
FEQ/GEO524+1.p	Unknown		Timeout 3.013s	Theorem 0.055s	Theorem 0.020s	Timeout 3.489s
FEQ/GEO527+1.p	Unknown		Timeout 3.013s	Timeout 2.969s	Timeout 3.056s	Timeout 3.125s
FEQ/GEO532+1.p	Unknown		Timeout 3.013s	Timeout 2.913s	Timeout 3.051s	Timeout 5.014s
FEQ/GEO559+1.p	Unknown		Timeout 3.030s	Theorem 0.402s	Theorem 0.093s	Timeout 4.114s
FEQ/GEO593+1.p	Unknown		Timeout 3.012s	Theorem 0.426s	Theorem 0.102s	Timeout 4.507s
FEQ/GEO605+1.p	Unknown		Timeout 3.009s	Theorem 0.394s	Theorem 0.130s	Timeout 9.636s
FEQ/GEO610+1.p	Unknown		Timeout 3.011s	Theorem 0.396s	Timeout 3.051s	Timeout 35.987s
FEQ/GEO625+1.p	Unknown		Timeout 3.026s	Theorem 0.406s	Theorem 0.128s	Timeout 25.780s
FEQ/GEO641+1.p	Unknown		Timeout 3.013s	Theorem 0.408s	Theorem 0.086s	Timeout 3.111s
FEQ/GRA002+2.p	Unknown		Unsatisfiable 0.424s	Theorem 0.503s	Theorem 0.516s	Timeout 3.987s
FEQ/GRA007+2.p	Unknown		Unsatisfiable 2.439s	Theorem 0.819s	Theorem 0.051s	Timeout 3.443s
FEQ/GRA009+1.p	Unknown		Unsatisfiable 0.141s	Timeout 2.971s	Theorem 1.956s	Timeout 3.936s
FEQ/GRP622+2.p	Unknown		Timeout 3.978s	Timeout 2.933s	Timeout 3.069s	Timeout 4.861s
FEQ/GRP664+1.p	Unknown		Timeout 3.008s	Timeout 2.996s	Timeout 3.049s	Timeout 3.641s
FEQ/GRP666+6.p	Unknown		Timeout 3.007s	Timeout 3.004s	Timeout 3.050s	Timeout 3.154s
FEQ/GRP776+1.p	Unknown		Timeout 3.046s	Theorem 0.046s	Timeout 3.056s	Timeout 3.856s
FEQ/HAL001+1.p	Unknown		Timeout 3.034s	Timeout 2.931s	Timeout 3.062s	Timeout 4.269s
FEQ/HAL006+1.p	Unknown		Timeout 3.014s	Theorem 0.229s	Theorem 0.221s	Timeout 4.414s
FEQ/HWV090+1.p	Unknown		Error 4.648s	Timeout 3.011s	Timeout 3.061s	Timeout 9.713s
FEQ/HWV107+1.p	Unknown		Error 4.332s	Timeout 3.009s	Timeout 3.065s	Timeout 3.640s
FEQ/HWV128+1.p	Theorem	0.97 v7.1.0	Error 4.957s	Timeout 2.959s	Timeout 3.047s	Timeout 126.348s
FEQ/ITP002+5.p	Unknown		Timeout 3.563s	Timeout 2.929s	Timeout 3.058s	Timeout 4.107s
FEQ/ITP003+1.p	Unknown		Timeout 3.010s	Timeout 2.964s	Timeout 3.045s	Timeout 3.116s
FEQ/ITP003+2.p	Unknown		Timeout 3.019s	Timeout 2.921s	Timeout 3.072s	Timeout 4.113s
FEQ/ITP004+2.p	Unknown		Timeout 3.011s	Theorem 0.078s	Theorem 0.138s	Timeout 3.246s
FEQ/ITP004+4.p	Unknown		Timeout 4.053s	Theorem 1.124s	Timeout 3.068s	Timeout 3.922s
FEQ/ITP004+5.p	Unknown		Timeout 3.800s	Theorem 2.451s	Timeout 3.068s	Timeout 4.142s
FEQ/ITP005+5.p	Unknown		Timeout 3.324s	Theorem 1.361s	Theorem 0.516s	Timeout 4.390s
FEQ/ITP006+1.p	Unknown		Timeout 3.009s	Theorem 0.091s	Timeout 3.051s	Timeout 3.577s
FEQ/ITP009+1.p	Unknown		Timeout 3.008s	Timeout 2.927s	Timeout 3.048s	Timeout 20.717s
FEQ/ITP012+4.p	Unknown		Error 5.297s	Timeout 2.941s	Timeout 3.108s	Timeout 4.015s
FEQ/ITP013+1.p	Unknown		Timeout 3.008s	Theorem 0.121s	Theorem 0.038s	Timeout 3.231s
FEQ/ITP015+4.p	Unknown		Error 5.033s	Timeout 2.920s	Theorem 1.947s	Timeout 3.289s
FEQ/ITP015+5.p	Unknown		Error 5.063s	Timeout 2.930s	Timeout 3.112s	Timeout 3.985s
FEQ/ITP019+5.p	Unknown		Error 5.162s	Theorem 1.323s	Theorem 1.102s	Timeout 4.302s
FEQ/ITP021+1.p	Unknown		Unsatisfiable 0.291s	Theorem 0.224s	Theorem 0.126s	Timeout 3.372s
FEQ/ITP023+4.p	Unknown		Error 5.036s	Timeout 2.984s	Timeout 3.266s	Timeout 3.273s
FEQ/KLE011+1.p	Unknown		Timeout 3.083s	Theorem 0.874s	Theorem 0.087s	Timeout 3.581s
FEQ/KLE071+1.p	Unknown		Timeout 3.026s	Theorem 0.458s	Theorem 2.356s	Timeout 3.897s
FEQ/KLE113+1.p	Unknown		Timeout 3.048s	Theorem 0.049s	Theorem 0.019s	Timeout 3.784s
FEQ/KLE132+1.p	Unknown		Timeout 3.021s	Theorem 0.320s	Theorem 0.052s	Timeout 4.099s
FEQ/KLE170+1.002.p	Unknown		Timeout 3.018s	Theorem 0.671s	Theorem 1.612s	Timeout 3.659s
FEQ/KRS133+1.p	Unknown		Error 4.492s	Theorem 0.094s	Theorem 0.175s	Timeout 3.177s
FEQ/LAT350+1.p	Unknown		Timeout 3.041s	Timeout 2.984s	Timeout 3.138s	Timeout 3.379s
FEQ/LAT374+3.p	Unknown		Error 5.013s	Timeout 2.919s	Timeout 3.170s	Timeout 3.665s
FEQ/LAT378+3.p	Unknown		Error 5.098s	Timeout 2.914s	Timeout 3.189s	Timeout 3.694s
FEQ/LCL448+1.p	Unknown		Timeout 3.037s	Timeout 2.955s	Timeout 3.055s	Timeout 4.054s
FEQ/LCL458+1.p	Unknown		Timeout 3.054s	Timeout 2.979s	Timeout 3.058s	Timeout 4.173s
FEQ/LCL467+1.p	Unknown		Timeout 3.021s	Timeout 2.929s	Timeout 3.053s	Timeout 3.611s
FEQ/LCL479+1.p	Unknown		Timeout 3.010s	Timeout 2.931s	Timeout 3.049s	Timeout 3.916s
FEQ/LCL518+1.p	Unknown		Timeout 3.023s	Theorem 0.643s	Theorem 0.022s	Timeout 3.080s
FEQ/LCL524+1.p	Unknown		Timeout 3.091s	Theorem 0.719s	Theorem 0.170s	Timeout 4.031s
FEQ/LCL537+1.p	Unknown		Timeout 3.068s	Theorem 0.347s	Theorem 0.114s	Timeout 3.486s
FEQ/LCL547+1.p	Unknown		Timeout 3.060s	Timeout 2.919s	Timeout 3.059s	Timeout 3.838s
FEQ/LCL550+1.p	Unknown		Timeout 3.043s	Theorem 1.012s	Theorem 0.087s	Timeout 3.773s
FEQ/LCL552+1.p	Unknown		Timeout 3.013s	Timeout 2.913s	Theorem 0.453s	Timeout 4.555s
FEQ/LCL559+1.p	Unknown		Timeout 3.013s	Timeout 2.910s	Theorem 0.329s	Timeout 4.582s
FEQ/LCL561+1.p	Unknown		Timeout 3.012s	Timeout 2.908s	Theorem 0.344s	Timeout 9.369s
FEQ/LCL888+1.p	Unknown		Timeout 3.010s	Timeout 2.981s	Theorem 2.692s	Error 0.130s
FEQ/LCL889+1.p	Unknown		Timeout 3.008s	Timeout 2.943s	Timeout 3.048s	Timeout 3.404s
FEQ/LCL894+1.p	Unknown		Timeout 3.007s	Timeout 2.942s	Theorem 0.038s	Error 0.317s
FEQ/LCL895+1.p	Unknown		Timeout 3.007s	Theorem 1.700s	Timeout 3.047s	Timeout 3.942s
FEQ/LCL896+1.p	Unknown		Timeout 3.007s	Theorem 0.624s	Theorem 1.576s	Timeout 3.336s
FEQ/LCL898+1.p	Unknown		Timeout 3.007s	Timeout 2.940s	Theorem 0.137s	Timeout 3.620s
FEQ/LCL901+1.p	Unknown		Timeout 3.007s	Theorem 1.723s	Theorem 0.027s	Timeout 3.809s
FEQ/MGT039+2.p	Unknown		Timeout 3.016s	Theorem 0.088s	Theorem 0.011s	Error 0.075s
FEQ/MGT054+1.p	Unknown		Unsatisfiable 0.066s	Theorem 0.053s	Theorem 0.012s	Unsatisfiable 0.039s
FEQ/MGT061+1.p	Unknown		Unsatisfiable 0.074s	Theorem 0.033s	Theorem 0.009s	Error 0.029s
FEQ/MSC010+1.p	Unknown		Error 5.249s	Theorem 0.047s	Theorem 0.105s	Unsatisfiable 0.179s
FEQ/NUM293+1.p	Unknown		Unsatisfiable 0.205s	Theorem 0.028s	Theorem 0.017s	Timeout 3.949s
FEQ/NUM314+1.p	Unknown		Timeout 3.013s	Theorem 1.673s	Timeout 3.044s	Timeout 3.931s
FEQ/NUM317+1.p	Unknown		Timeout 3.014s	Theorem 0.072s	Timeout 3.042s	Timeout 3.446s
FEQ/NUM325+1.p	Unknown		Timeout 3.014s	Theorem 0.070s	Timeout 3.043s	Timeout 3.166s
FEQ/NUM337+1.p	Unknown		Timeout 3.013s	Theorem 0.098s	Timeout 3.044s	Timeout 3.184s
FEQ/NUM479+2.p	Unknown		Timeout 3.014s	Theorem 0.130s	Theorem 0.047s	Timeout 3.432s
FEQ/NUM481+1.p	Unknown		Timeout 3.010s	Theorem 1.757s	Theorem 0.208s	Timeout 3.145s
FEQ/NUM587+1.p	Unknown		Timeout 3.013s	Theorem 0.041s	Theorem 0.015s	Timeout 3.109s
FEQ/NUM656+4.p	Unknown		Timeout 3.019s	Theorem 0.999s	Timeout 3.053s	Timeout 3.279s
FEQ/NUM658+4.p	Unknown		Timeout 3.011s	Timeout 2.948s	Timeout 3.053s	Timeout 3.116s
FEQ/NUM659+4.p	Unknown		Timeout 3.052s	Theorem 0.998s	Timeout 3.053s	Timeout 3.293s
FEQ/NUM671+4.p	Unknown		Timeout 3.011s	Timeout 2.913s	Timeout 3.056s	Timeout 3.178s
FEQ/NUM672+4.p	Unknown		Timeout 3.024s	Timeout 2.977s	Timeout 3.092s	Timeout 3.443s
FEQ/NUM695+4.p	Unknown		Timeout 3.018s	Timeout 2.927s	Timeout 3.057s	Timeout 3.269s
FEQ/NUM701+4.p	Unknown		Timeout 3.014s	Timeout 2.933s	Timeout 3.055s	Timeout 3.066s
FEQ/NUM703+4.p	Unknown		Timeout 3.029s	Timeout 2.919s	Timeout 3.057s	Timeout 3.271s
FEQ/NUM708+4.p	Unknown		Timeout 3.014s	Theorem 2.381s	Timeout 3.055s	Timeout 3.227s
FEQ/NUM736+4.p	Unknown		Timeout 3.036s	Theorem 1.309s	Timeout 3.050s	Timeout 3.361s
FEQ/NUM782+4.p	Unknown		Timeout 3.019s	Timeout 2.985s	Timeout 3.036s	Timeout 3.476s
FEQ/NUM783+4.p	Unknown		Timeout 3.022s	Timeout 2.937s	Timeout 3.044s	Timeout 3.482s
FEQ/NUM785+4.p	Unknown		Timeout 3.060s	Timeout 2.947s	GaveUp 0.019s	Timeout 3.490s
FEQ/NUM787+4.p	Unknown		Timeout 3.051s	Timeout 2.932s	GaveUp 0.018s	Timeout 3.448s
FEQ/NUM788+4.p	Unknown		Timeout 3.020s	Timeout 2.924s	GaveUp 0.021s	Timeout 3.697s
FEQ/NUM789+4.p	Unknown		Timeout 3.024s	Timeout 2.921s	GaveUp 0.018s	Timeout 3.464s
FEQ/NUM790+4.p	Unknown		Timeout 3.024s	Timeout 2.913s	GaveUp 0.018s	Timeout 3.621s
FEQ/NUM791+4.p	Unknown		Timeout 3.039s	Timeout 2.917s	GaveUp 0.018s	Timeout 3.542s
FEQ/NUM835+1.p	Unknown		Timeout 3.007s	Theorem 0.071s	Theorem 0.006s	Timeout 3.477s
FEQ/NUM839+2.p	Unknown		Timeout 3.008s	Theorem 0.040s	Theorem 0.020s	Timeout 3.106s
FEQ/NUM841+2.p	Unknown		Timeout 3.007s	Theorem 0.476s	Theorem 0.020s	Timeout 3.272s
FEQ/NUM852+1.p	Unknown		Timeout 3.007s	Theorem 0.135s	Theorem 0.016s	Timeout 4.136s
FEQ/NUM853+2.p	Unknown		Timeout 3.007s	Theorem 0.036s	Theorem 0.061s	Timeout 3.350s
FEQ/NUM856+1.p	Unknown		Timeout 3.009s	Theorem 1.180s	Theorem 0.225s	Timeout 3.936s
FEQ/NUM858+1.p	Unknown		Timeout 3.007s	Theorem 0.189s	Timeout 3.049s	Error 0.064s
FEQ/NUM862+1.p	Unknown		Timeout 3.007s	Theorem 1.185s	Timeout 3.052s	Error 0.038s
FEQ/NUM924+7.p	Unknown		Timeout 3.035s	Theorem 1.529s	Theorem 0.147s	Timeout 3.617s
FEQ/NUM925+3.p	Unknown		Timeout 3.064s	Theorem 0.128s	Theorem 0.246s	Timeout 3.128s
FEQ/NUM925+7.p	Unknown		Timeout 3.033s	Theorem 1.039s	Theorem 0.379s	Timeout 3.846s
FEQ/NUM926+2.p	Unknown		Timeout 3.013s	Theorem 1.393s	Timeout 3.049s	Timeout 4.481s
FEQ/NUM926+4.p	Unknown		Timeout 3.144s	Timeout 2.945s	Timeout 3.050s	Timeout 3.684s
FEQ/NUM926+7.p	Unknown		Timeout 3.055s	Timeout 2.934s	Theorem 0.236s	Timeout 3.587s
FEQ/NUN058+2.p	Unknown		Timeout 3.060s	Theorem 0.501s	Timeout 3.058s	Timeout 3.365s
FEQ/NUN075+2.p	Unknown		Timeout 3.007s	Theorem 0.476s	Timeout 3.049s	Timeout 3.526s
FEQ/NUN086+2.p	Unknown		Timeout 3.026s	Theorem 0.057s	Theorem 0.009s	Timeout 3.473s
FEQ/PRO010+3.p	Unknown		Unsatisfiable 0.420s	Theorem 0.032s	Theorem 0.013s	Timeout 5.256s
FEQ/PRO012+1.p	Unknown		Unsatisfiable 0.092s	Theorem 0.241s	Theorem 0.145s	Timeout 4.164s
FEQ/PRO018+2.p	Unknown		Unsatisfiable 0.143s	Theorem 0.466s	Theorem 0.038s	Timeout 3.269s
FEQ/PUZ077+1.p	Unknown		Error 4.235s	Theorem 0.540s	Timeout 3.034s	Timeout 5.157s
FEQ/PUZ078+1.p	Unknown		Timeout 3.041s	Theorem 0.047s	Theorem 0.156s	Timeout 3.228s
FEQ/REL020+2.p	Unknown		Timeout 3.040s	Timeout 2.915s	Timeout 3.047s	Timeout 3.247s
FEQ/REL021+1.p	Unknown		Timeout 3.011s	Timeout 2.936s	Timeout 3.049s	Timeout 3.200s
FEQ/REL033+1.p	Unknown		Timeout 3.008s	Timeout 2.947s	Timeout 3.047s	Timeout 3.511s
FEQ/REL033+4.p	Unknown		Timeout 3.010s	Timeout 2.941s	Timeout 3.048s	Timeout 3.821s
FEQ/REL035+1.p	Unknown		Timeout 3.008s	Timeout 2.910s	Timeout 3.047s	Timeout 3.851s
FEQ/RNG085+2.p	Unknown		Timeout 3.009s	Timeout 2.932s	Timeout 3.065s	Timeout 3.313s
FEQ/RNG098+2.p	Unknown		Unsatisfiable 0.907s	Theorem 0.321s	Theorem 0.081s	Timeout 3.262s
FEQ/SCT115+1.p	Unknown		Timeout 3.076s	Theorem 0.274s	Timeout 3.050s	Timeout 6.542s
FEQ/SCT123+1.p	Unknown		Timeout 3.022s	Theorem 0.214s	Timeout 3.055s	Timeout 3.617s
FEQ/SCT131+1.p	Unknown		Timeout 3.017s	Theorem 0.347s	Theorem 0.178s	Timeout 3.691s
FEQ/SCT146+1.p	Unknown		Timeout 3.018s	Theorem 0.123s	Theorem 0.158s	Timeout 3.782s
FEQ/SCT147+1.p	Unknown		Timeout 3.016s	Theorem 0.115s	Theorem 0.150s	Timeout 3.789s
FEQ/SCT151+1.p	Unknown		Timeout 3.014s	Theorem 0.287s	Timeout 3.061s	Timeout 3.356s
FEQ/SCT152+1.p	Unknown		Timeout 3.014s	Theorem 0.280s	Timeout 3.068s	Timeout 3.729s
FEQ/SCT154+1.p	Unknown		Timeout 3.014s	Theorem 0.223s	Timeout 3.055s	Timeout 3.959s
FEQ/SCT170+6.p	Unknown		Timeout 3.028s	Timeout 2.917s	Timeout 3.064s	Timeout 3.803s
FEQ/SET013+4.p	Unknown		Timeout 3.039s	Theorem 0.042s	Theorem 0.009s	Unsatisfiable 0.087s
FEQ/SET017+1.p	Unknown		Unsatisfiable 0.178s	Theorem 0.014s	Theorem 0.010s	Timeout 3.467s
FEQ/SET018+1.p	Unknown		Unsatisfiable 0.161s	Theorem 0.143s	Theorem 0.195s	Timeout 3.746s
FEQ/SET072+1.p	Unknown		Unsatisfiable 0.152s	Theorem 0.039s	Theorem 0.010s	Timeout 3.512s
FEQ/SET082+1.p	Unknown		Timeout 3.008s	Theorem 0.042s	Theorem 2.052s	Timeout 3.197s
FEQ/SET090+1.p	Unknown		Unsatisfiable 0.165s	Theorem 0.078s	Theorem 0.026s	Timeout 3.270s
FEQ/SET095+1.p	Unknown		Unsatisfiable 0.122s	Theorem 0.076s	Theorem 3.050s	Timeout 3.504s
FEQ/SET098+1.p	Unknown		Unsatisfiable 0.188s	Theorem 1.971s	Timeout 3.043s	Timeout 3.548s
FEQ/SET144+3.p	Unknown		Timeout 3.009s	Theorem 0.167s	Timeout 3.049s	Timeout 3.418s
FEQ/SET156+4.p	Unknown		Timeout 3.010s	Theorem 0.040s	Timeout 3.051s	Timeout 3.640s
FEQ/SET637+3.p	Unknown		Unsatisfiable 0.015s	Theorem 0.039s	Theorem 0.010s	Timeout 3.115s
FEQ/SET649+3.p	Unknown		Timeout 3.011s	Theorem 0.183s	Theorem 0.099s	Timeout 3.055s
FEQ/SET668+3.p	Unknown		Timeout 3.027s	Theorem 0.087s	Theorem 0.022s	Timeout 3.612s
FEQ/SET710+4.p	Unknown		Timeout 3.038s	Theorem 0.194s	Timeout 3.061s	Timeout 3.045s
FEQ/SET756+4.p	Unknown		Timeout 3.011s	Theorem 0.914s	Timeout 3.060s	Timeout 3.369s
FEQ/SET763+4.p	Unknown		Timeout 3.011s	Theorem 0.044s	Theorem 0.070s	Timeout 3.343s
FEQ/SEU025+1.p	Unknown		Timeout 3.019s	Theorem 0.078s	Theorem 1.187s	Timeout 3.325s
FEQ/SEU053+1.p	Unknown		Timeout 3.010s	Theorem 0.070s	Theorem 1.287s	Timeout 3.459s
FEQ/SEU176+2.p	Unknown		Timeout 3.008s	Theorem 0.988s	Timeout 3.047s	Error 1.830s
FEQ/SEU258+2.p	Unknown		Timeout 3.011s	Timeout 2.946s	Timeout 3.040s	Timeout 3.376s
FEQ/SEU299+2.p	Unknown		Timeout 3.017s	Timeout 2.914s	Timeout 3.043s	Timeout 3.143s
FEQ/SEU314+2.p	Unknown		Timeout 3.034s	Timeout 2.936s	Timeout 3.043s	Timeout 3.124s
FEQ/SEU356+2.p	Unknown		Timeout 3.069s	Theorem 0.127s	Timeout 3.046s	Timeout 3.152s
FEQ/SEU390+1.p	Unknown		Timeout 3.016s	Timeout 3.010s	Timeout 3.044s	Timeout 3.591s
FEQ/SEU419+1.p	Unknown		Timeout 3.016s	Theorem 0.173s	Timeout 3.048s	Timeout 3.395s
FEQ/SEU424+2.p	Unknown		Timeout 4.843s	Timeout 2.941s	Timeout 3.065s	Timeout 6.189s
FEQ/SEU425+3.p	Unknown		Error 5.011s	Theorem 2.832s	Timeout 3.128s	Timeout 3.685s
FEQ/SEU429+2.p	Unknown		Timeout 3.783s	Timeout 2.933s	Timeout 3.068s	Timeout 6.003s
FEQ/SEU429+3.p	Unknown		Error 5.082s	Theorem 0.721s	Theorem 0.550s	Timeout 3.848s
FEQ/SEU447+2.p	Unknown		Timeout 3.772s	Timeout 2.959s	Timeout 3.082s	Timeout 5.865s
FEQ/SEV517+1.p	Unknown		Unsatisfiable 1.229s	Theorem 0.039s	Theorem 0.546s	Timeout 3.864s
FEQ/SEV522+1.p	Unknown		Unsatisfiable 1.272s	Timeout 2.923s	Timeout 3.065s	Timeout 3.250s
FEQ/SEV551+1.p	Unknown		Timeout 3.035s	Theorem 0.610s	Timeout 3.055s	Timeout 3.796s
FEQ/SEV554+1.p	Unknown		Timeout 3.013s	Timeout 2.958s	Timeout 3.053s	Timeout 3.697s
FEQ/SEV556+1.p	Unknown		Timeout 3.014s	Timeout 2.950s	Timeout 3.051s	Timeout 3.060s
FEQ/SEV560+1.p	Unknown		Timeout 3.011s	Timeout 2.930s	Timeout 3.061s	Timeout 3.322s
FEQ/SEV562+1.p	Unknown		Timeout 3.011s	Theorem 2.648s	Timeout 3.055s	Timeout 3.352s
FEQ/SEV565+1.p	Unknown		Timeout 3.010s	Theorem 1.831s	Timeout 3.049s	Timeout 3.179s
FEQ/SEV572+1.p	Unknown		Timeout 3.012s	Theorem 0.479s	Timeout 3.051s	Timeout 3.343s
FEQ/SEV579+1.p	Unknown		Timeout 3.014s	Theorem 0.099s	Timeout 3.050s	Timeout 3.197s
FEQ/SEV580+1.p	Unknown		Timeout 3.014s	Theorem 0.125s	Timeout 3.047s	Timeout 3.551s
FEQ/SWB012+1.p	Unknown		Timeout 3.059s	Theorem 0.382s	Timeout 3.047s	Timeout 3.530s
FEQ/SWB013+1.p	Unknown		Timeout 3.019s	Timeout 2.985s	Timeout 3.052s	Timeout 3.343s
FEQ/SWB014+1.p	Unknown		Timeout 3.023s	Theorem 0.045s	Timeout 3.058s	Timeout 3.426s
FEQ/SWB020+1.p	Unknown		Timeout 3.027s	Theorem 0.893s	Timeout 3.054s	Timeout 3.272s
FEQ/SWB022+1.p	Unknown		Timeout 3.023s	Theorem 0.395s	Timeout 3.049s	Timeout 3.757s
FEQ/SWB023+1.p	Unknown		Timeout 3.019s	Theorem 0.044s	Timeout 3.054s	Timeout 4.892s
FEQ/SWB025+1.p	Unknown		Timeout 3.020s	Theorem 0.038s	Timeout 3.059s	Timeout 3.368s
FEQ/SWB026+1.p	Unknown		Timeout 3.020s	Theorem 0.147s	Timeout 3.050s	Timeout 3.728s
FEQ/SWB027+1.p	Unknown		Timeout 3.019s	Theorem 0.677s	Timeout 3.063s	Timeout 3.778s
FEQ/SWB028+1.p	Unknown		Timeout 3.022s	Theorem 0.687s	Timeout 3.054s	Timeout 3.591s
FEQ/SWB028+2.p	Unknown		Unsatisfiable 0.334s	Theorem 0.360s	Theorem 0.216s	Timeout 3.071s
FEQ/SWB039+1.p	Unknown		Timeout 3.019s	Theorem 0.058s	Timeout 3.046s	Timeout 3.237s
FEQ/SWB043+1.p	Unknown		Timeout 3.020s	Theorem 0.414s	Timeout 3.051s	Timeout 3.198s
FEQ/SWB045+1.p	Unknown		Timeout 3.021s	Theorem 0.069s	Timeout 3.048s	Timeout 3.762s
FEQ/SWB046+1.p	Unknown		Timeout 3.020s	Theorem 0.043s	Timeout 3.051s	Timeout 3.754s
FEQ/SWB047+1.p	Unknown		Timeout 3.022s	Theorem 0.051s	Timeout 3.049s	Timeout 3.803s
FEQ/SWB050+1.p	Unknown		Timeout 3.021s	Theorem 0.196s	Timeout 3.049s	Timeout 3.822s
FEQ/SWB055+1.p	Unknown		Timeout 3.026s	Theorem 0.437s	Timeout 3.052s	Timeout 3.206s
FEQ/SWB056+1.p	Unknown		Timeout 3.019s	Theorem 0.052s	Timeout 3.050s	Timeout 4.942s
FEQ/SWB058+1.p	Unknown		Timeout 3.019s	Theorem 0.039s	Timeout 3.045s	Timeout 3.314s
FEQ/SWB059+1.p	Unknown		Timeout 3.019s	Theorem 0.050s	Timeout 3.046s	Timeout 3.193s
FEQ/SWB062+1.p	Unknown		Timeout 3.019s	Theorem 0.038s	Timeout 3.048s	Timeout 3.341s
FEQ/SWB067+1.p	Unknown		Timeout 3.020s	Theorem 0.097s	Timeout 3.051s	Timeout 3.277s
FEQ/SWB069+1.p	Unknown		Timeout 3.018s	Theorem 0.067s	Timeout 3.049s	Timeout 3.267s
FEQ/SWB073+1.p	Unknown		Timeout 3.020s	Theorem 0.062s	Theorem 0.612s	Timeout 3.231s
FEQ/SWB075+1.p	Unknown		Timeout 3.021s	Theorem 0.057s	Timeout 3.051s	Timeout 3.232s
FEQ/SWB077+1.p	Unknown		Timeout 3.021s	Theorem 0.110s	Timeout 3.053s	Timeout 3.277s
FEQ/SWB083+1.p	Unknown		Timeout 3.018s	Theorem 0.056s	Timeout 3.050s	Timeout 3.535s
FEQ/SWB086+1.p	Unknown		Timeout 3.034s	Theorem 0.402s	Timeout 3.052s	Timeout 3.311s
FEQ/SWB092+1.p	Unknown		Timeout 3.020s	Theorem 0.504s	Timeout 3.053s	Timeout 3.601s
FEQ/SWB095+1.p	Unknown		Timeout 3.019s	Theorem 0.932s	Timeout 3.054s	Timeout 3.303s
FEQ/SWB097+1.p	Unknown		Timeout 3.020s	Theorem 0.045s	Timeout 3.049s	Timeout 3.595s
FEQ/SWB098+1.p	Unknown		Timeout 3.023s	Theorem 0.054s	Timeout 3.050s	Timeout 3.315s
FEQ/SWB099+1.p	Unknown		Timeout 3.019s	Theorem 0.879s	Timeout 3.049s	Timeout 3.389s
FEQ/SWB100+1.p	Unknown		Timeout 3.021s	Theorem 0.041s	Timeout 3.052s	Timeout 3.313s
FEQ/SWB101+1.p	Unknown		Timeout 3.019s	Theorem 1.542s	Timeout 3.055s	Timeout 3.250s
FEQ/SWB102+1.p	Unknown		Timeout 3.036s	Theorem 1.617s	Timeout 3.051s	Timeout 3.325s
FEQ/SWB103+1.p	Unknown		Timeout 3.021s	Theorem 1.570s	Timeout 3.054s	Timeout 3.301s
FEQ/SWB104+1.p	Unknown		Timeout 3.023s	Theorem 0.451s	Timeout 3.050s	Timeout 3.498s
FEQ/SWB108+1.p	Unknown		Timeout 3.019s	Theorem 1.546s	Timeout 3.049s	Timeout 3.350s
FEQ/SWC005+1.p	Unknown		Timeout 3.033s	Theorem 0.089s	Theorem 0.065s	Timeout 3.781s
FEQ/SWC199+1.p	Unknown		Timeout 3.012s	Timeout 2.925s	Timeout 3.046s	Timeout 3.079s
FEQ/SWC386+1.p	Unknown		Timeout 3.011s	Theorem 0.035s	Theorem 0.015s	Timeout 3.490s
FEQ/SWV034+1.p	Unknown		Timeout 3.056s	Theorem 0.060s	Theorem 1.208s	Error 0.460s
FEQ/SWV053+1.p	Unknown		Timeout 3.012s	Theorem 0.055s	Timeout 3.046s	Timeout 3.339s
FEQ/SWV055+1.p	Unknown		Timeout 3.043s	Theorem 0.070s	Theorem 0.082s	Timeout 3.056s
FEQ/SWV089+1.p	Unknown		Timeout 3.051s	Theorem 0.062s	Timeout 3.042s	Error 2.873s
FEQ/SWV090+1.p	Unknown		Timeout 3.051s	Theorem 0.066s	Theorem 0.085s	Error 3.143s
FEQ/SWV092+1.p	Unknown		Timeout 3.065s	Theorem 0.054s	Theorem 0.046s	Timeout 3.052s
FEQ/SWV118+1.p	Unknown		Error 4.933s	Timeout 2.991s	Timeout 3.047s	Timeout 3.410s
FEQ/SWV198+1.p	Unknown		Timeout 3.088s	Theorem 0.057s	Theorem 0.021s	Unsatisfiable 0.120s
FEQ/SWV199+1.p	Unknown		Timeout 3.054s	Theorem 0.053s	Theorem 0.049s	Timeout 4.222s
FEQ/SWV233+1.p	Unknown		Timeout 3.045s	Theorem 0.038s	Theorem 0.051s	Timeout 4.581s
FEQ/SWV234+1.p	Unknown		Timeout 3.009s	Timeout 2.918s	Timeout 3.045s	Timeout 3.809s
FEQ/SWV234+2.p	Unknown		Timeout 3.014s	Theorem 0.328s	Theorem 0.011s	Timeout 3.744s
FEQ/SWV374+1.p	Unknown		Timeout 3.048s	Theorem 0.064s	Theorem 0.054s	Error 0.026s
FEQ/SWV404+1.p	Unknown		Timeout 3.008s	Theorem 0.148s	Theorem 0.389s	Timeout 3.916s
FEQ/SWV408+2.p	Unknown		Timeout 3.013s	Theorem 0.067s	Theorem 0.078s	Error 0.138s
FEQ/SWV449+1.p	Unknown		Timeout 3.039s	Theorem 0.060s	Theorem 0.079s	Error 3.070s
FEQ/SWV451+1.p	Unknown		Timeout 3.009s	Theorem 0.129s	Timeout 3.044s	Error 2.497s
FEQ/SWV452+1.p	Unknown		Timeout 3.010s	Theorem 0.087s	Timeout 3.047s	Error 2.371s
FEQ/SWV453+1.p	Unknown		Timeout 3.008s	Theorem 0.047s	Timeout 3.051s	Error 0.425s
FEQ/SWV455+1.p	Unknown		Timeout 3.020s	Theorem 0.054s	Theorem 0.133s	Error 2.011s
FEQ/SWV457+1.p	Unknown		Timeout 3.009s	Theorem 0.077s	Theorem 0.182s	Error 0.165s
FEQ/SWV458+1.p	Unknown		Timeout 3.011s	Theorem 0.123s	Timeout 3.056s	Error 0.714s
FEQ/SWV459+1.p	Unknown		Timeout 3.009s	Theorem 0.121s	Timeout 3.047s	Error 0.908s
FEQ/SWV460+1.p	Unknown		Timeout 3.008s	Theorem 0.049s	Timeout 3.047s	Error 0.786s
FEQ/SWV462+1.p	Unknown		Timeout 3.010s	Theorem 0.180s	Theorem 1.892s	Error 3.736s
FEQ/SWV466+1.p	Unknown		Timeout 3.009s	Theorem 0.080s	Theorem 0.773s	Error 1.549s
FEQ/SWV468+1.p	Unknown		Timeout 3.009s	Theorem 0.056s	Theorem 1.093s	Error 2.748s
FEQ/SWV471+1.p	Unknown		Timeout 3.008s	Theorem 0.127s	Timeout 3.047s	Error 0.120s
FEQ/SWV472+1.p	Unknown		Timeout 3.008s	Theorem 0.125s	Timeout 3.044s	Error 0.455s
FEQ/SWV473+1.p	Unknown		Timeout 3.009s	Theorem 0.040s	Theorem 2.187s	Error 0.051s
FEQ/SWV476+1.p	Unknown		Timeout 3.013s	Theorem 0.137s	Timeout 3.047s	Error 0.591s
FEQ/SWV479+1.p	Unknown		Timeout 3.020s	Theorem 0.164s	Timeout 3.052s	Error 0.162s
FEQ/SWV480+1.p	Unknown		Timeout 3.008s	Theorem 0.129s	Timeout 3.045s	Error 0.346s
FEQ/SWV486+1.p	Unknown		Timeout 3.007s	Theorem 0.073s	Theorem 0.111s	Timeout 4.192s
FEQ/SWV486+2.p	Unknown		Timeout 3.007s	Theorem 0.075s	Timeout 3.052s	Timeout 4.542s
FEQ/SWV487+1.p	Unknown		Timeout 3.075s	Theorem 0.068s	Theorem 0.065s	Timeout 3.074s
FEQ/SWV490+3.p	Unknown		Timeout 3.195s	Theorem 0.265s	Timeout 3.048s	Error 0.116s
FEQ/SWV491+4.p	Unknown		Timeout 3.038s	Theorem 0.278s	Timeout 3.052s	Error 0.272s
FEQ/SWV492+1.p	Unknown		Timeout 3.007s	Theorem 0.073s	Timeout 3.054s	Timeout 4.093s
FEQ/SWW097+1.p	Unknown		Timeout 3.022s	Theorem 2.955s	Theorem 1.515s	Timeout 3.541s
FEQ/SWW102+1.p	Unknown		Timeout 3.008s	Theorem 0.123s	Theorem 0.012s	Timeout 3.553s
FEQ/SWW238+1.p	Unknown		Timeout 3.022s	Theorem 0.234s	Theorem 0.546s	Timeout 3.609s
FEQ/SWW273+1.p	Unknown		Timeout 3.021s	Timeout 2.967s	Timeout 3.056s	Timeout 3.548s
FEQ/SWW291+1.p	Unknown		Timeout 3.060s	Timeout 2.953s	Timeout 3.051s	Timeout 3.602s
FEQ/SWW297+1.p	Unknown		Timeout 3.100s	Theorem 0.185s	Theorem 1.782s	Timeout 4.255s
FEQ/SWW313+1.p	Unknown		Timeout 3.122s	Theorem 0.318s	Theorem 1.744s	Timeout 4.126s
FEQ/SWW314+1.p	Unknown		Timeout 3.102s	Theorem 0.304s	Theorem 1.636s	Timeout 4.216s
FEQ/SWW315+1.p	Unknown		Timeout 3.100s	Theorem 0.305s	Theorem 1.653s	Timeout 4.169s
FEQ/SWW337+1.p	Unknown		Timeout 3.142s	Theorem 0.308s	Timeout 3.048s	Timeout 4.258s
FEQ/SWW342+1.p	Unknown		Timeout 3.099s	Theorem 0.308s	Theorem 1.443s	Timeout 4.271s
FEQ/SWW345+1.p	Unknown		Timeout 3.101s	Theorem 0.327s	Theorem 1.502s	Timeout 4.338s
FEQ/SWW348+1.p	Unknown		Timeout 3.103s	Theorem 0.287s	Timeout 3.051s	Timeout 4.263s
FEQ/SWW350+1.p	Unknown		Timeout 3.098s	Theorem 0.182s	Timeout 3.050s	Timeout 4.250s
FEQ/SWW374+1.p	Unknown		Timeout 3.125s	Theorem 0.311s	Theorem 1.605s	Timeout 4.224s
FEQ/SWW383+1.p	Unknown		Timeout 3.107s	Theorem 0.314s	Theorem 1.710s	Timeout 4.229s
FEQ/SWW385+1.p	Unknown		Timeout 3.100s	Theorem 0.308s	Theorem 1.593s	Timeout 4.321s
FEQ/SWW386+1.p	Unknown		Timeout 3.151s	Theorem 0.329s	Theorem 1.790s	Timeout 4.238s
FEQ/SWW470+1.p	Unknown		Timeout 3.010s	Theorem 0.405s	Timeout 3.051s	Timeout 3.939s
FEQ/SWW470+3.p	Unknown		Timeout 3.024s	Theorem 0.282s	Timeout 3.046s	Timeout 3.231s
FEQ/SWW470+6.p	Unknown		Timeout 3.062s	Theorem 0.175s	Timeout 3.058s	Timeout 4.041s
FEQ/SWW470+7.p	Unknown		Timeout 3.045s	Theorem 0.190s	Timeout 3.050s	Timeout 3.835s
FEQ/SWW473+1.p	Unknown		Timeout 3.045s	Theorem 0.123s	Theorem 0.051s	Unsatisfiable 0.413s
FEQ/SWW473+2.p	Unknown		Timeout 3.016s	Theorem 0.127s	Theorem 0.174s	Timeout 3.311s
FEQ/SWW473+5.p	Unknown		Timeout 3.011s	Theorem 0.127s	Theorem 0.054s	Timeout 3.620s
FEQ/SWW474+1.p	Unknown		Timeout 3.010s	Theorem 0.067s	Theorem 0.043s	Timeout 3.376s
FEQ/SWW474+2.p	Unknown		Timeout 3.019s	Theorem 0.283s	Theorem 0.190s	Timeout 4.804s
FEQ/SWW474+7.p	Unknown		Timeout 3.050s	Theorem 1.179s	Timeout 3.042s	Timeout 4.137s
FEQ/SWW477+7.p	Unknown		Timeout 3.189s	Timeout 2.920s	Theorem 2.339s	Timeout 4.134s
FEQ/SWW478+7.p	Unknown		Timeout 3.178s	Theorem 0.377s	Theorem 0.276s	Unsatisfiable 0.269s
FEQ/SWW874+1.p	Unknown		Timeout 3.010s	Theorem 0.159s	Theorem 0.008s	Timeout 3.907s
FEQ/SWW878+1.p	Unknown		Unsatisfiable 0.069s	Theorem 1.414s	Theorem 0.159s	Timeout 3.592s
FEQ/SWW900+1.p	Unknown		Timeout 3.014s	Timeout 2.970s	Theorem 2.540s	Timeout 3.063s
FEQ/SWW937+1.p	Unknown		Unsatisfiable 0.040s	Theorem 1.045s	Theorem 0.632s	Timeout 3.580s
FEQ/SWW956+1.p	Unknown		Timeout 3.010s	Theorem 0.034s	Theorem 0.007s	Timeout 3.073s
FEQ/SWW958+1.p	Unknown		Timeout 3.020s	Theorem 0.270s	Timeout 3.048s	Timeout 4.690s
FEQ/SWW963+1.p	Unknown		Timeout 3.011s	Theorem 0.038s	Theorem 0.012s	Timeout 4.595s
FEQ/SWW967+1.p	Unknown		Timeout 3.024s	Theorem 0.031s	Theorem 0.011s	Timeout 4.564s
FEQ/SWX022+1.p	Unknown		Timeout 3.038s	Theorem 2.542s	Timeout 3.057s	Timeout 4.298s
FEQ/SWX029+1.p	Unknown		Timeout 3.017s	Timeout 2.937s	Timeout 3.056s	Timeout 4.581s
FEQ/SWX034+1.p	Unknown		Unsatisfiable 0.166s	Theorem 1.039s	Timeout 3.045s	Timeout 3.487s
FEQ/SWX037+1.p	Unknown		Timeout 3.017s	Timeout 2.964s	Timeout 3.051s	Timeout 3.318s
FEQ/SWX038+1.p	Unknown		Timeout 3.012s	Timeout 2.931s	Timeout 3.047s	Timeout 3.116s
FEQ/SWX044+1.p	Unknown		Timeout 3.010s	Timeout 2.928s	Timeout 3.046s	Error 0.308s
FEQ/SWX055+1.p	Unknown		Timeout 3.011s	Timeout 2.974s	Timeout 3.049s	Timeout 4.275s
FEQ/SWX060+1.p	Unknown		Timeout 3.011s	Timeout 2.924s	Timeout 3.044s	Timeout 3.582s
FEQ/SWX070+1.p	Unknown		Error 5.072s	Timeout 2.945s	Timeout 3.055s	Timeout 3.183s
FEQ/TOP034+4.p	Unknown		Error 5.008s	Timeout 3.010s	Timeout 10.038s	Timeout 3.326s
FNE/BOO109+1.p	Unknown		Timeout 3.012s	Theorem 0.594s	Timeout 3.040s	Timeout 4.970s
FNE/COM008+1.p	Unknown		Timeout 3.010s	Timeout 2.981s	Theorem 0.041s	Timeout 3.716s
FNE/CSR026+3.p	Unknown		Timeout 3.083s	Theorem 1.509s	Theorem 0.360s	Timeout 4.386s
FNE/CSR027+3.p	Unknown		Timeout 3.034s	Theorem 0.093s	Theorem 1.075s	Timeout 3.251s
FNE/CSR033+3.p	Unknown		Timeout 3.053s	Theorem 0.175s	Theorem 2.470s	Timeout 3.535s
FNE/CSR034+2.p	Unknown		Timeout 3.066s	Theorem 0.083s	Theorem 0.108s	Unsatisfiable 0.252s
FNE/CSR036+2.p	Unknown		Timeout 3.264s	Theorem 0.122s	Timeout 3.037s	Timeout 3.217s
FNE/CSR036+3.p	Unknown		Timeout 3.034s	Theorem 0.238s	Timeout 3.047s	Timeout 3.295s
FNE/CSR039+2.p	Unknown		Timeout 3.014s	Theorem 0.090s	Theorem 1.750s	Timeout 3.207s
FNE/CSR040+3.p	Unknown		Timeout 3.033s	Theorem 1.159s	Theorem 0.360s	Timeout 3.379s
FNE/CSR052+3.p	Unknown		Timeout 3.232s	Theorem 0.100s	Theorem 1.601s	Unsatisfiable 0.541s
FNE/CSR056+3.p	Unknown		Timeout 3.035s	Theorem 0.137s	Theorem 0.573s	Timeout 3.914s
FNE/CSR057+2.p	Unknown		Unsatisfiable 1.848s	Theorem 0.087s	Theorem 0.058s	Unsatisfiable 1.137s
FNE/CSR060+2.p	Unknown		Timeout 3.013s	Theorem 0.102s	Theorem 0.387s	Timeout 3.313s
FNE/CSR061+2.p	Unknown		Timeout 3.014s	Theorem 0.053s	Theorem 0.557s	Timeout 3.189s
FNE/CSR062+2.p	Unknown		Unsatisfiable 0.504s	Theorem 0.044s	Theorem 0.080s	Timeout 3.223s
FNE/CSR062+3.p	Unknown		Timeout 3.033s	Theorem 0.157s	Theorem 0.567s	Timeout 3.246s
FNE/CSR073+2.p	Unknown		Unsatisfiable 0.471s	Theorem 0.039s	Theorem 0.080s	Timeout 3.295s
FNE/CSR073+3.p	Unknown		Timeout 3.034s	Theorem 0.148s	Theorem 1.005s	Timeout 3.280s
FNE/CSR115+31.p	Unknown		Timeout 3.087s	Theorem 0.111s	Theorem 0.114s	Timeout 4.620s
FNE/CSR115+6.p	Unknown		Timeout 3.030s	Theorem 0.095s	Theorem 0.109s	Timeout 4.398s
FNE/CSR115+91.p	Unknown		Timeout 3.030s	Theorem 0.096s	Theorem 0.110s	Timeout 4.370s
FNE/CSR115+98.p	Unknown		Timeout 3.033s	Theorem 0.091s	Theorem 0.104s	Timeout 4.469s
FNE/CSR116+27.p	Unknown		Timeout 3.028s	Theorem 0.257s	Theorem 0.141s	Timeout 3.829s
FNE/CSR116+39.p	Unknown		Timeout 3.028s	Theorem 0.107s	Theorem 0.125s	Timeout 4.196s
FNE/CSR116+6.p	Unknown		Timeout 3.033s	Theorem 0.120s	Theorem 0.119s	Timeout 4.212s
FNE/GEO167+1.p	Unknown		Timeout 3.009s	Timeout 2.913s	Timeout 3.053s	Timeout 3.200s
FNE/GEO168+1.p	Unknown		Timeout 3.007s	Timeout 2.926s	Timeout 3.054s	Timeout 3.349s
FNE/GEO259+1.p	Unknown		Timeout 3.020s	Theorem 0.127s	Theorem 0.022s	Timeout 3.204s
FNE/KRS189+1.p	Unknown		Unsatisfiable 0.154s	Theorem 0.033s	Timeout 3.048s	Unsatisfiable 0.508s
FNE/KRS203+1.p	Unknown		Timeout 3.009s	Theorem 0.038s	Theorem 0.021s	Timeout 3.572s
FNE/KRS216+1.p	Unknown		Timeout 3.009s	Theorem 0.061s	Theorem 0.088s	Timeout 3.315s
FNE/KRS217+1.p	Unknown		Timeout 3.010s	Theorem 0.047s	Timeout 3.051s	Timeout 3.376s
FNE/KRS233+1.p	Unknown		Unsatisfiable 1.375s	Theorem 0.042s	Theorem 2.518s	Timeout 3.243s
FNE/KRS234+1.p	Unknown		Timeout 3.011s	Theorem 0.045s	Theorem 0.032s	Timeout 3.227s
FNE/KRS251+1.p	Unknown		Timeout 3.009s	Theorem 0.045s	Timeout 3.047s	Timeout 3.211s
FNE/KRS258+1.p	Unknown		Timeout 3.011s	Theorem 0.040s	Theorem 0.167s	Timeout 3.081s
FNE/KRS260+1.p	Unknown		Timeout 3.009s	Theorem 0.042s	Timeout 3.045s	Timeout 3.683s
FNE/KRS261+1.p	Unknown		Timeout 3.018s	Theorem 0.054s	Timeout 3.046s	Timeout 3.123s
FNE/LCL062+1.p	Unknown		Timeout 3.015s	Timeout 2.914s	Theorem 2.246s	Timeout 3.143s
FNE/LCL109+1.p	Unknown		Timeout 3.010s	Timeout 2.920s	Timeout 3.048s	Timeout 3.186s
FNE/LCL365+1.p	Unknown		Timeout 3.015s	Theorem 0.088s	Theorem 0.938s	Timeout 3.060s
FNE/LCL365+2.p	Unknown		Timeout 3.014s	Timeout 2.940s	Timeout 3.051s	Timeout 4.957s
FNE/LCL368+1.p	Unknown		Timeout 3.014s	Timeout 2.937s	Theorem 1.337s	Timeout 3.244s
FNE/LCL368+2.p	Unknown		Timeout 3.014s	Timeout 2.912s	Timeout 3.048s	Timeout 4.792s
FNE/LCL369+1.p	Unknown		Timeout 3.018s	Timeout 2.917s	Theorem 2.075s	Timeout 3.137s
FNE/LCL370+2.p	Unknown		Timeout 3.015s	Timeout 2.931s	Timeout 3.050s	Timeout 4.831s
FNE/LCL373+2.p	Unknown		Timeout 3.014s	Timeout 2.908s	Timeout 3.049s	Timeout 4.902s
FNE/LCL374+1.p	Unknown		Timeout 3.016s	Timeout 2.921s	Timeout 3.054s	Timeout 3.211s
FNE/LCL374+2.p	Unknown		Timeout 3.014s	Timeout 2.909s	Timeout 3.050s	Timeout 4.849s
FNE/LCL376+1.p	Unknown		Timeout 3.015s	Timeout 2.918s	Theorem 1.421s	Timeout 3.152s
FNE/LCL377+1.p	Unknown		Timeout 3.015s	Timeout 2.926s	Theorem 2.365s	Timeout 3.179s
FNE/LCL383+1.p	Unknown		Timeout 3.019s	Timeout 2.916s	Theorem 0.683s	Timeout 3.160s
FNE/LCL383+2.p	Unknown		Timeout 3.015s	Timeout 2.920s	Timeout 3.044s	Timeout 4.651s
FNE/LCL390+1.p	Unknown		Timeout 3.013s	Timeout 2.935s	Theorem 0.665s	Timeout 3.102s
FNE/LCL390+2.p	Unknown		Timeout 3.044s	Timeout 2.918s	Timeout 3.045s	Timeout 4.768s
FNE/LCL392+1.p	Unknown		Timeout 3.015s	Timeout 2.943s	Theorem 0.763s	Timeout 4.901s
FNE/LCL392+2.p	Unknown		Timeout 3.014s	Timeout 2.919s	Timeout 3.051s	Timeout 3.310s
FNE/LCL393+2.p	Unknown		Timeout 3.014s	Timeout 2.939s	Timeout 3.047s	Timeout 5.014s
FNE/LCL394+2.p	Unknown		Timeout 3.015s	Timeout 2.910s	Timeout 3.054s	Timeout 4.903s
FNE/LCL403+2.p	Unknown		Timeout 3.014s	Timeout 2.941s	Timeout 3.050s	Timeout 5.288s
FNE/LCL640+1.005.p	Unknown		Timeout 3.009s	Theorem 0.205s	Theorem 0.096s	Timeout 3.659s
FNE/LCL642+1.010.p	Unknown		Timeout 3.077s	Theorem 0.084s	Timeout 3.044s	Unsatisfiable 0.041s
FNE/LCL642+1.015.p	Unknown		Timeout 3.080s	Theorem 0.112s	Timeout 3.040s	Unsatisfiable 1.885s
FNE/LCL656+1.015.p	Unknown		Timeout 3.013s	Theorem 1.115s	Timeout 3.036s	Timeout 3.096s
FNE/LCL660+1.015.p	Unknown		Timeout 3.085s	Theorem 1.383s	Timeout 3.039s	Unsatisfiable 0.323s
FNE/LCL660+1.020.p	Unknown		Timeout 3.087s	Theorem 1.902s	Timeout 3.063s	Unsatisfiable 0.692s
FNE/LCL670+1.010.p	Unknown		Timeout 3.009s	Timeout 2.922s	Timeout 3.040s	Timeout 3.394s
FNE/LCL680+1.005.p	Unknown		Timeout 3.015s	Timeout 2.922s	Timeout 3.060s	Timeout 3.580s
FNE/LCL682+1.015.p	Unknown		Timeout 3.021s	Timeout 2.921s	Timeout 3.050s	Timeout 4.529s
FNE/LCL682+1.020.p	Unknown		Timeout 3.029s	Timeout 2.921s	Timeout 3.052s	Timeout 3.983s
FNE/LCL688+1.005.p	Unknown		Timeout 3.010s	Timeout 2.951s	Timeout 3.052s	Timeout 3.129s
FNE/LCL876+1.p	Unknown		Timeout 3.016s	Timeout 2.913s	Timeout 3.050s	Timeout 3.701s
FNE/LCL978+1.p	Unknown		Timeout 3.015s	Timeout 2.926s	Timeout 3.048s	Timeout 3.371s
FNE/LCL981+1.p	Unknown		Timeout 3.022s	Timeout 2.926s	Timeout 3.050s	Timeout 4.016s
FNE/LCL982+1.p	Unknown		Timeout 3.018s	Theorem 0.048s	Theorem 0.006s	Timeout 3.703s
FNE/MED007+1.p	Unknown		Timeout 3.115s	Theorem 0.041s	Timeout 3.060s	Timeout 3.187s
FNE/MED009+1.p	Unknown		Timeout 3.012s	Theorem 0.163s	Timeout 3.053s	Unsatisfiable 0.394s
FNE/MGT067+1.p	Unknown		Timeout 3.010s	Theorem 0.047s	Theorem 0.016s	Timeout 3.205s
FNE/NLP260+1.p	Unknown		Error 0.627s	Timeout 3.026s	Timeout 3.083s	Error 1.397s
FNE/NLP261+1.p	Unknown		Error 0.437s	Timeout 3.028s	Timeout 3.050s	Error 1.385s
FNE/NLP262+1.p	Unknown		Error 0.447s	Timeout 3.028s	Timeout 3.052s	Error 1.364s
FNE/NUN056+1.p	Unknown		Timeout 3.034s	Timeout 3.010s	Timeout 3.059s	Timeout 3.927s
FNE/NUN057+1.p	Unknown		Timeout 3.009s	Timeout 2.926s	Timeout 3.065s	Timeout 3.386s
FNE/NUN060+1.p	Unknown		Timeout 3.008s	Theorem 0.038s	Theorem 0.008s	Timeout 3.596s
FNE/NUN066+1.p	Unknown		Timeout 3.013s	Theorem 0.140s	Timeout 3.069s	Timeout 3.554s
FNE/NUN072+1.p	Unknown		Timeout 3.009s	Timeout 2.966s	Timeout 3.066s	Timeout 4.013s
FNE/NUN075+1.p	Unknown		Timeout 3.009s	Timeout 2.917s	Timeout 3.056s	Timeout 4.170s
FNE/NUN081+1.p	Unknown		Timeout 3.009s	Theorem 0.040s	Theorem 0.010s	Timeout 3.848s
FNE/NUN085+1.p	Unknown		Timeout 3.009s	Theorem 1.790s	Theorem 0.290s	Timeout 4.400s
FNE/NUN087+1.p	Unknown		Timeout 3.009s	Theorem 0.188s	Theorem 0.090s	Timeout 4.280s
FNE/SWB012+3.p	Unknown		Timeout 3.028s	Theorem 0.372s	Theorem 0.304s	Timeout 3.354s
FNE/SWB014+3.p	Unknown		Timeout 3.014s	Theorem 0.034s	Theorem 0.197s	Timeout 3.203s
FNE/SWV014+1.p	Unknown		Timeout 3.010s	Theorem 0.037s	Theorem 0.007s	Timeout 3.201s
FNE/SYN353+1.p	Unknown		Timeout 3.009s	Theorem 0.066s	Theorem 0.006s	Timeout 204.851s
FNE/SYN457+1.p	Unknown		Timeout 3.013s	Theorem 0.096s	Timeout 3.040s	Timeout 3.523s
FNE/SYN938+1.p	Unknown		Error 3.626s	Theorem 0.068s	Timeout 3.023s	Unsatisfiable 0.021s
FNE/SYN986+1.004.p	Unknown		Timeout 3.077s	Theorem 2.142s	Timeout 3.036s	Timeout 4.150s
FNE/SYO604+1.p	Unknown		Timeout 3.054s	Theorem 0.175s	Timeout 3.046s	Unsatisfiable 2.719s
FNE/SYO606+1.p	Unknown		Timeout 3.010s	Theorem 0.038s	Timeout 3.050s	Unsatisfiable 0.069s

Stats par prouveur

Prouveur	Sous-ensemble	Total	Succès	Timeouts	Uniques	Erreurs	Temps moyen
ip	Tous	500	30 (6.0%)	429 (85.8%)	1	41 (8.2%)	3.021s
ip	Theorem/Unsatisfiable	1	0 (0.0%)	0 (0.0%)	0	1 (100.0%)	4.957s
ip	Theorem (FOF)	1	0 (0.0%)	0 (0.0%)	0	1 (100.0%)	4.957s
ip	Unsatisfiable (CNF)	0	0 (0.0%)	0 (0.0%)	0	0 (0.0%)	0.000s
vampire	Tous	500	350 (70.0%)	150 (30.0%)	140	0 (0.0%)	1.169s
vampire	Theorem/Unsatisfiable	1	0 (0.0%)	1 (100.0%)	0	0 (0.0%)	2.959s
vampire	Theorem (FOF)	1	0 (0.0%)	1 (100.0%)	0	0 (0.0%)	2.959s
vampire	Unsatisfiable (CNF)	0	0 (0.0%)	0 (0.0%)	0	0 (0.0%)	0.000s
e	Tous	500	220 (44.0%)	274 (54.8%)	21	0 (0.0%)	1.922s
e	Theorem/Unsatisfiable	1	0 (0.0%)	1 (100.0%)	0	0 (0.0%)	3.047s
e	Theorem (FOF)	1	0 (0.0%)	1 (100.0%)	0	0 (0.0%)	3.047s
e	Unsatisfiable (CNF)	0	0 (0.0%)	0 (0.0%)	0	0 (0.0%)	0.000s
zenon	Tous	500	22 (4.4%)	440 (88.0%)	0	38 (7.6%)	5.702s
zenon	Theorem/Unsatisfiable	1	0 (0.0%)	1 (100.0%)	0	0 (0.0%)	126.348s
zenon	Theorem (FOF)	1	0 (0.0%)	1 (100.0%)	0	0 (0.0%)	126.348s
zenon	Unsatisfiable (CNF)	0	0 (0.0%)	0 (0.0%)	0	0 (0.0%)	0.000s

Stats comparatives

A	B	win	draw	loss
ip	vampire	2	176	322
ip	e	4	302	194
ip	zenon	27	454	19
vampire	ip	322	176	2
vampire	e	152	326	22
vampire	zenon	328	172	0
e	ip	194	302	4
e	vampire	22	326	152
e	zenon	208	282	10
zenon	ip	19	454	27
zenon	vampire	0	172	328
zenon	e	10	282	208