Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for FOF

FOF Vampire
9.0
Vampire
8.1
Fampire
1.3
E
0.999
EP
0.999
iProver
0.2
Equinox
1.2
leanCoP
2.0
Otter
3.3
Metis
2.0
Geo
2007f
ileanCoP
1.2
Muscadet
2.7
AGT003+2 +0.00 +3.70 4.10 0.20 Timeout 0.40 1.00 0.20 +0.20 Timeout Timeout 0.20 GaveUp
AGT006+2 Timeout +285.70 Unknown Timeout Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
AGT012+2 +13.10 +101.30 131.00 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
AGT013+1 +149.60 +14.10 Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
AGT020+1 +10.30 +37.50 86.70 Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
AGT022+1 +162.40 +106.40 9.50 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
AGT023+2 +9.50 +22.30 24.70 Timeout Timeout Timeout Timeout 13.10 GaveUp Timeout Timeout 235.80 GaveUp
ALG018+1 +0.30 +0.10 0.20 0.00 +0.10 Timeout Timeout Timeout +0.20 +0.40 +0.00 Timeout GaveUp
ALG019+1 +0.10 +0.00 0.40 0.00 +0.10 Timeout Timeout Timeout +0.10 +0.10 +0.00 Timeout GaveUp
ALG072+1 +236.20 +69.40 20.80 2.30 Timeout WCout Timeout Timeout GaveUp Timeout +0.70 Timeout GaveUp
ALG073+1 +0.00 +0.00 0.10 8.70 +0.50 145.90 0.00 Timeout +0.10 WCout +0.10 Timeout GaveUp
ALG074+1 +3.90 +54.30 40.80 1.40 Timeout Timeout 0.40 Timeout +0.20 Timeout +0.40 Timeout GaveUp
ALG210+2 +0.00 +0.00 0.20 0.00 +0.10 WCout Timeout Timeout +0.10 +241.20 Timeout Timeout GaveUp
COM003+2 +0.00 +0.00 0.10 0.00 +0.10 0.10 56.00 0.40 +0.10 +0.40 +20.80 1.70 GaveUp
COM003+3 +0.00 +0.00 0.10 92.30 +0.20 15.70 25.00 226.10 Timeout Timeout +0.30 Timeout GaveUp
COM008+1 +46.90 Timeout 2.20 0.60 +1.00 Timeout Timeout Timeout GaveUp Timeout +0.30 Timeout 0.20
CSR001+1 Timeout Timeout Unknown Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
CSR001+2 +2.40 +19.40 19.60 13.30 +37.40 Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
CSR004+1 Timeout Timeout Unknown 128.20 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
CSR005+1 +94.90 +84.00 60.00 69.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
CSR006+1 +42.40 +0.90 0.80 23.30 +29.90 Timeout Timeout Timeout Timeout +16.70 Timeout Timeout GaveUp
CSR008+1 +42.60 +0.10 1.40 Timeout Timeout Timeout Timeout Timeout Timeout +13.70 Timeout Timeout GaveUp
CSR011+1 +133.60 +93.20 211.40 159.00 Timeout Timeout 64.10 Timeout Timeout Timeout Timeout Timeout GaveUp
CSR018+1 +0.00 +0.00 0.20 2.00 +4.00 2.80 6.40 Timeout Timeout +0.20 Timeout Timeout GaveUp
CSR019+1 +0.00 +0.00 0.20 0.20 +0.20 2.00 15.60 Timeout Timeout +0.10 +58.00 Timeout GaveUp
CSR021+1 +0.00 +0.10 0.20 0.20 +1.00 1.80 0.50 Timeout Timeout +0.20 +121.50 Timeout GaveUp
CSR024+1.009 +93.30 +0.50 0.30 0.30 Timeout Timeout Timeout Unknown +98.60 Timeout Timeout Timeout GaveUp
CSR024+1.010 +110.70 +92.70 0.50 0.60 Timeout WCout Timeout Timeout +151.70 Timeout Timeout Timeout GaveUp
GEO083+1 +10.30 +106.10 39.80 99.50 +59.50 2.10 Timeout 4.50 Timeout Timeout Timeout Timeout GaveUp
GEO089+1 +54.20 +110.00 Unknown 143.80 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
GEO093+1 +8.20 +0.10 20.00 10.50 +27.40 Timeout Timeout 136.70 Timeout Timeout Timeout Timeout GaveUp
GEO094+1 +39.30 +101.10 0.80 0.00 +0.10 47.70 Timeout Timeout +29.70 Timeout +3.60 Timeout GaveUp
GEO124+1 +0.20 +0.00 0.20 0.00 +0.10 2.30 0.40 26.80 +28.50 Timeout Timeout Timeout GaveUp
GEO127+1 +0.00 +0.00 6.60 0.10 +0.10 76.10 Timeout Timeout Timeout Timeout +2.90 Timeout GaveUp
GEO146+1 +0.40 +0.00 0.10 0.10 +0.20 0.90 0.10 1.30 Timeout +13.20 +78.40 0.50 GaveUp
GEO147+1 +0.00 +0.00 0.10 0.00 +0.10 0.50 0.10 0.20 +9.10 +0.90 Timeout 0.90 GaveUp
GEO169+1 +8.80 +0.60 0.70 2.60 Timeout 0.90 69.70 Timeout Timeout Timeout Timeout Timeout GaveUp
GRA002+2 +87.60 +50.80 21.90 Timeout Timeout WCout Timeout Timeout Timeout Timeout +9.20 Timeout GaveUp
GRA003+1 +0.00 +0.00 0.10 0.00 +0.10 0.70 0.10 3.50 +0.60 +7.30 +0.60 226.70 0.60
GRA004+1 +0.00 +0.10 22.70 0.00 +0.10 3.80 0.50 19.90 Timeout Timeout +0.80 Timeout GaveUp
GRA008+1 +9.70 +22.10 75.00 2.40 +3.50 Timeout Timeout Timeout Timeout Timeout +2.70 Timeout GaveUp
GRA010+1 +0.00 +0.00 0.10 0.00 +0.10 0.20 0.10 0.20 Timeout 0.00 +1.80 0.50 GaveUp
GRA011+1 +202.70 Timeout Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout +6.50 Timeout GaveUp
GRA012+1 +203.10 Timeout Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout +7.10 Timeout GaveUp
HAL001+2 Timeout +2.30 130.50 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
KRS132+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.20 0.20 +0.10 +0.00 +0.00 Timeout GaveUp
KRS151+1 +0.10 +0.10 0.20 0.10 +0.20 0.10 12.50 11.70 +0.10 Timeout +114.10 Timeout GaveUp
KRS153+1 +0.00 +0.10 0.20 0.20 +0.20 0.40 97.00 1.00 +0.10 Timeout Timeout Timeout Unknown
KRS154+1 +0.00 +0.00 0.10 0.10 +0.20 0.10 0.40 0.20 +0.10 +5.10 +4.10 3.60 GaveUp
KRS155+1 +0.10 +0.00 0.30 0.10 +0.20 0.40 0.40 351.90 +0.10 Timeout Timeout Timeout GaveUp
KRS161+1 +0.10 +0.10 0.20 0.10 +0.20 0.20 2.00 0.30 +0.10 Timeout Timeout 226.20 GaveUp
LAT258+1 Timeout Timeout Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout +190.20 Timeout GaveUp
LCL414+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 Timeout 0.10 +0.10 +0.10 +0.30 0.10 GaveUp
LCL462+1* +95.80 +58.10 Unknown Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL468+1* +98.90 +59.50 Unknown Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL488+1* +0.00 +0.00 0.10 0.00 +0.10 Timeout Timeout Timeout +0.30 Timeout Timeout Timeout GaveUp
LCL496+1* +0.00 +16.00 38.30 Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL505+1* Timeout Timeout Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL510+1* +75.30 +4.80 Unknown 0.30 Timeout WCout Timeout Timeout +102.10 Timeout Timeout Timeout GaveUp
LCL512+1* +0.00 +0.00 0.10 0.00 +0.10 0.10 0.20 0.20 +0.20 +0.00 +0.80 1.90 GaveUp
LCL523+1* +31.80 +4.70 75.20 1.80 +3.30 Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL524+1* +20.60 +1.70 75.50 65.80 99.40 WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL525+1* +0.00 +0.00 0.90 0.00 +0.10 0.00 Timeout Timeout +0.10 Timeout Timeout Timeout GaveUp
LCL536+1* +0.00 +0.00 0.90 0.00 +0.10 0.00 Timeout 0.20 +0.30 +0.40 Timeout 0.40 GaveUp
LCL540+1* +0.00 +0.00 9.40 0.10 +0.10 0.00 Timeout 6.00 +2.60 Timeout +62.90 0.60 GaveUp
LCL544+1* +0.00 +0.00 1.40 0.10 +0.20 0.10 Timeout 3.00 +0.40 Timeout +246.80 Timeout GaveUp
LCL546+1* +9.20 +0.70 74.90 0.80 +1.80 WCout Timeout Timeout +193.80 Timeout Timeout Timeout GaveUp
LCL551+1* +89.90 +54.70 Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL555+1* +18.40 +37.20 Unknown Timeout Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
LCL558+1* +108.70 +103.80 Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL559+1* +105.50 +101.20 Unknown Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL562+1* +17.20 +54.70 Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL568+1* +83.60 +54.60 Unknown 1.30 169.50 WCout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
MED002+1 +0.00 +0.00 0.10 Timeout +0.20 0.10 2.80 226.60 +0.20 +28.50 +0.00 9.50 GaveUp
MED003+1 +4.70 +1.60 0.10 0.90 +0.20 0.10 1.00 226.20 +9.00 Timeout +0.00 0.30 GaveUp
MED005+1 +1.90 +0.40 0.40 0.20 +0.40 0.10 Timeout 275.50 Timeout Timeout +2.20 Timeout GaveUp
MED006+1 +0.10 +0.20 0.20 0.20 +0.40 0.10 217.00 312.30 Timeout +2.00 +1.10 Timeout GaveUp
MED007+1 +21.20 +25.50 1.70 11.60 +16.10 0.10 172.50 244.50 Timeout Timeout +0.80 Timeout GaveUp
MED008+1 +0.50 +0.20 0.30 1.10 +1.60 0.10 Timeout Timeout +310.90 +1.60 +1.60 Timeout GaveUp
MED009+1 +20.20 +24.50 2.90 11.20 +26.60 0.10 Timeout Timeout Timeout Timeout +1.20 Timeout GaveUp
MED010+1 +1.30 +0.40 0.50 0.20 +0.50 0.20 Timeout 237.50 Timeout Timeout +0.90 Timeout GaveUp
MGT029+1 +131.60 +7.00 0.50 0.60 +279.00 2.00 1.70 Timeout Timeout +49.80 +4.20 Timeout 6.20
MGT034+2 +0.00 +0.00 0.20 0.20 +0.70 1.00 0.50 Timeout +49.70 +0.50 +21.10 Timeout GaveUp
MGT042+1 +14.40 +22.20 0.30 Timeout Timeout 70.90 2.00 Timeout Timeout +1.10 +6.10 Timeout GaveUp
MGT047+1 +39.80 +38.90 1.60 0.30 +56.80 44.80 2.50 Timeout Timeout +56.20 +25.50 Timeout GaveUp
MGT051+1 +39.50 +38.00 0.90 0.30 +48.90 19.30 9.80 Timeout Timeout +14.30 +15.10 Timeout GaveUp
NLP081+1 +0.00 +0.10 0.20 0.00 +0.10 0.80 0.10 0.20 Timeout +65.20 +0.20 0.30 GaveUp
NLP094+1 +0.00 +0.00 0.20 26.10 +116.80 61.20 0.00 0.20 Timeout +0.30 +0.10 0.20 GaveUp
NLP122+1 +0.00 +0.00 0.10 0.60 +0.50 0.20 0.00 0.10 Timeout +0.00 +0.10 0.20 GaveUp
NUM304+1 +0.10 +0.60 0.20 0.00 +0.10 1.50 3.30 0.20 +1.00 +0.10 Timeout 226.40 GaveUp
NUM316+1 +17.00 +10.70 36.40 Timeout Timeout Timeout Timeout 4.40 Timeout Timeout Timeout Timeout GaveUp
NUM334+1 +8.80 +10.90 36.40 Timeout Timeout Timeout Timeout 0.20 GaveUp Timeout Timeout 0.50 GaveUp
NUM335+1 +11.60 +19.50 36.30 Timeout Timeout Timeout Timeout 0.20 Timeout Timeout Timeout 0.30 GaveUp
NUM340+1 +9.10 +10.70 36.60 Timeout Timeout Timeout Timeout 0.20 GaveUp +9.50 Timeout 0.40 GaveUp
NUM346+1 +10.00 +24.50 41.90 Timeout Timeout Timeout Timeout 8.50 GaveUp Timeout Timeout 227.90 GaveUp
NUM386+1 +0.00 +0.30 0.10 0.00 +0.20 40.30 0.30 3.70 Timeout Timeout Timeout 18.20 GaveUp
NUM398+1 +0.00 +0.10 0.10 0.10 +0.20 0.10 7.70 2.10 Timeout +8.90 +0.40 12.40 0.10
PUZ031+1 +0.00 +0.00 0.10 0.00 +0.10 0.10 0.10 0.20 +0.10 +0.00 +0.10 94.20 GaveUp
SET008+3 +0.00 +0.00 0.10 0.00 +0.10 0.20 Timeout 0.20 +1.00 +20.10 +4.30 33.30 0.00
SET010+3 +92.30 +16.90 7.20 Timeout Timeout 4.50 Timeout 234.10 Timeout Timeout Timeout Timeout 0.10
SET014+3 +4.30 +0.10 0.20 0.10 +0.30 0.30 0.10 0.30 Timeout Timeout +0.50 0.40 0.00
SET015+4 +3.70 +9.10 88.90 28.60 +39.90 0.50 Timeout 0.80 Timeout Timeout Timeout 21.40 0.00
SET016+1 Timeout +3.00 Unknown 0.00 +0.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout 5.30
SET056+1 +0.10 +0.00 10.00 0.00 +0.10 0.10 Timeout 1.40 +288.70 +28.60 Timeout Timeout GaveUp
SET067+1 +5.40 +0.00 16.20 0.10 +0.20 WCout Timeout 3.30 Timeout Timeout Timeout 232.60 0.80
SET082+1 +3.90 +0.00 65.40 0.10 +0.10 Timeout 4.60 227.90 +32.00 +21.20 Timeout 41.60 0.80
SET083+1 +0.00 +0.10 10.20 0.00 +0.10 Timeout Timeout Timeout +0.50 +86.00 Timeout Timeout 0.70
SET101+1 +0.10 +0.00 0.30 0.00 +0.20 1.00 5.90 Timeout +0.10 +0.00 Timeout Timeout 0.80
SET105+1 Timeout Timeout Unknown 24.00 Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET173+3 +0.00 +0.10 0.10 0.10 +0.10 0.40 Timeout 0.10 +7.40 +4.60 +0.50 0.40 0.00
SET577+3 +0.00 +0.10 0.10 0.20 +0.40 0.20 0.30 0.20 Timeout +3.20 +2.00 1.10 0.00
SET580+3 +0.00 +0.00 0.10 0.00 +0.10 0.10 0.00 Timeout Timeout Timeout +1.50 Timeout 0.20
SET587+3 +0.00 +0.10 0.10 0.00 +0.10 0.30 Timeout 0.40 Timeout +0.20 +2.80 Timeout 0.00
SET593+3 +12.80 +0.10 0.10 0.10 +1.00 0.80 0.10 0.40 Timeout Timeout +29.70 31.40 0.00
SET601+3 +4.00 +35.20 Unknown 120.70 Timeout Timeout Timeout 260.90 Timeout Timeout Timeout Timeout GaveUp
SET606+3 +0.00 +12.10 0.10 8.40 +29.60 2.60 Timeout 0.30 Timeout Timeout +108.80 Timeout 0.00
SET607+3 +2.00 +12.10 0.20 11.20 +19.80 0.50 Timeout 0.30 Timeout Timeout +38.30 Timeout 0.10
SET608+3 +0.10 +12.10 0.10 70.90 Timeout 6.20 Timeout 0.30 Timeout Timeout Timeout Timeout 0.00
SET610+3 +0.90 +12.10 0.10 33.50 +29.80 0.80 Timeout 0.90 Timeout Timeout Timeout Timeout 0.10
SET614+3 +3.50 +12.30 0.30 32.00 Timeout 4.40 Timeout 1.10 Timeout Timeout Timeout Timeout 0.10
SET615+3 +104.10 +15.70 2.30 35.50 Timeout 3.30 Timeout 228.00 Timeout Timeout Timeout Timeout 0.10
SET619+3 +0.30 +5.00 5.50 0.00 +0.10 Timeout 0.60 Timeout +126.00 +94.90 +212.40 Timeout 0.10
SET630+3 +0.10 +0.10 31.30 0.00 +0.10 14.90 2.10 0.30 Timeout Timeout +1.00 Timeout 0.10
SET634+3 +0.50 +12.20 0.20 21.50 Timeout 9.00 Timeout 1.50 Timeout Timeout Timeout Timeout 0.10
SET637+3 +0.30 +0.00 0.40 0.10 +0.80 0.60 Timeout 0.20 +184.70 Timeout +0.20 Timeout GaveUp
SET641+3 +0.90 +0.00 0.20 0.00 +0.10 0.90 Timeout 282.30 +28.30 +0.70 +334.10 Timeout GaveUp
SET644+3 +37.10 +1.40 0.10 0.10 +0.20 WCout Timeout Timeout +20.90 Timeout Timeout Timeout GaveUp
SET645+3 +31.00 +1.10 0.10 0.00 +0.10 121.80 Timeout Timeout +4.40 +14.20 Timeout Timeout GaveUp
SET649+3 +118.60 +0.00 0.70 4.00 +49.50 WCout Timeout Timeout +6.70 Timeout Timeout Timeout GaveUp
SET652+3 +118.70 +0.10 0.60 28.30 Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET653+3 +1.10 +0.00 0.10 0.00 +0.10 0.40 Timeout 334.00 +0.10 Timeout Timeout Timeout GaveUp
SET654+3 +2.40 +0.00 0.10 0.00 +0.10 0.40 Timeout 314.70 +0.20 Timeout Timeout Timeout GaveUp
SET656+3 +150.00 +3.80 0.20 29.50 Timeout 36.20 Timeout Timeout +56.30 +130.00 Timeout Timeout GaveUp
SET660+3 +149.50 Timeout 0.10 19.60 +0.20 67.50 Timeout Timeout Timeout +71.00 Timeout Timeout GaveUp
SET661+3 Timeout +11.00 Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET664+3 +0.00 +0.00 0.10 0.00 +0.10 4.10 Timeout Timeout +0.20 +0.90 Timeout Timeout GaveUp
SET665+3 +14.20 +4.10 74.70 3.30 +4.90 25.70 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET666+3 +0.00 +0.00 0.20 0.00 +0.10 Timeout Timeout Timeout +18.80 +2.90 Timeout Timeout GaveUp
SET667+3 +227.40 +251.70 1.60 0.00 +0.10 43.90 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET668+3 +149.90 +3.60 0.10 0.80 +0.60 2.80 Timeout Timeout Timeout +12.10 Timeout Timeout GaveUp
SET672+3 Timeout Timeout 203.10 Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET675+3 +2.50 +0.00 0.10 8.30 +9.90 WCout Timeout Timeout +0.20 Timeout Timeout Timeout GaveUp
SET678+3 +153.40 +4.00 74.80 0.10 +0.30 WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET680+3 +149.40 +0.10 0.30 0.00 +0.10 160.90 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET682+3 +0.40 +11.20 0.10 0.00 +0.10 29.90 Timeout Timeout +5.20 +1.20 Timeout Timeout GaveUp
SET686+3 +346.80 +182.70 0.30 0.00 189.20 Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET697+4 +12.10 Timeout Unknown 3.70 +1.10 WCout Timeout 287.50 Timeout Timeout Timeout Timeout 0.00
SET699+4 Timeout +302.70 95.40 1.40 Timeout Timeout Timeout 2.40 Timeout Timeout Timeout Timeout 0.00
SET703+4 Timeout +129.40 Unknown Timeout Timeout 2.90 Timeout 6.30 Timeout Timeout Timeout 181.90 0.20
SET742+4 Timeout Timeout Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout 0.10
SET752+4 Timeout Timeout Unknown Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout 0.10
SET810+4 +12.20 +29.30 0.10 Timeout Timeout 2.70 0.20 14.00 +0.20 Timeout Timeout Timeout 0.10
SET902+1 +0.00 +0.00 0.10 0.00 +0.10 0.20 0.20 Timeout +0.30 +0.00 +0.20 Timeout GaveUp
SET951+1 +4.10 +0.10 0.20 Timeout Timeout WCout 2.00 Timeout Timeout Timeout Timeout Timeout GaveUp
SEU069+1 Timeout Timeout Unknown Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout 9.90
SEU170+2* Timeout Timeout 8.20 21.70 +29.80 WCout 0.90 Timeout Timeout Timeout Timeout Timeout GaveUp
SEU220+1* +22.10 +109.50 112.30 4.90 +0.10 WCout 2.10 Timeout Timeout Timeout Timeout Timeout GaveUp
SEU284+2* Timeout Timeout 148.40 Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SEU292+1* Timeout Timeout 98.70 0.20 +0.40 Timeout 0.40 80.30 Timeout Timeout Timeout Timeout GaveUp
SEU309+2* Timeout Timeout Timeout Timeout Timeout WCout 9.10 Timeout GaveUp Timeout Timeout Timeout GaveUp
SEU319+2* +144.80 +52.20 Timeout 108.80 +119.30 WCout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
SEU357+2* Timeout Timeout Timeout Timeout Timeout WCout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
SEU359+2* Timeout Timeout Timeout 241.30 +254.80 WCout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
SEU362+1* Timeout +123.70 0.20 0.70 +2.20 126.20 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SEU364+2* Timeout Timeout Timeout Timeout Timeout WCout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
SEU371+2* Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
SWC057+1 +1.00 +1.70 9.20 0.20 +0.40 WCout Timeout Timeout +88.40 Timeout Timeout Timeout GaveUp
SWC083+1 +119.70 +91.30 37.10 0.40 +4.10 WCout WCout Timeout Timeout Timeout Timeout Timeout GaveUp
SWC085+1 +0.80 +0.40 81.00 0.40 +0.40 Timeout Timeout Timeout +93.30 Timeout Timeout Timeout GaveUp
SWC257+1 +0.20 +0.00 0.70 0.10 +0.20 2.60 0.20 Timeout Timeout +0.20 Timeout Timeout GaveUp
SWC259+1 +0.10 +0.00 0.30 0.10 +0.20 2.30 0.20 Timeout Timeout +0.20 Timeout Timeout GaveUp
SWC375+1 +0.10 +0.00 0.20 0.00 +0.10 295.20 0.20 171.30 +0.30 +0.00 +3.20 Timeout 0.90
SWV023+1* +0.00 +0.00 0.10 0.00 +0.10 0.00 0.20 0.20 +10.10 0.00 +5.90 0.20 Timeout
SWV025+1* +30.80 +59.90 0.40 169.00 +169.20 7.40 1.20 0.30 Timeout Timeout Timeout 0.20 Timeout
SWV028+1* +27.30 Timeout 0.90 86.80 +79.50 2.10 0.90 0.70 Timeout Timeout Timeout 0.20 Timeout
SWV029+1* Timeout Timeout 255.00 Timeout Timeout Timeout 56.20 Timeout Timeout Timeout Timeout Timeout Timeout
SWV030+1* +26.70 +23.30 3.80 7.50 +9.90 0.80 1.00 0.20 Timeout Timeout Timeout 0.20 Timeout
SWV031+1* +31.00 Timeout Unknown 0.60 +1.20 0.60 0.30 0.20 Timeout Timeout Timeout 0.20 Timeout
SWV036+1* Timeout Timeout 9.10 Timeout Timeout 5.80 7.40 Timeout GaveUp Timeout Timeout Timeout Timeout
SWV037+1* Timeout Timeout 48.30 Timeout Timeout Timeout 46.60 Timeout GaveUp Timeout Timeout Timeout Timeout
SWV038+1* +28.50 Timeout 0.40 103.60 +59.60 15.00 0.70 1.10 Timeout Timeout Timeout 0.30 Timeout
SWV043+1* +0.00 +0.00 0.10 0.00 +0.10 0.00 0.10 0.20 +10.10 0.00 +0.20 0.20 Timeout
SWV045+1* +0.00 +0.00 0.10 0.00 +0.10 0.00 0.10 0.20 +10.40 0.00 Timeout 0.20 Timeout
SWV047+1* +0.00 +0.00 0.10 0.00 +0.20 0.00 0.10 0.20 +10.10 0.00 Timeout 0.40 Timeout
SWV057+1* +0.00 +0.00 0.10 0.00 +0.10 0.00 0.20 0.20 +17.70 0.00 Timeout 0.20 Timeout
SWV058+1* +0.00 +0.00 0.10 0.00 +0.10 0.00 0.10 0.20 +11.00 0.00 +2.00 224.70 Timeout
SWV063+1* +0.00 +5.30 0.10 0.00 +0.20 0.00 0.20 0.20 +13.20 0.00 +1.20 0.20 Timeout
SWV064+1* +0.10 +5.30 0.10 0.00 +0.10 0.00 0.20 0.20 +14.10 +0.40 Timeout 0.20 Timeout
SWV066+1* +0.10 +5.30 0.10 0.00 +0.10 0.00 0.20 0.40 +27.00 0.00 Timeout 0.20 Timeout
SWV067+1* +1.50 +6.30 0.20 0.30 +1.30 0.70 2.20 306.70 +17.60 +34.10 Timeout 304.50 Timeout
SWV070+1* +0.10 +0.00 0.30 0.00 +0.10 0.00 0.10 0.20 +12.60 0.00 Timeout 0.20 Timeout
SWV074+1* +0.10 +5.30 0.20 0.00 +0.20 0.00 0.30 0.30 +25.90 0.00 Timeout 0.20 Timeout
SWV077+1* +0.00 +0.00 0.10 0.00 +0.10 0.10 0.20 0.20 +12.70 0.00 +55.60 0.20 Timeout
SWV080+1* +0.10 +0.00 0.10 0.00 +0.10 0.10 0.10 0.20 +26.40 0.00 +0.10 0.20 Timeout
SWV081+1* +0.10 +0.00 0.10 0.00 +0.10 0.00 0.10 0.20 +14.40 0.00 +308.00 0.20 Timeout
SWV082+1* +0.10 +0.00 0.10 0.00 +0.20 0.00 0.10 0.20 +13.00 0.00 Timeout 0.20 Timeout
SWV085+1* +0.10 +0.00 0.10 0.00 +0.10 0.00 0.10 0.20 +13.00 0.00 +183.10 0.30 Timeout
SWV086+1* +0.00 +0.00 0.10 0.00 +0.10 0.00 0.10 0.20 +10.00 0.00 Timeout 227.00 Timeout
SWV088+1* +0.00 +0.00 0.10 0.00 +0.10 0.00 0.10 0.20 +10.20 0.00 +294.80 0.20 Timeout
SWV093+1* +31.20 Timeout 3.70 Timeout Timeout 2.30 1.70 Timeout Timeout Timeout Timeout Timeout Timeout
SWV095+1* +26.60 +25.90 2.60 73.10 +89.40 0.60 0.90 7.70 Timeout Timeout Timeout 0.70 Timeout
SWV097+1* +26.80 Timeout 2.70 Timeout Timeout 6.20 1.00 Timeout Timeout Timeout Timeout Timeout Timeout
SWV104+1* Timeout Timeout 35.60 0.30 +1.10 Timeout 0.40 230.90 Timeout Timeout Timeout 43.00 Timeout
SWV106+1* +0.00 +0.00 0.10 0.00 +0.10 0.00 0.10 0.20 +10.10 0.00 Timeout 0.20 Timeout
SWV115+1* +18.90 +14.70 9.90 Timeout Timeout 19.80 0.90 0.20 GaveUp Timeout Timeout 0.30 Timeout
SWV116+1* +18.60 +13.40 8.30 Timeout Timeout 21.80 0.60 0.40 Timeout Timeout Timeout 0.20 Timeout
SWV122+1* +17.90 +13.40 8.20 348.80 Timeout 1.00 0.20 0.20 Timeout Timeout Timeout 0.20 Timeout
SWV128+1* +0.00 +0.00 0.10 0.00 +0.10 0.00 0.10 0.20 +10.10 0.00 +2.00 0.20 Timeout
SWV132+1* +0.00 +0.00 0.10 0.00 +0.10 0.10 0.30 0.20 +10.10 0.00 +13.80 0.40 Timeout
SWV134+1* +3.40 +0.00 0.20 0.30 +1.20 0.70 0.50 0.60 +17.20 +22.20 Timeout 321.10 Timeout
SWV137+1* +3.40 +0.00 0.20 0.30 +0.60 0.70 0.60 231.40 +35.80 +14.10 +158.90 311.60 Timeout
SWV139+1* +1.40 +0.00 0.10 0.00 +0.10 9.80 0.20 Timeout +17.20 +27.40 +3.20 Timeout Timeout
SWV141+1* +1.40 +0.00 0.10 0.30 +0.50 9.30 0.20 Timeout +17.50 +21.60 +29.50 Timeout Timeout
SWV145+1* +0.00 +0.00 0.10 0.00 +0.10 0.10 0.10 0.20 +17.00 +0.40 +3.50 0.20 Timeout
SWV148+1* +0.00 +0.00 0.20 0.00 +0.10 0.10 0.10 0.20 +10.00 +0.40 Timeout 0.20 Timeout
SWV149+1* +0.00 +0.00 0.20 0.00 +0.10 0.10 0.10 0.20 +10.30 +0.40 +3.10 0.20 Timeout
SWV153+1* +2.80 +16.50 43.80 0.20 +0.40 7.90 4.10 5.00 Timeout Timeout Timeout 16.20 Timeout
SWV155+1* +0.10 +5.30 0.10 0.00 +0.10 1.30 0.10 0.20 Timeout Timeout Timeout 5.30 Timeout
SWV158+1* +0.10 +4.90 0.10 0.00 +0.40 Timeout 0.10 Timeout +12.80 +0.10 Timeout Timeout Timeout
SWV159+1* +0.10 +5.30 0.20 0.00 +0.10 0.80 0.20 0.30 +18.50 Timeout Timeout 3.90 Timeout
SWV163+1* +0.40 +0.00 0.20 0.30 +0.60 2.70 1.30 Timeout +16.70 +255.60 Timeout Timeout Timeout
SWV164+1* +0.50 +0.00 0.10 0.30 +0.60 5.60 6.40 Timeout +16.70 Timeout Timeout Timeout Timeout
SWV165+1* +0.30 +0.00 0.10 0.30 +0.50 9.40 0.20 Timeout +26.00 Timeout Timeout Timeout Timeout
SWV166+1* +0.70 +6.60 0.30 0.00 +0.10 0.60 0.10 0.20 +143.20 Timeout Timeout 0.20 Timeout
SWV168+1* +1.40 +12.60 2.50 0.10 +0.10 1.20 0.10 0.20 Timeout Timeout Timeout 0.20 Timeout
SWV169+1* +0.10 +5.30 0.10 0.00 +0.10 0.60 0.10 0.20 +78.50 Timeout Timeout 0.20 Timeout
SWV171+1* +0.10 +5.30 0.10 0.00 +0.10 0.60 0.10 0.20 +19.10 Timeout +208.60 0.20 Timeout
SWV174+1* +17.00 +12.60 1.80 Timeout Timeout 0.90 Timeout 0.20 +17.70 Timeout Timeout 0.20 Timeout
SWV175+1* +1.40 +12.60 2.30 0.00 +0.10 0.60 0.10 0.20 Timeout Timeout Timeout 0.20 Timeout
SWV178+1* +0.70 +6.60 0.30 0.00 +0.10 0.60 0.10 0.20 Timeout Timeout Timeout 0.20 Timeout
SWV179+1* +0.10 +5.30 0.10 0.00 +0.10 0.60 0.10 0.20 +55.60 Timeout Timeout 0.20 Timeout
SWV182+1* +5.40 +12.60 0.40 0.30 +0.60 61.40 0.40 Timeout +74.90 Timeout Timeout Timeout Timeout
SWV184+1* +0.70 +6.50 0.30 0.00 +0.10 0.60 0.10 0.20 +61.50 Timeout Timeout 0.20 Timeout
SWV185+1* +0.70 +7.40 0.30 0.00 +0.10 0.60 0.10 0.20 Timeout Timeout Timeout 0.30 Timeout
SWV189+1* +0.40 +0.00 0.10 0.30 +0.50 4.60 1.20 Timeout +17.40 Timeout Timeout Timeout Timeout
SWV190+1* +0.40 +0.00 0.10 0.30 +0.60 2.90 75.10 Timeout Timeout Timeout Timeout Timeout Timeout
SWV191+1* +0.70 +0.00 0.10 0.30 +0.60 3.20 0.60 Timeout +18.70 +118.50 Timeout Timeout Timeout
SWV193+1* +0.10 +0.00 0.20 0.20 +0.40 0.70 0.20 0.20 +23.60 +89.40 Timeout 0.20 Timeout
SWV194+1* +0.10 +0.00 0.20 0.30 +0.40 0.90 0.20 22.60 +18.50 +96.80 Timeout 0.60 Timeout
SWV195+1* +0.10 +0.00 0.10 0.20 +0.40 0.80 0.30 25.00 +38.20 +153.80 Timeout 0.70 Timeout
SWV199+1* +5.30 +0.30 8.70 0.30 +0.60 3.30 0.30 Timeout GaveUp Timeout Timeout Timeout Timeout
SWV202+1* +26.10 +50.90 54.10 Timeout Timeout 3.80 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWV204+1* +7.50 +22.60 6.40 0.30 +0.60 Timeout 0.10 Timeout Timeout Timeout Timeout Timeout Timeout
SWV206+1* +1.70 +12.90 2.20 0.00 +0.10 0.70 0.30 0.20 +132.50 Timeout Timeout 0.20 Timeout
SWV208+1* +38.00 +51.00 Unknown 0.50 +0.90 Timeout 0.10 Timeout Timeout Timeout Timeout Timeout Timeout
SWV209+1* +38.00 +52.20 Unknown 0.50 +0.90 Timeout 0.30 Timeout Timeout Timeout Timeout Timeout Timeout
SWV215+1* +0.00 +0.00 0.10 0.00 +0.10 0.60 0.30 0.20 +10.30 0.00 Timeout 226.60 Timeout
SWV217+1* +0.00 +0.00 0.10 0.00 +0.10 0.80 0.10 0.20 +14.30 0.00 Timeout 225.50 Timeout
SWV220+1* +0.00 +0.00 0.20 0.00 +0.10 0.80 0.10 0.20 +13.90 0.00 Timeout 226.80 Timeout
SWV221+1* +2.10 +12.70 1.80 1.20 +2.40 1.20 0.20 0.20 +17.70 Timeout Timeout 0.40 Timeout
SWV223+1* +0.00 +0.00 0.20 0.00 +0.10 0.10 0.20 0.20 +11.00 0.00 Timeout 226.50 Timeout
SWV233+1 +0.00 +129.90 18.60 0.30 +0.50 WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SWV236+1 +0.00 +0.00 0.10 0.00 +0.10 Timeout Timeout 0.10 +23.80 Timeout Timeout Timeout GaveUp
SWV237+1 +0.00 +0.00 1.60 0.00 +0.20 Timeout Timeout Timeout +0.40 Timeout +26.40 Timeout GaveUp
SWV365+1* +0.00 +0.00 0.10 0.00 +0.10 0.30 0.10 298.50 +0.10 +0.00 Timeout 338.60 0.20
SWV366+1* +17.60 +4.90 0.30 0.10 +0.30 WCout 0.10 Timeout +0.70 Timeout Timeout Timeout GaveUp
SWV371+1* +0.00 +0.20 0.10 0.00 +0.10 0.40 0.10 0.20 +41.20 Timeout Timeout 0.20 GaveUp
SWV391+1* +27.40 +50.30 35.90 0.20 +0.40 26.80 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SWV396+1* Timeout Timeout Unknown 0.20 +0.30 Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SWV399+1* +0.00 +0.00 0.10 0.00 +0.10 3.60 8.40 1.20 +25.60 Timeout +1.40 Timeout GaveUp
SWV404+1* Timeout Timeout Unknown 6.80 +9.70 WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SWV408+2* +0.10 +0.00 0.10 0.10 +0.20 0.50 Timeout 0.40 Timeout Timeout Timeout Timeout GaveUp
SWV409+1* +0.00 +0.10 0.20 0.10 +0.30 13.00 10.30 0.30 +18.30 Timeout Timeout Timeout GaveUp
SWV417+1* +18.50 +9.20 1.70 0.10 +0.10 0.70 0.10 360.00 Timeout Timeout Timeout Timeout GaveUp
SYN036+2 +0.00 +0.00 0.10 5.60 +17.80 Timeout 0.10 1.10 Timeout +0.30 +0.10 Timeout GaveUp
SYN051+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 +0.00 +0.00 Timeout GaveUp
SYN053+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 +0.00 +0.00 Unknown GaveUp
SYN058+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 +0.00 +0.00 0.10 GaveUp
SYN063+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 +0.00 +0.10 Timeout GaveUp
SYN065+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.10 0.10 +0.10 +0.00 +0.00 0.10 0.00
SYN073+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 +0.00 +0.00 Unknown GaveUp
SYN318+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 +0.00 +0.00 Unknown GaveUp
SYN334+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.30 3.20 +0.10 +0.00 +0.10 Timeout GaveUp
SYN345+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 +0.00 +0.20 Unknown GaveUp
SYN349+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.20 0.30 +0.20 +0.00 +0.70 Timeout GaveUp
SYN369+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.30 +0.10 +0.00 +0.00 Unknown GaveUp
SYN380+1 +0.00 +0.00 0.10 0.00 +0.00 0.00 0.00 0.10 +0.10 +0.00 +0.00 Unknown GaveUp
SYN386+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 Timeout 0.30 +0.10 +0.00 +0.00 0.10 GaveUp
SYN410+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 +0.00 +0.00 0.20 GaveUp
SYN447+1 +2.30 +1.10 0.70 151.60 Timeout 31.70 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SYN450+1 +0.90 +0.60 0.70 23.70 +48.10 9.60 203.60 Timeout Timeout Timeout Timeout Timeout GaveUp
SYN454+1 +0.60 +0.50 0.30 8.80 +19.80 4.80 202.70 Timeout Timeout Timeout Timeout Timeout GaveUp
SYN467+1 +1.50 +1.20 1.20 25.50 +129.50 11.40 134.40 Timeout Timeout Timeout Timeout Timeout Unknown
SYN471+1 +0.70 +0.60 0.30 6.90 +28.50 8.60 277.10 Timeout Timeout Timeout Timeout Timeout Unknown
SYN475+1 +1.70 +0.70 0.40 6.70 +19.00 9.10 108.30 Timeout Timeout Timeout Timeout Timeout Unknown
SYN478+1 +0.60 +1.10 0.30 24.40 +48.40 2.00 41.50 Timeout Timeout Timeout Timeout Timeout Unknown
SYN482+1 +1.40 +1.10 0.60 21.20 +49.70 9.10 161.40 Timeout Timeout Timeout Timeout Timeout Unknown
SYN483+1 +1.80 +1.00 0.30 7.70 +19.30 2.40 32.00 Timeout Timeout Timeout Timeout Timeout Unknown
SYN485+1 +0.60 +0.60 0.60 9.40 +14.00 3.20 198.00 Timeout Timeout Timeout Timeout Timeout GaveUp
SYN505+1 +0.70 +0.80 0.30 47.60 +29.80 1.80 79.10 Timeout Timeout Timeout Timeout Timeout Unknown
SYN512+1 +1.00 +0.80 0.60 17.60 +39.10 2.60 93.20 Timeout Timeout Timeout Timeout Timeout Unknown
SYN548+1 +2.30 Timeout 2.70 74.80 Timeout 19.00 Timeout 4.00 +95.90 +12.90 +0.00 Timeout GaveUp
SYN550+1 +0.00 +0.00 1.80 111.70 Timeout 11.00 2.40 0.20 Timeout +0.30 +0.00 8.30 GaveUp
SYN723+1 +25.00 +1.90 2.10 216.10 258.50 Timeout 4.00 Timeout GaveUp Timeout +2.00 Timeout GaveUp
SYN733+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 +0.00 +0.00 0.10 GaveUp
SYN920+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.30 +0.10 +0.00 +0.00 Timeout GaveUp
SYN924+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 0.00 +0.00 0.10 GaveUp
SYN934+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 0.00 +0.00 Unknown GaveUp
SYN935+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 0.00 +0.00 Unknown GaveUp
SYN965+1 +0.00 +0.00 0.10 0.00 +0.10 0.00 0.00 0.10 +0.10 +0.00 +0.00 Unknown GaveUp
Attempted 300 300 300 300 300 300 300 300 300 300 300 300 300
Solved 270 266 262 248 225 201 173 160 138 117 104 103 37
Av. Time 20.84 16.37 12.19 13.36 13.10 9.57 14.92 39.50 25.04 16.06 29.42 44.23 0.76
Solutions 270 266 0 0 221 0 0 0 138 89 104 0 0
SOTAC 0.14 0.15 0.14 0.14 0.12 0.11 0.12 0.11 0.11 0.10 0.12 0.10 0.19
New Attempted 120 120 120 120 120 120 120 120 120 120 120 120 120
New Solved 104 100 99 97 95 85 88 70 65 42 21 64 1
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for CNF

