Results for: LTB CYC MZR SMO

Results for LTB

LTB SInE-VD
0.3
SInE
0.3
Vampire-LTB
10.0
iProver-LTB
0.5c
MaLARea
0.3
E-LTB
1.0pre
EP-LTB
1.0pre
randoCoP
1.1
Muscadet-LTB
3.0
ALG214+1* UNK‑Non +184.10 +8057.60 12485.50 +455.90 294.60 +283.20 +12014.40 NTT‑Non
ALG215+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
ALG222+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non +701.60 NTT‑Non NTT‑Non UNK‑Non NTT‑Non
ALG223+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non +486.30 NTT‑Non NTT‑Non UNK‑Non GUP‑Non
ALG225+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
ALG228+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
ALG231+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
CAT022+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
CAT023+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
CAT037+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
CSR025+4* +127.90 +19.30 +2888.60 4152.30 +503.90 109.30 +122.20 +5467.10 TMO‑Non
CSR025+5* +415.40 +118.10 +3386.80 UNK‑Non NTT‑Non 1996.90 +4132.40 UNK‑Non TMO‑Non
CSR026+4* UNK‑Non UNK‑Non +609.30 7554.50 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR027+4* +127.90 +19.30 +1209.00 7334.20 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR028+4* +167.00 +19.30 +439.40 7404.30 +503.90 188.80 +225.00 +8858.20 TMO‑Non
CSR028+5* +415.40 +118.10 +3148.20 UNK‑Non NTT‑Non 1727.10 +3633.70 UNK‑Non TMO‑Non
CSR029+4* +4841.60 +3096.70 +1968.70 4122.30 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR032+5* +385.40 +118.10 +3207.70 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR033+4* +5911.30 +3096.70 +4255.60 5103.00 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR034+5* +1063.20 +537.20 +3327.10 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR035+4* +9650.50 +10267.40 +709.20 3761.90 +503.90 109.30 +122.20 +4268.60 TMO‑Non
CSR036+4* +4662.10 +4346.50 +6412.90 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR037+4* +167.00 +38.60 +2228.70 3792.00 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR038+4* +9.60 +19.30 +1868.80 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR039+4* +4841.60 +4356.50 +6472.80 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR040+4* +11080.10 +11097.30 +4465.50 7384.30 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR041+4* +167.00 +19.30 +769.10 7884.70 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR042+4* +6920.80 +7516.90 +2698.60 1961.00 NTT‑Non 49.60 +55.80 +2244.50 TMO‑Non
CSR043+5* +385.40 +118.10 +3297.20 UNK‑Non NTT‑Non 1877.00 +3833.30 UNK‑Non TMO‑Non
CSR044+4* +9.60 +19.30 +999.10 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR045+4* +11519.70 +11307.30 +4435.50 5143.00 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR046+5* +415.40 +118.10 +3237.50 UNK‑Non NTT‑Non 2936.00 +6017.60 UNK‑Non TMO‑Non
CSR047+4* +167.00 +38.60 +479.30 5523.20 NTT‑Non 149.00 +160.50 +6853.30 TMO‑Non
CSR049+4* +5911.30 +3306.50 +6442.90 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR050+4* +167.00 +19.30 +199.40 2781.40 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR051+4* +7950.80 +5686.60 +689.20 0.00 +503.90 49.60 +55.80 +1287.40 TMO‑Non
CSR051+5* +9360.50 +8497.00 +3416.60 UNK‑Non NTT‑Non 1877.00 +3903.00 UNK‑Non TMO‑Non
CSR052+4* +186.80 +19.30 +5683.30 0.00 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR053+4* +216.50 +19.30 +2858.60 0.00 +503.90 49.60 +55.80 +1606.90 TMO‑Non
CSR053+5* +415.40 +118.10 +3267.40 UNK‑Non NTT‑Non 2509.70 +5419.00 UNK‑Non TMO‑Non
CSR054+4* +6550.90 +7846.90 +2138.70 0.00 +503.90 1687.10 +1761.80 +1686.50 TMO‑Non
CSR055+4* +167.00 +19.30 +2838.60 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR056+4* +11080.10 +11047.30 +2638.60 7704.60 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR057+4* +78.60 +19.30 +2998.60 2111.10 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR058+4* UNK‑Non UNK‑Non +899.00 6823.80 +503.90 188.80 +197.40 +7899.70 TMO‑Non
CSR059+4* +127.90 +19.30 +1698.80 3942.20 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR060+4* +9.60 +19.30 +2798.60 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR062+4* +167.00 +38.60 +289.40 10040.10 NTT‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
CSR063+4* +167.00 +38.60 +2178.70 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR064+4* UNK‑Non UNK‑Non +529.30 3972.20 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR065+4* UNK‑Non UNK‑Non +2298.70 7854.60 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR066+4* +127.90 +19.30 +859.10 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR068+4* +216.50 +38.60 +669.30 2931.50 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR069+4* +286.10 +68.20 +2118.70 7354.20 +503.90 188.80 +225.00 +8538.70 TMO‑Non
CSR069+5* +415.40 +118.10 +3178.00 UNK‑Non NTT‑Non 2509.70 +5419.00 UNK‑Non TMO‑Non
CSR070+4* +4662.10 +4346.50 +5713.30 6413.70 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR071+4* +286.10 +19.30 +2678.60 4622.70 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR072+4* +39.10 +38.60 +2908.60 6833.90 +503.90 188.80 +197.40 +7979.40 TMO‑Non
CSR072+5* +385.40 +118.10 +3357.00 UNK‑Non NTT‑Non 2616.20 +5419.00 UNK‑Non TMO‑Non
CSR074+4* +11259.80 +10877.30 +1109.00 6994.00 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR075+2* +108.10 +47.40 +0.00 3279.90 +1844.70 NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR076+2* +286.40 +47.40 +0.00 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR079+2* +68.60 +47.40 +2599.90 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR079+3* +197.30 +113.10 TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR080+2* +157.80 +47.40 TMO‑Non 0.00 +2113.50 NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR081+2* +326.30 +2768.60 TMO‑Non UNK‑Non +1522.70 NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR081+3* +227.00 +3757.60 TMO‑Non UNK‑Non +1522.70 NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR082+2* +147.80 +47.40 +0.00 3269.90 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR083+3* +246.60 +113.10 TMO‑Non 0.00 +392.50 NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR084+2* +246.60 UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR085+2* +9.60 +47.40 +0.00 0.00 +392.50 0.00 +1496.70 +2789.80 2950.50
CSR086+2* +227.00 +210.80 +2228.40 3269.90 +1798.10 NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR086+3* +586.20 +489.40 TMO‑Non UNK‑Non +1798.10 NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR088+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR089+2* +68.60 +47.40 +0.00 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR090+2* +227.00 +210.80 TMO‑Non 3269.90 +1522.70 NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR091+2* +9.60 +47.40 TMO‑Non 20.00 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR092+3* +167.60 +161.30 TMO‑Non 0.00 +1094.40 NTT‑Non NTT‑Non +2539.90 TMO‑Non
CSR093+2* +586.20 +3218.20 TMO‑Non 4280.00 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR094+2* +9.60 +74.00 TMO‑Non 2889.90 +1748.10 NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR096+2* +49.00 +9.20 +0.00 0.00 NTT‑Non NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR098+3* +246.60 +113.10 +0.00 UNK‑Non +420.30 0.00 TMO‑Non UNK‑Non TMO‑Non
CSR099+2* +157.80 +47.40 +0.00 2120.20 +1094.40 0.00 +1635.70 UNK‑Non TMO‑Non
CSR100+2* +108.10 +47.40 TMO‑Non 3269.90 +2113.50 NTT‑Non NTT‑Non UNK‑Non 5621.00
CSR101+2* +108.10 +47.40 TMO‑Non 0.00 +1798.10 NTT‑Non NTT‑Non UNK‑Non 0.00
CSR103+3* +167.60 +113.10 +0.00 0.00 +392.50 0.00 TMO‑Non +1029.90 TMO‑Non
CSR104+2* +9.60 +47.40 TMO‑Non 5753.60 +1551.10 NTT‑Non NTT‑Non UNK‑Non NTT‑Non
CSR108+2* +266.50 +47.40 TMO‑Non UNK‑Non +2050.70 NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR109+2* +9.60 +47.40 TMO‑Non 0.00 +1460.60 NTT‑Non NTT‑Non UNK‑Non TMO‑Non
CSR109+3* +197.30 +113.10 TMO‑Non UNK‑Non +1460.60 NTT‑Non NTT‑Non UNK‑Non TMO‑Non
GRP626+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP631+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non +711.00 NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP634+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP635+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP638+1* +2405.50 +261.70 +2915.00 15730.50 +205.30 304.40 +318.80 UNK‑Non NTT‑Non
GRP648+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP650+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP651+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT284+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT287+2* +6462.10 UNK‑Non TMO‑Non UNK‑Non +982.60 NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT289+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
LAT290+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
LAT292+1* +266.60 +155.50 +1114.50 19.90 +93.20 39.10 +9.10 +49.50 GUP‑Non
LAT295+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non +1448.10 NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT304+1* +3574.40 +155.50 +216.50 0.00 +93.20 39.10 +35.60 UNK‑Non GUP‑Non
LAT306+1* +107.90 UNK‑Non +396.20 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT308+1* UNK‑Non UNK‑Non +2021.00 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT309+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT317+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT319+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non +486.30 NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT322+1* +3974.00 +301.10 +476.10 UNK‑Non +2614.10 909.40 +977.40 UNK‑Non NTT‑Non
LAT324+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non +701.60 NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT326+1* UNK‑Non UNK‑Non TMO‑Non 9405.90 +4028.20 NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT327+2* UNK‑Non 16056.00 TMO‑Non UNK‑Non +267.10 NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT335+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT337+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT338+1* UNK‑Non UNK‑Non +785.10 UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT349+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT356+1* +375.90 +184.10 +67.10 5052.50 +93.20 107.60 +110.60 +4939.40 GUP‑Non
LAT363+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT367+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT372+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT373+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
LAT374+1* UNK‑Non UNK‑Non TMO‑Non 13805.50 NTT‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
LAT375+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT379+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU407+1* +3364.60 +232.90 +196.60 2488.50 +93.20 39.10 +44.90 UNK‑Non GUP‑Non
SEU414+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
SEU416+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non +3439.40 NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU419+1* UNK‑Non UNK‑Non TMO‑Non 4532.60 NTT‑Non NTT‑Non NTT‑Non +4490.80 GUP‑Non
SEU421+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU428+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU429+1* +68.30 +232.90 +1274.30 0.00 +93.20 39.10 +35.60 +1782.50 1918.30
SEU432+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU435+1* +227.10 +77.40 +146.70 2048.40 +93.20 39.10 +35.60 +2260.60 2457.50
SEU436+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
SEU439+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non +3972.40 GUP‑Non
SEU440+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU444+2* +653.90 +616.00 +4982.40 UNK‑Non +455.90 6096.70 +6138.70 UNK‑Non GUP‑Non
SEU445+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU446+2* +683.50 UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
SEU449+1* UNK‑Non UNK‑Non +3589.40 11885.40 +1851.60 NTT‑Non NTT‑Non +11536.10 GUP‑Non
SEU450+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
TOP031+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
TOP032+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
TOP033+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
TOP034+1* +2605.20 +232.90 +386.30 8886.70 +131.50 176.50 +229.20 +8586.60 GUP‑Non
TOP035+2* UNK‑Non UNK‑Non TMO‑Non UNK‑Non +1286.40 NTT‑Non NTT‑Non UNK‑Non NTT‑Non
TOP038+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
TOP044+1* UNK‑Non UNK‑Non TMO‑Non UNK‑Non NTT‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
Attempted 150 150 150 150 150 150 150 150 150
Solved 88 86 76 62 52 34 32 23 5
Av. Time 389.45 402.85 446.71 520.06 568.66 1058.82 1125.00 1388.28 6555.96
Solutions 88 85 76 0 52 0 32 23 0
SOTAC 0.26 0.24 0.25 0.24 0.33 0.15 0.15 0.19 0.15
New Attempted 150 150 150 150 150 150 150 150 150
New Solved 88 86 76 62 52 34 32 23 5
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: LTB CYC MZR SMO