CNF Vampire
8.1
Vampire
9.0
E
0.999
EP
0.999
iProver
0.2
Equinox
1.2
Otter
3.3
Geo
2007f
E-KRHyper
1.0
Metis
2.0
ALG003-1 +16.20 +4.30 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
ANA002-1 +3.30 +1.80 20.90 Timeout 19.60 Timeout Timeout Timeout Timeout Timeout
ANA002-3 +29.30 +28.50 10.70 Timeout 45.10 Timeout Timeout +8.20 Timeout Timeout
ANA002-4 +102.40 +10.90 1.20 Timeout 0.80 Timeout Timeout +1.80 Timeout Timeout
ANA003-1 +68.10 +69.40 Timeout Timeout Timeout Timeout Timeout +282.70 WCout Timeout
ANA003-2 +59.50 +19.80 10.90 +12.10 Timeout Timeout Timeout Timeout Timeout Timeout
ANA004-1 +78.80 +79.50 Timeout Timeout Timeout Timeout Timeout Timeout WCout Timeout
ANA004-3 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
ANA004-4 +1.30 +0.10 0.00 +0.10 0.40 Timeout GaveUp Timeout Timeout Timeout
ANA014-2 +0.00 +0.00 0.00 +0.10 Timeout Timeout +13.60 +135.00 WCout +0.10
BOO039-1 +328.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
COL003-2 +0.80 +58.80 0.40 +0.90 Timeout 0.10 GaveUp Timeout Timeout Timeout
COL003-5 +0.80 +58.90 0.40 +0.90 Timeout 0.20 GaveUp Timeout Timeout Timeout
COL003-7 +40.50 +67.20 24.80 +29.50 Timeout 0.20 GaveUp Timeout Timeout Timeout
COL003-8 +40.50 +66.70 25.20 +29.70 Timeout 0.20 GaveUp Timeout Timeout Timeout
COL043-2 +0.00 +56.20 0.20 +0.40 Timeout Timeout Timeout Timeout Timeout Timeout
COL044-4 +24.00 +6.90 0.40 +0.80 Timeout 5.40 Timeout Timeout Timeout Timeout
COL076-2 +94.30 +216.30 0.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
COL078-2 +0.00 +0.00 0.10 Timeout Unknown Timeout Timeout Timeout Timeout Timeout
COL079-1 +109.30 +99.90 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
COL091-1 +0.00 +0.00 0.00 +0.10 0.10 0.50 Timeout Timeout WCout Timeout
COL091-2 +0.20 +175.80 0.10 Timeout 151.70 11.60 Timeout Timeout WCout Timeout
COL092-1 +0.00 +0.10 0.50 +0.80 111.40 5.30 Timeout Timeout WCout Timeout
COL114-1 +0.10 +0.10 0.90 +1.00 0.30 Timeout +4.20 Timeout +0.80 Timeout
COL122-1 +0.10 +0.10 0.70 +0.90 Unknown Timeout +3.60 Timeout +0.80 Timeout
COM010-1 +1.00 +1.40 5.40 +5.90 Timeout Timeout GaveUp Timeout WCout Timeout
COM011-1 +65.50 +7.80 86.80 +99.60 Timeout Timeout Timeout Timeout WCout Timeout
FLD005-1 +2.00 +0.70 Timeout +5.50 Timeout Timeout Timeout +351.50 Timeout Timeout
FLD012-3 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
FLD047-4 +5.30 +5.60 247.60 Timeout 185.80 Timeout Timeout +234.30 +287.50 Timeout
GEO007-1 +5.40 +0.90 63.50 +0.10 280.20 Timeout Timeout Timeout Timeout Timeout
GEO008-1 +162.60 +270.10 0.70 +0.80 Timeout Timeout Timeout Timeout Timeout Timeout
GEO010-3 +0.00 +0.00 0.00 +0.10 0.50 0.10 Timeout +4.80 +5.70 Timeout
GEO027-2 +58.50 +9.70 17.70 Timeout 124.90 Timeout +97.00 +21.80 +53.90 Timeout
GEO062-2 +161.40 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
GEO076-4 +0.10 +0.20 0.00 +0.10 Timeout Timeout Timeout +0.10 +334.50 Timeout
GEO127-1 +0.10 +0.50 0.00 +0.10 76.20 Timeout Timeout +0.60 WCout Timeout
GRP039-4 +0.50 +0.30 0.00 +0.10 269.50 Timeout Timeout +24.00 +4.00 Timeout
GRP040-3 +0.30 +0.20 0.00 +0.10 Timeout Timeout +7.50 +238.20 +1.50 Timeout
GRP049-1 +75.50 +5.20 3.60 Timeout Timeout Timeout GaveUp Timeout Timeout Timeout
GRP054-1 +75.70 +10.20 0.80 +29.90 Timeout Timeout GaveUp Timeout Timeout Timeout
GRP062-1 +1.20 +1.60 0.20 +1.50 Timeout Timeout GaveUp Timeout Timeout Timeout
GRP072-1 +0.10 +0.10 0.10 +0.30 Timeout Timeout GaveUp Timeout Timeout Timeout
GRP073-1 +0.10 +0.20 0.00 +0.50 Timeout Timeout Timeout Timeout Timeout Timeout
GRP085-1 +0.00 +0.10 0.10 +0.40 Timeout Timeout +0.10 Timeout Timeout Timeout
GRP087-1 +0.00 +0.00 0.00 +0.20 Timeout Timeout +0.10 Timeout Timeout Timeout
GRP097-1 +0.00 +0.00 0.10 +0.20 Timeout Timeout +4.70 Timeout Timeout Timeout
GRP107-1 +0.10 +0.20 0.20 +0.50 Timeout Timeout +4.40 Timeout Timeout Timeout
GRP110-1 +0.00 +0.00 0.10 +0.60 Timeout Timeout +18.50 Timeout Timeout Timeout
GRP111-1 +0.00 +0.40 0.10 +0.70 Timeout Timeout +8.60 Timeout Timeout Timeout
GRP197-1 +5.10 +5.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
GRP221-1 +0.30 +0.20 1.50 +98.90 Timeout 256.00 Timeout Timeout Timeout Timeout
GRP309-1 +0.30 +0.20 0.70 +1.30 Timeout 71.00 Timeout Timeout Timeout Timeout
GRP372-1 +0.40 +0.10 2.30 +4.00 Timeout 11.60 Timeout Timeout Timeout Timeout
HEN011-3 +6.60 +1.50 1.20 +2.40 Timeout Timeout GaveUp Timeout Timeout Timeout
HWC003-1 +52.60 +82.10 0.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
HWV002-1 +27.50 +8.90 Timeout Timeout WCout Timeout GaveUp Timeout Timeout Timeout
HWV004-1 Timeout Timeout 2.50 Timeout WCout Timeout GaveUp Timeout Timeout Timeout
HWV008-1.002 +0.00 +0.10 0.70 +0.90 0.20 11.90 +0.10 Timeout +0.60 +0.30
HWV022-2 +0.10 +3.00 0.60 +0.30 Timeout 9.00 Timeout Timeout WCout Timeout
HWV031-1 +36.80 +9.40 8.50 +14.50 Timeout 1.00 Timeout Timeout Unknown Timeout
LAT003-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LAT005-3 +32.20 +10.70 8.20 Timeout Timeout Timeout GaveUp Timeout Timeout Timeout
LAT036-1 Timeout Timeout Timeout Timeout WCout Timeout +2.10 Timeout Timeout Timeout
LAT041-1 +57.60 +59.80 Timeout Timeout Timeout Timeout Timeout Timeout WCout Timeout
LAT197-1 +53.10 +44.50 3.20 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LAT200-1 +271.70 +46.30 3.00 Timeout Timeout Timeout GaveUp Timeout Timeout Timeout
LAT201-1 Timeout +248.40 7.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LAT212-1 Timeout Timeout 17.90 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LAT230-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LAT233-1 Timeout Timeout 16.40 Timeout WCout Timeout Timeout Timeout Timeout Timeout
LAT234-1 +57.10 +84.80 0.40 Timeout Timeout Timeout Timeout +121.20 Timeout Timeout
LAT246-1 +43.80 Timeout 12.70 Timeout WCout Timeout Timeout Timeout Timeout Timeout
LAT259-1 +28.30 +1.80 6.10 +7.20 Timeout 9.20 GaveUp Timeout WCout Timeout
LAT269-2 +0.00 +0.00 0.00 +0.10 4.10 0.00 +0.10 +1.00 +0.40 +0.00
LAT273-2 +0.00 +0.00 0.00 +0.10 0.00 0.00 +0.10 +0.60 +0.40 +0.00
LCL001-1 +52.70 +17.50 Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout
LCL037-1 +144.40 +79.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LCL062-1 +15.60 +106.60 13.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LCL063-1 Timeout Timeout 175.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LCL147-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LCL151-1 +169.20 +118.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LCL152-1 +5.90 +0.70 6.50 +3.60 Timeout Timeout Timeout Timeout Timeout Timeout
LCL221-1 +82.20 +29.40 Timeout Timeout Timeout Timeout GaveUp Timeout +23.00 Timeout
LCL222-1 +81.20 +28.80 Timeout Timeout Timeout Timeout GaveUp Timeout +20.40 Timeout
LCL222-3 +30.20 +42.40 53.50 Timeout Timeout Timeout GaveUp Timeout WCout Timeout
LCL227-1 +34.10 +0.20 1.50 +5.80 Timeout Timeout GaveUp Timeout Timeout Timeout
LCL230-3 +1.20 +31.50 1.00 +6.10 Timeout Timeout GaveUp Timeout WCout Timeout
LCL246-3 +1.20 +0.00 0.40 +0.40 Timeout Timeout +1.90 Timeout WCout Timeout
LCL249-1 +1.70 +13.10 Timeout +98.90 Timeout Timeout GaveUp Timeout +252.90 Timeout
LCL249-3 +1.20 +0.00 0.40 +0.30 Timeout Timeout GaveUp Timeout WCout Timeout
LCL253-1 +27.60 +160.30 Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout
LCL271-3 +1.40 +0.00 0.20 +0.20 53.50 Timeout GaveUp Timeout WCout Timeout
LCL277-3 +14.40 +3.00 Timeout Timeout Timeout Timeout GaveUp Timeout WCout Timeout
LCL314-3 +26.30 +41.30 25.00 Timeout Timeout Timeout GaveUp Timeout WCout Timeout
LCL332-3 +2.10 +2.00 66.60 Timeout Timeout Timeout GaveUp Timeout WCout Timeout
LCL351-3 +17.60 +30.30 Timeout Timeout Timeout Timeout GaveUp Timeout WCout Timeout
LCL423-1 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout
LCL443-1 +83.90 +155.60 Timeout Timeout Timeout Timeout Timeout Timeout WCout Timeout
LCL444-2 +80.50 +28.30 Timeout Timeout Timeout Timeout GaveUp Timeout +113.90 Timeout
LDA004-1 +80.30 +21.30 58.70 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LDA008-2 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LDA011-2 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
MGT035-1 +8.30 +93.40 2.10 +308.00 3.50 2.80 Timeout +1.10 +6.20 Timeout
NLP080-1 +0.00 +0.00 0.00 +0.10 0.10 0.10 +0.10 +8.00 +2.10 +1.30
NLP094-1 +0.00 +0.00 0.00 +0.10 0.10 0.50 +0.10 +1.50 +1.20 +0.20
NUM011-1 +0.10 +2.10 0.80 +1.30 Timeout Timeout Timeout Timeout Timeout Timeout
NUM017-2 +2.40 +2.90 Timeout Timeout Timeout Timeout +7.40 Timeout +213.00 Timeout
NUM066-1 +22.60 +2.10 35.70 +49.80 144.10 Timeout Timeout Timeout Timeout Timeout
PLA004-2 +0.00 +0.00 0.00 +0.10 0.10 Timeout Timeout Timeout Timeout Timeout
PLA005-1 +0.10 +0.00 0.00 +0.10 0.20 Timeout Timeout Timeout Timeout Timeout
PLA009-1 +0.10 +0.00 0.00 +0.10 1.50 Timeout Timeout Timeout Timeout Timeout
PLA010-1 +0.20 +0.10 0.10 +0.20 10.00 Timeout Timeout Timeout Timeout Timeout
PLA011-2 +0.10 +0.00 0.00 +0.10 0.10 Timeout Timeout Timeout Timeout Timeout
PLA012-1 +0.10 +0.00 0.20 +0.30 1.70 Timeout Timeout Timeout Timeout Timeout
PLA021-1 +0.00 +0.00 0.00 +0.10 0.20 Timeout Timeout Timeout Timeout Timeout
PLA023-1 +0.10 +0.00 0.20 +0.30 1.70 Timeout Timeout Timeout Timeout Timeout
PUZ035-4 +0.00 +0.00 0.00 +0.10 0.00 0.00 +0.10 +0.20 +0.40 +0.00
PUZ035-7 +0.00 +0.00 0.00 +0.10 0.00 1.30 Timeout +0.90 Timeout +18.40
PUZ050-1 +71.40 +52.60 Timeout Timeout Timeout Timeout GaveUp Timeout +60.20 Timeout
RNG001-3 +2.40 +202.90 Timeout 169.40 9.00 Timeout +1.70 +0.00 +15.00 +23.60
RNG029-3 +0.80 +0.20 8.20 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET007-1 +0.20 Timeout 0.20 +0.40 4.60 0.10 Timeout Timeout Timeout +21.60
SET012-2 +0.00 +0.00 2.10 +2.90 21.50 Timeout Timeout Timeout +37.30 Timeout
SET013-3 +19.10 +5.20 231.30 Timeout Timeout Timeout Timeout Timeout Unknown Timeout
SET015-1 +1.20 +0.00 0.60 +0.90 0.30 Timeout Timeout Timeout Timeout Timeout
SET015-4 +0.00 +1.30 0.50 +7.90 305.40 0.10 Timeout Timeout Timeout Timeout
SET018-3 +0.10 +52.40 233.70 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET019-4 +5.80 +0.50 50.10 +14.40 2.20 Timeout +9.70 +70.60 +128.00 Timeout
SET031-4 +14.80 +105.10 25.70 +6.40 0.60 Timeout Timeout Timeout WCout Timeout
SET038-3 +51.40 +104.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET039-3 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET042-3 +1.20 +51.10 1.90 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET061-7 +0.00 +0.00 0.00 +0.10 9.60 260.90 +0.30 +1.50 WCout +1.30
SET206-6 +18.60 +39.00 9.80 +14.50 Timeout Timeout +97.90 Timeout WCout Timeout
SET787-2 +97.70 +196.50 0.10 Timeout Timeout 0.30 Timeout Timeout WCout Timeout
SET821-2 +0.00 +0.00 0.00 +0.10 0.00 Timeout +0.10 +0.10 WCout +1.60
SET839-2 +0.00 +0.00 0.00 +0.10 39.50 GaveUp +0.10 +0.10 WCout +0.00
SET840-1 +66.00 +64.20 Timeout Timeout Timeout Timeout Timeout Timeout WCout Timeout
SET847-1 +125.80 +39.40 Timeout Timeout Timeout Timeout Timeout Timeout WCout Timeout
SET850-1 +0.10 +0.10 2.00 +2.40 4.60 Timeout GaveUp Timeout +1.00 Timeout
SET851-1 +0.10 +0.10 0.80 +1.00 Timeout 0.80 Timeout Timeout WCout Timeout
SET857-1 +35.30 +125.20 Timeout Timeout Timeout Timeout Timeout Timeout WCout Timeout
SET861-2 +12.50 +10.30 Timeout Timeout Timeout Timeout GaveUp Timeout WCout Timeout
SET864-1 +0.10 +0.90 3.50 +4.00 Timeout 1.10 Timeout Timeout WCout Timeout
SWC021-1 +347.50 +239.40 1.10 +9.60 Timeout Timeout Timeout +25.70 WCout Timeout
SWC293-1 +0.00 +0.00 0.10 +0.20 2.60 0.20 +221.30 +5.80 Timeout +0.40
SWC390-1 Timeout Timeout 28.40 +89.50 Timeout Timeout Timeout Timeout WCout Timeout
SWV014-1 +6.70 +0.10 0.00 +0.10 0.00 Timeout Timeout Timeout Timeout Timeout
SWV239-1 +14.80 +7.60 2.10 +2.60 9.40 Timeout GaveUp Timeout WCout Timeout
SWV242-1 +0.10 +0.10 1.00 +1.30 8.00 Timeout Timeout Timeout WCout Timeout
SWV246-1 +28.20 +31.50 4.00 +4.90 Timeout Timeout GaveUp Timeout WCout Timeout
SWV248-1 +144.00 +75.00 251.10 288.40 237.10 Timeout Timeout Timeout WCout Timeout
SWV248-2 +1.20 +0.00 0.00 +0.10 0.00 WCout Timeout +8.00 Timeout Timeout
SWV249-2 +4.00 +0.10 5.30 +9.70 Timeout Timeout +0.30 Timeout Timeout Timeout
SWV251-1 +10.50 +39.20 Timeout Timeout Timeout Timeout GaveUp Timeout WCout Timeout
SWV252-2 +5.70 +16.60 0.10 +0.20 Timeout Timeout Timeout +41.60 Timeout Timeout
SWV255-1 +7.40 +32.20 6.70 +16.00 Timeout Timeout GaveUp Timeout WCout Timeout
SWV259-1 +3.10 +15.90 6.00 +7.80 32.00 Timeout GaveUp Timeout WCout Timeout
SWV287-2 +0.00 +0.00 0.00 +0.10 0.00 0.00 +0.10 Timeout +0.40 +0.00
SWV290-2 +0.00 +0.00 0.00 +0.10 0.00 0.10 +0.10 Timeout +0.40 +0.00
SWV303-2 +0.00 +0.00 0.00 +0.10 Timeout 1.30 Timeout Timeout +1.50 +83.30
SWV304-2 +0.00 +0.00 0.00 +0.10 3.90 2.40 +0.20 Timeout +0.60 Timeout
SWV308-2 +0.00 +0.10 0.00 +0.10 0.00 2.70 +0.10 Timeout +0.50 Timeout
SWV311-2 +0.00 +0.00 0.00 +0.10 1.10 0.10 +0.10 Timeout +1.10 +0.10
SWV319-1 +223.60 +67.00 7.80 +15.50 Timeout Timeout GaveUp Timeout WCout Timeout
SWV319-2 +0.00 +0.00 0.00 +0.10 0.80 0.00 +0.10 +96.80 +0.40 +0.00
SWV322-1 +0.20 +0.20 0.90 +1.20 Timeout 0.80 +1.90 Timeout WCout +0.90
SWV328-1 +1.80 +24.60 7.20 +21.50 Timeout Timeout GaveUp Timeout WCout Timeout
SWV329-1 +1.80 +24.70 7.30 +89.20 Timeout Timeout GaveUp Timeout WCout Timeout
SWV331-1 +1.40 +9.00 6.90 +8.30 2.20 22.30 GaveUp Timeout WCout Timeout
SWV332-2 +0.00 +0.00 0.00 +0.10 1.60 0.20 +15.70 Timeout +0.40 +0.10
SWV337-1 +13.60 +72.70 15.70 Timeout Timeout Timeout Timeout Timeout WCout Timeout
SWV338-1 +2.10 +24.90 111.80 +148.90 Timeout 16.10 GaveUp Timeout WCout Timeout
SWV342-1 +84.80 +41.50 11.20 +45.70 Timeout Timeout GaveUp Timeout WCout Timeout
SWV345-1 +2.00 +25.30 214.00 358.50 13.20 2.40 GaveUp Timeout WCout Timeout
SWV351-1 +0.20 +0.20 0.20 +1.70 1.30 2.40 +0.90 Timeout +1.90 +1.00
SWV353-1 +2.30 +44.50 288.80 Timeout 38.00 24.80 GaveUp Timeout WCout Timeout
SWV354-1 Timeout +59.90 Timeout Timeout Timeout 29.60 GaveUp Timeout WCout Timeout
SWV358-1 Timeout +42.50 8.90 +15.50 Timeout Timeout GaveUp Timeout WCout Timeout
SWV361-1 +115.40 +83.70 77.70 Timeout Timeout Timeout GaveUp Timeout WCout Timeout
SWV362-1 +2.80 +25.80 277.60 Timeout Timeout 2.50 GaveUp Timeout WCout Timeout
SYN015-1 +0.00 +0.10 0.00 +0.10 8.10 0.40 Timeout +0.20 Timeout +0.90
SYN036-1 +0.00 +0.00 6.00 +9.10 Timeout 60.30 Timeout Timeout +2.20 +21.80
SYN067-1 +0.20 +6.20 17.40 +79.40 Timeout 3.30 Timeout Timeout WCout Timeout
SYN334-1 +0.00 +0.00 0.00 +0.10 0.00 0.60 +0.10 +0.00 Timeout +0.00
SYN556-1 +2.00 +27.50 11.60 +19.40 0.40 293.40 Timeout +0.90 Timeout Timeout
SYN599-1 +2.00 +92.80 Timeout Timeout 0.50 Timeout Timeout +5.10 Timeout Timeout
SYN600-1 +25.20 +4.90 26.30 +39.60 0.20 Timeout +5.10 +11.10 Timeout Timeout
SYN604-1 +43.90 +39.60 Timeout +19.00 70.60 Timeout Timeout +11.50 Timeout Timeout
SYN617-1 +26.20 +91.50 15.40 Timeout 6.30 Timeout GaveUp +328.40 Timeout Timeout
SYN633-1 +1.20 +0.00 0.00 +0.10 0.70 3.80 Timeout +142.80 Timeout Timeout
SYN635-1 +1.20 +0.00 0.00 +0.10 0.80 3.90 Timeout Timeout Timeout Timeout
SYN639-1 +2.00 +4.30 Timeout Timeout 0.40 Timeout +6.70 Timeout +31.30 Timeout
SYN701-1 +1.40 +0.20 0.10 +0.30 0.50 202.20 Timeout Timeout Timeout Timeout
SYN704-1 +25.20 +0.50 0.30 +0.50 0.10 Unknown +0.10 +285.80 Timeout Timeout
SYN711-1 +25.20 +0.10 0.00 +0.10 0.30 0.10 Timeout Timeout Timeout +34.80
SYN755-1 +0.00 +0.10 0.00 +0.10 0.40 1.50 Timeout +0.80 +1.90 +6.60
SYN759-1 +1.00 +40.90 16.20 +9.50 9.60 19.60 Timeout +17.10 +9.40 Timeout
SYN802-1 +52.40 +47.60 13.30 +139.30 Timeout Timeout Timeout Timeout Timeout Timeout
Attempted 200 200 200 200 200 200 200 200 200 200
Solved 182 181 156 125 76 57 41 41 38 27
Av. Time 27.66 29.64 19.73 20.07 30.72 23.83 13.10 60.77 42.54 8.09
Solutions 182 181 0 122 0 0 41 41 38 27
SOTAC 0.25 0.24 0.23 0.19 0.16 0.16 0.17 0.15 0.16 0.12
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for FNT