Results for CYC

CYC Vampire-LTB
10.0
SInE
0.3
SInE-VD
0.3
iProver-LTB
0.5c
E-LTB
1.0pre
EP-LTB
1.0pre
randoCoP
1.1
MaLARea
0.3
Muscadet-LTB
3.0
CSR025+4* +2888.60 +19.30 +127.90 4152.30 109.30 +122.20 +5467.10 +503.90 TMO‑Non
CSR025+5* +3386.80 +118.10 +415.40 UNK‑Non 1996.90 +4132.40 UNK‑Non NTT‑Non TMO‑Non
CSR026+4* +609.30 UNK‑Non UNK‑Non 7554.50 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR027+4* +1209.00 +19.30 +127.90 7334.20 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR028+4* +439.40 +19.30 +167.00 7404.30 188.80 +225.00 +8858.20 +503.90 TMO‑Non
CSR028+5* +3148.20 +118.10 +415.40 UNK‑Non 1727.10 +3633.70 UNK‑Non NTT‑Non TMO‑Non
CSR029+4* +1968.70 +3096.70 +4841.60 4122.30 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR032+5* +3207.70 +118.10 +385.40 UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR033+4* +4255.60 +3096.70 +5911.30 5103.00 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR034+5* +3327.10 +537.20 +1063.20 UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR035+4* +709.20 +10267.40 +9650.50 3761.90 109.30 +122.20 +4268.60 +503.90 TMO‑Non
CSR036+4* +6412.90 +4346.50 +4662.10 UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR037+4* +2228.70 +38.60 +167.00 3792.00 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR038+4* +1868.80 +19.30 +9.60 UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR039+4* +6472.80 +4356.50 +4841.60 UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR040+4* +4465.50 +11097.30 +11080.10 7384.30 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR041+4* +769.10 +19.30 +167.00 7884.70 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR042+4* +2698.60 +7516.90 +6920.80 1961.00 49.60 +55.80 +2244.50 NTT‑Non TMO‑Non
CSR043+5* +3297.20 +118.10 +385.40 UNK‑Non 1877.00 +3833.30 UNK‑Non NTT‑Non TMO‑Non
CSR044+4* +999.10 +19.30 +9.60 UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR045+4* +4435.50 +11307.30 +11519.70 5143.00 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR046+5* +3237.50 +118.10 +415.40 UNK‑Non 2936.00 +6017.60 UNK‑Non NTT‑Non TMO‑Non
CSR047+4* +479.30 +38.60 +167.00 5523.20 149.00 +160.50 +6853.30 NTT‑Non TMO‑Non
CSR049+4* +6442.90 +3306.50 +5911.30 UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR050+4* +199.40 +19.30 +167.00 2781.40 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR051+4* +689.20 +5686.60 +7950.80 0.00 49.60 +55.80 +1287.40 +503.90 TMO‑Non
CSR051+5* +3416.60 +8497.00 +9360.50 UNK‑Non 1877.00 +3903.00 UNK‑Non NTT‑Non TMO‑Non
CSR052+4* +5683.30 +19.30 +186.80 0.00 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR053+4* +2858.60 +19.30 +216.50 0.00 49.60 +55.80 +1606.90 +503.90 TMO‑Non
CSR053+5* +3267.40 +118.10 +415.40 UNK‑Non 2509.70 +5419.00 UNK‑Non NTT‑Non TMO‑Non
CSR054+4* +2138.70 +7846.90 +6550.90 0.00 1687.10 +1761.80 +1686.50 +503.90 TMO‑Non
CSR055+4* +2838.60 +19.30 +167.00 UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR056+4* +2638.60 +11047.30 +11080.10 7704.60 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR057+4* +2998.60 +19.30 +78.60 2111.10 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR058+4* +899.00 UNK‑Non UNK‑Non 6823.80 188.80 +197.40 +7899.70 +503.90 TMO‑Non
CSR059+4* +1698.80 +19.30 +127.90 3942.20 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR060+4* +2798.60 +19.30 +9.60 UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR062+4* +289.40 +38.60 +167.00 10040.10 NTT‑Non NTT‑Non UNK‑Non NTT‑Non NTT‑Non
CSR063+4* +2178.70 +38.60 +167.00 UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR064+4* +529.30 UNK‑Non UNK‑Non 3972.20 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR065+4* +2298.70 UNK‑Non UNK‑Non 7854.60 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR066+4* +859.10 +19.30 +127.90 UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR068+4* +669.30 +38.60 +216.50 2931.50 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR069+4* +2118.70 +68.20 +286.10 7354.20 188.80 +225.00 +8538.70 +503.90 TMO‑Non
CSR069+5* +3178.00 +118.10 +415.40 UNK‑Non 2509.70 +5419.00 UNK‑Non NTT‑Non TMO‑Non
CSR070+4* +5713.30 +4346.50 +4662.10 6413.70 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR071+4* +2678.60 +19.30 +286.10 4622.70 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
CSR072+4* +2908.60 +38.60 +39.10 6833.90 188.80 +197.40 +7979.40 +503.90 TMO‑Non
CSR072+5* +3357.00 +118.10 +385.40 UNK‑Non 2616.20 +5419.00 UNK‑Non NTT‑Non TMO‑Non
CSR074+4* +1109.00 +10877.30 +11259.80 6994.00 NTT‑Non NTT‑Non UNK‑Non NTT‑Non TMO‑Non
Attempted 50 50 50 50 50 50 50 50 50
Solved 50 46 46 31 19 19 11 9 0
Av. Time 199.01 249.59 253.14 323.87 631.58 631.58 938.40 618.94 -
Solutions 50 46 46 0 0 19 11 9 0
SOTAC 0.25 0.23 0.23 0.23 0.16 0.16 0.13 0.13 -
New Attempted 50 50 50 50 50 50 50 50 50
New Solved 50 46 46 31 19 19 11 9 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: LTB CYC MZR SMO