FNT Paradox
2.2
Geo
2007f
DarwinFM
1.4.1
E
0.999
iProver
0.2
Metis
2.0
GEO224+1* +0.10 +0.00 +0.10 Timeout Timeout Timeout
GEO224+2* +0.10 +0.00 +0.10 Timeout Timeout Timeout
GRA015+1 +0.10 +4.60 +171.00 Timeout 0.30 Timeout
GRA016+1 +0.10 +7.60 Timeout Timeout 0.50 Timeout
GRA017+1 +0.20 +207.40 Timeout Timeout 9.60 Timeout
GRA018+1 +0.60 Timeout Timeout Timeout Timeout Timeout
GRA020+1 +0.40 +1.90 +11.60 Timeout 0.40 Timeout
GRA021+1 +0.70 +4.10 +52.80 Timeout 0.90 Timeout
GRA022+1 +1.20 +6.70 +58.60 Timeout 1.20 Timeout
GRA023+1 +5.30 +42.80 +125.40 Timeout 3.10 Timeout
GRA025+1 +19.50 +17.10 Timeout Timeout 2.10 Timeout
GRA026+1 Unknown +201.90 Timeout Timeout 121.10 Timeout
HAL003+1 +2.70 +166.00 +4.00 Timeout Timeout Timeout
HAL003+2 +2.10 Timeout +175.10 Timeout Timeout Timeout
HAL005+1 +3.50 Timeout +72.80 Timeout Timeout Timeout
KRS029+1 +0.00 +0.00 +0.00 0.00 Timeout 0.00
KRS032+1 +0.10 +0.00 +0.00 0.10 9.80 2.00
KRS033+1 +0.20 +0.10 +0.20 0.40 Timeout 78.80
KRS034+1 +0.10 +0.20 +3.00 3.80 Timeout Timeout
KRS035+1 +0.00 +0.00 +0.00 0.00 Timeout 0.00
KRS036+1 +0.00 +0.00 +0.00 0.00 Timeout 0.00
KRS043+1 +0.10 +0.10 +0.00 0.00 Timeout 0.10
KRS046+1 +0.00 +0.00 +0.00 0.00 Timeout 0.00
KRS047+1 +0.00 +0.00 +0.00 0.00 Timeout 0.00
KRS051+1 +0.40 +11.20 +256.40 Timeout Timeout Timeout
LCL354+1 +0.00 +0.00 +0.20 Timeout Timeout Timeout
MGT038+2 +0.10 +0.20 +0.10 Timeout Timeout Timeout
MGT066+1 +0.00 +0.00 +0.00 Timeout 0.40 Timeout
MSC013+1 Timeout +2.00 Timeout 0.00 0.00 14.30
MSC014+1 Timeout +0.20 Timeout 0.00 0.00 0.60
NLP015+1 +0.10 +0.20 +0.10 0.00 0.10 0.10
NLP017+1 +0.10 +0.20 +0.10 0.00 0.10 0.00
NLP019+1 +0.10 +0.20 +0.10 0.00 0.10 0.00
NLP027+1 +0.10 +0.10 +0.20 0.30 6.30 Timeout
NLP028+1 +0.10 +0.10 +0.20 0.30 3.80 Timeout
NLP051+1 Unknown +4.60 +2.80 0.00 Timeout 0.20
NLP052+1 WCout +6.20 +15.90 0.00 Timeout 0.20
NLP053+1 Unknown +3.80 +2.80 0.00 Timeout 0.20
NLP059+1 +0.10 +0.00 +0.60 0.40 2.50 1.60
NLP061+1 +0.10 +0.00 +0.60 0.30 4.80 3.60
NLP062+1 +0.10 +0.00 +0.60 0.20 0.80 0.30
NLP069+1 Unknown +4.10 +10.60 0.00 Timeout 0.20
NLP074+1 Unknown +4.10 +10.20 0.00 Timeout 0.30
NLP076+1 Unknown +4.10 +10.10 0.00 Timeout 0.30
NLP077+1 Unknown +4.00 +10.20 0.00 Timeout 0.20
NLP078+1 Unknown +4.10 +10.10 0.00 Timeout 0.20
NLP082+1 Unknown +11.90 +22.80 0.00 Timeout 0.30
NLP090+1 Unknown +12.80 +16.90 0.60 Timeout 0.60
NLP092+1 Unknown +14.10 +16.70 Timeout Timeout 0.50
NLP099+1 +0.00 +0.10 +0.20 1.40 1.50 4.00
NLP162+1 +0.30 +0.40 +159.00 1.00 17.80 0.70
NLP163+1 +0.20 +0.30 +33.80 1.10 17.80 0.70
NLP166+1 +0.20 +0.70 Timeout 1.00 16.50 Timeout
NLP167+1 +0.30 +0.60 Timeout 1.00 16.80 Timeout
NLP171+1 +0.30 +1.30 +0.40 0.00 Timeout 0.20
NLP174+1 +0.30 +1.40 +0.50 0.00 Timeout 0.20
NLP178+1 +0.30 +1.40 +0.50 0.00 Timeout 0.20
NLP179+1 +0.30 +1.40 +0.40 0.00 Timeout 0.20
NLP180+1 +0.30 +0.70 +0.30 0.40 Timeout Timeout
NLP183+1 +0.30 +0.90 +0.30 0.40 Timeout Timeout
NLP184+1 +0.30 +0.80 +0.30 0.30 Timeout Timeout
NLP185+1 +0.30 +0.70 +0.30 0.30 Timeout Timeout
NLP188+1 +0.30 +0.80 +0.30 0.30 Timeout Timeout
NLP192+1 +0.30 +0.60 +1.10 1.30 2.30 1.10
NLP201+1 +0.30 +2.10 +0.40 0.00 Timeout 0.20
NLP203+1 +0.40 +2.10 +0.30 0.10 Timeout 0.20
NLP205+1 +0.40 +1.90 +0.40 0.10 Timeout 0.20
NLP206+1 +0.30 +1.90 +0.40 0.00 Timeout 0.20
NLP207+1 +0.40 +2.30 +0.50 0.00 Timeout 0.20
NLP217+1 +0.30 +1.30 +0.30 2.60 Timeout Timeout
NLP219+1 +0.30 +1.40 +0.30 1.80 Timeout Timeout
NLP240+1 +0.20 +0.20 +0.20 0.10 1.70 0.40
NLP242+1 +0.20 +0.20 +0.20 0.10 1.60 0.50
NLP244+1 +0.20 +0.30 +0.20 0.10 1.50 0.40
NLP247+1 +0.20 +0.20 +0.20 0.10 1.80 0.50
PLA024+1 +0.10 +1.00 +0.10 Timeout 0.30 Timeout
PLA025+1 +0.50 +141.00 +0.90 Timeout 15.90 Timeout
PLA026+1 +0.20 +4.20 +0.30 Timeout 1.40 Timeout
PLA027+1 +0.10 +2.10 +0.10 Timeout 0.80 Timeout
SWV016+1 +0.10 +67.70 +0.20 0.00 11.70 Timeout
SWV018+1 +0.10 +16.20 +0.20 0.00 12.40 Timeout
SWV238+1 Timeout Timeout Timeout 356.00 Timeout Timeout
SYN316+1 +0.00 +0.00 +0.00 0.00 0.00 0.00
SYN324+1 +0.00 +0.00 +0.00 0.00 0.00 0.00
SYN330+1 +0.50 +21.90 Timeout 0.00 0.00 0.00
SYN335+1 +166.00 Timeout Timeout 0.00 0.00 Timeout
SYN424+1 +1.30 Timeout Timeout Timeout 2.30 Timeout
SYN427+1 +1.50 Timeout Timeout Timeout 10.40 Timeout
SYN428+1 +1.10 Timeout +5.10 Timeout 231.70 Timeout
SYN434+1 +0.30 Timeout +32.20 Timeout 40.30 Timeout
SYN441+1 +0.50 Timeout Timeout Timeout 183.30 Timeout
SYN449+1 +0.60 Timeout Timeout Timeout 8.00 Timeout
SYN453+1 +0.50 Timeout Timeout Timeout 196.10 Timeout
SYN464+1 +0.40 Timeout +240.10 Timeout 1.50 Timeout
SYN513+1 +0.70 Timeout +3.50 Timeout 1.40 Timeout
SYN518+1 +0.90 Timeout Timeout 3.70 3.60 Timeout
SYN519+1 +1.10 Timeout Timeout Timeout Timeout Timeout
SYN520+1 +1.60 Timeout +98.50 Timeout Timeout Timeout
SYN542+1 +0.30 Timeout Timeout Timeout 1.40 Timeout
SYN543+1 +0.40 Timeout Timeout Timeout 13.60 Timeout
Attempted 100 100 100 100 100 100
Solved 85 81 79 63 53 47
Av. Time 2.64 12.70 20.82 6.03 18.55 2.44
Solutions 85 81 79 0 0 0
SOTAC 0.28 0.23 0.24 0.23 0.27 0.20
New Attempted 2 2 2 2 2 2
New Solved 2 2 2 0 0 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for SAT