Results for MZR

MZR MaLARea
0.3
Vampire-LTB
10.0
SInE-VD
0.3
iProver-LTB
0.5c
SInE
0.3
E-LTB
1.0pre
EP-LTB
1.0pre
randoCoP
1.1
Muscadet-LTB
3.0
ALG214+1* +455.90 +8057.60 UNK‑Non 12485.50 +184.10 294.60 +283.20 +12014.40 NTT‑Non
ALG215+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
ALG222+1* +701.60 TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
ALG223+2* +486.30 TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
ALG225+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
ALG228+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
ALG231+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
CAT022+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
CAT023+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
CAT037+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP626+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP631+2* +711.00 TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP634+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP635+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP638+1* +205.30 +2915.00 +2405.50 15730.50 +261.70 304.40 +318.80 UNK‑Non NTT‑Non
GRP648+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP650+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
GRP651+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT284+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT287+2* +982.60 TMO‑Non +6462.10 UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT289+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
LAT290+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
LAT292+1* +93.20 +1114.50 +266.60 19.90 +155.50 39.10 +9.10 +49.50 GUP‑Non
LAT295+2* +1448.10 TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT304+1* +93.20 +216.50 +3574.40 0.00 +155.50 39.10 +35.60 UNK‑Non GUP‑Non
LAT306+1* NTT‑Non +396.20 +107.90 UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT308+1* NTT‑Non +2021.00 UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT309+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT317+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT319+2* +486.30 TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT322+1* +2614.10 +476.10 +3974.00 UNK‑Non +301.10 909.40 +977.40 UNK‑Non NTT‑Non
LAT324+1* +701.60 TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT326+1* +4028.20 TMO‑Non UNK‑Non 9405.90 UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT327+2* +267.10 TMO‑Non UNK‑Non UNK‑Non 16056.00 NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT335+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT337+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT338+1* NTT‑Non +785.10 UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT349+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT356+1* +93.20 +67.10 +375.90 5052.50 +184.10 107.60 +110.60 +4939.40 GUP‑Non
LAT363+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT367+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT372+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT373+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
LAT374+1* NTT‑Non TMO‑Non UNK‑Non 13805.50 UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
LAT375+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
LAT379+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU407+1* +93.20 +196.60 +3364.60 2488.50 +232.90 39.10 +44.90 UNK‑Non GUP‑Non
SEU414+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
SEU416+2* +3439.40 TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU419+1* NTT‑Non TMO‑Non UNK‑Non 4532.60 UNK‑Non NTT‑Non NTT‑Non +4490.80 GUP‑Non
SEU421+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU428+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU429+1* +93.20 +1274.30 +68.30 0.00 +232.90 39.10 +35.60 +1782.50 1918.30
SEU432+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU435+1* +93.20 +146.70 +227.10 2048.40 +77.40 39.10 +35.60 +2260.60 2457.50
SEU436+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
SEU439+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non +3972.40 GUP‑Non
SEU440+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU444+2* +455.90 +4982.40 +653.90 UNK‑Non +616.00 6096.70 +6138.70 UNK‑Non GUP‑Non
SEU445+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
SEU446+2* NTT‑Non TMO‑Non +683.50 UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
SEU449+1* +1851.60 +3589.40 UNK‑Non 11885.40 UNK‑Non NTT‑Non NTT‑Non +11536.10 GUP‑Non
SEU450+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
TOP031+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
TOP032+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
TOP033+2* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
TOP034+1* +131.50 +386.30 +2605.20 8886.70 +232.90 176.50 +229.20 +8586.60 GUP‑Non
TOP035+2* +1286.40 TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
TOP038+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non NTT‑Non
TOP044+1* NTT‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non NTT‑Non NTT‑Non UNK‑Non GUP‑Non
Attempted 70 70 70 70 70 70 70 70 70
Solved 23 15 13 13 12 11 11 9 2
Av. Time 730.43 1120.00 1250.54 1265.38 1338.00 1527.27 1527.27 1658.61 6789.90
Solutions 23 15 13 0 11 0 11 9 0
SOTAC 0.49 0.28 0.26 0.26 0.17 0.14 0.14 0.28 0.11
New Attempted 70 70 70 70 70 70 70 70 70
New Solved 23 15 13 13 12 11 11 9 2
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: LTB CYC MZR SMO