SAT Paradox
1.3
Paradox
2.2
DarwinFM
1.4.1
Geo
2007f
iProver
0.2
E
0.999
Metis
2.0
ALG008-1 +0.00 +0.00 +0.30 +0.80 Timeout Timeout Timeout
BOO019-1 +0.00 +0.00 +10.20 +0.20 Timeout Timeout Timeout
BOO033-1 +0.00 +0.00 +0.10 +0.00 Timeout Timeout Timeout
BOO037-1 +0.00 +0.00 +0.00 +0.00 274.90 Timeout Timeout
BOO056-1 +0.90 +1.50 Timeout Timeout Timeout Timeout Timeout
BOO060-1 +21.20 +46.70 Timeout Timeout Timeout Timeout Timeout
CAT019-4 +0.00 +0.00 +0.00 +0.00 Timeout Timeout Timeout
CAT019-5 +0.00 +0.00 +0.10 +0.10 Timeout Timeout Timeout
COL047-1 +0.00 +0.00 +19.90 +0.70 Timeout Timeout Timeout
COL071-1 +0.00 +0.00 +57.80 +159.80 Timeout Timeout Timeout
COL073-1 +0.10 +0.10 +8.40 Timeout Timeout Timeout Timeout
GEO078-6 +0.10 +0.10 +1.10 Timeout Timeout Timeout Timeout
GEO162-1 +0.10 +0.10 +0.50 +127.40 Timeout Timeout Timeout
GRP025-3 +0.30 +0.50 +3.50 +1.10 Timeout Timeout Timeout
GRP026-2 +0.30 +0.50 +32.60 +25.20 Timeout Timeout Timeout
GRP027-2 +0.10 +0.20 +2.40 +0.40 Timeout Timeout Timeout
GRP112-1 +0.00 +0.00 +0.00 +1.40 Timeout Timeout Timeout
GRP394-1 +0.00 +0.00 +0.00 +0.00 0.60 Timeout Timeout
GRP394-2 +0.00 +0.00 +0.00 +0.00 0.50 Timeout Timeout
GRP397-1 +0.00 +0.00 +0.00 +0.00 0.90 Timeout Timeout
GRP398-3 +0.00 +0.00 +0.00 +0.00 0.70 Timeout Timeout
HEN013-1 +0.00 +0.00 +0.00 +0.00 0.20 Timeout Timeout
LAT016-1 +1.30 +32.80 Timeout Timeout Timeout Timeout Timeout
LAT049-1 +0.40 +0.90 +230.00 +9.00 Timeout Timeout Timeout
LAT050-1 +2.80 +4.60 Timeout Timeout Timeout Timeout Timeout
LAT054-1 +28.60 Timeout Timeout Timeout Timeout Timeout Timeout
LAT058-1 +0.00 +0.00 +0.00 +0.00 0.70 Timeout Timeout
LAT062-1 +3.30 +68.40 Timeout Timeout Timeout Timeout Timeout
LAT111-1 +25.90 +64.70 Timeout Timeout Timeout Timeout Timeout
LAT113-1 +36.10 +158.60 Timeout Timeout Timeout Timeout Timeout
LAT120-1 +3.20 +11.70 Timeout Timeout Timeout Timeout Timeout
LAT126-1 +34.90 Timeout Timeout Timeout Timeout Timeout Timeout
LCL078-1 +0.00 +0.00 +0.00 +0.30 Timeout Timeout Timeout
LCL165-1 +0.10 +0.10 +6.60 +46.40 Timeout Timeout Timeout
LCL179-1 +0.30 +3.20 +16.10 Timeout Timeout Timeout Timeout
LCL181-1 +3.40 +15.50 +52.60 Timeout Timeout Timeout Timeout
LCL183-1 +2.70 +11.10 +79.30 Timeout Timeout Timeout Timeout
LCL184-1 +0.50 +3.00 +5.90 Timeout Timeout Timeout Timeout
LCL220-1 +2.10 +39.30 +329.00 Timeout Timeout Timeout Timeout
LCL239-1 +0.90 +1.60 +36.40 +47.70 Timeout Timeout Timeout
LCL245-1 +25.70 +116.50 Timeout Timeout Timeout Timeout Timeout
LCL246-1 +10.30 +43.80 Timeout Timeout Timeout Timeout Timeout
LCL247-1 +3.90 +53.00 Timeout Timeout Timeout Timeout Timeout
LCL255-1 +5.30 +102.50 Timeout Timeout Timeout Timeout Timeout
LCL267-3 +0.00 +0.00 +0.10 Timeout Timeout Timeout Timeout
LCL280-3 +0.00 +0.00 +0.20 Timeout Timeout Timeout Timeout
LCL291-3 +0.00 +0.00 +0.10 Timeout Timeout Timeout Timeout
LCL292-3 +0.00 +0.00 +0.10 Timeout Timeout Timeout Timeout
LCL338-3 +0.00 +0.00 +0.10 Timeout Timeout Timeout Timeout
LCL411-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout Timeout
LCL412-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout Timeout
LCL413-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout Timeout
LCL415-1 Timeout Timeout Timeout Timeout 0.00 0.00 Timeout
MGT033-2 +0.00 +0.00 +0.10 +22.80 Timeout 1.20 1.10
MGT034-1 +0.10 +0.10 +2.40 +6.60 9.50 1.50 0.20
NLP033-1 +0.10 +0.10 +0.00 +0.70 0.20 Timeout Timeout
NLP062-1 +0.10 +0.10 +0.00 +0.10 0.30 Timeout Timeout
NLP085-1 GaveUp Unknown Timeout Timeout Timeout 0.00 0.50
NLP167-1 +0.10 +0.20 +0.10 +6.20 0.30 Timeout Timeout
NLP169-1 +0.10 +0.20 +0.10 +10.90 0.50 Timeout Timeout
NLP184-1 +0.20 +0.30 +0.20 Timeout Timeout 0.80 Timeout
NLP185-1 +0.20 +0.30 +0.20 Timeout Timeout 1.10 Timeout
NLP190-1 +0.10 +0.20 +0.10 +211.70 1.00 Timeout Timeout
NLP195-1 +0.10 +0.20 +0.20 +103.70 0.20 Timeout Timeout
NLP216-1 +0.30 +0.50 +0.40 Timeout Timeout Timeout Timeout
NUM287-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout Timeout
NUM288-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout Timeout
PUZ049-1 GaveUp Unknown Timeout Timeout 277.90 3.00 11.30
PUZ058-1 +0.10 +0.10 +72.40 Timeout Timeout Timeout Timeout
PUZ069-1 +3.40 +4.10 Timeout Timeout Timeout Timeout Timeout
PUZ070-1 +3.30 +3.90 Timeout Timeout Timeout Timeout Timeout
PUZ071-1 +3.50 +4.00 Timeout Timeout Timeout Timeout Timeout
RNG042-1 +0.00 +0.00 +0.00 +0.00 42.90 Timeout Timeout
ROB012-1 +0.10 +0.10 +33.00 Timeout WCout Timeout Timeout
ROB029-1 +0.00 +0.00 +0.00 +0.00 0.50 Timeout Timeout
SWV013-1 +0.10 +0.10 +0.00 +0.00 6.50 0.00 Timeout
SWV018-1 +0.10 +0.10 +0.10 +2.30 11.90 0.00 Unknown
SYN303-1 GaveUp Timeout Timeout Timeout 0.00 0.00 0.00
SYN316-1 +0.00 +0.00 +0.00 +0.00 0.00 0.00 0.00
SYN324-1 +0.00 +0.00 +0.00 +0.00 0.00 0.00 0.00
SYN750-1 +0.10 +0.10 +0.00 +0.00 311.60 13.90 Timeout
SYN753-1 +0.10 +0.10 +0.00 +0.00 Timeout 35.60 Timeout
SYN775-1 +0.00 +0.10 +0.00 +0.00 9.10 0.30 Timeout
SYN782-1 +0.00 +0.10 +0.00 +0.00 Timeout Timeout Timeout
SYN787-1 +0.10 +0.10 +0.00 +0.00 Timeout Timeout Timeout
SYN903-1 +0.80 +1.00 +0.50 +259.20 Timeout Timeout Timeout
SYN904-1 +1.60 +1.80 +0.70 +178.80 Timeout Timeout Timeout
SYN907-1 +1.90 +2.20 +1.00 Timeout Timeout Timeout Timeout
SYN908-1 +3.60 +4.00 +2.10 Timeout Timeout Timeout Timeout
SYN910-1 +5.70 +6.00 +8.50 Timeout WCout Timeout Timeout
TOP002-1 +0.20 +0.30 +0.20 Timeout Timeout Timeout Timeout
TOP003-1 +0.20 +0.30 +0.20 Timeout 218.40 Timeout Timeout
TOP005-1 +0.50 +0.70 +1.20 Timeout Timeout Timeout Timeout
TOP007-1 +0.60 +0.80 +103.60 +129.50 Timeout Timeout Timeout
TOP008-1 +0.20 +0.30 +0.50 Timeout 10.50 Timeout Timeout
TOP011-1 +0.10 +0.20 +0.10 +0.20 Timeout Timeout Timeout
TOP012-1 +0.20 +0.30 +1.40 Timeout Timeout Timeout Timeout
TOP013-1 +0.20 +0.30 +0.70 +96.30 33.70 Timeout Timeout
TOP014-1 +0.20 +0.30 +0.30 +85.80 Timeout Timeout Timeout
TOP017-1 +0.20 +0.30 +0.30 +209.90 Timeout Timeout Timeout
Attempted 100 100 100 100 100 100 100
Solved 96 94 79 54 28 15 7
Av. Time 2.53 8.67 14.23 32.32 43.34 3.83 1.87
Solutions 96 94 79 54 0 0 0
SOTAC 0.31 0.29 0.25 0.22 0.21 0.24 0.25
New Attempted 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for EPR

EPR Darwin
1.3
Darwin
1.4.1
iProver
0.2
Paradox
2.2
E
0.999
Geo
2007f
Vampire
9.0
E-KRHyper
1.0
Metis
2.0
Equinox
1.2
GEO079-1 0.00 0.00 0.00 0.00 0.00 +0.00 +0.00 +0.40 +0.00 0.00
GRP123-2.005 +0.10 +0.10 3.20 +0.10 Timeout +8.80 Timeout 0.50 Timeout Timeout
GRP124-7.005 +0.10 +0.10 1.60 +0.10 Timeout +0.60 Timeout 0.50 Timeout Timeout
GRP126-2.005 +0.00 +0.00 1.00 +0.10 Timeout +0.20 Timeout 0.50 Timeout Timeout
GRP127-1.005 +0.00 +0.00 1.20 +0.00 Timeout +0.30 Timeout 0.40 Timeout Timeout
GRP127-4.005 +0.10 +0.10 7.20 +0.10 Timeout +0.20 Timeout 0.40 Timeout Timeout
GRP128-3.004 +0.00 +0.00 0.40 +0.10 0.80 +1.80 Timeout 0.50 Timeout GaveUp
GRP128-3.005 0.10 0.10 0.60 0.10 4.20 +17.70 Timeout +14.00 Timeout 8.20
GRP128-4.004 +0.00 +0.00 0.90 +0.00 23.90 +0.10 Timeout 0.50 Timeout GaveUp
GRP130-3.004 +0.00 +0.00 0.40 +0.10 72.80 +1.60 Timeout 0.50 Timeout GaveUp
GRP131-1.005 +0.10 +0.10 3.70 +0.10 Timeout +37.30 Timeout 0.70 Timeout GaveUp
GRP134-2.005 +0.00 +0.00 1.60 +0.10 Timeout +2.10 Timeout 0.50 Timeout GaveUp
MGT066-1 +0.00 +0.00 0.40 +0.00 Timeout +0.00 Timeout 0.40 Timeout GaveUp
MSC008-1.010 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
NLP008-1 +0.00 +0.00 0.10 +0.10 0.00 +0.40 0.00 0.50 0.40 GaveUp
NLP013-1 +0.00 +0.00 0.10 +0.10 0.00 +2.30 0.00 0.50 0.40 GaveUp
NLP023-1 +0.00 +0.00 0.20 +0.10 0.00 +0.50 0.00 0.40 0.10 GaveUp
NLP115-1 +0.00 +0.00 0.00 +0.00 0.00 +0.60 0.00 0.40 0.00 GaveUp
NLP120-1 +0.00 +0.00 0.00 +0.00 0.00 +0.70 0.00 0.40 0.00 GaveUp
NLP125-1 +0.00 +0.00 0.10 +0.00 0.00 +0.30 0.00 0.40 0.10 GaveUp
NLP127-1 +0.00 +0.00 0.10 +0.00 0.00 +0.90 0.00 0.40 0.10 GaveUp
NLP128-1 +0.00 +0.00 0.10 +0.00 0.00 +0.40 0.00 0.40 0.00 GaveUp
PUZ001-3 +0.00 +0.00 0.00 +0.00 0.00 +0.00 0.00 0.40 0.00 GaveUp
PUZ012-1 0.00 0.00 0.00 0.00 0.00 +0.10 +0.00 +0.40 +0.00 0.00
PUZ018-1 0.00 0.00 0.10 0.00 0.10 +10.60 +0.10 +81.50 +83.20 5.80
PUZ018-2 +0.00 +0.00 0.10 +0.10 Timeout +4.70 Timeout Timeout Timeout GaveUp
PUZ022-1 0.00 0.00 0.00 0.10 0.00 +0.60 +0.00 +0.40 +0.00 0.30
PUZ028-1 +0.00 +0.00 0.00 +0.00 0.00 +0.10 0.00 0.40 0.00 GaveUp
PUZ028-3 +0.00 +0.10 0.10 +0.80 0.10 +4.60 1.20 0.60 0.30 GaveUp
PUZ028-4 +0.00 +0.00 0.10 +0.40 0.00 +0.60 1.20 0.50 0.20 GaveUp
PUZ037-3 50.70 51.30 3.70 Unknown Timeout Timeout +74.80 WCout Timeout Timeout
PUZ053-1 Timeout Timeout Timeout Unknown Timeout Timeout GaveUp WCout Timeout Timeout
SYN009-4 0.00 0.00 0.00 0.00 0.00 +0.00 +0.00 +0.50 +0.00 0.00
SYN052-1 0.00 0.00 0.00 0.00 0.00 +0.00 +0.00 +0.40 +0.00 0.00
SYN056-1 +0.00 +0.00 0.00 +0.00 0.00 +0.10 0.00 0.40 0.00 GaveUp
SYN059-1 +0.00 +0.00 0.00 +0.00 0.00 +0.20 0.00 0.40 0.00 GaveUp
SYN103-1 0.10 0.10 0.10 0.30 0.00 +0.30 +0.00 +0.50 +0.00 0.20
SYN122-1 0.10 0.10 0.10 0.40 0.10 +1.00 +0.10 +0.60 +0.40 14.70
SYN126-1 0.10 0.10 0.10 0.50 0.10 +0.70 +0.10 +0.60 +0.20 0.60
SYN127-1 0.10 0.10 0.10 0.50 0.10 +0.60 +0.10 +0.60 +0.20 0.60
SYN129-1 0.10 0.10 0.10 0.50 0.30 +2.40 +0.10 +0.60 +0.70 0.70
SYN137-1 0.10 0.10 0.20 0.50 0.20 +8.80 +0.10 +0.60 +0.50 11.60
SYN138-1 0.10 0.10 0.30 0.50 0.20 +10.20 +0.10 +0.60 +0.40 0.70
SYN142-1 0.10 0.10 0.30 0.50 0.30 +17.60 +0.10 +0.70 +0.70 26.20
SYN146-1 0.00 0.00 0.10 0.40 0.00 +0.50 +0.00 +0.50 +0.10 0.30
SYN152-1 0.10 0.10 0.10 0.40 0.00 +0.30 +0.10 +0.60 +0.20 0.30
SYN153-1 0.10 0.10 0.10 0.50 0.10 +0.30 +0.00 +0.60 +0.20 0.40
SYN160-1 0.10 0.10 0.10 0.60 0.10 +1.90 +0.10 +0.60 +0.20 0.70
SYN164-1 0.10 0.10 0.10 0.30 0.00 +0.30 +0.10 +0.50 +0.00 0.20
SYN190-1 0.10 0.10 0.20 0.50 0.20 +18.40 +0.10 +0.60 +0.70 2.30
SYN202-1 0.10 0.10 0.20 0.40 0.10 +3.00 +0.10 +0.70 +0.80 10.90
SYN205-1 0.10 0.10 0.30 0.50 0.30 +7.80 +0.10 +0.70 +0.70 17.50
SYN207-1 0.10 0.10 0.20 0.50 0.20 +2.50 +0.10 +0.60 +0.50 11.40
SYN208-1 0.10 0.10 0.20 0.50 0.20 +1.20 +0.10 +0.60 +0.60 11.10
SYN209-1 0.10 0.10 0.10 0.50 0.10 +0.40 +0.10 +0.60 +0.20 0.90
SYN225-1 0.10 0.10 0.10 0.50 0.10 +1.20 +0.10 +0.60 +0.20 0.90
SYN241-1 0.00 0.00 0.10 0.40 0.00 +0.30 +0.00 +0.50 +0.10 0.30
SYN242-1 0.00 0.00 0.10 0.40 0.00 +0.40 +0.00 +0.50 +0.10 0.20
SYN244-1 0.00 0.00 0.10 0.40 0.00 +0.30 +0.00 +0.50 +0.10 0.30
SYN246-1 0.10 0.10 0.10 0.40 0.10 +0.90 +0.10 +0.50 +0.20 0.30
SYN247-1 0.10 0.10 0.10 0.30 0.00 +0.30 +0.00 +0.50 +0.20 0.40
SYN250-1 0.10 0.10 0.20 0.40 0.20 +8.30 +0.10 +0.60 +0.30 4.70
SYN251-1 0.10 0.10 0.10 0.40 0.10 +0.40 +0.10 +0.50 +0.20 0.30
SYN255-1 0.10 0.10 0.10 0.40 0.00 +0.30 +0.00 +0.60 +0.20 0.30
SYN266-1 0.10 0.10 0.10 0.50 0.10 +5.60 +0.10 +0.60 +0.30 1.40
SYN269-1 0.10 0.10 0.20 0.50 0.40 +8.30 +0.10 +0.60 +0.70 6.80
SYN280-1 0.00 0.00 0.10 0.40 0.00 +0.30 +0.10 +0.50 +0.00 0.30
SYN283-1 0.10 0.10 0.10 0.40 0.10 +0.40 +0.10 +0.50 +0.30 0.40
SYN286-1 0.10 0.10 0.20 0.40 0.10 +0.50 +0.10 +0.50 +0.30 2.30
SYN290-1 0.10 0.10 0.10 0.50 0.00 +0.30 +0.10 +0.50 +0.20 0.60
SYN297-1 0.10 0.10 0.10 0.40 0.00 +0.30 +0.10 +0.50 +0.20 0.30
SYN307-1 +0.00 +0.00 0.20 +0.00 Timeout +0.00 Timeout 0.40 Timeout GaveUp
SYN322-1 +0.00 +0.00 0.00 +0.00 0.00 +0.00 0.00 0.40 0.00 GaveUp
SYN428-1 +0.20 +0.20 58.00 +1.10 Timeout Timeout Timeout Timeout Timeout Timeout
SYN433-1 +0.00 +0.00 0.60 +0.10 4.00 +14.90 0.40 Timeout 95.50 GaveUp
SYN434-1 +0.10 +0.10 1.40 +0.20 Timeout Timeout 54.10 Timeout Timeout Timeout
SYN438-1 +0.10 +0.10 97.90 +0.20 Timeout Timeout 2.00 Timeout Timeout GaveUp
SYN439-1 0.70 0.70 Timeout Timeout Timeout Timeout +0.50 Timeout Timeout 343.00
SYN446-1 +0.10 +0.10 5.50 +0.30 84.20 Timeout 0.40 Timeout Timeout GaveUp
SYN469-1 0.30 0.40 9.30 59.50 11.40 Timeout +0.70 Timeout Timeout 86.00
SYN479-1 0.20 0.30 13.30 72.80 17.30 Timeout +0.20 Timeout Timeout 26.70
SYN496-1 +0.00 +0.00 0.00 +0.00 0.00 +0.10 0.00 0.40 0.00 GaveUp
SYN513-1 +0.10 +0.10 7.20 +0.60 Timeout Timeout Timeout Timeout Timeout Timeout
SYN515-1 +0.00 +0.00 0.00 +0.10 0.00 +0.10 0.00 0.60 0.10 GaveUp
SYN541-1 +0.00 +0.00 0.10 +0.20 38.10 +0.50 0.20 0.70 0.30 GaveUp
SYN546-1 +0.10 +0.20 2.00 +0.90 Timeout Timeout Timeout Timeout Timeout Timeout
SYN720-1 +0.10 +0.10 0.50 +0.30 1.80 +0.30 0.20 0.70 0.90 GaveUp
SYN726-1 0.00 0.00 0.20 0.00 0.00 +0.00 +0.00 +0.40 +0.10 0.30
SYN821-1 +7.20 +7.40 11.00 Timeout Timeout Timeout Timeout WCout Timeout Timeout
SYN824-1 +3.60 +3.70 5.00 Timeout 2.10 Timeout 4.80 Timeout 11.20 Timeout
SYN825-1 +12.70 +13.00 19.30 Timeout 8.10 Timeout Unknown WCout 26.10 Timeout
SYN826-1 +13.20 +13.70 20.70 Timeout 9.30 Timeout Unknown WCout 27.40 Timeout
SYN831-1 +18.20 +18.40 28.60 Timeout 14.70 Timeout Unknown WCout 59.80 Timeout
SYN835-1 +0.80 +0.80 2.20 +12.60 0.40 Timeout 0.50 Timeout 6.00 Timeout
SYN841-1 +22.30 +22.60 33.60 Timeout 17.70 Timeout Unknown WCout 104.40 Timeout
SYN845-1 0.60 0.60 2.10 11.30 0.40 Timeout +0.70 Timeout +5.30 Timeout
SYN853-1 +37.80 +40.50 61.00 Timeout 22.20 Timeout Unknown WCout 159.70 Timeout
SYN864-1 +10.20 +10.70 39.70 Timeout 6.80 Timeout 9.00 WCout 34.10 Timeout
SYN884-1 0.30 0.30 0.40 24.50 0.20 Timeout +2.00 Timeout +3.20 Timeout
SYN900-1 0.40 0.40 0.50 33.80 0.20 Timeout +1.90 Timeout +3.60 Timeout
Attempted 100 100 100 100 100 100 100 100 100 100
Solved 98 98 97 88 80 76 75 74 73 46
Av. Time 1.87 1.93 4.66 2.69 4.31 2.90 2.10 1.79 8.68 13.07
Solutions 48 48 0 40 0 76 49 43 45 0
SOTAC 0.13 0.13 0.13 0.12 0.12 0.11 0.12 0.11 0.11 0.11
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for UEQ