Results for SMO

SMO SInE-VD
0.3
SInE
0.3
MaLARea
0.3
iProver-LTB
0.5c
Vampire-LTB
10.0
E-LTB
1.0pre
randoCoP
1.1
Muscadet-LTB
3.0
EP-LTB
1.0pre
CSR075+2* +108.10 +47.40 +1844.70 3279.90 +0.00 NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR076+2* +286.40 +47.40 NTT‑Non UNK‑Non +0.00 NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR079+2* +68.60 +47.40 NTT‑Non UNK‑Non +2599.90 NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR079+3* +197.30 +113.10 NTT‑Non UNK‑Non TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR080+2* +157.80 +47.40 +2113.50 0.00 TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR081+2* +326.30 +2768.60 +1522.70 UNK‑Non TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR081+3* +227.00 +3757.60 +1522.70 UNK‑Non TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR082+2* +147.80 +47.40 NTT‑Non 3269.90 +0.00 NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR083+3* +246.60 +113.10 +392.50 0.00 TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR084+2* +246.60 UNK‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR085+2* +9.60 +47.40 +392.50 0.00 +0.00 0.00 +2789.80 2950.50 +1496.70
CSR086+2* +227.00 +210.80 +1798.10 3269.90 +2228.40 NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR086+3* +586.20 +489.40 +1798.10 UNK‑Non TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR088+2* UNK‑Non UNK‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR089+2* +68.60 +47.40 NTT‑Non UNK‑Non +0.00 NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR090+2* +227.00 +210.80 +1522.70 3269.90 TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR091+2* +9.60 +47.40 NTT‑Non 20.00 TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR092+3* +167.60 +161.30 +1094.40 0.00 TMO‑Non NTT‑Non +2539.90 TMO‑Non NTT‑Non
CSR093+2* +586.20 +3218.20 NTT‑Non 4280.00 TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR094+2* +9.60 +74.00 +1748.10 2889.90 TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR096+2* +49.00 +9.20 NTT‑Non 0.00 +0.00 NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR098+3* +246.60 +113.10 +420.30 UNK‑Non +0.00 0.00 UNK‑Non TMO‑Non TMO‑Non
CSR099+2* +157.80 +47.40 +1094.40 2120.20 +0.00 0.00 UNK‑Non TMO‑Non +1635.70
CSR100+2* +108.10 +47.40 +2113.50 3269.90 TMO‑Non NTT‑Non UNK‑Non 5621.00 NTT‑Non
CSR101+2* +108.10 +47.40 +1798.10 0.00 TMO‑Non NTT‑Non UNK‑Non 0.00 NTT‑Non
CSR103+3* +167.60 +113.10 +392.50 0.00 +0.00 0.00 +1029.90 TMO‑Non TMO‑Non
CSR104+2* +9.60 +47.40 +1551.10 5753.60 TMO‑Non NTT‑Non UNK‑Non NTT‑Non NTT‑Non
CSR108+2* +266.50 +47.40 +2050.70 UNK‑Non TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR109+2* +9.60 +47.40 +1460.60 0.00 TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
CSR109+3* +197.30 +113.10 +1460.60 UNK‑Non TMO‑Non NTT‑Non UNK‑Non TMO‑Non NTT‑Non
Attempted 30 30 30 30 30 30 30 30 30
Solved 29 28 20 18 11 4 3 3 2
Av. Time 219.66 253.86 360.00 319.64 654.55 1800.00 2226.83 2400.00 3600.00
Solutions 29 28 20 0 11 0 3 0 2
SOTAC 0.29 0.27 0.24 0.23 0.23 0.15 0.15 0.17 0.13
New Attempted 30 30 30 30 30 30 30 30 30
New Solved 29 28 20 18 11 4 3 3 2
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: LTB CYC MZR SMO