UEQ Waldmeister
806
Vampire
9.0
E
0.999
Otter
3.3
Metis
2.0
Equinox
1.2
Geo
2007f
BOO023-1 +0.30 +5.60 0.70 GaveUp Timeout Timeout Timeout
BOO034-1 +0.00 +0.00 0.00 +18.50 Timeout Timeout Timeout
BOO072-1 +0.00 +4.00 0.20 +1.00 +42.70 Timeout Timeout
BOO073-1 +1.30 +40.00 5.50 GaveUp Timeout Timeout Timeout
BOO074-1 +0.00 +3.90 0.10 +1.00 Timeout Timeout Timeout
COL003-1 +0.30 Timeout 13.10 GaveUp Timeout Timeout Timeout
COL003-12 +0.00 +0.60 0.10 +0.30 +4.90 Timeout Timeout
COL003-17 +0.00 +3.70 0.10 +1.80 Timeout Timeout Timeout
COL003-19 +0.00 +3.70 0.10 +2.00 Timeout Timeout Timeout
COL004-1 +0.00 +43.20 0.20 Timeout Timeout Timeout Timeout
COL006-1 +0.20 +219.70 308.70 Timeout Timeout Timeout Timeout
COL006-5 +0.00 Timeout 3.50 Timeout Timeout Timeout Timeout
COL006-6 +0.00 Timeout Timeout Timeout Timeout 0.10 Timeout
COL011-1 +0.10 +121.10 Timeout +0.20 Timeout Timeout Timeout
COL036-1 +0.10 +170.10 1.80 GaveUp Timeout Timeout Timeout
COL041-1 +0.10 +0.00 0.30 +0.10 Timeout Timeout Timeout
COL043-1 +0.10 Timeout Timeout Timeout Timeout Timeout Timeout
COL044-7 +0.00 +137.70 Timeout Timeout Timeout Timeout Timeout
COL044-9 +0.00 +153.90 Timeout Timeout Timeout Timeout Timeout
COL046-1 +0.20 +27.00 11.10 Timeout Timeout Timeout Timeout
COL061-1 +0.20 +0.00 0.00 Timeout +2.40 Timeout Timeout
COL062-1 +0.00 +0.20 0.20 Timeout +33.30 Timeout Timeout
COL063-1 +0.00 +0.30 0.40 Timeout +39.40 Timeout Timeout
COL065-1 +0.90 +5.00 9.10 Timeout Timeout Timeout Timeout
GRP024-5 +2.30 +8.40 Timeout Timeout Timeout Timeout Timeout
GRP114-1 +0.10 +6.80 4.80 +76.20 +141.80 Timeout Timeout
GRP164-1 +14.00 Timeout Timeout GaveUp Timeout Timeout Timeout
GRP164-2 +14.10 Timeout Timeout GaveUp Timeout Timeout Timeout
GRP167-1 +0.50 +141.40 142.50 +12.20 +24.20 Timeout Timeout
GRP167-3 +4.90 +5.80 1.60 GaveUp Timeout Timeout Timeout
GRP177-2 +5.70 Timeout Timeout GaveUp Timeout Timeout Timeout
GRP178-1 +0.20 +81.10 2.50 GaveUp Timeout Timeout Timeout
GRP179-1 +2.70 +4.50 2.20 GaveUp Timeout Timeout Timeout
GRP179-2 +0.40 +4.40 1.50 GaveUp Timeout Timeout Timeout
GRP179-3 +0.30 +4.70 3.30 GaveUp Timeout Timeout Timeout
GRP180-2 +0.50 +4.40 10.70 GaveUp Timeout Timeout Timeout
GRP181-2 +3.80 +6.70 19.10 GaveUp Timeout Timeout Timeout
GRP181-4 +4.40 +0.70 1.00 GaveUp +82.40 Timeout Timeout
GRP183-2 +1.50 +158.10 9.80 GaveUp Timeout Timeout Timeout
GRP183-3 +0.40 +155.90 1.90 +18.30 Timeout Timeout Timeout
GRP183-4 +0.30 +157.90 12.40 GaveUp Timeout Timeout Timeout
GRP184-1 +0.00 +125.10 3.30 GaveUp Timeout Timeout Timeout
GRP184-2 +0.00 +129.60 10.40 GaveUp Timeout 26.60 Timeout
GRP184-3 +0.00 +125.10 3.30 GaveUp Timeout Timeout Timeout
GRP185-4 +0.00 Timeout Timeout +26.60 Timeout Timeout Timeout
GRP202-1 +0.20 +9.50 1.90 +3.80 +10.10 Timeout Timeout
GRP404-1 +0.10 +12.60 Timeout +155.70 Timeout Timeout Timeout
GRP410-1 +0.40 +3.90 8.90 GaveUp Timeout Timeout Timeout
GRP411-1 +0.30 +3.30 11.60 GaveUp +99.30 Timeout Timeout
GRP419-1 +0.40 +18.20 1.80 +142.60 Timeout Timeout Timeout
GRP429-1 +0.00 +3.80 0.90 GaveUp Timeout Timeout Timeout
GRP444-1 +0.00 +8.30 0.20 GaveUp Timeout Timeout Timeout
GRP447-1 +0.00 +0.00 0.10 GaveUp +2.20 Timeout Timeout
GRP477-1 +0.10 +1.00 0.10 Timeout Timeout Timeout Timeout
GRP478-1 +0.10 +1.70 0.10 +15.80 Timeout Timeout Timeout
GRP567-1 +0.00 +2.00 Timeout +0.20 Timeout Timeout Timeout
GRP571-1 +0.00 +0.50 2.90 +0.20 Timeout Timeout Timeout
LAT007-1 +0.00 +7.20 0.80 +2.70 Timeout Timeout Timeout
LAT020-1 +18.00 +50.20 330.20 Timeout Timeout Timeout Timeout
LAT081-1 +3.60 +1.90 2.20 GaveUp +30.00 Timeout Timeout
LAT087-1 +3.70 +0.90 0.80 GaveUp +22.40 Timeout Timeout
LAT092-1 +1.90 +0.50 0.40 GaveUp +19.90 Timeout Timeout
LAT094-1 +1.90 +0.50 0.40 GaveUp +20.00 Timeout Timeout
LAT096-1 +1.90 +0.70 0.40 GaveUp Timeout Timeout Timeout
LAT138-1 Timeout Timeout Timeout Timeout Timeout Timeout +305.10
LAT145-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LAT149-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LAT151-1 +5.90 Timeout Timeout Timeout Timeout Timeout Timeout
LAT155-1 +235.00 Timeout Timeout Timeout Timeout Timeout Timeout
LAT156-1 Timeout Timeout Timeout +91.20 Timeout Timeout Timeout
LAT157-1 +225.60 Timeout Timeout Timeout Timeout Timeout Timeout
LAT159-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LAT163-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LAT166-1 +297.00 Timeout Timeout Timeout Timeout Timeout Timeout
LAT167-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LAT168-1 +0.20 +0.30 Timeout +0.20 Timeout Timeout Timeout
LAT169-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LAT171-1 +35.20 Timeout Timeout +0.70 Timeout Timeout +206.40
LAT172-1 +194.50 Timeout Timeout Timeout Timeout Timeout Timeout
LAT173-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
LAT174-1 +354.10 Timeout Timeout Timeout Timeout Timeout Timeout
LAT175-1 +190.30 Timeout Timeout Timeout Timeout Timeout Timeout
RNG019-7 +0.00 +0.00 0.00 +0.10 Timeout Timeout Timeout
RNG020-6 +0.00 +0.00 0.00 +0.20 Timeout Timeout Timeout
RNG021-7 +0.00 +0.00 0.00 GaveUp Timeout Timeout Timeout
RNG025-4 +0.20 Timeout Timeout +1.60 Timeout Timeout Timeout
RNG025-6 +0.00 +294.50 2.00 +4.80 Timeout Timeout Timeout
RNG025-7 +0.00 +183.00 3.80 +5.50 Timeout Timeout Timeout
RNG026-6 +0.00 +0.00 0.00 GaveUp Timeout Timeout Timeout
RNG027-5 +1.20 Timeout Timeout GaveUp Timeout Timeout Timeout
RNG027-8 +1.80 Timeout Timeout Timeout Timeout Timeout Timeout
RNG028-5 +0.90 Timeout Timeout GaveUp Unknown Timeout Timeout
RNG028-8 +0.90 Timeout Timeout Timeout Timeout Timeout Timeout
RNG028-9 +1.40 Timeout Timeout GaveUp Timeout Timeout Timeout
RNG029-5 +1.90 Timeout Timeout GaveUp Timeout Timeout Timeout
RNG029-6 +1.70 Timeout Timeout GaveUp Timeout Timeout Timeout
RNG029-7 +2.00 Timeout Timeout GaveUp Timeout Timeout Timeout
RNG035-7 +2.40 Timeout 32.30 Timeout Timeout Timeout Timeout
ROB006-1 +6.80 Timeout Timeout GaveUp Timeout Timeout Timeout
ROB026-1 +6.90 Timeout Timeout GaveUp Timeout Timeout Timeout
Attempted 100 100 100 100 100 100 100
Solved 91 63 59 27 15 2 2
Av. Time 18.22 42.30 16.73 21.61 38.33 13.35 255.75
Solutions 91 63 0 27 15 0 2
SOTAC 0.47 0.30 0.30 0.30 0.23 0.38 0.67
New Attempted 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for FNE

FNE Fampire
1.3
Vampire
9.0
E
0.999
Vampire
8.1
iProver
0.2
EP
0.999
Equinox
1.2
Geo
2007f
leanCoP
2.0
Metis
2.0
Otter
3.3
ileanCoP
1.2
Muscadet
2.7
COM003+2 0.10 +0.00 0.00 +0.00 0.10 +0.10 56.00 +20.80 0.40 +0.40 +0.10 1.70 GaveUp
COM003+3 0.10 +0.00 92.30 +0.00 15.70 +0.20 25.00 +0.30 226.10 Timeout Timeout Timeout GaveUp
COM008+1 2.20 +46.90 0.60 Timeout Timeout +1.00 Timeout +0.30 Timeout Timeout GaveUp Timeout 0.20
GEO169+1 0.70 +8.80 2.60 +0.60 0.90 Timeout 69.70 Timeout Timeout Timeout Timeout Timeout GaveUp
KRS132+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.20 +0.00 0.20 +0.00 +0.10 Timeout GaveUp
KRS151+1 0.20 +0.10 0.10 +0.10 0.10 +0.20 12.50 +114.10 11.70 Timeout +0.10 Timeout GaveUp
KRS153+1 0.20 +0.00 0.20 +0.10 0.40 +0.20 97.00 Timeout 1.00 Timeout +0.10 Timeout Unknown
KRS154+1 0.10 +0.00 0.10 +0.00 0.10 +0.20 0.40 +4.10 0.20 +5.10 +0.10 3.60 GaveUp
KRS155+1 0.30 +0.10 0.10 +0.00 0.40 +0.20 0.40 Timeout 351.90 Timeout +0.10 Timeout GaveUp
KRS161+1 0.20 +0.10 0.10 +0.10 0.20 +0.20 2.00 Timeout 0.30 Timeout +0.10 226.20 GaveUp
LAT258+1 Unknown Timeout Timeout Timeout Timeout Timeout Timeout +190.20 Timeout Timeout Timeout Timeout GaveUp
LCL414+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 Timeout +0.30 0.10 +0.10 +0.10 0.10 GaveUp
MED002+1 0.10 +0.00 Timeout +0.00 0.10 +0.20 2.80 +0.00 226.60 +28.50 +0.20 9.50 GaveUp
MED003+1 0.10 +4.70 0.90 +1.60 0.10 +0.20 1.00 +0.00 226.20 Timeout +9.00 0.30 GaveUp
MED005+1 0.40 +1.90 0.20 +0.40 0.10 +0.40 Timeout +2.20 275.50 Timeout Timeout Timeout GaveUp
MED006+1 0.20 +0.10 0.20 +0.20 0.10 +0.40 217.00 +1.10 312.30 +2.00 Timeout Timeout GaveUp
MED007+1 1.70 +21.20 11.60 +25.50 0.10 +16.10 172.50 +0.80 244.50 Timeout Timeout Timeout GaveUp
MED008+1 0.30 +0.50 1.10 +0.20 0.10 +1.60 Timeout +1.60 Timeout +1.60 +310.90 Timeout GaveUp
MED009+1 2.90 +20.20 11.20 +24.50 0.10 +26.60 Timeout +1.20 Timeout Timeout Timeout Timeout GaveUp
MED010+1 0.50 +1.30 0.20 +0.40 0.20 +0.50 Timeout +0.90 237.50 Timeout Timeout Timeout GaveUp
NLP081+1 0.20 +0.00 0.00 +0.10 0.80 +0.10 0.10 +0.20 0.20 +65.20 Timeout 0.30 GaveUp
NLP094+1 0.20 +0.00 26.10 +0.00 61.20 +116.80 0.00 +0.10 0.20 +0.30 Timeout 0.20 GaveUp
NLP122+1 0.10 +0.00 0.60 +0.00 0.20 +0.50 0.00 +0.10 0.10 +0.00 Timeout 0.20 GaveUp
PUZ031+1 0.10 +0.00 0.00 +0.00 0.10 +0.10 0.10 +0.10 0.20 +0.00 +0.10 94.20 GaveUp
SYN036+2 0.10 +0.00 5.60 +0.00 Timeout +17.80 0.10 +0.10 1.10 +0.30 Timeout Timeout GaveUp
SYN051+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.10 +0.00 +0.10 Timeout GaveUp
SYN053+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.10 +0.00 +0.10 Unknown GaveUp
SYN058+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.10 +0.00 +0.10 0.10 GaveUp
SYN063+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.10 0.10 +0.00 +0.10 Timeout GaveUp
SYN065+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.10 +0.00 0.10 +0.00 +0.10 0.10 0.00
SYN073+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.10 +0.00 +0.10 Unknown GaveUp
SYN318+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.10 +0.00 +0.10 Unknown GaveUp
SYN334+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.30 +0.10 3.20 +0.00 +0.10 Timeout GaveUp
SYN345+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.20 0.10 +0.00 +0.10 Unknown GaveUp
SYN349+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.20 +0.70 0.30 +0.00 +0.20 Timeout GaveUp
SYN369+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.30 +0.00 +0.10 Unknown GaveUp
SYN380+1 0.10 +0.00 0.00 +0.00 0.00 +0.00 0.00 +0.00 0.10 +0.00 +0.10 Unknown GaveUp
SYN386+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 Timeout +0.00 0.30 +0.00 +0.10 0.10 GaveUp
SYN410+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.10 +0.00 +0.10 0.20 GaveUp
SYN447+1 0.70 +2.30 151.60 +1.10 31.70 Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SYN450+1 0.70 +0.90 23.70 +0.60 9.60 +48.10 203.60 Timeout Timeout Timeout Timeout Timeout GaveUp
SYN454+1 0.30 +0.60 8.80 +0.50 4.80 +19.80 202.70 Timeout Timeout Timeout Timeout Timeout GaveUp
SYN467+1 1.20 +1.50 25.50 +1.20 11.40 +129.50 134.40 Timeout Timeout Timeout Timeout Timeout Unknown
SYN471+1 0.30 +0.70 6.90 +0.60 8.60 +28.50 277.10 Timeout Timeout Timeout Timeout Timeout Unknown
SYN475+1 0.40 +1.70 6.70 +0.70 9.10 +19.00 108.30 Timeout Timeout Timeout Timeout Timeout Unknown
SYN478+1 0.30 +0.60 24.40 +1.10 2.00 +48.40 41.50 Timeout Timeout Timeout Timeout Timeout Unknown
SYN482+1 0.60 +1.40 21.20 +1.10 9.10 +49.70 161.40 Timeout Timeout Timeout Timeout Timeout Unknown
SYN483+1 0.30 +1.80 7.70 +1.00 2.40 +19.30 32.00 Timeout Timeout Timeout Timeout Timeout Unknown
SYN485+1 0.60 +0.60 9.40 +0.60 3.20 +14.00 198.00 Timeout Timeout Timeout Timeout Timeout GaveUp
SYN505+1 0.30 +0.70 47.60 +0.80 1.80 +29.80 79.10 Timeout Timeout Timeout Timeout Timeout Unknown
SYN512+1 0.60 +1.00 17.60 +0.80 2.60 +39.10 93.20 Timeout Timeout Timeout Timeout Timeout Unknown
SYN548+1 2.70 +2.30 74.80 Timeout 19.00 Timeout Timeout +0.00 4.00 +12.90 +95.90 Timeout GaveUp
SYN550+1 1.80 +0.00 111.70 +0.00 11.00 Timeout 2.40 +0.00 0.20 +0.30 Timeout 8.30 GaveUp
SYN723+1 2.10 +25.00 216.10 +1.90 Timeout 258.50 4.00 +2.00 Timeout Timeout GaveUp Timeout GaveUp
SYN733+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.10 +0.00 +0.10 0.10 GaveUp
SYN920+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.30 +0.00 +0.10 Timeout GaveUp
SYN924+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.10 0.00 +0.10 0.10 GaveUp
SYN934+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.10 0.00 +0.10 Unknown GaveUp
SYN935+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.10 0.00 +0.10 Unknown GaveUp
SYN965+1 0.10 +0.00 0.00 +0.00 0.00 +0.10 0.00 +0.00 0.10 +0.00 +0.10 Unknown GaveUp
Attempted 60 60 60 60 60 60 60 60 60 60 60 60 60
Solved 59 59 58 57 56 55 50 44 42 34 33 17 2
Av. Time 0.44 2.49 15.65 1.15 3.70 16.17 43.90 7.76 50.63 3.43 12.70 20.31 0.10
Solutions 0 59 0 57 0 54 0 44 0 31 33 0 0
SOTAC 0.11 0.11 0.11 0.11 0.11 0.11 0.11 0.12 0.10 0.09 0.09 0.09 0.12
New Attempted 0 0 0 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0 0 0 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for FEQ

FEQ Vampire
9.0
Vampire
8.1
Fampire
1.3
E
0.999
EP
0.999
iProver
0.2
Equinox
1.2
leanCoP
2.0
Otter
3.3
ileanCoP
1.2
Metis
2.0
Geo
2007f
Muscadet
2.7
AGT003+2 +0.00 +3.70 4.10 0.20 Timeout 0.40 1.00 0.20 +0.20 0.20 Timeout Timeout GaveUp
AGT006+2 Timeout +285.70 Unknown Timeout Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
AGT012+2 +13.10 +101.30 131.00 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
AGT013+1 +149.60 +14.10 Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
AGT020+1 +10.30 +37.50 86.70 Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
AGT022+1 +162.40 +106.40 9.50 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
AGT023+2 +9.50 +22.30 24.70 Timeout Timeout Timeout Timeout 13.10 GaveUp 235.80 Timeout Timeout GaveUp
ALG018+1 +0.30 +0.10 0.20 0.00 +0.10 Timeout Timeout Timeout +0.20 Timeout +0.40 +0.00 GaveUp
ALG019+1 +0.10 +0.00 0.40 0.00 +0.10 Timeout Timeout Timeout +0.10 Timeout +0.10 +0.00 GaveUp
ALG072+1 +236.20 +69.40 20.80 2.30 Timeout WCout Timeout Timeout GaveUp Timeout Timeout +0.70 GaveUp
ALG073+1 +0.00 +0.00 0.10 8.70 +0.50 145.90 0.00 Timeout +0.10 Timeout WCout +0.10 GaveUp
ALG074+1 +3.90 +54.30 40.80 1.40 Timeout Timeout 0.40 Timeout +0.20 Timeout Timeout +0.40 GaveUp
ALG210+2 +0.00 +0.00 0.20 0.00 +0.10 WCout Timeout Timeout +0.10 Timeout +241.20 Timeout GaveUp
CSR001+1 Timeout Timeout Unknown Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
CSR001+2 +2.40 +19.40 19.60 13.30 +37.40 Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
CSR004+1 Timeout Timeout Unknown 128.20 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
CSR005+1 +94.90 +84.00 60.00 69.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
CSR006+1 +42.40 +0.90 0.80 23.30 +29.90 Timeout Timeout Timeout Timeout Timeout +16.70 Timeout GaveUp
CSR008+1 +42.60 +0.10 1.40 Timeout Timeout Timeout Timeout Timeout Timeout Timeout +13.70 Timeout GaveUp
CSR011+1 +133.60 +93.20 211.40 159.00 Timeout Timeout 64.10 Timeout Timeout Timeout Timeout Timeout GaveUp
CSR018+1 +0.00 +0.00 0.20 2.00 +4.00 2.80 6.40 Timeout Timeout Timeout +0.20 Timeout GaveUp
CSR019+1 +0.00 +0.00 0.20 0.20 +0.20 2.00 15.60 Timeout Timeout Timeout +0.10 +58.00 GaveUp
CSR021+1 +0.00 +0.10 0.20 0.20 +1.00 1.80 0.50 Timeout Timeout Timeout +0.20 +121.50 GaveUp
CSR024+1.009 +93.30 +0.50 0.30 0.30 Timeout Timeout Timeout Unknown +98.60 Timeout Timeout Timeout GaveUp
CSR024+1.010 +110.70 +92.70 0.50 0.60 Timeout WCout Timeout Timeout +151.70 Timeout Timeout Timeout GaveUp
GEO083+1 +10.30 +106.10 39.80 99.50 +59.50 2.10 Timeout 4.50 Timeout Timeout Timeout Timeout GaveUp
GEO089+1 +54.20 +110.00 Unknown 143.80 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
GEO093+1 +8.20 +0.10 20.00 10.50 +27.40 Timeout Timeout 136.70 Timeout Timeout Timeout Timeout GaveUp
GEO094+1 +39.30 +101.10 0.80 0.00 +0.10 47.70 Timeout Timeout +29.70 Timeout Timeout +3.60 GaveUp
GEO124+1 +0.20 +0.00 0.20 0.00 +0.10 2.30 0.40 26.80 +28.50 Timeout Timeout Timeout GaveUp
GEO127+1 +0.00 +0.00 6.60 0.10 +0.10 76.10 Timeout Timeout Timeout Timeout Timeout +2.90 GaveUp
GEO146+1 +0.40 +0.00 0.10 0.10 +0.20 0.90 0.10 1.30 Timeout 0.50 +13.20 +78.40 GaveUp
GEO147+1 +0.00 +0.00 0.10 0.00 +0.10 0.50 0.10 0.20 +9.10 0.90 +0.90 Timeout GaveUp
GRA002+2 +87.60 +50.80 21.90 Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout +9.20 GaveUp
GRA003+1 +0.00 +0.00 0.10 0.00 +0.10 0.70 0.10 3.50 +0.60 226.70 +7.30 +0.60 0.60
GRA004+1 +0.00 +0.10 22.70 0.00 +0.10 3.80 0.50 19.90 Timeout Timeout Timeout +0.80 GaveUp
GRA008+1 +9.70 +22.10 75.00 2.40 +3.50 Timeout Timeout Timeout Timeout Timeout Timeout +2.70 GaveUp
GRA010+1 +0.00 +0.00 0.10 0.00 +0.10 0.20 0.10 0.20 Timeout 0.50 0.00 +1.80 GaveUp
GRA011+1 +202.70 Timeout Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout +6.50 GaveUp
GRA012+1 +203.10 Timeout Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout +7.10 GaveUp
HAL001+2 Timeout +2.30 130.50 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL462+1* +95.80 +58.10 Unknown Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL468+1* +98.90 +59.50 Unknown Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL488+1* +0.00 +0.00 0.10 0.00 +0.10 Timeout Timeout Timeout +0.30 Timeout Timeout Timeout GaveUp
LCL496+1* +0.00 +16.00 38.30 Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL505+1* Timeout Timeout Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL510+1* +75.30 +4.80 Unknown 0.30 Timeout WCout Timeout Timeout +102.10 Timeout Timeout Timeout GaveUp
LCL512+1* +0.00 +0.00 0.10 0.00 +0.10 0.10 0.20 0.20 +0.20 1.90 +0.00 +0.80 GaveUp
LCL523+1* +31.80 +4.70 75.20 1.80 +3.30 Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL524+1* +20.60 +1.70 75.50 65.80 99.40 WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL525+1* +0.00 +0.00 0.90 0.00 +0.10 0.00 Timeout Timeout +0.10 Timeout Timeout Timeout GaveUp
LCL536+1* +0.00 +0.00 0.90 0.00 +0.10 0.00 Timeout 0.20 +0.30 0.40 +0.40 Timeout GaveUp
LCL540+1* +0.00 +0.00 9.40 0.10 +0.10 0.00 Timeout 6.00 +2.60 0.60 Timeout +62.90 GaveUp
LCL544+1* +0.00 +0.00 1.40 0.10 +0.20 0.10 Timeout 3.00 +0.40 Timeout Timeout +246.80 GaveUp
LCL546+1* +9.20 +0.70 74.90 0.80 +1.80 WCout Timeout Timeout +193.80 Timeout Timeout Timeout GaveUp
LCL551+1* +89.90 +54.70 Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL555+1* +18.40 +37.20 Unknown Timeout Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
LCL558+1* +108.70 +103.80 Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL559+1* +105.50 +101.20 Unknown Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL562+1* +17.20 +54.70 Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL568+1* +83.60 +54.60 Unknown 1.30 169.50 WCout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp
MGT029+1 +131.60 +7.00 0.50 0.60 +279.00 2.00 1.70 Timeout Timeout Timeout +49.80 +4.20 6.20
MGT034+2 +0.00 +0.00 0.20 0.20 +0.70 1.00 0.50 Timeout +49.70 Timeout +0.50 +21.10 GaveUp
MGT042+1 +14.40 +22.20 0.30 Timeout Timeout 70.90 2.00 Timeout Timeout Timeout +1.10 +6.10 GaveUp
MGT047+1 +39.80 +38.90 1.60 0.30 +56.80 44.80 2.50 Timeout Timeout Timeout +56.20 +25.50 GaveUp
MGT051+1 +39.50 +38.00 0.90 0.30 +48.90 19.30 9.80 Timeout Timeout Timeout +14.30 +15.10 GaveUp
NUM304+1 +0.10 +0.60 0.20 0.00 +0.10 1.50 3.30 0.20 +1.00 226.40 +0.10 Timeout GaveUp
NUM316+1 +17.00 +10.70 36.40 Timeout Timeout Timeout Timeout 4.40 Timeout Timeout Timeout Timeout GaveUp
NUM334+1 +8.80 +10.90 36.40 Timeout Timeout Timeout Timeout 0.20 GaveUp 0.50 Timeout Timeout GaveUp
NUM335+1 +11.60 +19.50 36.30 Timeout Timeout Timeout Timeout 0.20 Timeout 0.30 Timeout Timeout GaveUp
NUM340+1 +9.10 +10.70 36.60 Timeout Timeout Timeout Timeout 0.20 GaveUp 0.40 +9.50 Timeout GaveUp
NUM346+1 +10.00 +24.50 41.90 Timeout Timeout Timeout Timeout 8.50 GaveUp 227.90 Timeout Timeout GaveUp
NUM386+1 +0.00 +0.30 0.10 0.00 +0.20 40.30 0.30 3.70 Timeout 18.20 Timeout Timeout GaveUp
NUM398+1 +0.00 +0.10 0.10 0.10 +0.20 0.10 7.70 2.10 Timeout 12.40 +8.90 +0.40 0.10
SET008+3 +0.00 +0.00 0.10 0.00 +0.10 0.20 Timeout 0.20 +1.00 33.30 +20.10 +4.30 0.00
SET010+3 +92.30 +16.90 7.20 Timeout Timeout 4.50 Timeout 234.10 Timeout Timeout Timeout Timeout 0.10
SET014+3 +4.30 +0.10 0.20 0.10 +0.30 0.30 0.10 0.30 Timeout 0.40 Timeout +0.50 0.00
SET015+4 +3.70 +9.10 88.90 28.60 +39.90 0.50 Timeout 0.80 Timeout 21.40 Timeout Timeout 0.00
SET016+1 Timeout +3.00 Unknown 0.00 +0.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout 5.30
SET056+1 +0.10 +0.00 10.00 0.00 +0.10 0.10 Timeout 1.40 +288.70 Timeout +28.60 Timeout GaveUp
SET067+1 +5.40 +0.00 16.20 0.10 +0.20 WCout Timeout 3.30 Timeout 232.60 Timeout Timeout 0.80
SET082+1 +3.90 +0.00 65.40 0.10 +0.10 Timeout 4.60 227.90 +32.00 41.60 +21.20 Timeout 0.80
SET083+1 +0.00 +0.10 10.20 0.00 +0.10 Timeout Timeout Timeout +0.50 Timeout +86.00 Timeout 0.70
SET101+1 +0.10 +0.00 0.30 0.00 +0.20 1.00 5.90 Timeout +0.10 Timeout +0.00 Timeout 0.80
SET105+1 Timeout Timeout Unknown 24.00 Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET173+3 +0.00 +0.10 0.10 0.10 +0.10 0.40 Timeout 0.10 +7.40 0.40 +4.60 +0.50 0.00
SET577+3 +0.00 +0.10 0.10 0.20 +0.40 0.20 0.30 0.20 Timeout 1.10 +3.20 +2.00 0.00
SET580+3 +0.00 +0.00 0.10 0.00 +0.10 0.10 0.00 Timeout Timeout Timeout Timeout +1.50 0.20
SET587+3 +0.00 +0.10 0.10 0.00 +0.10 0.30 Timeout 0.40 Timeout Timeout +0.20 +2.80 0.00
SET593+3 +12.80 +0.10 0.10 0.10 +1.00 0.80 0.10 0.40 Timeout 31.40 Timeout +29.70 0.00
SET601+3 +4.00 +35.20 Unknown 120.70 Timeout Timeout Timeout 260.90 Timeout Timeout Timeout Timeout GaveUp
SET606+3 +0.00 +12.10 0.10 8.40 +29.60 2.60 Timeout 0.30 Timeout Timeout Timeout +108.80 0.00
SET607+3 +2.00 +12.10 0.20 11.20 +19.80 0.50 Timeout 0.30 Timeout Timeout Timeout +38.30 0.10
SET608+3 +0.10 +12.10 0.10 70.90 Timeout 6.20 Timeout 0.30 Timeout Timeout Timeout Timeout 0.00
SET610+3 +0.90 +12.10 0.10 33.50 +29.80 0.80 Timeout 0.90 Timeout Timeout Timeout Timeout 0.10
SET614+3 +3.50 +12.30 0.30 32.00 Timeout 4.40 Timeout 1.10 Timeout Timeout Timeout Timeout 0.10
SET615+3 +104.10 +15.70 2.30 35.50 Timeout 3.30 Timeout 228.00 Timeout Timeout Timeout Timeout 0.10
SET619+3 +0.30 +5.00 5.50 0.00 +0.10 Timeout 0.60 Timeout +126.00 Timeout +94.90 +212.40 0.10
SET630+3 +0.10 +0.10 31.30 0.00 +0.10 14.90 2.10 0.30 Timeout Timeout Timeout +1.00 0.10
SET634+3 +0.50 +12.20 0.20 21.50 Timeout 9.00 Timeout 1.50 Timeout Timeout Timeout Timeout 0.10
SET637+3 +0.30 +0.00 0.40 0.10 +0.80 0.60 Timeout 0.20 +184.70 Timeout Timeout +0.20 GaveUp
SET641+3 +0.90 +0.00 0.20 0.00 +0.10 0.90 Timeout 282.30 +28.30 Timeout +0.70 +334.10 GaveUp
SET644+3 +37.10 +1.40 0.10 0.10 +0.20 WCout Timeout Timeout +20.90 Timeout Timeout Timeout GaveUp
SET645+3 +31.00 +1.10 0.10 0.00 +0.10 121.80 Timeout Timeout +4.40 Timeout +14.20 Timeout GaveUp
SET649+3 +118.60 +0.00 0.70 4.00 +49.50 WCout Timeout Timeout +6.70 Timeout Timeout Timeout GaveUp
SET652+3 +118.70 +0.10 0.60 28.30 Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET653+3 +1.10 +0.00 0.10 0.00 +0.10 0.40 Timeout 334.00 +0.10 Timeout Timeout Timeout GaveUp
SET654+3 +2.40 +0.00 0.10 0.00 +0.10 0.40 Timeout 314.70 +0.20 Timeout Timeout Timeout GaveUp
SET656+3 +150.00 +3.80 0.20 29.50 Timeout 36.20 Timeout Timeout +56.30 Timeout +130.00 Timeout GaveUp
SET660+3 +149.50 Timeout 0.10 19.60 +0.20 67.50 Timeout Timeout Timeout Timeout +71.00 Timeout GaveUp
SET661+3 Timeout +11.00 Unknown Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET664+3 +0.00 +0.00 0.10 0.00 +0.10 4.10 Timeout Timeout +0.20 Timeout +0.90 Timeout GaveUp
SET665+3 +14.20 +4.10 74.70 3.30 +4.90 25.70 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET666+3 +0.00 +0.00 0.20 0.00 +0.10 Timeout Timeout Timeout +18.80 Timeout +2.90 Timeout GaveUp
SET667+3 +227.40 +251.70 1.60 0.00 +0.10 43.90 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET668+3 +149.90 +3.60 0.10 0.80 +0.60 2.80 Timeout Timeout Timeout Timeout +12.10 Timeout GaveUp
SET672+3 Timeout Timeout 203.10 Timeout Timeout WCout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET675+3 +2.50 +0.00 0.10 8.30 +9.90 WCout Timeout Timeout +0.20 Timeout Timeout Timeout GaveUp
SET678+3 +153.40 +4.00 74.80 0.10 +0.30 WCout Timeout